达维德·达普利;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;阿尔贝托·马泰利;吉安·卢卡（Gian Luca），披萨;塞塞迪尔·杜普雷，丹尼尔 通过推理操作来验证业务流程合规性。 （英语） Zbl 1286.68438号 Dix，Jürgen（编辑）等人，《多智能体系统中的计算逻辑》。第11届国际研讨会，CLIMA XI，葡萄牙里斯本，2010年8月16-17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14976-4/pbk）。计算机科学课堂讲稿6245。人工智能课堂讲稿，99-116（2010）。 摘要：在本文中，我们解决了验证业务流程是否符合规范的问题。为此，我们在时间动作理论中使用了关于动作的推理。动作理论是通过答案集编程和动态线性时间时序逻辑（DLTL）相结合来定义的。时间行为理论允许我们将业务流程形式化为时间域描述，可能包括时间约束。规范中的义务是通过承诺的概念来捕捉的，这是从代理通信的社会方法中借来的。规范使用（可能）非单调因果律表示，这些因果律（可能）强制执行新的义务。在这种情况下，验证合规性相当于验证业务流程的任何执行都不会导致某些承诺无法实现。合规性验证可以通过有界模型检查来执行。关于整个系列，请参见[Zbl 1194.68025号]. MSC公司： 68T42型 Agent技术与人工智能 68T27型 人工智能中的逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit｛D.D‘Aprile｝等人，Lect。注释计算。科学。6245，99-116（2010；Zbl 1286.68438） 全文： 内政部 链接