一种具可数无限不确定性的可容错高阶逻辑
计算机科学中的逻辑
2007-05-23 v3 人工智能
摘要
经典逻辑预言从不一致性推出一切（因此一无用处），而容错逻辑是指不一致性不导致此类“炸裂”的逻辑。由于在实际中难以实现一致性，容错逻辑在知识库系统、自然语言逻辑语义等领域具有广泛应用前景。高阶逻辑具有表达力强、可供多种自动定理器使用等优势，同时其类型系统也能提供有益。本文提出了一种具可数无限不确定性的容错高阶逻辑，其中每个基本公式可获得其自身的不确定真值（或我们更倾向的说法：真值编码）。逻辑运算符的意义与传统的多值逻辑及基于双格局的逻辑截然不同。通过医学领域的案例研究来检验该逻辑的 adequacy，以期在 HOL 与 MVL 社区之间搭建桥梁。基于 Muskens 最近的工作，本文提出了一套 Sequent 积分法。
引用
@article{arxiv.cs/0207088,
title = {A Paraconsistent Higher Order Logic},
author = {Jørgen Villadsen},
journal= {arXiv preprint arXiv:cs/0207088},
year = {2007}
}
备注
Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Corrected