研究论文

概率多智能体-仅相信

作者:

奇慧（Qihui）冯,

格哈德莱克迈耶作者信息和声明

AAMAS’24：第23届自主代理和多代理系统国际会议记录

页571-579

出版:2024年5月6日出版历史

获取访问权限

摘要

列夫斯克引入了“仅知”的概念，以准确捕捉知识库的信念。虽然出现了许多关于只知道的研究，例如概率信念的表示或不确定动力系统中信念的推理，但大多数研究仍局限于单智能体环境。这种限制主要源于缺乏逻辑框架，该框架忠实地将Levesque的仅知直觉扩展到多智能体的概率场景。

在本文中，我们引入了一个一阶逻辑帐户，该帐户具有概率信念，并且只相信多个代理。我们证明了我们叙述的范畴片段形成了KD45n模态系统，信念的概念具有遵循概率定律的行为。我们还展示了如何通过仅相信的方式准确地捕获代理对环境的信念和非信念或其他代理的信念，这为推广与符号、概率知识库交互的工具铺平了道路。通过示例，我们演示了我们的帐户如何处理包括默认推理在内的非单调结论。

工具书类

[1]

纪尧姆·奥彻和瓦夏克·贝尔。2015年，多智能体只知道克里普克星球。在国际人工智能联合会议上。

[2]

法希姆·艾佛·巴克斯。1989.用概率知识表示和推理。(1989).

[3]

Vaishak Belle和Gerhard Lakemeyer。2010年。多代理只知道重访。在第十二届知识表示和推理原则国际会议上。

[4]

Vaishak Belle和Gerhard Lakemeyer。2014.多智能体只知道动态系统。《人工智能研究杂志》，第49卷（2014），363-402。

数字图书馆

[5]

Vaishak Belle和Gerhard Lakemeyer。2017.关于无界一阶动态域中概率的推理。在IJCAI。828--836.

[6]

Vaishak Belle、Gerhard Lakemeyer和Hector Levesque。2016.概率的一阶逻辑，只在无界域中知道。《AAAI人工智能会议论文集》，第30卷。

[7]

Shai Ben-David和Yael Gafni。1989年我们所相信的一切在不可能的世界里都失败了。

[8]

陈建华。1994.只知道作为非单调推理的统一框架的逻辑。《基础信息学》，第21卷，第3卷（1994年），205-220。

数字图书馆

[9]

马科斯·克莱默（Marcos Cramer）、萨缪尔·波拉西（Samuele Pollaci）和巴特·博加特（Bart Bogaerts）。2023.仅结合已知知识和常识的数学基础。《知识表示和推理原则国际会议论文集》，第19卷。167--177.

数字图书馆

[10]

佩德罗·多明戈斯和丹尼尔·洛德。2009年，马尔可夫逻辑。在马尔可夫逻辑中：人工智能的接口层。施普林格，9-22岁。

[11]

罗纳德·费金（Ronald Fagin）和约瑟夫·霍尔珀（Joseph Y Halpern）。1994.关于知识和概率的推理。《美国医学会杂志》（JACM），第41卷，第2卷（1994年），第340-367页。

数字图书馆

[12]

约瑟夫·哈珀（Joseph Y Halpern）。一阶概率逻辑分析。《人工智能》，第46卷，第3期（1990年），第311-350页。

[13]

约瑟夫·哈珀（Joseph Y Halpern）。1993.关于只知道与许多代理人的推理。第十一届全国人工智能会议论文集。655--661.

数字图书馆

[14]

Joseph Y Halpern和Gerhard Lakemeyer。2001.仅多代理知道。《逻辑与计算杂志》，第11卷，第1期（2001年），第41-70页。

[15]

Joseph Y Halpern和Yoram Moses。1985.走向知识与无知理论：初步报告。斯普林格。

[16]

Gr E Hughes和MJ Cresswell。1968.模态逻辑导论，Methuen and Co.Ltd.，伦敦，第70卷（1968年）。

[17]

伊利诺伊州亨伯斯通。1986年。模态逻辑的一种更具辨别力的方法。《符号逻辑杂志》，第51卷，第2卷（1986年），第503-504页。

[18]

格哈德·莱克梅耶（Gerhard Lakemeyer）。1993年，他们所知道的全部：多智能体自认知推理研究。在ijcai，第93卷。376--381.

[19]

Gerhard Lakemeyer和Hector J Levesque。2004.形势，si！情况条款，不！。KR.516--526。

[20]

Gerhard Lakemeyer和Hector J Levesque。2005.仅知：超越自认知推理。AAAI，第5卷。633--638.

[21]

Gerhard Lakemeyer和Hector J Levesque。2011.情境演算的一个有用片段与知识的语义表征。《人工智能》，第175卷，第1期（2011年），第142-164页。

数字图书馆

[22]

Gerhard Lakemeyer和Hector J Levesque。2019.有限信念的可追踪、表达和最终完成的一阶逻辑。在IJCAI。1764--1771.

[23]

赫克托·J·勒沃斯克。1990年，我所知道的是：一项关于自认知逻辑的研究。人工智能，第42卷，2--3（1990），263-309。

[24]

Hector J Levesque和Gerhard Lakemeyer。2001.知识库的逻辑。麻省理工学院出版社。

[25]

刘大新和冯奇慧。2023.关于信仰的进步。《人工智能》，第322卷（2023年），103947。

数字图书馆

[26]

刘大新（Daxin Liu）和格哈德·莱克梅耶（Gerhard Lakemeyer）。2021.通过表达概率动作逻辑中的回归推理信念和元信念。在ijcai。

[27]

罗伯特·C·摩尔。1985.非单调逻辑的语义考虑。人工智能，第25卷，第1期（1985年），75-94。

[28]

尼尔斯·J·尼尔森。1986.概率逻辑。人工智能，第28卷，第1期（1986年），71-87。

[29]

大卫·普尔。2003.一阶概率推断。在IJCAI，第3卷。985--991.

数字图书馆

[30]

伊恩·普拉特·哈特曼。2000.总知识。在AAAI/IAAI中。423--428.

[31]

里卡多·罗萨蒂。关于仅知推理的可判定性和复杂性。《人工智能》，第116卷，1-2（2000），193-215。

数字图书馆

[32]

Sinivs a Tomović、Zoran Ognjanović和Dragan Doder。2015年，无限多代理人之间的概率常识。《不确定性推理的符号和定量方法：第13届欧洲会议》，ECSQARU 2015，法国康皮涅，2015年7月15-17日。程序13。施普林格，496-505。

索引术语

概率多智能体-仅相信
1. 计算方法
  1. 人工智能
    1. 知识表示和推理
2. 计算理论
  1. 逻辑
    1. 描述逻辑
    2. 模态和时序逻辑

建议

多智能体信念融合的模态逻辑框架

本文为多智能体信念推理及其融合提供了一个模态逻辑框架。我们提出逻辑来推理具有不同可靠性的谨慎合并的代理信念。这些逻辑是通过组合。。。
一种只相信任意概率分布的逻辑
AAMAS’23：2023年自治代理和多代理系统国际会议记录

当涉及到在不确定世界中运行的机器人代理时，知识表示中的一个主要关注点是更好地将信念和行为的高级逻辑描述与低级概率感测运动数据联系起来。也许最一般的。。。
用于多智能体系统知识推理的量化认知逻辑

我们引入了量化解释系统，这是一种在一阶设置下推理多智能体系统中知识的语义。量化解释系统可用于解释各种具有全局特征的一阶模态认知语言。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

AAMAS’24：第23届自主代理和多代理系统国际会议记录

2024年5月

2898页

国际标准图书编号：9798400704864

一般主席：
迈赫迪·达斯坦尼
荷兰乌得勒支大学
,
詹姆·西芒·西赫曼
巴西圣保罗大学
,
课程主席：
娜塔莎·阿列奇纳
荷兰乌得勒支大学
,
弗吉尼亚·迪格纳姆
瑞典乌梅大学

赞助商

SIGAI:ACM人工智能特别兴趣小组
国际会计师联合会

出版商

国际自治代理和多代理系统基金会

南卡罗来纳州里奇兰

出版历史

出版：2024年5月6日

检查更新

作者标记

限定符

研究文章

资金来源

德国Forschungsgemeinschaft（DFG德国研究基金会）
欧盟ICT-48 2020项目TAILOR

会议

AAMAS’23年

赞助商：

SIGAI公司

AAMAS’23：自治代理和多代理系统国际会议

2024年5月6日至10日

新西兰奥克兰

接受率

5036份提交文件的总体接受率为1155份，23%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
9
总下载次数

下载次数（过去12个月）9
下载次数（最近6周）1

反映截至2024年9月21日的下载量

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子