nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

A Crash Course on Generalized Possibilistic Logic

verfasst von : Didier Dubois, Henri Prade

Erschienen in: Scalable Uncertainty Management

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

This paper proposes a concise overview of the role of possibility theory in logical approaches to reasoning under uncertainty. It shows that three traditions of reasoning under or about uncertainty (set-functions, epistemic logic and three-valued logics) can be reconciled in the setting of possibility theory. We offer a brief presentation of basic possibilistic logic, and of its generalisation that comes close to a modal logic albeit with simpler more natural epistemic semantics. Past applications to various reasoning tasks are surveyed, and future lines of research are also outlined.

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

Nächstes Kapitel Discrete Sugeno Integrals and Their Applications

Dubois, D., Prade, H.: Formal representations of uncertainty. In: Bouyssou, D.E. (ed.) Decision-Making - Concepts and Methods, pp. 85–156. Wiley, Hoboken (2009). Chapter 3

Shackle, G.: Expectation in Economics. Cambridge University Press, Cambridge (1949)MATH

Cohen, L.: The Probable and the Provable. Clarendon Press, Oxford (1977)CrossRef

Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1978)MathSciNetCrossRef

Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169–226. Kluwer Academic, Dordrecht (1998)MATH

Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, C.D., Hogger, J., Robinson, D.N. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513. Oxford University Press, Oxford (1994)

Spohn, W.: The Laws of Belief. Oxford University Press, Oxford (2012)CrossRef

Belnap, N.D.: A useful four-valued logic. In: Epstein, G. (ed.) Modern Uses of Multiple-Valued Logic, pp. 8–37. Reidel, Dordrecht (1977)

Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)MATH

10.

Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approx. Reason. 55(2), 639–653 (2014)MathSciNetCrossRef

11.

Banerjee, M., Dubois, D., Godo, L., Prade, H.: On the relation between possibilistic logic and modal logics of belief and knowledge. J. Appl. Non Class. Log. 27(3–4), 206–224 (2017)MathSciNetCrossRef

12.

Halpern, J.Y., Moses, Y.: Toward a theory of knowledge and ignorance: preliminary report. In: Apt, K. (ed.) Logics and Models of Concurrent Systems, vol. 13, pp. 459–476. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-82453-1_16CrossRef

13.

Ciucci, D., Dubois, D.: A modal theorem-preserving translation of a class of three-valued logics of incomplete information. J. Appl. Non Class. Log. 23, 321–352 (2013)MathSciNetCrossRef

14.

Dubois, D., Prade, H.: Qualitative and semi-quantitative modeling of uncertain knowledge - a discussion. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality, Essays Dedicated to Gabriele Kern-Isberner on the Occasion of her 60th Birthday, pp. 280–296. College Publications (2016)

15.

Dubois, D., Prade, H.: Possibilistic logic - an overview. In: Siekmann, J.H. (ed.) Computational Logic. Handbook of the History of Logic, vol. 9, pp. 283–342. Elsevier, Amsterdam (2014)CrossRef

16.

Rescher, N.: Plausible Reasoning. Van Gorcum, Amsterdam (1976)

17.

Dubois, D., Prade, H., Schockaert, S.: Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty. Artif. Intell. 252, 139–174 (2017)MathSciNetCrossRef

18.

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

19.

Benferhat, S., Dubois, D., Prade, H.: Practical handling of exception-tainted rules and independence information in possibilistic logic. Appl. Intell. 9(2), 101–127 (1998)CrossRef

20.

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

21.

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

22.

Lang, J.: Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, pp. 112–126. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-54507-7_10CrossRef

23.

Ben Amor, N., Dubois, D., Gouider, H., Prade, H.: Preference modeling with possibilistic networks and symbolic weights: a theoretical study. In: Proceedings of ECAI 2016, pp. 1203–1211 (2016)

24.

Dubois, D., Prade, H., Schockaert, S.: Stable models in generalized possibilistic logic. In: Proceedings of KR 2012, pp. 519–529 (2012)

25.

Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47, 3–41 (2006)MathSciNetCrossRef

26.

Touazi, F., Cayrol, C., Dubois, D.: Possibilistic reasoning with partially ordered beliefs. J. Appl. Log. 13(4), 770–798 (2015)MathSciNetCrossRef

27.

Lewis, D.: Counterfactuals. Blackwell Publishers, Worcester (1986)MATH

28.

Cayrol, C., Dubois, D., Touazi, F.: Symbolic possibilistic logic: completeness and inference methods. J. Log. Comput. 28(1), 219–244 (2018)MathSciNetCrossRef

29.

Ciucci, D., Dubois, D.: A two-tiered propositional framework for handling multisource inconsistent information. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 398–408. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61581-3_36CrossRef

30.

Belhadi, A., Dubois, D., Khellaf-Haned, F., Prade, H.: Multiple agent possibilistic logic. J. Appl. Non Class. Log. 23(4), 299–320 (2013)MathSciNetCrossRef

Titel: A Crash Course on Generalized Possibilistic Logic
verfasst von: Didier Dubois
Henri Prade
Verlag: Springer International Publishing
Buch: Scalable Uncertainty Management
Print ISBN: 978-3-030-00460-6

Electronic ISBN: 978-3-030-00461-3

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-00461-3_1

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"