多智能体世界中智能体动态行为建模:whi问题和答案的逻辑分析

在一个多智能体和多文化的世界里，对智能体动态行为(即它们的活动)的细粒度分析是必不可少的。动态活动是由执行该行为的代理和该行为的其他参与者所表征的行为。关于行动参与者的“为什么”问题构成了一个困难的特殊挑战，因为这些问题的可能答案类型的可变性是巨大的。为了解决这一问题，我们提出了适合多智能体系统中智能体通信的wh问题的分析和分类方法。我们提出的这样一个系统由通过消息传递与其他代理通信的代理组成，这样每个自主代理虽然资源有限，但可以做出更少或更理性的决策来满足自己和集体的目标。此外，通过与其他智能体及其环境的交流，智能体可以学习新的概念，丰富其本体，使其行为是动态的。我们的目标是提出一个系统的一般建议，以便代理消息的“信封”可以在任何MAS标准中形式化，无论是智能物理代理的基础-代理通信语言(FIPA-ACL)还是知识查询和操作语言(KQML)。然而，消息的内容是用形式化的自然语言编码的。为此，我们应用透明内涵逻辑(TIL)及其程序语义，它特别适用于细粒度分析，其中自然语言的所有语义显著特征都可以合理地形式化。在本文中，我们专注于分析查询消息的内容，特别是那些编码wh问题及其答案的内容。我们还总结了TIL推理系统，该系统可以智能地回答这些问题。语言学家区分了几个wh问句的子类型。虽然语言分类是有帮助的，但它并不总是适用于智能体的交流和推理。我们需要基于对wh问题的逻辑分析进行分类，这样智能体就可以推断出这些问题的可能答案，而不仅仅是通过关键词来寻找答案。本文旨在对“wh”问题的逻辑类型进行适当的分类，并对“wh”问题进行分析;我们特别关注与活动参与者有关的问题。将这些结果应用于基于动词配价框架的过程和事件分析是本文的另一个新颖之处。