-
arXiv:1801.08212 [pdf, ps, other]
Multi-optional Many-sorted Past Present Future structures and its description
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… ▽ More
Submitted 24 January, 2018; originally announced January 2018.
Comments: 20 pages
MSC Class: 68T99