现象建模与现象动态逻辑
逻辑
2010-12-27 v1
摘要
对复杂现象（如心智）的建模提出了巨大的计算复杂性挑战。建模场论（MFT）以非传统方式应对这些挑战。MFT背后的主要思想是将模型（或问题、理论）的不确定性水平与用于识别该模型的评估标准的不确定性水平相匹配。当模型变得更加确定时，评估标准会动态调整以匹配模型的变化。这个过程被称为模型构建的现象动态逻辑（DLP），它模仿了心智和自然进化的过程。本文通过指定DLP的语法、语义和推理系统，提供了其形式化描述。我们还概述了DLP与其他逻辑方法之间的联系。使用多项式模型的例子展示了激发这项工作的计算复杂性问题。
引用
@article{arxiv.1012.5415,
title = {Modeling of Phenomena and Dynamic Logic of Phenomena},
author = {Boris Kovalerchuk and Leonid Perlovsky and Gregory Wheeler},
journal= {arXiv preprint arXiv:1012.5415},
year = {2010}
}