Skip to main content

2017 | OriginalPaper | Buchkapitel

Interval-Based Possibilistic Logic in a Coherent Setting

verfasst von : Giulianella Coletti, Davide Petturiti, Barbara Vantaggi

Erschienen in: Advances in Artificial Intelligence: From Theory to Practice

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

In probability theory the notion of coherence has been introduced by de Finetti in terms of bets and it reveals to be equivalent to the notion of consistence of a partial assessment with a finitely additive probability. An important feature of coherent assessments is their coherent extendibility: in general we obtain a class of coherent extensions, determining a lower and an upper envelope. A similar notion of coherence has been recently introduced for (T-conditional) possibility measures, where T is a t-norm. The extendibility of coherent possibility assessments reveals to be particularly suitable for studying interval-based possibilistic logic. Our aim is to compare the results implied by the coherent setting with those obtained in different approaches, in particular, that relying on classical T-based conditioning.

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!

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!

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!

Literatur
1.
Zurück zum Zitat Baioletti, M., Coletti, G., Petturiti, D., Vantaggi, B.: Inferential models and relevant algorithms in a possibilistic framework. Int. J. App. Reas. 52(5), 580–598 (2011)MathSciNetCrossRefMATH Baioletti, M., Coletti, G., Petturiti, D., Vantaggi, B.: Inferential models and relevant algorithms in a possibilistic framework. Int. J. App. Reas. 52(5), 580–598 (2011)MathSciNetCrossRefMATH
2.
Zurück zum Zitat Baioletti, M., Petturiti, D.: Algorithms for possibility assessments: coherence and extension. Fuzzy Sets Sys. 169(1), 1–25 (2011)MathSciNetCrossRefMATH Baioletti, M., Petturiti, D.: Algorithms for possibility assessments: coherence and extension. Fuzzy Sets Sys. 169(1), 1–25 (2011)MathSciNetCrossRefMATH
3.
Zurück zum Zitat Ben Amor, N., Mellouli, K., Benferhat, S., Dubois, D., Prade, H.: A throretical framework for possibilistic independence in a weakly ordered setting. Int. J. Unc. Fuzz. K.-B. Sys. 10(2), 117–155 (2002)CrossRefMATH Ben Amor, N., Mellouli, K., Benferhat, S., Dubois, D., Prade, H.: A throretical framework for possibilistic independence in a weakly ordered setting. Int. J. Unc. Fuzz. K.-B. Sys. 10(2), 117–155 (2002)CrossRefMATH
4.
Zurück zum Zitat Benferhat, S., Dubois, D., Prade, H.: Expressing independence in a possibilistic framework and its application to default reasoning. In: Proceeding of ECAI 1994, pp. 150–154 (1994) Benferhat, S., Dubois, D., Prade, H.: Expressing independence in a possibilistic framework and its application to default reasoning. In: Proceeding of ECAI 1994, pp. 150–154 (1994)
5.
Zurück zum Zitat Benferhat, S., Levray, A., Tabia, K., Kreinovich, V.: Compatible-based conditioning in interval-based possibilistic logic. In: Proceeding of IJCAI 2015, pp. 2777–2783 (2015) Benferhat, S., Levray, A., Tabia, K., Kreinovich, V.: Compatible-based conditioning in interval-based possibilistic logic. In: Proceeding of IJCAI 2015, pp. 2777–2783 (2015)
6.
Zurück zum Zitat Bouchon-Meunier, B., Coletti, G., Marsala, C.: Independence and possibilistic conditioning. Ann. Math. Art. Intell. 35(1), 107–123 (2002)MathSciNetCrossRefMATH Bouchon-Meunier, B., Coletti, G., Marsala, C.: Independence and possibilistic conditioning. Ann. Math. Art. Intell. 35(1), 107–123 (2002)MathSciNetCrossRefMATH
7.
Zurück zum Zitat Coletti, G., Petturiti, D.: Finitely maxitive conditional possibilities, Bayesian-like inference, disintegrability and conglomerability. Fuzzy Sets Sys. 284, 31–55 (2016)MathSciNetCrossRef Coletti, G., Petturiti, D.: Finitely maxitive conditional possibilities, Bayesian-like inference, disintegrability and conglomerability. Fuzzy Sets Sys. 284, 31–55 (2016)MathSciNetCrossRef
8.
Zurück zum Zitat Coletti, G., Petturiti, D.: Finitely maxitive T-conditional possibility theory: coherence and extension. Int. J. App. Reas. 71, 64–88 (2016)MathSciNetCrossRefMATH Coletti, G., Petturiti, D.: Finitely maxitive T-conditional possibility theory: coherence and extension. Int. J. App. Reas. 71, 64–88 (2016)MathSciNetCrossRefMATH
9.
Zurück zum Zitat Coletti, G., Petturiti, D., Vantaggi, B.: Coherent T-conditional possibility envelopes and nonmonotonic reasoning. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2014. CCIS, vol. 444, pp. 446–455. Springer, Cham (2014). doi:10.1007/978-3-319-08852-5_46 Coletti, G., Petturiti, D., Vantaggi, B.: Coherent T-conditional possibility envelopes and nonmonotonic reasoning. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2014. CCIS, vol. 444, pp. 446–455. Springer, Cham (2014). doi:10.​1007/​978-3-319-08852-5_​46
10.
Zurück zum Zitat Coletti, G., Petturiti, D., Vantaggi, B.: Possibilistic and probabilistic likelihood functions and their extensions: common features and specific characteristics. Fuzzy Sets Sys. 250, 25–51 (2014)MathSciNetCrossRefMATH Coletti, G., Petturiti, D., Vantaggi, B.: Possibilistic and probabilistic likelihood functions and their extensions: common features and specific characteristics. Fuzzy Sets Sys. 250, 25–51 (2014)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Coletti, G., Scozzafava, R., Vantaggi, B.: Inferential processes leading to possibility and necessity. Inf. Sci. 245, 132–145 (2013)MathSciNetCrossRefMATH Coletti, G., Scozzafava, R., Vantaggi, B.: Inferential processes leading to possibility and necessity. Inf. Sci. 245, 132–145 (2013)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Coletti, G., Scozzafava, R., Vantaggi, B.: Possibilistic and probabilistic logic under coherence: default reasoning and System P. Math. Slovaca 65(4), 863–890 (2015)MathSciNetCrossRefMATH Coletti, G., Scozzafava, R., Vantaggi, B.: Possibilistic and probabilistic logic under coherence: default reasoning and System P. Math. Slovaca 65(4), 863–890 (2015)MathSciNetCrossRefMATH
14.
15.
17.
Zurück zum Zitat de Finetti, B.: Sul significato soggettivo della probabilità. Fund. Math. 17, 298–329 (1931)MATH de Finetti, B.: Sul significato soggettivo della probabilità. Fund. Math. 17, 298–329 (1931)MATH
18.
Zurück zum Zitat Dubois, D., del Cerro, L.F., Herzig, A., Prade, H.: An ordinal view of independence with application to plausible reasoning. In: Proceeding UAI 1994, pp. 195–203 (1994) Dubois, D., del Cerro, L.F., Herzig, A., Prade, H.: An ordinal view of independence with application to plausible reasoning. In: Proceeding UAI 1994, pp. 195–203 (1994)
19.
Zurück zum Zitat Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)CrossRefMATH Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)CrossRefMATH
21.
Zurück zum Zitat Ferracuti, L., Vantaggi, B.: Independence and conditional possibility for strictly monotone triangular norms. Int. J. Intell. Sys. 21(3), 299–323 (2006)CrossRefMATH Ferracuti, L., Vantaggi, B.: Independence and conditional possibility for strictly monotone triangular norms. Int. J. Intell. Sys. 21(3), 299–323 (2006)CrossRefMATH
22.
Zurück zum Zitat Hisdal, E.: Conditional possibilities independence and noninteraction. Fuzzy Sets Sys. 1(4), 283–297 (1978)CrossRefMATH Hisdal, E.: Conditional possibilities independence and noninteraction. Fuzzy Sets Sys. 1(4), 283–297 (1978)CrossRefMATH
23.
Zurück zum Zitat Klement, E., Mesiar, R., Pap, E.: Triangualr Norms, vol. 8. Kluwer Academic Publishers, Dordrecht (2000)CrossRefMATH Klement, E., Mesiar, R., Pap, E.: Triangualr Norms, vol. 8. Kluwer Academic Publishers, Dordrecht (2000)CrossRefMATH
24.
Zurück zum Zitat Stoll, R.: Set Theory and Logic. Dover Publications Inc., New York (1979)MATH Stoll, R.: Set Theory and Logic. Dover Publications Inc., New York (1979)MATH
25.
Zurück zum Zitat Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)CrossRefMATH Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)CrossRefMATH
Metadaten
Titel
Interval-Based Possibilistic Logic in a Coherent Setting
verfasst von
Giulianella Coletti
Davide Petturiti
Barbara Vantaggi
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-60045-1_10

Premium Partner