Towards a Cognitive Semantics of Type

In AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Lecture Notes in Computer Science 10640. pp. 428-440 (2017)
  Copy   BIBTEX


Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The abstract type of the real numbers.Fernando Ferreira - 2021 - Archive for Mathematical Logic 60 (7):1005-1017.
Cognitive Modelling and Conceptual Spaces.Antonio Lieto - 2021 - Airbus Invited Talks on Cognitive Modelling.
Conceptual spaces as a basis for cognitive semantics.Peter Gärdenfors - 1996 - In A. Clark, Jesus Ezquerro & J. M. Larrazabal (eds.), Philosophy and Cognitive Science. Kluwer Academic Publishers. pp. 159--180.


Added to PP

96 (#154,691)

6 months
53 (#57,914)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Daniele Porello
Università degli Studi di Genova

Citations of this work

No citations found.

Add more citations

References found in this work

Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Conceptual Spaces: The Geometry of Thought.Peter Gärdenfors - 2000 - Tijdschrift Voor Filosofie 64 (1):180-181.
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.

View all 9 references / Add more references