多可选多类过去现在未来结构及其描述
计算机科学中的逻辑
2018-01-26 v1 人工智能
摘要
真实条件认知理论（CTTC）是一种用于描述符号认知架构的模型论语义并设计认知能力实现的方案。CTTC 使用多可选多类过去现在未来（MMPPF）结构进行数学表述。本文对 MMPPF 结构以及 CTTC 所提出用于描述它们的形式语言给出了数学定义。
引用
@article{arxiv.1801.08212,
title = {Multi-optional Many-sorted Past Present Future structures and its description},
author = {Sergio Miguel Tomé},
journal= {arXiv preprint arXiv:1801.08212},
year = {2018}
}
备注
20 pages