Abstract
Possibilistic logic offers a unified framework for revising prioritized pieces of information and for reasoning with conditional knowledge bases. A conditional assertion of the form ”generally, if α is true then β is true” is interpreted as a constraint expressing that the possibility degree of having \(\alpha \land \beta\) being true is greater than the possibility degree of having \(\alpha \land \neg \beta\) being true. Recently, an important extension of possibilistic logic has been proposed to deal with partially pre-ordered bases in order to avoid comparing unrelated pieces of information.
This paper establishes relationships between reasoning from partially pre-ordered bases and reasoning from conditional knowledge bases. It contains two important contributions. The first contribution consists in identifying conditions under which a partially ordered belief base can be encoded as a set of conditional assertions, and conversely. In particular, we provide the correspondences between the concept of compatible possibility distributions used for conditional assertions and the one of compatible prioritized bases used for partially pre-ordered bases. The second important contribution of this paper consists in providing the computational complexity of reasoning with partially pre-ordered bases using the well-known possibilistic and inclusion-based policies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benferhat, S., Dubois, D., Cayrol, C., Lang, J., Prade, H.: Inconsistency management and prioritized syntaxbased entailment. In: 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 640–645 (1993)
Benferhat, S., Dubois, D., Prade, H.: Practical handling of exception-tainted rules and independence information in possibilistic logic. Journal of Applied Intelligence 9(2), 101–127 (1998)
Benferhat, S., Lagrue, S., Papini, O.: Reasoning with partially ordered information in a possibilistic framework. Fuzzy Sets and Systems 144, 25–41 (2004)
Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Bridging logical, comparative and graphical possibilistic representation frameworks. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 422–431. Springer, Heidelberg (2001)
Benferhat, S., Yahi, S.: Complexity and cautiousness results for reasoning from partially preordered belief bases. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 817–828. Springer, Heidelberg (2009)
da Costa, N.C.A.: Theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)
Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Articial Intelligence and Logic Programming, vol. 3, pp. 439–513 (1994)
Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)
Junker, U., Brewka, G.: Handling partially ordered defaults in TMS. In: IJCAI 1989, pp. 1043–1048 (1989)
Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligience 44(1-2), 167–207 (1990)
Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)
Linke, T., Schaub, T.: An approach to query-answering in reiter’s default logic and the underlying existence of extensions problem. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 233–247. Springer, Heidelberg (1998)
Linke, T., Schaub, T.: Alternative foundations for reiter’s default logic. Artificial Intelligence 124(1), 31–86 (2000)
Mengin, J.: A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 301–310. Springer, Heidelberg (1995)
Morgenstern, L.: Inheritance comes of age: applying nonmonotonic techniques to problems in industry. In: 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 1613–1613 (1997)
Nebel, B.: Belief Revision and Default Reasoning: Syntax-based Appraoch. In: KR 1991, pp. 417–427 (1991)
Papadimitriou, C.H.: Computational Complexity. Addison Wesley Publishing Company, Reading (1994)
Pearl, J.: System z: A natural ordering of defaults with tractable applications to default reasoning. In: 6th Theoretical Aspects of Rationality and Knowledge (TARK 1990), pp. 121–135 (1990)
Reiterp, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)
Rescher, N., Manor, R.: On inference from inconsistent premises. Theory and Decision 1, 179–219 (1970)
Yahi, S., Benferhat, S., Lagrue, S., Sérayet, M., Papini, O.: A lexicographic inference for partially preordered belief bases
Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, 3–28 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benferhat, S., Lagrue, S., Yahi, S. (2010). Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. In: Janhunen, T., Niemelä, I. (eds) Logics in Artificial Intelligence. JELIA 2010. Lecture Notes in Computer Science(), vol 6341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15675-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-15675-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15674-8
Online ISBN: 978-3-642-15675-5
eBook Packages: Computer ScienceComputer Science (R0)