BriefGPT.xyz
May, 2017
一个有限置信一阶逻辑推理系统
A Reasoning System for a First-Order Logic of Limited Belief
HTML
PDF
Christoph Schwering
TL;DR
本文提出了一种高度可表达的有限置信逻辑，可以进行可计算的推理，在一阶逻辑上保持可判定性，在命题逻辑上保持可操作性，并引入一种采用此逻辑作为表示语言的推理系统，该系统展示了有限置信的好处。
Abstract
Logics of
limited belief
aim at enabling computationally feasible reasoning in highly expressive
representation languages
. These languages are often dialects of
→