天津商业大学学报
天津商業大學學報
천진상업대학학보
JOURNAL OF TIANJIN UNIVERSITY OF COMMERCE
2009年
1期
41-44
,共4页
封闭世界假设%开放世界假设%形式化定义
封閉世界假設%開放世界假設%形式化定義
봉폐세계가설%개방세계가설%형식화정의
在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设.由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同.本文给出了封闭世界假设和开放世界假设的形式化定义.在经济逻辑研究中,通过形式化描述,我们可以规范问题讨论的范围.
在邏輯程序LP、歸納邏輯程序ILP及其他繫統中都涉及封閉世界假設和開放世界假設.由于學科之間的差異性,或者說側重點不一樣,假設的錶述併不相同.本文給齣瞭封閉世界假設和開放世界假設的形式化定義.在經濟邏輯研究中,通過形式化描述,我們可以規範問題討論的範圍.
재라집정서LP、귀납라집정서ILP급기타계통중도섭급봉폐세계가설화개방세계가설.유우학과지간적차이성,혹자설측중점불일양,가설적표술병불상동.본문급출료봉폐세계가설화개방세계가설적형식화정의.재경제라집연구중,통과형식화묘술,아문가이규범문제토론적범위.