Multi-optional Many-sorted Past Present Future structures and its description
Sergio Miguel Tom\'e
TL;DR
This paper introduces the mathematical framework of MMPPF structures within the CTTC to formalize the semantics of symbolic cognitive architectures and guide their implementation.
Contribution
It formally defines the MMPPF structures and the associated formal languages used in the CTTC for modeling cognitive semantics.
Findings
Mathematically formalized MMPPF structures
Defined formal languages for CTTC semantics
Provides a foundation for implementing cognitive architectures
Abstract
The cognitive theory of true conditions (CTTC) is a proposal to describe the model-theoretic semantics of symbolic cognitive architectures and design the implementation of cognitive abilities. The CTTC is formulated mathematically using the multi-optional many-sorted past present future(MMPPF) structures. This article defines mathematically the MMPPF structures and the formal languages proposed to describe them by the CTTC.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Computability, Logic, AI Algorithms · Algorithms and Data Compression