期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
扩展的逻辑程序系统及其语义理论
被引量：
2
1
作者
陈其明
《计算机学报》
EI
CSCD
北大核心
1991年第2期81-92,共12页
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足...
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.
展开更多
关键词
逻辑程序系统
语义理论
HILOG语言
下载PDF
职称材料
逻辑程序系统处理表达式的等式扩展方法
被引量：
1
2
作者
林琪
贺松云
《指挥技术学院学报》
1997年第1期85-89,共5页
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。
关键词
等式扩展方法
表达式
逻辑程序系统
下载PDF
职称材料
题名
扩展的逻辑程序系统及其语义理论
被引量：
2
1
作者
陈其明
机构
清华大学计算机系
出处
《计算机学报》
EI
CSCD
北大核心
1991年第2期81-92,共12页
文摘
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.
关键词
逻辑程序系统
语义理论
HILOG语言
Keywords
programming system, first order logic, Semantic framework.
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
逻辑程序系统处理表达式的等式扩展方法
被引量：
1
2
作者
林琪
贺松云
机构
指挥技术学院研究生队
指挥技术学院电子技术系
出处
《指挥技术学院学报》
1997年第1期85-89,共5页
文摘
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。
关键词
等式扩展方法
表达式
逻辑程序系统
Keywords
rewriting mechanism
equation logic
equation extention method
expres sion
分类号
TP271.82 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
扩展的逻辑程序系统及其语义理论
陈其明
《计算机学报》
EI
CSCD
北大核心
1991
2
下载PDF
职称材料
2
逻辑程序系统处理表达式的等式扩展方法
林琪
贺松云
《指挥技术学院学报》
1997
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
