面向对象逻辑语言SCKE中的限制推理

金芝; 胡守仁

首页> 中文期刊> 《软件学报》 >面向对象逻辑语言SCKE中的限制推理

面向对象逻辑语言SCKE中的限制推理

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

限制理论是形式化常识知识并进行常识推理的一种重要方法。本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器，按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果，将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持。

著录项

来源
《软件学报》 |1994年第5期|16-25|共10页
作者
金芝; 胡守仁;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序语言、算法语言;
关键词
SCKE语言; 逻辑语言; 限制理论;

相似文献

中文文献
外文文献
专利

1. 结合逻辑和面向对象范例的一种新模型(SCKE) [J] . 金芝 ,胡守仁 . 国防科技大学学报 . 1992,第003期
2. 基于推理机制的逻辑语言在Web服务组合机制中的应用 [J] . 赵莹映 ,章韵 . 电信科学 . 2012,第012期
3. 框架时序逻辑语言MSVL中面向对象机制的实现 [J] . 王小兵 ,段振华 . 西安电子科技大学学报（自然科学版） . 2010,第003期
4. 面向对象的时序逻辑语言 [J] . 王小兵 ,段振华 . 电子科技大学学报 . 2009,第001期
5. 面向对象逻辑语言LKO的类型系统 [J] . 徐殿祥 ,郑国梁 . 计算机研究与发展 . 1998,第003期
6. 一种基于模糊知识规则推理的面向对象方法实现模型 [C] . 谷文祥 ,冯萍 . 第三届不确定系统年会 . 2005
7. 改进的限制性随机测试算法及其在面向对象软件测试中的应用 [A] . 于敏杰 . 2017

面向对象逻辑语言SCKE中的限制推理

摘要

著录项

相似文献

相关主题

期刊订阅