John-Jules Ch.梅耶。 我们寻求代理验证的圣杯。 （英语） 兹比尔1132.68738 Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，2-9（2007）。 摘要：自近二十年前代理技术问世以来，研究人员一直致力于智能代理的形式化、理论化以及智能代理的实现/实现。然而，到目前为止，这两者之间的联系一直相当不明确。尽管确实需要验证代理，但这方面的方法和技术仍处于初级阶段。我们描述了我们个人对代理验证“正确”方法的持续追求。有关整个系列，请参见[Zbl 1121.68006号]. 引用于1文件 MSC公司： 第68页第27页 人工智能中的逻辑 软件：代理发言;METATEM公司;加罗 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Ch.Meyer}，莱克特。注释计算。科学。4548，2--9（2007；Zbl 1132.68738） 全文： 内政部