Concerning Measures in a First-order Logic with Actions and Meta-beliefs

Daxin Liu; Qihui Feng; Vaishak Belle; Gerhard Lakemeyer

doi:10.24963/kr.2023/44

Concerning Measures in a First-order Logic with Actions and Meta-beliefs

Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief and only-believing in the situation calculus. Our logic can express both continuous and discrete degrees of belief. More importantly, expressing degrees of belief for arbitrary first-order formulas in a dynamic setting is possible for the first time, going well beyond previous proposals where fluents are assumed to be nullary or discrete. We show that our notion of belief retains many of the properties known from the previous related work.

Original language	English
Title of host publication	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
Publisher	IJCAI Inc
Pages	451-460
Number of pages	10
ISBN (Electronic)	9781956792027
DOIs	https://doi.org/10.24963/kr.2023/44
Publication status	Published - 1 Aug 2023
Event	20th International Conference on Principles of Knowledge Representation and Reasoning - Rhodes, Greece Duration: 2 Sept 2023 → 8 Sept 2023 https://kr.org/KR2023/

Publication series

Name
ISSN (Electronic)	2334-1033

Conference

Conference	20th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated title	KR 2023
Country/Territory	Greece
City	Rhodes
Period	2/09/23 → 8/09/23
Internet address	https://kr.org/KR2023/

Access to Document

10.24963/kr.2023/44Licence: All Rights Reserved

Concerning measures_LIU_DOA18052023_AFV_CC BYAccepted author manuscript, 448 KBLicence: Creative Commons: Attribution (CC-BY)

https://proceedings.kr.org/2023/44/Licence: All Rights Reserved

1 Active

Trustworthy Autonomous Systems Regulation and Governance Node
Urquhart, L.
1/11/20 → 30/11/24
Project: Research

2 Conference contribution

First-order progression beyond local-effect and normal actions
Liu, D. & Claßen, J., 14 May 2024, (Accepted/In press) Proceedings of the 33rd International Joint Conference on Artificial Intelligence. IJCAI Organization
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Progression with probabilities in the Situation Calculus: Representation and succinctness
Liu, D. & Belle, V., 6 May 2024, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. ACM, p. 1210-1218 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Cite this

@inproceedings{eaac0e1f49f840ab908002225794bb9d,

title = "Concerning Measures in a First-order Logic with Actions and Meta-beliefs",

abstract = "The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief and only-believing in the situation calculus. Our logic can express both continuous and discrete degrees of belief. More importantly, expressing degrees of belief for arbitrary first-order formulas in a dynamic setting is possible for the first time, going well beyond previous proposals where fluents are assumed to be nullary or discrete. We show that our notion of belief retains many of the properties known from the previous related work.",

author = "Daxin Liu and Qihui Feng and Vaishak Belle and Gerhard Lakemeyer",

note = "Funding Information: This work has been supported by the Royal Society University Research Fellowship, the UKRI Strategic Prior- ities Fund to the UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation (EP/V026607/1, 2020-2024), the Deutsche Forschungs-gemeinschaft (DFG, German Research Foundation) RTG 2236/2 {\textquoteleft}UnRAVeL{\textquoteright}, and the EU ICT-48 2020 project TAILOR (No. 952215). Publisher Copyright: {\textcopyright} 2023 Proceedings of the International Conference on Knowledge Representation and Reasoning. All rights reserved; 20th International Conference on Principles of Knowledge Representation and Reasoning , KR 2023 ; Conference date: 02-09-2023 Through 08-09-2023",

year = "2023",

month = aug,

day = "1",

doi = "10.24963/kr.2023/44",

language = "English",

publisher = "IJCAI Inc",

pages = "451--460",

booktitle = "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning",

url = "https://kr.org/KR2023/",

}

Liu, D, Feng, Q, Belle, V & Lakemeyer, G 2023, Concerning Measures in a First-order Logic with Actions and Meta-beliefs. in Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Inc, pp. 451-460, 20th International Conference on Principles of Knowledge Representation and Reasoning , Rhodes, Greece, 2/09/23. https://doi.org/10.24963/kr.2023/44

TY - GEN

T1 - Concerning Measures in a First-order Logic with Actions and Meta-beliefs

AU - Liu, Daxin

AU - Feng, Qihui

AU - Belle, Vaishak

AU - Lakemeyer, Gerhard

N1 - Funding Information: This work has been supported by the Royal Society University Research Fellowship, the UKRI Strategic Prior- ities Fund to the UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation (EP/V026607/1, 2020-2024), the Deutsche Forschungs-gemeinschaft (DFG, German Research Foundation) RTG 2236/2 ‘UnRAVeL’, and the EU ICT-48 2020 project TAILOR (No. 952215). Publisher Copyright: © 2023 Proceedings of the International Conference on Knowledge Representation and Reasoning. All rights reserved

PY - 2023/8/1

Y1 - 2023/8/1

N2 - The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief and only-believing in the situation calculus. Our logic can express both continuous and discrete degrees of belief. More importantly, expressing degrees of belief for arbitrary first-order formulas in a dynamic setting is possible for the first time, going well beyond previous proposals where fluents are assumed to be nullary or discrete. We show that our notion of belief retains many of the properties known from the previous related work.

AB - The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief and only-believing in the situation calculus. Our logic can express both continuous and discrete degrees of belief. More importantly, expressing degrees of belief for arbitrary first-order formulas in a dynamic setting is possible for the first time, going well beyond previous proposals where fluents are assumed to be nullary or discrete. We show that our notion of belief retains many of the properties known from the previous related work.

U2 - 10.24963/kr.2023/44

DO - 10.24963/kr.2023/44

M3 - Conference contribution

SP - 451

EP - 460

BT - Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

PB - IJCAI Inc

T2 - 20th International Conference on Principles of Knowledge Representation and Reasoning

Y2 - 2 September 2023 through 8 September 2023

ER -

Concerning Measures in a First-order Logic with Actions and Meta-beliefs

Abstract / Description of output

Publication series

Conference

Access to Document

Fingerprint

Projects

Trustworthy Autonomous Systems Regulation and Governance Node

Research output

First-order progression beyond local-effect and normal actions

Progression with probabilities in the Situation Calculus: Representation and succinctness

Cite this