×

智能代理II,代理理论、体系结构和语言。1995年8月19日至20日,加拿大蒙特利尔,1995年国际建联研讨会(安乐)。诉讼程序。 (英语) Zbl 0864.68094号

计算机科学课堂讲稿1037.人工智能讲义。柏林:Springer-Verlag。第十八章,第437页(1996年)。
本卷包含了26篇论文的修订版,这些论文首次在1995年8月于加拿大蒙特勒举行的第二届“Agent理论、架构和语言”(ATAL-95)研讨会上提出,该研讨会与1995年IJCAI会议同时举行。对这些程序的贡献分为七大类,从基于代理语言和系统架构的代理建模的理论问题到代理测试床及其评估。第一个主要主题是代理理论,即用于解释、分析或规范自动化代理的主要基于逻辑的形式。根据规范立场理论讨论了智能计算机代理的“权利”概念,引入了与理性代理的动机态度(偏好、目标、承诺)有关的逻辑,基于表格的信念-期望(BDI)命题线性时间变量决策程序提出了逻辑,开发了一种包含知识、意图和“专有技术”在一般行动和时间模型中的形式的代理规范逻辑,制定了一种允许失败推理的过程逻辑变体,并提出了一种代理规范语言,除了CTL之外分支时间连接词,包含用于表示知识(代理状态中隐含的信息)和代理所做选择(“seeking to it that(stit)”)的模式连接词。
第二个主要主题涉及特定组件或功能方面的代理功能。讨论了使agent能够从与世界的日常交互中学习偏好的问题,并介绍了一种基于递归的“建议-评估-修改”动作循环的多agent协作规划方法,在该循环中可以检测和解决潜在的冲突。第三个问题,代理建模,描述了从单个代理的角度建模其他代理的行为或心理状态的不同方法。特别是,在博弈论框架内讨论了多智能体协调的有效过程的设计,将其他智能体递归推理的决策论模型与传统的博弈论方法进行了对比,针对现实世界中的动态多智能体环境中的任务,分析了智能体跟踪的需求(基于对其他智能体行为的观察,动态建模其他智能体的更高层次的愿望和意图),提出了一种基于资源的agent推理的有限理性模型,该模型有选择地删除了其他agent不太重要的模型。
关于代理体系结构的部分着重于将不同的组件和功能集成到单个代理的一致控制框架中。本文讨论了自主机器人的分层控制体系结构,描述了BDI范式与三层体系结构的结合——具有不同的行为层、局部规划层和协作规划层,介绍了一种用于构建受激励agent的体系结构,并提供了集中agent推理注意力的方法,以避免浪费资源。
关于多代理系统架构的部分讨论了代理组或网络的方法和架构,包括单个代理的模型以及组织模型。论文讨论了使用shell构建代理系统(提供多个可重用的语言和服务层,从而支持基于代理的软件工程),这是一种集成了连接子系统和符号子系统的体系结构,以及受适应性认知原则或市场经济框架启发的建筑。关于代理语言的部分描述了基于代理的编程语言的工作。语言的范围包括基于类型化lambda演算的语言、ReActalk、CONGOLOG等反射语言、基于Moore逻辑动作理论的面向代理逻辑编程语言以及KQML,它是在ARPA知识共享工作的外部接口小组内开发的。
最后一节包含了一些研究实例,旨在为评估代理设计中的备选方案提供试验台。这包括分布式信念修正试验台,基于马尔可夫链理论的预测决策模型评估,该模型表明,通过通信允许代理之间的显式合作,可以显著提高系统性能,以及一个工具包,它允许系统开发人员探索自主代理设计中的不同选项。这本书的结尾是一个包含355个关于代理理论、架构和语言的条目的广泛参考书目。
本卷的文章不会单独编入索引。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68T42型 Agent技术与人工智能
68-06 与计算机科学有关的会议记录、会议、收藏等
PDF格式BibTeX公司 XML格式引用
全文: 内政部