Propositional. Logic vs First Order

Ontology

Syntax

Semantics

Inference

Facts (P, Q)

Atomic sentences

Connectives

Truth Tables

Efficient SAT

algorithms

Objects,

Properties,

Relations

Variables & quantification

Sentences have structure: terms

father-of(mother-of(X)))

Interpretations

(Much more complicated)

Unification

Forward, Backward chaining

Prolog, theorem proving

Previous slide

Back to first slide

View graphic version