Belief base merging as a game

Journal of Applied Non-Classical Logics

Volumn 14, Issue 3, 2004, Pages 275-294

  Konieczny, Sébastien ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Belief merging; Belief negotiation

Indexed keywords

EID: 26944492889     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.14.275-294     Document Type: Conference Paper

References (29)

1. [Alc 85] Alchourrón C. E., Gä;Rdenfors P., Makinson D., "On The Logic Of Theory Change: Partial Meet Contraction And Revision Functions", Journal Of Symbolic Logic, Vol. 50, 1985, P. 510-530.
2. [Bar 92] Baral C., Kraus S., Minker J., Subrahmanian V. S., "Combining Knowledge Bases Consisting Of First-Order Theories", Computational Intelligence, Vol. 8, Num. 1, 1992, P. 45-71.
3. [Ben 97] Benferhat S., Dubois D., Prade H., "Some Syntactic Approaches To The Handling Of Inconsistent Knowledge Bases: A Comparative Study, Part 1: The Flat Case", Studia Logica, Vol. 58, 1997, P. 17-45.
4. [Ben 98A] Benferhat S., Dubois D., Lang J., Prade H., Saffioti A., Smets P., "A General Approach For Inconsistency Handling And Merging Information In Prioritized Knowledge Bases", Proceedings Of The Sixth International Conference On Principles Of Knowledge Representation And Reasoning (Kr'98), 1998, P. 466-477.
5. [Ben 98B] Benferhat S., Dubois D., Prade H., "Some Syntactic Approaches To The Handling Of Inconsistent Knowledge Bases: A Comparative Study. Part Ii: The Prioritized Case", Orlowska E., Ed., Logic At Work, Vol. 24 Of Physica-Verlag, Heidelberg, 1998, P. 473-511.
6. [Ben 99] Benferhat S., Dubois D., Prade H., "An Overview Of Inconsistency-Tolerant Inferences In Prioritized Knowledge Bases", Fuzzy Sets, Logic And Reasoning About Knowledge, Vol. 15 Of Applied Logic Series, P. 395-417, Kluwer, 1999.
7. [Blo 00] Bloch I., Lang J., "Towards Mathematical Morpho-Logics", Proceedings Of The Eigth International Conference On Information Processing And Management Of Uncertainty In Knowledge-Based Systems (Ipmu'00), 2000, P. 1405-1412.
8. [Blo 04] Bloch I., Pino PéRez R., UzcáTegui C., "A Unified Treatment For Knowledge Dynamics", Proceedings Of The Ninth Conference On Principles Of Knowledge Representation And Reasoning (Kr'04), 2004, P. 329-337.
9. [Boo 01] Booth R., "A Negociation-Style Framework For Non-Prioritised Revision", Proceedings Of The Eighth Conference On Theoretical Aspects Of Rationality And Knowledge (Tark'01), 2001, P. 137-150.
10. [Boo 02] Booth R., "Social Contraction And Belief Negociation", Proceedings Of The Eighth Conference On Principles Of Knowledge Representation And Reasoning (Kr'02), 2002, P. 374-384.
11. [Cho 93] Cholvy L., "Proving Theorems In A Multi-Sources Environment", Proceedings Of The Thirteenth International Joint Conference On Artificial Intelligence (Ijcai'93), 1993, P. 66-71.
12. [Cho 95] Cholvy L., "Automated Reasoning With Merged Contradictory Information Whose Reliability Depends On Topics", Proceedings Of The Third European Conference On Symbolic And Quantitative Approaches To Reasoning And Uncertainty (Ecsqaru'95), 1995.
13. [Cho 98] Cholvy L., "Reasoning About Data Provided By Federated Deductive Databases", Journal Of Intelligent Information Systems, Vol. 10, Num. 1, 1998.
14. [Dal 88] Dalal M., "Investigations Into A Theory Of Knowledge Base Revision: Preliminary Report", Proceedings Of The Seventh American National Conference On Artificial Intelligence (Aaai'88), 1988, P. 475-479.
15. [Eve 04] Everaere P., Konieczny S., Marquis P., "On Merging Strategy-Proofness", Proceedings Of The Ninth Conference On Principles Of Knowledge Representation And Reasoning (Kr'04), 2004, P. 357-358.
16. [Gä;R 88] Gä;Rdenfors P., Knowledge In Flux, Mit Press, 1988.
17. [Gä;R 92] Gä;Rdenfors P., Ed., Belief Revision, Cambridge University Press, 1992.
18. [Kat 91] Katsuno H., Mendelzon A. O., "Propositional Knowledge Base Revision And Minimal Change", Artificial Intelligence, Vol. 52, 1991, P. 263-294.
19. [Kon 98] Konieczny S., Pino PéRez R., "On The Logic Of Merging", Proceedings Of The Sixth International Conference On Principles Of Knowledge Representation And Reasoning (Kr'98), 1998, P. 488-498.
20. [Kon 99] Konieczny S., Pino PéRez R., "Merging With Integrity Constraints", Proceedings Of The Fifth European Conference On Symbolic And Quantitative Approaches To Reasoning With Uncertainty (Ecsqaru'99), Lnai 1638, 1999, P. 233-244.
21. [Kon 00] Konieczny S., "On The Difference Between Merging Knowledge Bases And Combining Them", Proceedings Of The Seventh International Conference On Principles Of Knowledge Representation And Reasoning (Kr'00), 2000, P. 135-144.
22. [Kon 02A] Konieczny S., Pino PéRez R., "Merging Information Under Constraints: A Qualitative Framework", Journal Of Logic And Computation, Vol. 12, Num. 5, 2002, P. 773-808. (Pubitemid 35209961)
23. [Kon 02B] Konieczny S., Pino PéRez R., "On The Frontier Between Arbitration And Majority", Proceedings Of The Eighth International Conference On Principles Of Knowledge Representation And Reasoning (Kr'02), 2002, P. 109-118.
24. [Kon 04] Konieczny S., Lang J., Marquis P., "Da2 Merging Operators", Artificial Intelligence, Vol. 157, Num. 1-2, 2004, P. 49-79.
25. [Lib 98] Liberatore P., Schaerf M., "Arbitration (Or How To Merge Knowledge Bases)", Ieee Transactions On Knowledge And Data Engineering, Vol. 10, Num. 1, 1998, P. 76-90. (Pubitemid 128745864)
26. [Lin 99] Lin J., Mendelzon A. O., "Knowledge Base Merging By Majority", Dynamic Worlds: From The Frame Problem To Knowledge Management, Kluwer, 1999.
27. [Rev 93] Revesz P. Z., "On The Semantics Of Theory Change: Arbitration Between Old And New Information", Proceedings Of The Twelfth Acm Sigact-Sigmod-Sigart Symposium On Principles Of Databases, 1993, P. 71-92.
28. [Rev 97] Revesz P. Z., "On The Semantics Of Arbitration", International Journal Of Algebra And Computation, Vol. 7, Num. 2, 1997, P. 133-160.
29. [Spo 88] Spohn W., "Ordinal Conditional Functions: A Dynamic Theory Of Epistemic States", Harper W. L., Skyrms B., Eds., Causation In Decision, Belief Change, And Statistics, Vol. 2, P. 105-134, Kluwer, 1988.