TCL Logic (Typicality-based Composotional Logic) for commonsense conceptual combination and blending by Antonio Lieto and Gian Luca Pozzato
TCL Logic (Typicality-based Compositional Logic) by Antonio Lieto and Gian Luca Pozzato
Below a list of selected, peer reviewed, publications about TCL and its applications (from 2018 to 2021). Full list here.
Back to the home page
TCL (Typicality-based Compositional Logic) is the first ever developed formal (i.e. logic-based) account able to model - with a unique formalism - the problem of both human-like NOUN-NOUN commonsense conceptual combination (i.e. by solving the so-called PET FISH problem, also known as guppy effect) as well as the problem known as conceptual blending (including hierarchical and iterated blending).
This logic integrates a non monotonic description logic of typicality, the probabilistic semantics called DISPONTE and the HEAD-MODIFIER heuristics (coming from cognitive semantics).
TCL has been applied to a number of applications ranging from cognitive modelling (e.g. pet-fish problem, the conjunction fallacy and goal-reasoning heuristics) to computational creativity and multimedia and emotion-oriented recommendations.
The papers introducing the TCL reasoning framework (2018-2020)
Antonio Lieto, Gian Luca Pozzato "A Description Logic of Typicality for Conceptual Combination", in Proceedings of ISMIS 2018, International Symposium on Methodologies for Intelligent Systems, pp.189-199, 2018. This paper introduces TCL and show how it is able to address the problem of NOUN-NOUN commmonsense conceptual combination (PET-FISH problem).
Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti "A Knowledge-based System for the Dynamic Generationand Classification of Novel Contents in Multimedia Broadcasting", in Proceedings of ECAI 2020, 24th European Conference on Artificial Intelligence, 2020. This paper presents DENOTER, a content generator and content suggestion system applied in the context of the RaiPlay platform. It exploits the TCL Commonsense Logical Framework and generates a novel type of "combinatorial" and serendipity-seeking content recommendations. Below the presentation done at ECAI 2020.
Cognitive Modelling Applications (Goal-Oriented Reasoning, Dynamic Knowledge Generation and Creative Problem Solving), (2019-2020)
Antonio Lieto, Federico Perrone, Gian Luca Pozzato and Eleonora Chiodino "Beyond Subgoaling: A Dynamic Knowledge Generation Framework for Creative Problem Solving in Cognitive Architectures", Cognitive Systems Research, 58, 305-316, 2019. This paper shows how TCL allows a cognitive agent to have dynamic knowledge base where new knowledge is generated via commonsense concept combination in a goal-oriented and problem solving perspective. Such perspective allows the agent to generate creative problem-solving solutions, with human-comparable performances, in the context of object invention. A short demo of the system described in the paper for the task of objects invention via dynamic concept combination is available below.
Antonio Lieto and Gian Luca Pozzato "Applying a description logic of typicality as a generative tool for concept combination in computational creativity", Intelligenza Artificiale, vol. 13, no. 1, pp. 93-106, 2019.
Softwares, Reasoners and Tools (from 2018 to 2021)
DEGARI (Dynamic Emotion Generator And ReclassIfier) , 2021, (developers: Antonio Lieto, Gian Luca Pozzato, Stefano Zoia). Available on Github at https://github.com/alieto/DEGARI
DENOTER (Dynamic gEnerator of NOvel contents in mulTimEdia bRroadcasting, 2020, (developers: Davide Di Luccio, Antonio Lieto, Gian Luca Pozzato, Davide Rubinetti). Available at https://di.unito.it/DENOTER.
GOCCIOLA (Generating knOwledge by Concept Combination In descriptiOn Logics of typicAlity), 2019, (developers: Antonio Lieto, Federico Perrone, Gian Luca Pozzato). Available at http://di.unito.it/gocciola.
COCOS (A typicality based COncept COmbination System), 2018, (developers: Antonio Lieto, Gian Luca Pozzato, Alberto Valese). Available at http://di.unito.it/cocos.
The COCOS reasoner is described in Antonio Lieto, Gian Luca Pozzato, Alberto Valese "COCOS: a typicality based COncept COmbination System", in Proc. of CILC 2018, 33rd Italian Conference on Computational Logic. COCOS is used - as a software component - in all the other systems mentioned above.