一种用于逻辑编程与非单调推理的近经典逻辑
计算机科学中的逻辑
2007-05-23 v1
摘要
介绍了称为 N^4 的一种一阶逻辑的模型理论。N^4 不像经典逻辑那样消除双重否定，而是将其简化为四重否定。N^4 非常接近经典逻辑：N^4 只有两个真值；N^4 中的蕴含是经典逻辑中那样的材料蕴含；且在 N^4 中，否定对复合公式的分布性质与经典逻辑相同。结果表明，N^4 的语义能够方便地形式化正常逻辑程序：经典的 Herbrand 解释自然推广到 N^4；正逻辑程序的经典最小 Herbrand 模型恰好等于其唯一的最小 N^4 Herbrand 模型；正常逻辑程序的稳定模型与其所谓的完整最小 N^4 Herbrand 模型相吻合。
关键词
引用
@article{arxiv.cs/0207091,
title = {An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning},
author = {François Bry},
journal= {arXiv preprint arXiv:cs/0207091},
year = {2007}
}
备注
16 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/)