CP-logic 规则头部的否定
人工智能
2013-12-24 v1
摘要
CP-logic 是逻辑 FO(ID) 的概率扩展。与 ASP 不同，这两种逻辑都遵循塔斯基非形式语义，其中解释代表客观的事态。换言之，这些逻辑缺乏 ASP 中的认知成分，即在 ASP 中解释代表理性主体的信念或知识。因此，CP-logic 和 FO(ID) 都不需要两种否定：只有一种否定，其含义是客观为假。尽管如此，这种客观否定的形式语义在数学上更接近 ASP 的否定即失败，而非其经典否定。原因是 CP-logic 和 FO(ID) 都具有构造性语义，其中所有原子初始均为假，且仅作为规则应用的结果才可能变为真。本文研究了在 CP-logic 中添加允许规则头部出现否定这一众所周知的 ASP 特性的可能性。由于 CP-logic 只有一种否定，因此必然允许这种“类似否定即失败”的否定出现在头部。我们研究了此类构造的直观含义及其带来的益处。
引用
@article{arxiv.1312.6156,
title = {Negation in the Head of CP-logic Rules},
author = {Joost Vennekens},
journal= {arXiv preprint arXiv:1312.6156},
year = {2013}
}
备注
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey