含有文字序逻辑程序的一种辩论语义

谢红梅; 王建东; 周勇

首页> 中文期刊> 《南京航空航天大学学报》 >含有文字序逻辑程序的一种辩论语义

含有文字序逻辑程序的一种辩论语义

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

有序逻辑程序的语义研究是常识推理的重要研究内容.文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义.证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序.

著录项

来源
《南京航空航天大学学报》 |2005年第1期|79-81|共3页
作者
谢红梅; 王建东; 周勇;
展开▼
作者单位

南京航空航天大学信息科学与技术学院,南京,210016;

南京航空航天大学信息科学与技术学院,南京,210016;

南京航空航天大学信息科学与技术学院,南京,210016;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;理论、方法;
关键词
逻辑程序; 辩论语义; 优先序;

相似文献

中文文献
外文文献
专利

1. 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 [J] . 刘富春 . 模糊系统与数学 . 2006,第2期
2. 拓展溯因逻辑程序设计的辩论理论基础 [J] . 陈荣 ,姜云飞 . 计算机学报 . 2000,第006期
3. 求含有参数的函数零点个数的一种通法——以2016年全国卷1文科数学21题（Ⅱ）为例 [J] . 郑凤渊 . 试题与研究 . 2016,第031期
4. 从“分析含有理想运算放大器网络的一种方法”一文所想到的 [J] . 周贤越 . 电气电子教学学报 . 1992,第001期
5. 简单单调约束逻辑程序的良基语义研究 [J] . 常万军 ,郭祖华 ,魏昆鹏 . 计算机工程与设计 . 2013,第006期
6. 扩充析取逻辑程序的诱导语义 [C] . 王克文 . 第四届中国人工智能联合学术会议 . 1996
7. 逻辑程序的语义和强等价逻辑程序研究 [A] . 陈寅 . 2005

含有文字序逻辑程序的一种辩论语义

摘要

著录项

相似文献

相关主题

期刊订阅