Skip to main content
Log in

A Practical Approach to Revising Prioritized Knowledge Bases

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper investigates simple syntactic methods for revising prioritized belief bases, that are semantically meaningful in the frameworks of possibility theory and of Spohn's ordinal conditional functions. Here, revising prioritized belief bases amounts to conditioning a distribution function on interpretations. The input information leading to the revision of a knowledge base can be sure or uncertain. Different types of scales for priorities are allowed: finite vs. infinite, numerical vs. ordinal. Syntactic revision is envisaged here as a process which transforms a prioritized belief bases into a new prioritized belief base, and thus allows a subsequent iteration.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Benferhat, S., D. Dubois, H. Prade. How to infer from inconsistent beliefs without revising?. Proc. of IJCAI'95, pp. 1449-1455, 1995.

  • Benferhat, S., D. Dubois, H. Prade, and M. Williams. A practical approach to fusing and revising prioritized belief bases. Procs. EPIA-99, LNAI no 1695, Springer Verlag, pp. 222-236, 1999.

  • Benferhat, S., D. Dubois, H. Prade, M.-A. Williams. A practical approach to revising prioritized knowledge bases. In Procs. 3rd International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES'99, Adelaide (Australia), IEEE Press, pp. 170-174, 1999.

  • Boutilier, C. Revision sequences and nested conditionals. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, pp. 519-525, 1993.

  • Boutilier, C., and M. Goldszmidt. Revision by conditional beliefs. In Proceedings of AAAI'93, pp. 649-654, 1993.

  • Darwiche D., and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence 89, 1-29, 1997.

    Google Scholar 

  • Cholvy, L. Reasoning about merging information. In Handbook of Defeasible Reasoning and Uncertainty Management Systems (D. Gabbay, Ph. Smets, eds.) Vol. 3: Belief Change (D. Dubois and H. Prade, eds.), pp. 233-263, Kluwer Academic Press, 1998.

  • Dubois, D., J. Lang, H. Prade. Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, (D. Gabbay et al., eds.) pp. 439-513, 1994.

  • Dubois, D., H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50, 223-239, 1991.

    Google Scholar 

  • Dubois, D., H. Prade. Belief change and possibility theory. In: Belief Revision, (P. Gärdenfors, ed.), pp. 142-182, 1992.

  • Dubois, D., H. Prade. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. International Journal of Approximate Reasoning 17, 295-324, 1997.

    Google Scholar 

  • Dubois, D., H. Prade. Possibility theory: qualitative and quantitative aspects. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems (D. Gabbay, Ph. Smets, eds.) Vol. 1: Quantified Representation of Uncertainty and Imprecision (Ph. Smets, ed.), pp. 169-226, Kluwer Academic Press, 1998.

  • Gärdenfors, P. Knowledge in Flux — Modeling the Dynamic of Epistemic States, MIT Press, 1988.

  • Nebel, B. Base revision operator and schemes: semantics representation and complexity. Proceedings of 11th European Conference on Artificial Intelligence (ECAI'94), pp. 341-345, 1994.

  • Papini, O. Iterated revision operations stemming from the history of an agent's observations. In Frontiers of Belief Revision, H. Rott and M. Williams, eds. 2001.

  • Peppas, P., and M.-A. Williams. Constructive modelings for theory change. Notre Dame Journal of Formal Logic 36(1):120-133, 1995.

    Google Scholar 

  • Spohn, W. Ordinal conditional functions: A dynamic theory of epistemic states. In: Causation in Decision, Belief Change, and Statistics, Vol. 2 (W. L. Harper, B. Skyrms, eds.), D. Reidel, Dordrecht, pp. 105-134, 1998.

    Google Scholar 

  • Williams, M.-A. Transmutations of knowledge systems. Proceedings of 4th International Conference of Principles of Knowledge Representation and Reasoning (KR'94), pp. 619-629, 1994.

  • Williams, M.-A. Iterated theory base change: A computational model. In Procs. IJCAI-95, Montreal, pp. 1541-1550, 1995.

  • Williams, M.-A. On the logic of theory base change. In Logics in Artifical Intelligence, Lecture Note Series in Computer Science No 838, Springer Verlag, pp. 86-105, 1994.

  • Zadeh, L. A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, 3-28, 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Benferhat, S., Dubois, D., Prade, H. et al. A Practical Approach to Revising Prioritized Knowledge Bases. Studia Logica 70, 105–130 (2002). https://doi.org/10.1023/A:1014658309853

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1014658309853

Navigation