LP和ILP中的封闭世界与开放世界假设

Closed-world and Open-world Assumptions in Logic Programming and Inductive Logic Programming

在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同。本文给出了封闭世界假设和开放世界假设的形式化定义。在经济逻辑研究中,通过形式化描述,我们可以规范问题讨论的范围。

Closed-world and open-woAd assumptions are dealt with in Logic Progrannning （LP）, Inductive Logic Programming （ILP） and some logical systems. What is closed-woAd assumption？ And what is open-woAd assumption？ In fact they have different meanings in different subjects. The paper gives the formal definitions of closed-world assumption and open-world assumption in LP, ILP and some logical systems, by which we are able to investigate their uniform properties in different subjects in the study of economic logic.