About this document
Understanding Situation Calculus in FOL by Tariq Iqbal is a document available to read on EtoBox.
The document discusses using first-order logic to represent knowledge about the real world, such as actions, space, time, mental events, and shopping. It outlines building a general ontology with basic categories and representing actions, mental events, objects, and an extended shopping example. It discusses reasoning about categories and defaults as well as truth maintenance systems. The goal is to develop a general purpose ontology that can be applied across domains by adding domain-specific axioms.
- Author
- Tariq Iqbal
- Language
- EN