Solving Conflicting Beliefs with a Distributed Belief Revision Approach.
Benedita MalheiroEugénio OliveiraPublished in: IBERAMIA-SBIA (2000)
Keyphrases
- belief revision
- propositional logic
- belief change
- default reasoning
- nonmonotonic reasoning
- belief update
- distributed systems
- logical properties
- minimal change
- knowledge base
- logical framework
- conditional logic
- temporal logic
- belief merging
- belief base
- plausible inference
- plausible reasoning
- multi agent
- dynamic aspects
- possibilistic logic
- rational agents
- revision operators
- belief state
- distributed data
- cost based abduction