扩展逻辑程序相关论文
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有......
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中，一个逻辑程序被当作一个协商的AGENT，每一个AGENT（......
事实是逻辑程序的重要组成部分。事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。论文在分析了人工进行维......
