nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds

verfasst von : Christian Komo, Christoph Beierle

Erschienen in: KI 2020: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

A conditional knowledge base \(\mathcal {R}\) is a set of conditionals of the form “If A then usually B”. Using structural information derived from the conditionals in \(\mathcal {R}\), we introduce the preferred structure relation on worlds. The preferred structure relation is the core ingredient of a new inference relation called system W inference that inductively completes the knowledge given explicitly in \(\mathcal {R}\). We show that system W exhibits desirable inference properties like satisfying system P and avoiding, in contrast to, e.g., system Z, the drowning problem. It fully captures and strictly extends both system Z and skeptical c-inference. In contrast to skeptical c-inference, it does not require to solve a complex constraint satisfaction problem, but is as tractable as system Z.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel HTN Plan Repair via Model Transformation

Nächstes Kapitel Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding

Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Synthese Library. Springer, Dordrecht (1975)MATHCrossRef

Beierle, C., Eichhorn, C., Kern-Isberner, G.: Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 65–82. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30024-5_4MATHCrossRef

Beierle, C., Eichhorn, C., Kutsch, S.: A practical comparison of qualitative inferences with preferred ranking models. KI - Künstliche Intelligenz 31(1), 41–52 (2017)CrossRef

Beierle, C., Kern-Isberner, G.: Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2–3), 123–158 (2012)MathSciNetMATHCrossRef

Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 247–275 (2018). https://doi.org/10.1007/s10472-017-9571-9

Beierle, C., Kutsch, S.: Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. 49(1), 28–43 (2018). https://doi.org/10.1007/s10489-018-1203-5CrossRef

Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR 1992, pp. 673–684 (1992)

Benferhat, S., Dubois, D., Prade, H.: Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. Logic Comput. 9(6), 873–895 (1999)MathSciNetMATHCrossRef

Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency Management and Prioritized Syntax-Based Entailment. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 1993), vol. 1, pp. 640–647. Morgan Kaufmann Publishers, San Francisco (1993)

10.

Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relationships. Special Issue Condit. Event Algebra IEEE Trans. Syst. Man Cybern. 24(12), 1724–1740 (1994)MathSciNetMATH

11.

de Finetti, B.: La prévision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincaré 7(1), 1–68 (1937). English translation in Studies in Subjective Probability, ed. H. Kyburg and H.E. Smokler, 1974, 93–158. New York: Wiley & Sons

12.

Goldszmidt, M., Pearl, J.: On the consistency of defeasible databases. Artif. Intell. 52(2), 121–149 (1991)MathSciNetMATHCrossRef

13.

Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84(1–2), 57–112 (1996)MathSciNetCrossRef

14.

Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44600-1MATHCrossRef

15.

Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Ann. Math. Artif. Intell. 40(1–2), 127–164 (2004)MathSciNetMATHCrossRef

16.

Kern-Isberner, G., Eichhorn, C.: Structural inference from conditional knowledge bases. Studia Logica, Special Issue Logic Probabil. Reason. Uncertain Environ. 102(4), 751–769 (2014). http://dx.doi.org/10.1007/s11225-013-9503-6

17.

Komo, C., Beierle, C.: Realization of nonmonotonic reasoning from conditional knowledge bases by skeptical c-inference and by preferred structures on worlds. Manuscript, May 2020. 32 pp

18.

Komo, C., Beierle, C.: Upper and lower bounds for finite domain constraints to realize skeptical c-inference over conditional knowledge bases. In: International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale, FL, USA, January 6–8 (2020)

19.

Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167–207 (1990)MathSciNetMATHCrossRef

20.

Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)MathSciNetMATHCrossRef

21.

Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)MATH

22.

Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 35–110. Oxford University Press (1994)

23.

Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Parikh, R. (ed.) Proceedings of the 3rd conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1990), pp. 121–135. Morgan Kaufmann Publishers Inc., San Francisco (1990)

24.

Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper W.L., Skyrms B. (eds.) Causation in Decision, Belief Change and Statistics: Proceedings of the Irvine Conference on Probability and Causation. The Western Ontario Series in Philosophy of Science, vol. 42, pp. 105–134. Springer, Dordrecht (1988). https://doi.org/10.1007/978-94-009-2865-7_6

25.

Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)CrossRef

26.

Thorn, P.D., Eichhorn, C., Kern-Isberner, G., Schurz, G.: Qualitative probabilistic inference with default inheritance for exceptional subclasses. In: Beierle, C., Kern-Isberner, G., Ragni, M., Stolzenburg, F. (eds.) Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015). CEUR Workshop Proceedings, vol. 1444 (2015)

Titel: Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
verfasst von: Christian Komo
Christoph Beierle
Verlag: Springer International Publishing
Buch: KI 2020: Advances in Artificial Intelligence
Print ISBN: 978-3-030-58284-5

Electronic ISBN: 978-3-030-58285-2

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-58285-2_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"