Projects per year
Abstract / Description of output
When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of beliefs and actions to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief in formulas, and in particular, with how that should evolve in the presence of noisy sensing and acting is the first-order logical account by Bacchus, Halpern, and Levesque. The main advantage of such a logical account is that it allows a specification of beliefs that can be partial or incomplete, in keeping with whatever information is available about the domain, making it particularly attractive for general-purpose cognitive robotics. Recently, this model was extended to handle continuous probability distributions. However, it is limited to finitely many nullary fluents and defines beliefs and integration axiomatically, the latter making semantic proofs about beliefs and meta-beliefs difficult. In this paper, we revisit the continuous model and cast it in a modal language. We will go beyond nullary fluents and allow fluents of arbitrary arity as is usual in the standard situation calculus. This necessitates a new and general treatment of probabilities on possible worlds, where we define measures on uncountably many worlds that interpret infinitely many fluents. We then show how this leads to a fairly simple definition of knowing, degrees of belief, and onlyknowing. Properties thereof will also be analyzed. In this paper, we focus on the static setting and conclude with some thoughts about extending this account to actions as the next step and what challenges might arise.
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 | 355–363 |
Number of pages | 9 |
ISBN (Electronic) | 9781450394321 |
DOIs | |
Publication status | Published - 30 May 2023 |
Event | The 22nd International Conference on Autonomous Agents and Multiagent Systems - ExCel London, 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 |
---|---|
Abbreviated title | AAMAS 2023 |
Country/Territory | United Kingdom |
City | London |
Period | 29/05/23 → 2/06/23 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- knowledge representation
- epistemic logic
- only-knowing
- only-believing
Fingerprint
Dive into the research topics of 'A Logic of Only-Believing over Arbitrary Probability Distributions'. Together they form a unique fingerprint.Projects
- 1 Finished
-
UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.
1/11/20 → 30/04/24
Project: Research
Research output
- 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 OrganizationResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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 AccessFile