Home Page Icon
Home Page
Table of Contents for
Introduction to Logic
Close
Introduction to Logic
by Eric Kao, Michael Genesereth
Introduction to Logic
Cover
Copyright
Title Page
Contents
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 Blocks World
10.5 Arithmetic
10.6 Properties of Sentences
10.7 Logical Entailment
10.8 Proofs
10.9 Examples: Equality
10.10 Example: Blocks World
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
Search in book...
Toggle Font Controls
Playlists
Add To
Create new playlist
Name your new playlist
Playlist description (optional)
Cancel
Create playlist
Sign In
Email address
Password
Forgot Password?
Create account
Login
or
Continue with Facebook
Continue with Google
Sign Up
Full Name
Email address
Confirm Email Address
Password
Login
Create account
or
Continue with Facebook
Continue with Google
Prev
Previous Chapter
Cover
Next
Next Chapter
Introduction to Logic
Introduction to Logic
Add Highlight
No Comment
..................Content has been hidden....................
You can't read the all page of ebook, please click
here
login for view all page.
Day Mode
Cloud Mode
Night Mode
Reset