扩展逻辑程序相关论文
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中，一个逻辑程序被当作一个协商的AGENT，每一个AGENT（......
事实是逻辑程序的重要组成部分。事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。论文在分析了人工进行维......
