In this short paper we describe COCOS, a tool we are currently developing in order to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. COCOS is based on a probabilistic extension of the logic of typicality ALC + TR by inclusions p:: T(C) ⊆ D ("we have probability p that typical Cs are Ds") and it embeds a set of cognitive heuristics for concept combination. © Copyright 2018 for the individual papers by the papers' authors.

COCOS: A typicality based COncept COmbination System

Lieto, Antonio;Pozzato, Gian Luca;
2018-01-01

Abstract

In this short paper we describe COCOS, a tool we are currently developing in order to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. COCOS is based on a probabilistic extension of the logic of typicality ALC + TR by inclusions p:: T(C) ⊆ D ("we have probability p that typical Cs are Ds") and it embeds a set of cognitive heuristics for concept combination. © Copyright 2018 for the individual papers by the papers' authors.
2018
33rd Italian Conference on Computational Logic, CILC 2018
Bolzano, Italia
2018
Proceedings of the 33rd Italian Conference on Computational Logic
CEUR-WS
2214
55
59
http://ceur-ws.org/Vol-2214/paper6.pdf
Description logics, Typicality, Concept Combination, Theorem proving
Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto
File in questo prodotto:
File Dimensione Formato  
paper6.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 642.25 kB
Formato Adobe PDF
642.25 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1685067
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
social impact