nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

A Description Logic of Typicality for Conceptual Combination

verfasst von : Antonio Lieto, Gian Luca Pozzato

Erschienen in: Foundations of Intelligent Systems

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

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality \(\mathcal {ALC}+\mathbf{T}_\mathbf{R}\), based on the notion of rational closure, by inclusions \(p \ {::} \ \mathbf{T}(C) \sqsubseteq D\) (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept combination. We show that the complexity of reasoning in our logic is ExpTime-complete as in \(\mathcal {ALC}\).

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 Multipurpose Web-Platform for Labeling Audio Segments Efficiently and Effectively

Nächstes Kapitel Sparse Multi-label Bilinear Embedding on Stiefel Manifolds

Here, we focus on the proposal of the formalism itself, therefore the machinery for obtaining probabilities from an application domain will not be discussed.

Here we assume that some methods for the automatic assignment of the HEAD/MODIFER pairs are/may be available and focus on the discussion of the reasoning part.

Frixione, M., Lieto, A.: Representing concepts in formal ontologies: compositionality vs. typicality effects. Log. Log. Philos. 21(4), 391–414 (2012)MathSciNet

Osherson, D.N., Smith, E.E.: On the adequacy of prototype theory as a theory of concepts. Cognition 9(1), 35–58 (1981)CrossRef

Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Semantic characterization of Rational Closure: from Propositional Logic to Description Logics. Artif. Intell. 226, 1–33 (2015)MathSciNetCrossRef

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

Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Reasoning with probabilistic ontologies. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25–31 July 2015, pp. 4310–4316 AAAI Press (2015)

Hampton, J.A.: Inheritance of attributes in natural concept conjunctions. Mem. Cogn. 15(1), 55–71 (1987)CrossRef

Lieto, A., Pozzato, G.L.: Creative concept generation by combining description logic of typicality, probabilities and cognitive heuristics. In: Proceedings of the 17th International Conference of the Italian Association for Artificial Intelligence AI*IA 2018 (2018)

Lieto, A., Minieri, A., Piana, A., Radicioni, D.P.: A knowledge-based system for prototypical reasoning. Connect. Sci. 27, 137–152 (2015)CrossRef

Hampton, J.A.: Conceptual combinations and fuzzy logic. Concepts Fuzzy Log. 209, 209–232 (2011)

10.

Lewis, M., Lawry, J.: Hierarchical conceptual spaces for concept combination. Artif. Intell. 237, 204–227 (2016)MathSciNetCrossRef

11.

Tversky, A., Kahneman, D.: Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment. Psychol. Rev. 90(4), 293 (1983)CrossRef

12.

Pozzato, G.L.: Reasoning in description logics with typicalities and probabilities of exceptions. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 409–420. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61581-3_37CrossRefMATH

13.

Pozzato, G.L.: Reasoning about plausible scenarios in description logics of typicality. Intelligenza Artificiale 11(1), 25–45 (2017)MathSciNetCrossRef

14.

Confalonieri, R., Schorlemmer, M., Kutz, O., Peñaloza, R., Plaza, E., Eppe, M.: Conceptual blending in EL++. In: Lenzerini, M., Peñaloza, R. (eds.) Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 22–25 April 2016, vol. 1577 of CEUR Workshop Proceedings (2016). CEUR-WS.org

15.

Nagai, Y., Taura, T.: Formal description of concept-synthesizing process for creative design. In: Gero, J.S. (ed.) Design Computing and Cognition ’06. Springer, Dordrecht (2006). https://doi.org/10.1007/978-1-4020-5131-9_23CrossRef

16.

Eppe, M., et al.: A computational framework for conceptual blending. Artif. Intell. 256, 105–129 (2018)MathSciNetCrossRef

17.

Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Rational closure in \(\cal{SHIQ}\). In: DL 2014, 27th International Workshop on Description Logics, vol. 1193 of CEUR Workshop Proceedings, pp. 543–555 (2014). CEUR-WS.org

18.

Giordano, L., Gliozzi, V., Pozzato, G.L., Renzulli, R.: An efficient reasoner for description logics of typicality and rational closure. In: Artale, A., Glimm, B., Kontchakov, R. (eds.) Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, 18–21 July 2017, vol. 1879 of CEUR Workshop Proceedings (2017). CEUR-WS.org

Titel: A Description Logic of Typicality for Conceptual Combination
verfasst von: Antonio Lieto
Gian Luca Pozzato
Verlag: Springer International Publishing
Buch: Foundations of Intelligent Systems
Print ISBN: 978-3-030-01850-4

Electronic ISBN: 978-3-030-01851-1

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-01851-1_19

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"