首页> 中文期刊> 《计算机学报》 >一般结构语义下限定的完备性与可满足性

一般结构语义下限定的完备性与可满足性

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

cqvip:本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满足的.

著录项

来源
《计算机学报》 |1992年第2期|81-86|共6页
作者
周生炳; 施鸿宝;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类人工智能理论;
关键词
人工智能; 非单调推理; 限定; 完备性;

相似文献

中文文献
外文文献
专利

1. 服务模型语义完备性判定方法与语义增强策略 [J] . 莫同 ,王忠杰 ,徐晓飞 . 计算机集成制造系统 . 2009,第011期
2. 基于完备性和语义性的隶属函数GA优化方法 [J] . 时招军 ,邓辉文 ,黄笑鹃 . 计算机科学 . 2005,第003期
3. 一种保证隶属度函数完备性和模糊集合语义一致性的学习方法 [J] . 武妍 ,施鸿宝 . 计算机研究与发展 . 1999,第009期
4. 语义树方法及其可靠性和完备性 [J] . 李舟军 ,王兵山 . 国防科技大学学报 . 1994,第003期
5. 一种满足风险完备性的调度操作风险量化评估方法 [J] . 邹清林 ,唐健 ,刘裕昆 . 电网与清洁能源 . 2017,第009期
6. 一种保证隶属度函数完备性和模糊集合语义一致性的学习方法 [C] . 武妍 ,施鸿宝 . 第五届中国人工智能联合学术会议 . 1998
7. 英语非限定动词结构中的句法语义关系之认知研究 [A] . 赵强 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号