First Order Logic and Commonsense Reasoning: A Path Less Travelled.
Tanel TammetDirk DraheimPriit JärvMartin VerrevPublished in: ICLP Workshops (2022)
Keyphrases
- first order logic
- commonsense reasoning
- knowledge representation
- incomplete information
- expressive power
- propositional logic
- event calculus
- nonmonotonic reasoning
- transitive closure
- theorem proving
- inference rules
- inductive logic programming
- theorem prover
- shortest path
- probabilistic reasoning
- missing information
- horn clauses
- road network
- natural language
- artificial intelligence
- autoepistemic logic
- automated reasoning
- knowledge base
- relational algebra
- default reasoning
- expert systems
- formal semantics
- logic programming
- default logic
- missing data
- query answering
- belief revision