On Minimal Change in Evolving Multi-Context Systems (Preliminary Report).
Ricardo GonçalvesMatthias KnorrJoão LeitePublished in: CoRR (2015)
Keyphrases
- minimal change
- multi context systems
- belief revision
- propositional logic
- belief change
- information flow
- bdi agents
- update operations
- ctl model update
- knowledge sources
- action theories
- model theoretic
- default reasoning
- reasoning about actions
- artificial intelligence
- mental states
- inference rules
- knowledge based systems
- intelligent systems