首页> 中文期刊> 《天津商业大学学报》 >LP和ILP中的封闭世界与开放世界假设

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《天津商业大学学报》 |2009年第1期|41-44|共4页
作者
戴细华;
展开▼
作者单位

中央财经大学现代逻辑研究所,北京,100081;

展开▼
原文格式 PDF
正文语种 chi
中图分类多值逻辑;
关键词
封闭世界假设; 开放世界假设; 形式化定义;

相似文献

中文文献
外文文献
专利

1. 改革开放40年改革开放为世界贡献了什么？——改革开放深刻改变中国、影响世界：全球化激荡40年变迁中的中国与世界 [J] . 王辉耀 . 中国报道 . 2018,第009期
2. 封闭世界中开放的电影庶民——初探达内兄弟的影像世界 [J] . 李峥 . 电影评介 . 2014,第010期
3. 基于本地封闭式世界假设的分布式系统事务模型 [J] . 丁邡 . 经济技术协作信息 . 2012,第026期
4. 基于本地封闭世界假设的事务模型 [J] . 张建英 ,林敏泓 ,王秀坤 . 计算机工程 . 2010,第011期
5. 析取封闭世界假设的一种过程语义 [J] . 王克文 ,周立柱 ,冯建华 . 软件学报 . 2001,第009期
6. 转型:新西兰职业教育中的开放与远程学习所面临的挑战与机遇——在“2008世界开放与远程教育论坛”上的主题报告 [C] . Paul Grimwood ,保罗·格里伍德 ,白鹏玲 . 2008年世界开放与远程教育论坛暨2008国际开放与远程教育理事会常设校长会议 . 2008
7. 本体知识库的封闭世界假设研究 [A] . 李罗 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号