Belief revision: From theory to practice

Knowledge Engineering Review

Volumn 12, Issue 2, 1997, Pages 147-179

  Dragoni, Aldo Franco ^a  

^a UNIVERSITÀ POLITECNICA DELLE MARCHE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; NUMERICAL METHODS; PROBLEM SOLVING; RELIABILITY;

BELIEF REVISION; LOGICAL THEORY; QUALITATIVE SYNTACTIC METHODS; SYMBOLIC MODEL;

KNOWLEDGE BASED SYSTEMS;

EID: 0031167835     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S026988899700204X     Document Type: Article

References (54)

1. Alchourrón, CE, Gärdenfors, P, and Makinson, D, 1985. "On the logic of theory change: partial meet contraction and revision functions" Journal of Symbolic Logic, 50, 510-530.
2. Benferhat, S, Cayrol, C, Dubois, D, Lang, J and Prade, H, 1993. "Inconsistency management and prioritized syntax-based entailment" Proc. 13th Inter. Joint Conf. on Artificial Intelligence 640-645.
3. Benferhat, S, Dubois, D and Prade, H. 1995. "How to infer from inconsistent beliefs without revising?" Proc. 14th Inter. Joint Conf. on Artificial Intelligence 1449-1455.
4. Brewka, G, 1989. "Preferred subtheories: an extended logical framework for default reasoning" Proc. 11th Inter. Joint Conf. on Artificial Intelligence 1043-1048.
5. Chou Tymothy, S-C, and Winslett, M, 1994., "A model-based belief revision system" Journal of Automated Reasoning 12 157-208.
6. Dalal, M, 1988. "Investigations into a theory of Inowledge base revision" Proc. 7th National Conf on Artificial Intelligence 475-479.
7. Darwiche, A and Pearl, J, 1994. "On the logic of iterated base revision" Fagin, R, (ed.), Proc. 5th Conf on Theoretical Aspects of Reasoning about Knowledge 519-525. Morgan Kaufmann.
8. de Kleer, J, 1986. "An assumption based truth maintenance system" Artificial Intelligence 28 127-162.
9. Dixon, S, and Foo, N, 1993. "Connections between the ATMS and AGM belief revision" Proc. 13th Inter. Joint Conf. on Artificial Intelligence 534-539.
10. Doyle, J, 1992. "Reason maintenance and belief revision: foundation versus coherence theories" in Gärdenfors, P (ed.), Belief Revision Cambridge University Press.
11. Doyle, J, 1979. "A truth maintenance system" Artificial Intelligence 12 (3) 231-272.
12. Dragoni, AF, 1992. "A model for belief revision in a multi-agent environment" in Werner, E and Demazeau, Y. (eds.), Decentralized A. I. 3 North Holland.
13. Dragoni, AF, Giorgini, P and Puliti, P 1994. "Distributed belief revision versus distributed truth maintenance" Proc. 6th IEEE Conf. on Tools with AI IEEE Press.
14. Dragoni, AF and Di Manzo, M, 1995. "Supporting complex inquiries" International Journal of Intelligent Systems 10 (11) 959-986.
15. Dragoni AF, Mascaretti, F and Puliti, P, 1995. "A Generalized approach to consistency-based belief revision in Gori, M and Soda, G. (eds.), Topics in Artificial Intelligence: Proc. Conference of the Italian Association for Artificial Intelligence. LNAI 992 Springer-Verlag.
16. Dragoni, AF, 1996. "Distributed decision support systems under limited degrees of competence: a simulation study" in Decision Support Systems special issue on "Intelligent Agents as a Basis for Decision Support Systems" North Holland.
17. Dragoni, AF, 1997. "Maximal consistency and theory of evidence in the police inquiry domain" Artificial Intelligence and Law Journal special issue on "Time and Evidence" (submitted).
18. Dubois, D, Lang, J and Prade, H, 1994. "Possibilistic logic" in DM Gabbay et al. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, 439-513, Oxford University Press.
19. Dubois, D and Prade, H, 1994. "A survey of belief revision and update rules in various uncertainty models" International Journal of Intelligent Systems 9 61-100.
20. Dubois, D and Prade, H, 1990. "An introduction to possibilistic and fuzzy logics" in G Shafer and J Pearl (eds.), Readings in Uncertain Reasoning Morgan Kaufmann.
21. Dubois, D and Prade, H, 1991. "Epistemic entrenchment and possibilistic logic" Artificial Intelligence 50 223-239.
22. Dubois, D and Prade, H, 1992. "Belief change and possibility theory" in Gärdenfors, P (ed.), Belief Revision Cambridge University Press.
23. Gärdenfors, P, 1988. "Knowledge in Flux: Modeling the Dynamics of Epistemic States MIT Press.
24. Gärdenfors, P, 1990a. "Belief revision and non monotonic logic: two sides of the same coin?" Proc. 9th European Conference on Artificial Intelligence John Wiley & Sons.
25. Gärdenfors, P. 1990b. "The dynamics of belief systems: foundations vs. coherence theories" Revue Internationale de Philosophie (44) 24-46.
26. Gärdenfors, P, 1992. "Belief revision: an introduction" in Gärdenfors, P (ed.), Belief Revision Cambridge University Press.
27. Harman, G, 1986. "Change in View: Principles of Reasoning MIT Press.
28. Katsuno, H and Mendelzon, AO, 1991a. "On the difference between updating a knowledge base and revising it" in Allen, J, Fikes. R and Sandewall, E (eds.), Proc. 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning Morgan Kaufmann, 387-394.
29. Katsuno, H, and Mendelzon, AO, 1991b. "Prepositional knowledge base revision and minimal change" Artificial Intelligence 52 263-294.
30. Kennes, R, 1992. "Computational aspects of the möbius transform of a graph" IEEE Transactions in Systems, Man and Cybernetics 22 201-223.
31. Laskey, KB and Lehner, PE, 1990. "Belief maintenance: an integrated approach to uncertainty management" in G Shafer and J Pearl (eds.), Readings in Uncertain Reasoning Morgan Kaufmann.
32. Léa Sombé 1994. "A glance at revision and updating in knowledge bases" International Journal of Intelligent Systems 9 1-27.
33. Lehmann, D, 1995. "Belief revision, revised" "Proc. 14th Inter. Joint Conf. on Artificial Intelligence 1534-1540.
34. Lévy, F, 1994. "A survey of belief revision and updating in classical logic" International Journal of Intelligent Systems 9 29-59.
35. Martins, JP and Shapiro, SC, 1988. "A Model for belief revision" Artificial Intelligence 35 25-79.
36. Moral, S and Wilson, N, 1996. "Importance sampling Monte-Carlo algorithms for the calculation of Dempster-Shafer belief" Proceeding of IPMU'96 Granada.
37. Nebel, B, 1989. "A knoweledge level analysis of belief revision" in RJ Brachman, HJ Levesque and R. Reiter, (eds.), Proc. Inter. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 301-311.
38. Nebel, B, 1991. "Belief revision and default reasoning: syntax-based approaches" in J. Allen, R. Fikes and E. Sandewall, (eds.), Proc. 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning Morgan Kaufmann.
39. Nebel, B, 1992. "Syntax based approaches to belief revision" in P. Gärdenfors (ed.), Belief Revision Cambridge University Press.
40. Nebel, B, 1994. "Base revision operations and schemes: semantics, representation, and complexity" in AG Cohn (ed.), Proc. 11th European Conference on Artificial Intelligence John Wiley & Sons.
41. Nonfjall, H and Larsen, HL, 1992. "Detection of potential inconsistencies In knowledge bases" International Journal of Intelligent Systems 7 81-96.
42. Parsons, S, 1994. "Some qualitative approaches to applying the Demster-Shafer theory" Information and Decision Technologies 19 321-337.
43. Pearl, J, 1988. "Probabilistic Reasoning for Intelligent Systems Morgan Kaufmann.
44. Reiter, R, 1987. "A theory of diagnosis from first principles" Artificial Intelligence 53.
45. Roos, N, 1992. "A logic for reasoning with inconsistent knowledge" Artificial Intelligence 57 69-103.
46. Shafer, G. 1976. "A Mathematical Theory of Evidence Princeton University Press.
47. Shafer, G, 1990. "Belief functions" in G Shafer and J Pearl (eds.), Readings in Uncertain Reasoning Morgan Kaufmann.
48. Shafer, G and Pearl, J, 1990. "Readings in Uncertain Reasoning, Morgan Kaufmann.
49. Shafer, G and Srivastava R, 1990. "The Bayesian and belief-function formalisms a general perspective for auditing" in G Shafer and J Pearl (eds.), Readings in Uncertain Reasoning" Morgan Kaufmann.
50. Williams, MA, 1995. "Iterated theory base change: a computational model" Proc. 14th Inter. Joint Conf. on Artificial Intelligence 1541-1547.
51. Wilson, N, 1991. "A Monte-Carlo algorithm for Dempster-Shafer belief in BD D'Ambrosio, P. Smets and P. Bonissone (eds.), Uncertainty in Artificial Intelligence, Proc. Seventh Conference. Morgan Kaufmann, 414-417.
52. Winslett, M, 1988. "Reasoning about action using a possible model approach" Proc. 7th National Conf on Artificial Intelligence 89-93.
53. Zadeh, LA, 1965. "Fuzzy sets" Information and Control 8 338-353.
54. Zhu, Q and Lee, ES, 1993. "Dempster-Shafer approach in propositional logic" International Journal of Intelligent Systems 8.