Applications of Belief Revision

Belief revision provides support for intelligent information processing and deci sion making The objective of this paper is to illustrate how theoretical ideas in belief revision have laid the foundation for practical implementations and real world applications Belief revision operators are often based on one of the following constructive de nitions an epistemic entrenchment ordering of sentences or a system of spheres which is essentially a total preorder over possible world states We outline each of these constructions and show how they can be implemented and used for real world applications To illustrate the epistemic entrenchment construction we use an application in software engineering and for the system of spheres construction an application in marketing research In section we introduce the AGM paradigm for belief revision In section we describe the epistemic entrenchment construction for revision functions and show how it can be implemented using a standard theorem prover An application in requirements engineering is used to illustrate its applicability In section we describe the systems of spheres construction and illustrate how it can be implemented using relational database technology The construction is then used to model changes in consumer preferences in a marketing research application

[1]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[2]  Mary-Anne Williams,et al.  From belief revision to design revision: Applying theory change to changing requirements , 1996, PRICAI Workshops.

[3]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[4]  Norman Y. Foo,et al.  Determining Explanations using Transmutations , 1995, IJCAI.

[5]  Ruth N. Bolton,et al.  A Longitudinal Analysis of the Impact of Service Changes on Customer Attitudes , 1991 .

[6]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[7]  Del I. Hawkins,et al.  Marketing research : measurement & method , 1990 .

[8]  Mary-Anne Williams,et al.  Constructive Modelings for Theory Change , 1995, Notre Dame J. Formal Log..

[9]  H. Prade,et al.  Possibilistic logic , 1994 .

[10]  P. Green,et al.  Conjoint Analysis in Consumer Research: Issues and Outlook , 1978 .

[11]  Mary-Anne Williams,et al.  Iterated Theory Base Change: A Computational Model , 1995, IJCAI.

[12]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[15]  Miles Osborne,et al.  Processing natural language software requirement specifications , 1996, Proceedings of the Second International Conference on Requirements Engineering.

[16]  Gilbert A. Churchill,et al.  Marketing Research: Methodological Foundations , 1976 .

[17]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

[18]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[19]  Mary-Anne Williams,et al.  On the Logic of Theory Base Change , 1994, JELIA.

[20]  José Júlio Alferes,et al.  Belief Revision in Non-Monotonic Reasoning , 1995, EPIA.

[21]  GianCarlo Moschini,et al.  Testing for Preference Change in Consumer Demand: An Indirectly Separable, Semiparametric Model , 1991 .

[22]  Mary-Anne Williams,et al.  Towards a Practical Approach to Belief Revision: Reason-Based Change , 1996, KR.

[23]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[24]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[25]  John A. McDermid,et al.  A Framework for Requirements Analysis Using Automated Reasoning , 1995, CAiSE.

[26]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

[27]  Mary-Anne Williams.  Anytime Belief Revision , 1997, IJCAI.