Annotated Semantics for Defeasible Deontic Reasoning.
Kazumi NakamatsuJair Minoro AbeAtsuyuki SuzukiPublished in: Rough Sets and Current Trends in Computing (2000)
Keyphrases
- defeasible reasoning
- deontic logic
- legal reasoning
- update semantics
- default rules
- conflicting information
- nonmonotonic logics
- formal semantics
- default reasoning
- defeasible logic
- inheritance reasoning
- reasoning tasks
- open world
- proof theory
- conditional logic
- nonmonotonic reasoning
- argumentation systems
- logic programming
- reasoning mechanisms
- default logic
- computational properties
- reasoning systems
- logical framework
- case based reasoning
- nonmonotonic inference
- knowledge base
- proof theoretic
- argumentation frameworks
- semantic information
- default theories
- inference rules
- practical reasoning
- reasoning mechanism
- graphical representation
- uncertain information
- automated reasoning
- classical logic
- reasoning process
- reasoning services
- argumentation schemes
- description logics
- model theoretic
- temporal logic
- abstract argumentation
- multiple inheritance
- modal logic
- reasoning problems
- owl dl
- production rules
- conceptual graphs