| 청구기호 |
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 |
