In this work we exploit a nonmonotonic Description Logic of typicality as a tool for the generation and the exploration of novel creative concepts. Our logic, called TCL, is able to deal with the phenomenon of prototypical concept combination, which has been shown to be problematic to be modelled in formalisms like fuzzy logic. The logic TCL is the result of combining three main ingredients: (i) the logic of typicality , that allows one to describe typical properties of a class by means of a typicality operator, (ii) the distributed semantics of probabilistic Description Logics, that allows one to provide a probability distribution over worlds/scenarios, and (iii) established heuristics used by humans for concept composition coming from the field of cognitive semantics. Our approach could be useful in many applicative scenarios, ranging from video games to the creation of new movie characters.
AlbertiM., BellodiE., CotaG., RiguzziF. and ZeseR.. cplint on SWISH: Probabilistic logical inference with a web browser, Intelligenza Artificiale11(1) (2017), 47–64.
2.
BellodiE., LammaE., RiguzziF., ZeseR. and CotaG.. A web system for reasoning with probabilistic OWL, Journal of Software: Practice and Experience47(1) (2017), 125–142.
3.
ConfalonieriR., SchorlemmerM., KutzO., PeñalozaR., PlazaE. and EppeM.. Conceptual blending in EL++. In
LenzeriniMaurizio and PeñalozaRafael, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., (2016), volume 1577 of CEUR Workshop Proceedings. CEURWS.org.
4.
EppeM., MacleanE., ConfalonieriR., KutzO., SchorlemmerM., PlazaE. and KühnbergerK-U.. A computational framework for conceptual blending, Artificial Intelligence256 (2018), 105–129.
5.
GärdenforsP., The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press, 2014.
6.
GiordanoL., GliozziV., OlivettiN. and PozzatoG.L.. Rational closure in SHIQ. In DL 2014, 27th International Workshop on Description Logics, volume 1193 of CEUR Workshop Proceedings (2014), pp. 543–555. CEUR-WS.org.
7.
GiordanoL., GliozziV., OlivettiN. and PozzatoG.L.. Semantic characterization of Rational Closure: From Propositional Logic to Description Logics, Artificial Intelligence226 (2015), 1–33.
8.
GiordanoL., GliozziV., OlivettiN. and PozzatoG. Luca. Minimal model semantics and rational closure in description logics. In
EiterThomas,
GlimmBirte,
KazakovYevgeny, and KrötzschMarkus, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, volume 1014 of CEUR Workshop Proceedings (2013), pp. 168–180. CEUR-WS.org.
9.
GiordanoL., GliozziV., PozzatoG. Luca and
RenzulliR.. An efficient reasoner for description logics of typicality and rational closure. In
ArtaleAlessandro,
GlimmBirte, and KontchakovRoman, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, volume 1879 of CEUR Workshop Proceedings. (2017), CEUR-WS.org.
10.
HamptonJ.A.. Inheritance of attributes in natural concept conjunctions, Memory & Cognition15(1) (1987), 55–71.
11.
HamptonJ.A.. Conceptual combinations and fuzzy logic, Concepts and fuzzy logic209, 2011.
12.
LairdJ., RosenbloomP. and NewellA.. Universal subgoaling and chunking: The automatic generation and learning of goal hierarchies, volume 11, Springer Science & Business Media, 2012.
13.
LehmannD. and MagidorM.. What does a conditional knowledge base entail?Artificial Intelligence55(1) (1992), 1–60.
14.
LewisM. and LawryJ.. Hierarchical conceptual spaces for concept combination, Artificial Intelligence237 (2016), 204–227.
15.
LietoA., LebiereC. and OltramariA.. The knowledge level in cognitive architectures: Current limitations and possible developments, Cognitive Systems Research48 (2018), 39–55.
16.
LietoA.. Non classical concept representation and reasoning in formal ontologies. PhD thesis, Universita degli studi di Salerno, 2012.
17.
LietoA. and PozzatoG. Luca. Creative concept generation by combining description logic of typicality, probabilities and cognitive heuristics. In
GhidiniChiara,
MagniniBernardo,
PasseriniAndrea, and TraversoPaolo, editors, AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings, volume 11298 of Lecture Notes in Computer Science (2018), pp. 183–196. Springer.
18.
LietoA. and PozzatoG. Luca. A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics, arXiv preprint arXiv:1811.02366, 2018.
19.
LietoA. and PozzatoG. Luca. A description logic of typicality for conceptual combination. In
CeciMichelangelo,
JapkowiczNathalie,
LiuJiming,
PapadopoulosGeorge A., and RasZbigniew W., editors, Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings, volume 11177 of Lecture Notes in Computer Science (2018), pp. 189–199. Springer.
20.
LietoA., PozzatoG. Luca and
ValeseA.. COCOS: A typicality based concept combination system. In
FelliPaolo and MontaliMarco, editors, Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., volume 2214 of CEUR Workshop Proceedings (2018), pp. 55–59. CEUR-WS.org.
21.
LietoA., RadicioniD.P. and RhoV.. Dual peccs: A cognitive system for conceptual representation and categorization, Journal of Experimental & Theoretical Artificial Intelligence29(2) (2017), 433–452.
22.
NagaiY. and TauraT.. Formal description of concept-synthesizing process for creative design, Design computing and cognition’06 (2006), pp. 443–460.
23.
OshersonD.N. and SmithE.E.. On the adequacy of prototype theory as a theory of concepts, Cognition9(1) (1981), 35–58.
24.
PozzatoG. Luca. Reasoning about plausible scenarios in description logics of typicality, Intelligenza Artificiale11(1) (2017), 25–45.
25.
PozzatoG. Luca. Reasoning in description logics with typicalities and probabilities of exceptions. In
AntonucciAlessandro,
CholvyLaurence, and PapiniOdile, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings, volume 10369 of Lecture Notes in Computer Science (2017), pp. 409–420. Springer.
26.
RiguzziF., BellodiE., LammaE. and ZeseR.. Probabilistic description logics under the distribution semantics, Semantic Web6(5) (2015), 477–501.
27.
RiguzziF., BellodiE., LammaE. and ZeseR.. Reasoning with probabilistic ontologies. In
YangQiang and WooldridgeMichael, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (2015), pp. 4310–4316. AAAI Press.
28.
SmithE.E. and OshersonD.N.. Conceptual combination with prototype concepts, Cognitive science8(4) (1984), 337–361.
