A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge.
Michel AurnagueMario BorilloPublished in: AIMSA (1990)
Keyphrases
- formal semantics
- commonsense knowledge
- commonsense reasoning
- language understanding
- information gathering
- logical language
- automated reasoning
- spatial information
- artificial intelligence
- operational semantics
- theorem prover
- modeling language
- spatial databases
- speech acts
- first order logic
- nonmonotonic reasoning
- spatial reasoning
- incomplete information
- autoepistemic logic
- database systems
- knowledge base
- database