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

被引：4
|
作者：
Miguel-Tome, Sergio [1 ]
机构：
[1] Univ Salamanca, Grp Invest Min Datos MiDa, Salamanca, Spain
来源：
ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL | 2019年 / 8卷 / 04期
关键词：
Heuristics; cognitive architectures; model-theoretic semantics; episodic memory;
D O I：
10.14201/ADCAIJ2019848396
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：83 / 96
页数：14
相关论文
共 37 条
  • [11] Integration of Neuroimaging and Microarray Datasets through Mapping and Model-Theoretic Semantic Decomposition of Unstructured Phenotypes
    Pantazatos, Spiro
    Li, Jianrong
    Pavlidis, Paul
    Lussier, Yves
    [J]. CANCER INFORMATICS, 2009, 8 : 75 - 86
  • [12] Integration of Neuroimaging and Microarray Datasets through Mapping and Model-Theoretic Semantic Decomposition of Unstructured Phenotypes
    Pantazatos, Spiro
    Li, Jianrong
    Pavlidis, Paul
    Lussier, Yves
    [J]. CANCER INFORMATICS, 2009, 8 : 87 - 94
  • [13] Model-theoretic properties of semantic pairs and e.f.c.p. in Jonsson spectrum
    Zhumabekova, G. E.
    [J]. BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2023, 112 (04): : 185 - 193
  • [14] SMT-based verification of data-aware processes: a model-theoretic approach
    Calvanese, Diego
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (03) : 271 - 313
  • [15] Using model-theoretic semantic interpretation to guide statistical parsing and word recognition in a spoken language interface
    Schuler, W
    [J]. 41ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 2003, : 529 - 536
  • [16] Towards a Cognition-Based Framework Describing Interdisciplinary Expert Team Processes for Cognitive Robotics in Industry 5.0 Technologies
    Morgenstern, Tina
    Klichowicz, Anja
    Bengler, Philip
    Todtermuschke, Marcel
    Bocklisch, Franziska
    [J]. APPLIED SCIENCES-BASEL, 2024, 14 (10):
  • [17] Towards a Synchronized Semantic Model to Support Aspects of Building Management
    Dibley, Michael
    Li, Haijiang
    Miles, John
    Rezgui, Yacine
    [J]. 2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 307 - 312
  • [18] Integrating social and cognitive aspects of belief dynamics: towards a unifying framework
    Galesic, Mirta
    Olsson, Henrik
    Dalege, Jonas
    van der Does, Tamara
    Stein, Daniel L.
    [J]. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 2021, 18 (176)
  • [19] Towards Constructing an Integrated Model for the Cognitive System: Revisiting Semantic Networks
    Ehsani, Armin
    Kareshki, Hossein
    Bigdeli, Imanollah
    [J]. COGNITIVE STUDIES-ETUDES COGNITIVES, 2021, (21):
  • [20] Towards Describing Student Learning of Abstract Algebra: Insights into Learners' Cognitive Processes from an Acceptance Survey
    Veith, Joaquin Marc
    Bitzenbauer, Philipp
    Girnat, Boris
    [J]. MATHEMATICS, 2022, 10 (07)
1234