时间多重递归理论中的巧合问题
人工智能
2017-05-03 v1
摘要
已有逻辑理论支持对事态（如Galton所定义的状态、过程、动作、事件以及由其他事态组成的序列和重复等复杂事态）进行时态推理。本文在一阶逻辑理论框架内提出两个由固定时长事态组成的序列的时间多重递归的巧合问题，并给出解决方案。巧合问题描述为：若两个复杂事态（或事态序列）分别由分量事态x0, x1, ..., xr和y0, y1, ..., ys组成，二者均在区间k上重复出现，且所有事态时长固定，是否存在k的某个子区间使得对于t在0..r之间且u在0..s之间的xt与yu重合。此处提出的解决方案将以下直觉形式化：通过对两个序列多重递归的一个周期进行时间投影可找到解。
引用
@article{arxiv.1705.00969,
title = {The Problem of Coincidence in A Theory of Temporal Multiple Recurrence},
author = {B. O. Akinkunmi},
journal= {arXiv preprint arXiv:1705.00969},
year = {2017}
}
备注
arXiv admin note: substantial text overlap with arXiv:1705.00211