Towards a model-theoretic framework for describing the semantic aspects of cognitive processes

<p>Semantics is one of the most challenging aspects of cognitive architectures. Mathematical logic, or linguistics, highlights that semantics is essential to human cognition. The Cognitive Theory of True Conditions (CTTC) is a proposal to implement cognitive abilities and to describe the seman...

Full description

Bibliographic Details
Main Author: Sergio MIGUEL TOMÉ
Format: Article
Language:English
Published: Ediciones Universidad de Salamanca 2020-06-01
Series:Advances in Distributed Computing and Artificial Intelligence Journal
Subjects:
Online Access:https://revistas.usal.es/index.php/2255-2863/article/view/22230
_version_ 1818884210963775488
author Sergio MIGUEL TOMÉ
author_facet Sergio MIGUEL TOMÉ
author_sort Sergio MIGUEL TOMÉ
collection DOAJ
description <p>Semantics is one of the most challenging aspects of cognitive architectures. Mathematical logic, or linguistics, highlights that semantics is essential to human cognition. The Cognitive Theory of True Conditions (CTTC) is a proposal to implement cognitive abilities and to describe the semantics of symbolic cognitive architectures based on model-theoretic semantics. This article focuses on the concepts supporting the mathematical formulation of the CTTC, its relationship to other proposals, and how it can be used as a framework for designing cognitive abilities in agents.</p><div><em><br /></em></div>
first_indexed 2024-12-19T15:45:56Z
format Article
id doaj.art-00d081b1869b4381890d3259f482676e
institution Directory Open Access Journal
issn 2255-2863
language English
last_indexed 2024-12-19T15:45:56Z
publishDate 2020-06-01
publisher Ediciones Universidad de Salamanca
record_format Article
series Advances in Distributed Computing and Artificial Intelligence Journal
spelling doaj.art-00d081b1869b4381890d3259f482676e2022-12-21T20:15:20ZengEdiciones Universidad de SalamancaAdvances in Distributed Computing and Artificial Intelligence Journal2255-28632020-06-0184839610.14201/ADCAIJ201984839618528Towards a model-theoretic framework for describing the semantic aspects of cognitive processesSergio MIGUEL TOMÉ0Universidad de Salamanca<p>Semantics is one of the most challenging aspects of cognitive architectures. Mathematical logic, or linguistics, highlights that semantics is essential to human cognition. The Cognitive Theory of True Conditions (CTTC) is a proposal to implement cognitive abilities and to describe the semantics of symbolic cognitive architectures based on model-theoretic semantics. This article focuses on the concepts supporting the mathematical formulation of the CTTC, its relationship to other proposals, and how it can be used as a framework for designing cognitive abilities in agents.</p><div><em><br /></em></div>https://revistas.usal.es/index.php/2255-2863/article/view/22230heuristicscognitive architecturesmodel-theoretic semanticsepisodic memory
spellingShingle Sergio MIGUEL TOMÉ
Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
Advances in Distributed Computing and Artificial Intelligence Journal
heuristics
cognitive architectures
model-theoretic semantics
episodic memory
title Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
title_full Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
title_fullStr Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
title_full_unstemmed Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
title_short Towards a model-theoretic framework for describing the semantic aspects of cognitive processes
title_sort towards a model theoretic framework for describing the semantic aspects of cognitive processes
topic heuristics
cognitive architectures
model-theoretic semantics
episodic memory
url https://revistas.usal.es/index.php/2255-2863/article/view/22230
work_keys_str_mv AT sergiomigueltome towardsamodeltheoreticframeworkfordescribingthesemanticaspectsofcognitiveprocesses