How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.
Davide GrossiBarteld KooiXingchi SuRineke VerbruggePublished in: LORI (2021)
Keyphrases
- dynamic logic
- modal operators
- multi agent systems
- domain knowledge
- knowledge acquisition
- knowledge representation
- knowledge discovery
- dynamic epistemic logic
- data mining techniques
- knowledge management
- general purpose
- domain experts
- inference rules
- active databases
- data model
- prior knowledge
- propositional dynamic logic
- knowledge base