首页
|
本学科首页
官方微博
|
高级检索
全部学科
医药、卫生
生物科学
工业技术
交通运输
航空、航天
环境科学、安全科学
自然科学总论
数理科学和化学
天文学、地球科学
农业科学
哲学、宗教
社会科学总论
政治、法律
军事
经济
历史、地理
语言、文字
文学
艺术
文化、科学、教育、体育
马列毛邓
全部专业
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目中文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
逻辑学研究
作者姓名:
陈波
作者单位:
北京大学哲学系;
摘 要:
正[主持人语]本期发表两篇逻辑学的技术性论文。熊明的论文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。王淑庆的论文在已有形式化结果的基础上,提出一种基于ASP(回答集编程)逻辑的偏好多语境系统PMCS,并利用其偏好语义实现PMCS的偏好桥规则的删除功能,以及使用偏好语义来处理MCS的不一致性问题。
关 键 词:
回答集编程
逻辑学研究
不一致性
逻辑学家
塔斯基
王淑
逻辑研究
创造性工作
中国逻辑
前沿领域
本文献已被
CNKI
等数据库收录!
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号