结合逻辑和面向对象范例的一种新模型(SCKE) |
| |
引用本文: | 金芝,胡守仁.结合逻辑和面向对象范例的一种新模型(SCKE)[J].国防科技大学学报,1992,14(3):1-8. |
| |
作者姓名: | 金芝 胡守仁 |
| |
作者单位: | 国防科技大学电子计算机系
(金芝),国防科技大学电子计算机系(胡守仁) |
| |
基金项目: | 国家高技术发展计划资助项目 |
| |
摘 要: | 逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。
|
关 键 词: | 逻辑语言 面向对象语言 模型 Herbrand解释 |
收稿时间: | 1991/10/3 0:00:00 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|