研究论文

关于一阶逻辑中具有动作和元lief的测度

作者:

大新县线路接口单元,

奇慧（Qihui）冯,

瓦夏克贝尔,

格哈德 Lakemeyer湖作者信息和声明

KR’23：第20届知识表示和推理原则国际会议论文集

条款编号：44，页数451-460

https://doi.org/10.24963/kr.2023/44

出版:2023年9月2日出版历史

发布者网站

摘要

逻辑和概率的统一一直被视为哲学和数理逻辑中长期关注的问题。在这篇文章中，我们提出了一种新的广义概率模态逻辑，即情境演算中的信念和只相信。我们的逻辑可以表达连续和离散的信念程度。更重要的是，首次可以在动态环境中表达任意一阶公式的置信度，这远远超出了之前的建议，因为之前的建议假设fluents为nullary或discrete。我们表明，我们的信念概念保留了从先前相关工作中已知的许多特性。

工具书类

[1]

巴克斯，F。；Halpern，J.Y。；和Levesque，H.J.1999。情境演算中关于噪声传感器和效应器的推理。人工智能111(1-2):171-208.

数字图书馆

[2]

巴克斯，F.I.1989。用概率知识表示和推理。人工智能系列.

[3]

Belle，V.和Lakemeyer，G.，2017年。无界一阶动力域中概率的推理。在国际JCAI, 828-836.

[4]

Belle，V.和Levesque，H.，2013年。情境演算中关于连续不确定性的推理。在第二十三届国际人工智能联合会议Citeser。

[5]

Belle，V.和Levesque，H.，2015年。Allegro：随机动态域中基于信念的编程。在国际人工智能联合会议，第2015卷，2762-2769。

[6]

Belle，V.和Levesque，H.J.，2018年。动力系统中离散和连续噪声传感器和效应器的推理。人工智能262:189-221.

数字图书馆

[7]

Belle，V.和Levesque，H.J.2020。随机域中的回归和级数。人工智能281:103247.

数字图书馆

[8]

Belle，V.2023年。行动、连续分布和元信念。在2023年第22届自治代理和多代理系统国际会议.

[9]

Boyen，X.和Koller，D.1998年。复杂随机过程的可追踪推理。在第十四届人工智能不确定性会议记录, 33-42.

[10]

卡纳普，R.1962。概率的逻辑基础，第2卷。Citeser。

[11]

de Morais，E.M.和Finger，M.，2013年。概率答案集编程。在2013年巴西智能系统会议, 150-156. 电气与电子工程师协会。

[12]

De Raedt，L。；Kimmig，A。；和Toivonen，H.2007。Problog：一种概率prolog及其在链路发现中的应用。在国际JCAI第7卷，2462-2467。海得拉巴。

数字图书馆

[13]

Dean，T.和Wellman，M.，1991年。规划和控制《表现与推理的摩根-考夫曼系列》（The Morgan Kaufmann Series in Representation&Reasoning）。

[14]

Fagin，R.和Halpern，J.Y.，1994年。关于知识和概率的推理。美国医学会杂志41(2):340-367.

数字图书馆

[15]

冯（Q.Feng）。；刘，D。；贝勒，V。；和Lakemeyer，G.2023。只相信任意概率分布的逻辑。在2023年第22届自治代理和多代理系统国际会议.

[16]

Gabaldon，A.和Lakemeyer，G.，2007年。Esp：一种只知道、噪音感知和行动的逻辑。在全国人工智能会议记录第22974卷。加利福尼亚州门罗公园；马萨诸塞州剑桥市；伦敦；AAAI出版社；麻省理工学院出版社；1999

[17]

Gaifman，H.1964年。关于一阶计算中的测度。以色列数学杂志2:1-18.

[18]

Halpern，J.Y.和Shoham，Y.1991年。时间间隔的命题模态逻辑。美国医学会杂志38(4):935-962.

数字图书馆

[19]

Halpern，J.Y.，1990年。概率的一阶逻辑分析。人工智能46(3):311-350.

[20]

Harel，D.1984年。动态逻辑施普林格。

数字图书馆

[21]

Kooi，B.P.2003年。概率动态认识逻辑。逻辑、语言与信息杂志12:381-408.

数字图书馆

[22]

Lakemeyer，G.和Levesque，H.J.，2011年。情境演算中有用片段的语义特征和知识。人工智能175(1):142-164.

数字图书馆

[23]

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

[24]

Liu，D.和Feng，Q.2021。关于信仰的发展。在知识表示和推理原则国际会议记录第18卷，第465-474页。

[25]

Liu，D.和Lakemeyer，G.2021。通过表达概率动作逻辑中的回归推理信念和元信念。在国际JCAI, 1951-1958.

[26]

Liu，D.和Lakemeyer，G.2022。关于信念计划的验证。arXiv预打印arXiv:2204.12562v3.

[27]

新泽西州尼尔森，1986年。概率逻辑。人工智能28(1):71-87.

[28]

珀尔，J.1988。智能系统中的概率推理：似然推理网络摩根考夫曼。

[29]

Reiter，R.2001年。行动中的知识：指定和实现动态系统的逻辑基础麻省理工学院出版社。

数字图书馆

[30]

Stein，E.M.和Shakarchi，R.2009。实分析：测度理论、积分和希尔伯特空间普林斯顿大学出版社。

[31]

苏秋（D.Suciu）。；奥尔特阿努，D。；Ré，C。；和Koch，C.2011。概率数据库。数据管理综合讲座3(2):1-180.

[32]

Thielscher，M.2001年。用嘈杂的动作进行规划（初步报告）。在AI 2001：人工智能进展：第14届澳大利亚人工智能联合会议，澳大利亚阿德莱德，2001年12月10日至14日，会议记录14, 495-506. 斯普林格。

[33]

图灵，A.1936。关于可计算数字，以及对entscheidungs问题的应用。数学J58:345-363.

建议

HOL中一阶逻辑证明系统同构的证明
一阶模态逻辑：框架可定义性和Lindström定理

我们将两个著名的模型理论表征定理从命题模态逻辑推广到一阶模态逻辑（简称FML）。我们首先研究了FML可定义框架，并给出了该逻辑的Goldblatt-Thomason定理的一个版本。。。
一阶直觉主义认识逻辑
逻辑、合理性和互动
摘要
由Artemov和Protopopescu（2016）提出的直觉主义认知逻辑（IEL）接受了共同反映公理：“”就Brouwer-Heyting-Kolmogorov解释而言。IEL有两种变体，其中一种具有公理“”，而。。。

评论

信息和贡献者

问询处

发布于

封面图片指南会议记录

KR’23：第20届知识表示和推理原则国际会议论文集

2023年9月

778页

国际标准图书编号：978-1-956792-02-7

编辑：
皮埃尔·马奎斯
阿尔托瓦大学，法国国家研究院，CRIL-法国大学研究所
,
Tran Cao儿子
新墨西州州立大学
,
加布里埃尔·克恩·伊斯伯纳
德国多特蒙德工业大学

版权所有©2023国际人工智能联合会议组织。

赞助商

知识表示与推理原理公司（KR，Inc.）
人工智能杂志
国家科学基金会
逻辑编程协会
嵌入式复合人工智能学院

出版商

未知发布者

出版历史

出版：2023年9月2日

限定符

研究文章
研究
推荐有限公司

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
0
总下载次数

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

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

其他指标

查看作者指标

引文

视图选项

查看选项

媒体

数字

其他

桌子