期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
ATMS的模型论基础
1
作者 张玉平 怀进鹏 《计算机学报》 EI CSCD 北大核心 1996年第9期668-672,共5页
本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号... 本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号ξ，使得对每个ｎ，｛Ｅ｜ＭＫ｜＝ｎξＥ｝是ｎ相对于ＡＴＭＳＫ的标号． 展开更多
关键词 一阶语言 模型论 atms
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部