首页> 中文会议>第七届中国人工智能联合学术会议 >MP<'M>中的等值完全析取范式

MP<'M>中的等值完全析取范式

页面导航

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

摘要

主要讨论中介逻辑命题演算系统MP<'M>中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP<'M>的联结词的归约.

著录项

来源
《第七届中国人工智能联合学术会议》|2002年|148-152|共5页
会议地点桂林
作者
凌方; 王建东;
展开▼
作者单位

中国计算机学会;

中国人工智能学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类理论、方法;
关键词
数理逻辑; 命题演算; 中介逻辑; 完全析取范式;

相似文献

中文文献
外文文献
专利

1. MPM中的等值完全析取范式 [J] . 凌方 ,王建东 . 广西师范大学学报（自然科学版） . 2003,第001期
2. MP＊中的等值完全析取范式 [J] . 姚楠 . 南京航空航天大学学报 . 1998,第004期
3. 完全析取范式群判定SHOIN(D)-可满足性 [J] . 古华茂 ,王勋 ,凌云 . 软件学报 . 2010,第008期
4. 完全析取范式检测ALCN-概念的可满足性 [J] . 古华茂 ,高济 ,王勋 . 四川大学学报（工程科学版） . 2009,第006期
5. 检测病变组织中CD146、MMP-9及TIMP-2对完全性葡萄胎恶变的预测价值 [J] . 蒋雪梅 ,杨兴升 . 山东医药 . 2007,第024期
6. MP<'M>中的等值完全析取范式 [C] . 凌方 ,王建东 . 第七届中国人工智能联合学术会议 . 2003
7. 析取范式随机森林在人脸识别中的应用研究 [A] . 王欣欣 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号