Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.
Efstratios KontopoulosNick BassiliadesGuido GovernatoriGrigoris AntoniouPublished in: Web Intelligence/IAT Workshops (2008)
Keyphrases
- deontic logic
- nonmonotonic logics
- knowledge representation language
- update semantics
- modal logic
- default logic
- legal reasoning
- modal operators
- nonmonotonic reasoning
- inference rules
- propositional logic
- knowledge base
- defeasible logic
- morphological operators
- consistency checking
- formal semantics
- defeasible reasoning
- temporal logic
- building blocks