Belief revision through the belief-function formalism in a multi-agent environment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1193, Issue , 2015, Pages 103-115

  Dragoni, Aldo Franco ^a   Giorgini, Paolo ^a  

^a UNIVERSITÀ POLITECNICA DELLE MARCHE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

UNCERTAINTY ANALYSIS; COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS;

BDI ARCHITECTURE; BELIEF FUNCTION; BELIEF REVISION; COGNITIVE STATE; DYNAMIC WORLD; MULTI-AGENT ENVIRONMENT; RECOVERABILITY;

MULTI AGENT SYSTEMS;

EID: 84926333580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (17)

1. Kinny, D. and Georgeff, M., Modelling and Design of Multi-Agent Systems, in this Volume
2. [2] Alchourrón C.E., Gädenfors P., and Makinson D., On the Logic of Theory Change: Partial meet Contraction and Revision Functions, in The Journal of Simbolic Logic, 50, pp. 510-530, 1985.
3. [3] P. Gädenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, Mass., MIT Press, 1988.
4. [4] P. Gärdenfors, Belief Revision, Cambridge University Press, 1992.
5. [5] W. Nebel, Base Revision Operations and Schemes: Semantics, Representation, and Complexity, in Cohn A.G. (eds.), Proc. of the 11 th European Conference on Artificial Intelligence, John Wiley & Sons, 1994.
6. [6] Benferhat S., Cayrol C., Dubois D., Lang J. and Prade H., Inconsistency Management and Prioritized Syntax-Based Entailment, in Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence, pp. 640-645, 1993.
7. [7] Williams M.A., Iterated Theory Base Change: A Computational Model, in Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence, pp. 1541-1547, 1995.
8. [8] Katsuno H. and Mendelzon A.O., On the difference between updating a knowledge base and revising it, in Allen J., Fikes R. and Sandewall E. (eds.), Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 387-394, 1991.
9. [9] Chou Tymothy S.-C. and Winslett M., A Model-Based Belief Revision System, in Journal of Automated Reasoning, 12, pp. 157-208, Kluwer Academic Publishers, 1994.
10. [10] Dubois D. and Prade H., A Survey of Belief Revision and Update Rules in Various Uncertainty Models, in International Journal of Intelligent Systems, 9, pp. 61-100, 1994.
11. [11] Pearl J., Probabilistic Reasoning for Intelligent Systems, Morgan Kaufmann Publishers, 1988.
12. [12] Dubois D. and Prade H., Belief Change and Possibility Theory, in Gädenfors P. (eds.), Belief Revision, Cambridge University Press, 1992.
13. [13] Shafer G., Belief Functions, in G. Sbafer and J. Pearl (eds.), Readings in Uncertain Reasoning, Morgan Kaufmann Publishers, 1990.
14. [14] Rott, H., A Nonmonotonic Conditional Logic for Belief Revision I, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Springer-Verlag, LNAI 465, Berlin, 135-183, 1991.
15. [15] de Kleer J., An Assumption Based Truth Maintenance System, in Artificial Intelligence, 28, pp. 127-162, 1986.
16. [16] R. Reiter, A Theory of Diagnosis from First Principles, in Artificial Intelligence, 53, 1987.
17. [17] Shafer G. and Srivastava R., The Bayesian and Belief-Function Formalisms a General Perpsective for Auditing, in G. Shafer and J. Pearl (eds.), Readings in Uncertain Reasoning, Morgan Kaufmann Publishers, 1990.