서지주요정보
Introduction to logic [electronic resource]
서명 / 저자 Introduction to logic [electronic resource] / Michael Genesereth and Eric Kao.
저자명 Genesereth, Michael R;Kao, Eric.
발행사항 San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012.
총서명 Synthesis lectures on computer science, 1932-1686 ; # 5
Online Access http://dx.doi.org/10.2200/S00432ED1V01Y201207CSL005URL

서지기타정보

서지기타정보
청구기호 BC15 .G455 2012
형태사항 1 electronic text (xiii, 151 p.) : ill., digital file.
언어 English
일반주기 Part of: Synthesis digital library of engineering and computer science.
Series from website.
서지주기 Includes bibliographical references (p. 149).
내용 Preface -- 1. Introduction -- 1.1 Logic -- 1.2 Elements of logic -- 1.3 Formalization -- 1.4 Automation -- 1.5 Reading guide -- 2. Propositional logic -- 2.1 Introduction -- 2.2 Syntax -- 2.3 Semantics -- 2.4 Satisfaction -- 2.5 Logical properties of propositional sentences -- 2.6 Propositional entailment -- 3. Propositional proofs -- 3.1 Introduction -- 3.2 Linear proofs -- 3.3 Structured proofs -- 3.4 Fitch -- 3.5 Soundness and completeness -- 4. Propositional resolution -- 4.1 Introduction -- 4.2 Clausal form -- 4.3 Resolution principle -- 4.4 Resolution reasoning -- 5. Satisfiability -- 5.1 Introduction -- 5.2 Truth table method -- 5.3 Basic backtracking search -- 5.4 Simplification and unit propagation -- 5.5 DPLL -- 5.6 GSAT -- 6. Herbrand logic -- 6.1 Introduction -- 6.2 Syntax -- 6.3 Semantics -- 6.4 Example: Sorority world -- 6.5 Example: Blocks world -- 6.6 Example: Modular arithmetic -- 6.7 Example: Peano arithmetic -- 6.8 Example: Linked lists -- 6.9 Example: Pseudo English -- 6.10 Example: Metalevel logic -- 6.11 Properties of sentences in Herbrand logic -- 6.12 Logical entailment -- 6.13 Finite Herbrand logic -- 6.14 Omega Herbrand logic -- 6.15 General Herbrand logic -- 7. Herbrand logic proofs -- 7.1 Introduction -- 7.2 Proofs -- 7.3 Example -- 7.4 Example -- 7.5 Example -- 8. Resolution -- 8.1 Introduction -- 8.2 Clausal form -- 8.3 Unification -- 8.4 Resolution principle -- 8.5 Resolution reasoning -- 8.6 Unsatisfiability -- 8.7 Logical entailment -- 8.8 Answer extraction -- 8.9 Strategies -- 9. Induction -- 9.1 Introduction -- 9.2 Finite induction -- 9.3 Linear induction -- 9.4 Tree induction -- 9.5 Structural induction -- 10. First order logic -- 10.1 Introduction -- 10.2 Conceptualization -- 10.3 Syntax and semantics -- 10.4 Blocksworld -- 10.5 Arithmetic -- 10.6 Properties of sentences -- 10.7 Logical entailment -- 10.8 Proofs -- 10.9 Examples: equality -- 10.10 Example: blocksworld -- 10.11 Example: arithmetic -- 10.12 Soundness and completeness -- 10.13 Herbrand logic versus first order logic -- A. Summary of Fitch rules -- Bibliography -- Authors' biographies.
주제 Logic.
formal logic
symbolic logic
propositional logic
Herbrand logic
first-order logic
deduction
reasoning
artificial intelligence
ISBN 9781627050067 (electronic bk.)
기타 표준번호 10.2200/S00432ED1V01Y201207CSL005
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서