基于功能流体、静态因果律和后推的可处理认知推理
人工智能
2020-11-26 v4
摘要
我们提出了一种用于可处理认知推理的认知动作理论，作为 h-近似（HPX）理论的扩展。与现有的可处理方法相比，该理论支持功能流体（functional fluents）以及结合静态因果律的后推推理。我们认为这种组合具有特别的协同效应，因为它不仅允许对动作条件进行直接后推，还允许对静态因果律的条件进行间接后推。我们表明，尽管表达能力更丰富，时间投影问题仍然是可处理的（多项式时间），因此规划问题仍属于 NP 类。我们展示了该理论的操作语义及其作为答案集编程（Answer Set Programming）的形式化表述。
引用
@article{arxiv.1403.0034,
title = {Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction},
author = {Manfred Eppe},
journal= {arXiv preprint arXiv:1403.0034},
year = {2020}
}
备注
There are flaws in the mathematical background. The paper has been reviewed at a conference and there are fundamental issues with the proposed methodology that cannot be addressed with a simple correction notice