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 条
  • [1] MODEL-THEORETIC ASPECTS OF UNIFICATION
    BOCKMAYR, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 572 : 181 - 196
  • [2] AL - MODEL-THEORETIC ASPECTS
    DOMOTOR, Z
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 1978, 1 (01) : 104 - 105
  • [3] A Model-Theoretic Framework for Grammaticality Judgements
    Duchier, Denys
    Prost, Jean-Philippe
    Thi-Bich-Hanh Dao
    [J]. FORMAL GRAMMAR, 2011, 5591 : 17 - 30
  • [4] Model-theoretic aspects of the Gurarij operator system
    Isaac Goldbring
    Martino Lupini
    [J]. Israel Journal of Mathematics, 2018, 226 : 87 - 118
  • [5] Model-theoretic aspects of the Gurarij operator system
    Goldbring, Isaac
    Lupini, Martino
    [J]. ISRAEL JOURNAL OF MATHEMATICS, 2018, 226 (01) : 87 - 118
  • [6] The Semantic or Model-Theoretic View of Theories and Scientific Realism
    Anjan Chakravartty
    [J]. Synthese, 2001, 127 : 325 - 345
  • [7] The semantic or model-theoretic view of theories and scientific realism
    Chakravartty, A
    [J]. SYNTHESE, 2001, 127 (03) : 325 - 345
  • [8] MODEL-THEORETIC ASPECTS OF THE THEORY OF DIVISIBLE RIGID SOLUBLE GROUPS
    Myasnikov, A. G.
    Romanovskii, N. S.
    [J]. ALGEBRA AND LOGIC, 2017, 56 (01) : 82 - 84
  • [9] Model-Theoretic Aspects of the Theory of Divisible Rigid Soluble Groups
    A. G. Myasnikov
    N. S. Romanovskii
    [J]. Algebra and Logic, 2017, 56 : 82 - 84
  • [10] FINITE DOMAIN STRUCTURES IN THE FRAMEWORK OF THE CONCEPT OF A MODEL-THEORETIC PROPERTY
    Peretyat'kin, M. G.
    Kalshabekov, A. A.
    [J]. INTERNATIONAL JOURNAL OF MATHEMATICS AND PHYSICS, 2020, 11 (02): : 14 - 19
1234