Actions, Continuous Distributions and Meta-Beliefs

Vaishak Belle

doi:10.5555/3545946.3598665

Actions, Continuous Distributions and Meta-Beliefs

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

Abstract / Description of output

In this work, we propose a new modal logical language for reasoning about noisy actions and sensors in an epistemic setting. In the reasoning about actions literature, there are only a few frameworks for modelling probabilistic noise, and even less in dealing with continuous probability distributions. In the first model of its kind, we show how a rich theory of actions with beliefs, meta-beliefs and only knowing can be defined over discrete, continuous and mixed discrete-continuous distributions.

Original language	English
Title of host publication	Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems
Place of Publication	Richland, SC
Publisher	International Foundation for Autonomous Agents and Multiagent Systems
Pages	418–426
Number of pages	9
ISBN (Electronic)	9781450394321
DOIs	https://doi.org/10.5555/3545946.3598665
Publication status	Published - 30 May 2023
Event	The 22nd International Conference on Autonomous Agents and Multiagent Systems, 2023 - London, United Kingdom Duration: 29 May 2023 → 2 Jun 2023 Conference number: 22 https://aamas2023.soton.ac.uk/

Conference

Conference	The 22nd International Conference on Autonomous Agents and Multiagent Systems, 2023
Abbreviated title	AAMAS 2023
Country/Territory	United Kingdom
City	London
Period	29/05/23 → 2/06/23
Internet address	https://aamas2023.soton.ac.uk/

Keywords / Materials (for Non-textual outputs)

Logic
Probability
Situation Calculus
Modal Logic

Access to Document

10.5555/3545946.3598665Licence: All Rights Reserved

Actions, Continuous Distributions_BELLE_DOA04012023_AFV_CC-BYAccepted author manuscript, 571 KBLicence: Creative Commons: Attribution (CC-BY)

https://dl.acm.org/doi/abs/10.5555/3545946.3598665Licence: All Rights Reserved

1 Finished

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.
EPSRC
1/11/20 → 30/04/24
Project: Research

1 Conference contribution

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{af46c3689f684a46aac21ce39fe59c55,

title = "Actions, Continuous Distributions and Meta-Beliefs",

abstract = "In this work, we propose a new modal logical language for reasoning about noisy actions and sensors in an epistemic setting. In the reasoning about actions literature, there are only a few frameworks for modelling probabilistic noise, and even less in dealing with continuous probability distributions. In the first model of its kind, we show how a rich theory of actions with beliefs, meta-beliefs and only knowing can be defined over discrete, continuous and mixed discrete-continuous distributions.",

keywords = "Logic, Probability, Situation Calculus, Modal Logic",

author = "Vaishak Belle",

note = "Funding Information: The author was partly supported by a Royal Society University Research Fellowship, UK, and partly supported by a grant from the UKRI Strategic Priorities Fund, UK to the UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation (EP/V026607/1, 2020–2024). The author is also grateful to Daxin Liu for helpful comments. Publisher Copyright: {\textcopyright} 2023 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; The 22nd International Conference on Autonomous Agents and Multiagent Systems, 2023, AAMAS 2023 ; Conference date: 29-05-2023 Through 02-06-2023",

year = "2023",

month = may,

day = "30",

doi = "10.5555/3545946.3598665",

language = "English",

pages = "418–426",

booktitle = "Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems",

publisher = "International Foundation for Autonomous Agents and Multiagent Systems",

url = "https://aamas2023.soton.ac.uk/",

}

Belle, V 2023, Actions, Continuous Distributions and Meta-Beliefs. in Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp. 418–426, The 22nd International Conference on Autonomous Agents and Multiagent Systems, 2023, London, United Kingdom, 29/05/23. https://doi.org/10.5555/3545946.3598665

TY - GEN

T1 - Actions, Continuous Distributions and Meta-Beliefs

AU - Belle, Vaishak

N1 - Conference code: 22

PY - 2023/5/30

Y1 - 2023/5/30

N2 - In this work, we propose a new modal logical language for reasoning about noisy actions and sensors in an epistemic setting. In the reasoning about actions literature, there are only a few frameworks for modelling probabilistic noise, and even less in dealing with continuous probability distributions. In the first model of its kind, we show how a rich theory of actions with beliefs, meta-beliefs and only knowing can be defined over discrete, continuous and mixed discrete-continuous distributions.

AB - In this work, we propose a new modal logical language for reasoning about noisy actions and sensors in an epistemic setting. In the reasoning about actions literature, there are only a few frameworks for modelling probabilistic noise, and even less in dealing with continuous probability distributions. In the first model of its kind, we show how a rich theory of actions with beliefs, meta-beliefs and only knowing can be defined over discrete, continuous and mixed discrete-continuous distributions.

KW - Logic

KW - Probability

KW - Situation Calculus

KW - Modal Logic

U2 - 10.5555/3545946.3598665

DO - 10.5555/3545946.3598665

M3 - Conference contribution

SP - 418

EP - 426

BT - Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems

PB - International Foundation for Autonomous Agents and Multiagent Systems

CY - Richland, SC

T2 - The 22nd International Conference on Autonomous Agents and Multiagent Systems, 2023

Y2 - 29 May 2023 through 2 June 2023

ER -

Actions, Continuous Distributions and Meta-Beliefs

Abstract / Description of output

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Projects

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation

Research output

Progression with probabilities in the Situation Calculus: Representation and succinctness

Cite this