Langue :
Conditions d'utilisation
Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
DOI : 10.60527/81np-f429
Citer cette ressource :
LLF. (2021, 20 mai). Modelling Memory with Types: semantics and neural representation , in Dialogue, Memory and Emotion. [Vidéo]. Canal-U. (Consultée le 14 juillet 2024)

Modelling Memory with Types: semantics and neural representation

Réalisation : 20 mai 2021 - Mise en ligne : 20 juin 2021
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3

I will argue that record types in TTR (a type theory with records) can be used to model mental states such as memory or belief. For example, a type modelling a belief or memory state is a type of the way the world would be if our beliefs or memories were true. A sentence like:

Sam thinks that Kim left

is true just in case the type which is the content of "Kim left" matches the type modelling Sam's belief/memory state.

I will discuss some of the details of developing a semantics where propositions are matched against memories in this way where both propositions and memories are modelled as types in TTR. The claim that types can be used to model memory would be empty if it turns out that the types are in principle impossible to represent on a finite network of neurons. In the second part of this talk I will discuss how types might be represented in terms of neural events on a network.

Dans la même collection

Sur le même thème