乌尔里希·赫斯塔特；克莱尔·狄克逊；雷娜特·施密特（Renate A.Schmidt）。；迈克尔·费希尔；约翰·朱尔斯·迈耶；范德霍克，威比 KARO代理理论中的验证。 （英语） Zbl 0988.68180号 Rash，James L.（编辑）等人，基于代理系统的形式化方法。2000年4月5日至7日，第一届国际研讨会，FAABS 2000，美国马里兰州Greenbelt。修订论文。柏林：斯普林格。莱克特。票据计算。科学。1871, 33-47 (2001). 摘要：本文讨论了KARO框架中的自动推理。KARO架构提供了一系列表达模式逻辑来描述智能代理的行为。我们将重点放在这个框架中的一个核心逻辑上，特别是，我们描述了为这个核心逻辑提供证明方法的两种新方法，讨论了我们在其设计中遇到的一些问题，并给出了KARO框架和这两种证明方法的使用扩展示例。关于整个系列，请参见[兹比尔0978.00039]. 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 软件：加罗；SPASS公司 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人，Lect。票据计算。科学。1871，33-47（2001；Zbl 0988.68180）