凯特琳娜·克西斯特拉;斯特凡尼亚斯（Stefaneas，Petros）;弗兰戈斯，帕纳伊奥提斯 基于反应性规则的智能代理建模的代数框架。 （英语） Zbl 1432.68469号 Geffert，Viliam（编辑）等，SOFSEM 2014：计算机科学的理论与实践。第40届计算机科学理论与实践当前趋势国际会议，2014年1月26-29日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8327, 407-418 (2014). 摘要：随着智能代理在关键领域的使用增加，对验证其行为的需求也越来越强烈。反应规则是智能主体的主要推理形式。因此，我们建议使用OTS/CafeOBJ方法来规范反应规则，这将允许验证基于反应规则的智能代理的安全属性。关于整个系列，请参见[Zbl 1298.68026号]. MSC公司： 68T42型 Agent技术与人工智能 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：智能代理;反应性规则;OBJ咖啡馆;观测过渡系统;基于规则的系统 软件：OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{K.Ksystra}等人，Lect。注释计算。科学。8327407--418（2014年；Zbl 1432.68469） 全文： 内政部