Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
Kazumi NakamatsuAtsuyuki SuzukiPublished in: LAPTEC (2005)
Keyphrases
- artificial intelligence
- nonmonotonic logics
- logic programming
- multiple inheritance
- model theoretic
- default rules
- nonmonotonic reasoning
- autoepistemic logic
- expert systems
- knowledge representation
- formal semantics
- disjunctive logic programming
- knowledge representation and reasoning
- intelligent agents
- default logic
- natural language processing
- default theories
- intelligent systems
- software engineering
- computational intelligence
- conditional logic
- logic programs
- ai methods
- manually annotated
- semantic information
- minimal models
- case based reasoning
- update semantics
- deductive databases
- computer science
- operational semantics
- defeasible logic
- cognitive psychology
- reasoning tasks
- default reasoning