Skip to main content

Showing 1–1 of 1 results for author: Tomé, S M

Searching in archive cs. Search in all archives.
.
  1. arXiv:1801.08212  [pdf, ps, other

    cs.LO cs.AI

    Multi-optional Many-sorted Past Present Future structures and its description

    Authors: Sergio Miguel Tomé

    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