-
题名逻辑程序的事实维护
- 1
-
-
作者
谭成予
董红斌
梁意文
钱立进
-
机构
武汉大学软件工程国家重点实验室/计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第9期16-18,37,共4页
-
基金
国家自然科学重大研究计划资助项目(编号:90204011)
国家自然科学基金资助项目(编号:60573038)
-
文摘
事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用。
-
关键词
扩展逻辑程序
Smodel算法
事实维护
-
Keywords
extended logic programs,stable model algorithms,facts maintenance
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于逻辑程序的重复协商框架
- 2
-
-
作者
陈武
张明义
-
机构
贵州大学计算机科学与技术学院
贵州科学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第5期209-212,239,共5页
-
基金
国家自然科学基金(60573009)
贵州省长基金(2005(12))资助
-
文摘
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。
-
关键词
AGENT
协商
扩展逻辑程序
-
Keywords
AGENT,Negotiation, ELP（Extended Logic Program）
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
TP31
[自动化与计算机技术—计算机软件与理论]
-
