rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logic for computer science and artificial intelligence
  name:
    name part: Caferra, Ricardo
    name part: 1945-
    role:
      role term: creator
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (537 pages) : illustrations
  abstract: Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the.
  table of contents: Chapter 1 Introduction 1 -- 1.1 Logic, foundations of computer science, and applications of logic to computer science 1 -- 1.2 On the utility of logic for computer engineers 3 -- Chapter 2 A Few Thoughts Before the Formalization 7 -- 2.1 What is logic? 7 -- 2.1.1 Logic and paradoxes 8 -- 2.1.2 Paradoxes and set theory 9 -- l2.1.2.1 The answer 10 -- 2.1.3 Paradoxes in arithmetic and set theory 13 -- 2.1.3.1 The halting problem 13 -- 2.1.4 On formalisms and well-known notions 15 -- 2.1.4.1 Some "well-known" notions that could turn out to be difficult to analyze 19 -- 2.1.5 Back to the definition of logic 23 -- 2.1.5.1 Some definitions of logic for all 24 -- 2.1.5.2 A few more technical definitions 24 -- 2.1.5.3 Theory and meta-theory (language and meta-language) 30 -- 2.1.6 A few thoughts about logic and computer science 30 -- 2.2 Some historic landmarks 32 -- Chapter 3 Propositional Logic 39 -- 3.1 Syntax and semantics 40 -- 3.1.1 Language and meta-language 43 -- 3.1.2 Transformation rules for cnf and dnf 49 -- 3.2 The method of semantic tableaux 54 -- 13.2.1 A slightly different formalism: signed tableaux 58 -- 3.3 Formal systems 64 -- 3.3.1 A capital notion: the notion of proof 64 -- 3.3.2 What do we learn from the way we do mathematics? 72 -- 3.4 A formal system for PL (PC) 78 -- 3.4.1 Some properties of formal systems 84 -- 3.4.2 Another formal system for PL (PC) 86 -- 3.4.3 Another formal system 86 -- 3.5 The method of Davis and Putnam 92 -- 3.5.1 The Davis-Putnam method and the SAT problem 95 -- 3.6 Semantic trees in PL 96 -- 3.7 The resolution method in PL 101 -- 3.8 Problems, strategies, and statements 109 -- 3.8.1 Strategies 110 -- 3.9 Horn clauses 113 -- 3.10 Algebraic point of view of propositional logic 114 -- Chapter 4 First-order Terms 121 -- 4.1 Matching and unification 121 -- 4.1.1 A motivation for searching for a matching algorithm 121 -- 4.1.2 A classification of trees 123 -- 4.2 First-order terms, substitutions, unification 125 -- Chapter 5 First-O…
  note: Ricardo Caferra.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: COMPUTERS
    topic: Enterprise Applications
    topic: Business Intelligence Tools
  subject:
    topic: COMPUTERS
    topic: Intelligence (AI) & Semantics
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer logic
  classification: QA76.9.L63 C34 2011
  classification: 006.3
  related item:
    title info:
      title: Logic for Computer Science and Artificial Intelligence
    name:
      name part: Caferra, Ricardo.
    origin info:
      publisher: London : Wiley, ©2013
  identifier: 9781118604182
  identifier: 1118604180
  identifier: 9781118604205
  identifier: 1118604202
  identifier: 9781118604267
  identifier: 1118604261
  identifier: 1848213018
  identifier: 9781848213012
  identifier: CL0500000408 Safari Books Online
  identifier: https://doi.org/10.1002/9781118604182
  record info:
    record content source: EBLCP
    record creation date: 130223
    record change date: 20170124071509.8
    record identifier: ocn828298951
    language of cataloging:
      language term: eng