Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems.
Philippe ChatalicGia Hien NguyenMarie-Christine RoussetPublished in: ECAI (2006)
Keyphrases
- peer to peer
- reasoning systems
- knowledge base
- deductive reasoning
- bayesian networks
- expert systems
- inference engine
- file sharing
- first order logic
- intelligent systems
- distributed systems
- digital libraries
- probabilistic reasoning
- probabilistic logic
- backward chaining
- truth maintenance systems
- complex systems
- automated reasoning
- logic programs
- reasoning under uncertainty
- plausible reasoning