Skip to main content
SpringerLink
Log in

A Description Logic of Typicality for Conceptual Combination

  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 2018)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11177))

Included in the following conference series:

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}\).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

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

  2. 2.

    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.

References

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

    MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  3. 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)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  5. 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)

    Google Scholar 

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

    Article  Google Scholar 

  7. 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)

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  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_37

    Chapter  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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_23

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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

Download references

Acknowledgements

This work is partially supported by the project “ExceptionOWL”, Università di Torino and Compagnia di San Paolo, call 2014“Excellent (young) PI”, http://di.unito.it/exceptionowl.

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    Antonio Lieto & Gian Luca Pozzato

  2. ICAR-CNR, Palermo, Italy

    Antonio Lieto

Authors
  1. Antonio Lieto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gian Luca Pozzato
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gian Luca Pozzato .

Editor information

Editors and Affiliations

  1. Università degli Studi di Bari Aldo Moro, Bari, Italy

    Michelangelo Ceci

  2. American University, Washington, DC, USA

    Nathalie Japkowicz

  3. Hong Kong Baptist University, Kowloon, Hong Kong

    Jiming Liu

  4. University of Cyprus, Nicosia, Cyprus

    George A. Papadopoulos

  5. University of North Carolina, Charlotte, NC, USA

    Zbigniew W. Raś

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Lieto, A., Pozzato, G.L. (2018). A Description Logic of Typicality for Conceptual Combination. In: Ceci, M., Japkowicz, N., Liu, J., Papadopoulos, G., Raś, Z. (eds) Foundations of Intelligent Systems. ISMIS 2018. Lecture Notes in Computer Science(), vol 11177. Springer, Cham. https://doi.org/10.1007/978-3-030-01851-1_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-01851-1_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-01850-4

  • Online ISBN: 978-3-030-01851-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation