The architecture of a reasoning system for Defeasible Deontic Logic.
Matteo CristaniGuido GovernatoriFrancesco OlivieriLuca PasettoFrancesco TubiniCeleste VeroneseAlessandro VillaEdoardo ZorziPublished in: KES (2023)
Keyphrases
- deontic logic
- knowledge representation language
- legal reasoning
- update semantics
- nonmonotonic logics
- inference engine
- case based reasoning
- conflicting information
- defeasible reasoning
- inference rules
- reasoning engine
- management system
- knowledge base
- defeasible logic
- formal semantics
- software architecture
- web services