利托·佩雷斯·克鲁兹;约翰·纽索姆·克罗斯利 逻辑模理论：多智能体系统的逻辑框架。 （英语） Zbl 1405.03075号 日志。J.IGPL公司 23，第4期，553-583（2015）. 概要：逻辑模理论（LMT）是一种将逻辑集合在一起的方法，它采用了许多逻辑，每个逻辑都在自己的局部（局部逻辑）工作，并允许它们通过具有自己（全局）逻辑的全局系统进行通信。这使得它适合于多智能体系统的研究。LMT的最初动机来自于考虑代理在自己的领域或地点工作，然后在更高级别上相互沟通。在底部是本地世界，每个都有自己的逻辑。在它们之上是一个逻辑，它从本地世界中提取语句并将它们组合在一起。这两层通过本地逻辑和全局逻辑之间的传输规则连接在一起，双向传输。可以明确的是，除了LMT对代理系统的适用性之外，它还可以应用于本体协调领域，结合逻辑，并可以包含满足模理论（SMT），这是一种解决约束满足问题的技术。为了说明LMT的分层逻辑方法，我们给出了许多非常不同的示例，从标准经典逻辑到代数规范，其中我们在具有局部本体的上下文中有代理。尽管我们在本文中只考虑了两个层，但我们认为没有理由不将该方法扩展到任何有限数量的层。在实践中，为了使我们的系统机械化，可以使用PROLOG或其他逻辑编程语言，而不是使用一阶逻辑。以下是本文的论题：（i）当用于组合多智能体系统的逻辑时，与其他方法相比，LMT产生了一个更优雅、更简单的逻辑系统；（ii）其组成逻辑的理想属性，即可靠性和完整性，容易转移到结果逻辑（在某些常见条件下）；（iii）这些结果的证明非常简单，因为LMT使用了成熟的技术。 MSC公司： 03B70号 计算机科学中的逻辑 03B62号 组合逻辑 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 关键词：语境逻辑;表面贴装技术;本体框架;逻辑工程 PDF格式BibTeX公司 XML格式引用 \textit{L.Perez Cruz}和\textit{J.N.Crossley}，Log。J.IGPL 23，第4号，553--583（2015；Zbl 1405.03075） 全文： 内政部