A Description Logic of Typicality for Conceptual Combination

In Proceedings of ISMIS 18. Springer (2018)
Download Edit this record How to cite View on PhilPapers
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 ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v 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 ALC.
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-02
View upload history
References found in this work BETA

Add more references

Citations of this work BETA
Composing Prototypes - AISC 18.Lieto, Antonio & Pozzato, Gian Luca

Add more citations

Added to PP index

Total views
89 ( #27,315 of 42,148 )

Recent downloads (6 months)
56 ( #11,162 of 42,148 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.