Propositional. Logic vs First Order

Ontology

Syntax

Semantics

Inference

Facts: P, Q

Atomic sentences

Connectives

Truth Tables

NPC, but SAT

algos work well

Objects (e.g. Dan)

Properties (e.g. mother-of)

Relations (e.g. female)

Variables & quantification

Sentences have structure: terms

female(mother-of(X)))

Interpretations

(Much more complicated)

Undecidable, but theorem

proving works sometimes

Look for tractable subsets

Previous slide

Next slide

Back to first slide

View graphic version