Aleatoric dynamic epistemic logic for learning agents

Tim French, Andrew Gozzard, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paperpeer-review


We propose a generalisation of dynamic epistemic logic, where propositions are aleatoric: that is, rather than having true/false values, propositions have odds of being true. Agents in such a system suppose a probability distribution of possible worlds, and based on observations are able to refine this probability distribution to match their observations. We demonstrate this logic with respect to some games of chance.

Original languageEnglish
Title of host publicationPRICAI 2019
Subtitle of host publicationTrends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings
EditorsAbhaya C. Nayak, Alok Sharma
PublisherSpringer-Verlag Berlin
Number of pages13
ISBN (Print)9783030299071
Publication statusPublished - 1 Jan 2019
Event16th Pacific Rim International Conference on Artificial Intelligence - Yanuka Island, Fiji
Duration: 26 Aug 201930 Aug 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11670 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference16th Pacific Rim International Conference on Artificial Intelligence
Abbreviated titlePRICAI 2019
CityYanuka Island
OtherThe Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an international event which concentrates on theories, technologies and applications of Artificial Intelligence (AI) in the areas of social and economic importance for countries in the Asia Pacific region. The 16th PRICAI (2019) will be held at Yanuca Island, Cuvu, Fiji.
The Program Committee invites technical papers on substantial, original, and unpublished research in all aspects of Artificial Intelligence. PRICAI-2019 aims to bring together scholars, practitioners, educators and users from the diverse field of AI.
Internet address


Dive into the research topics of 'Aleatoric dynamic epistemic logic for learning agents'. Together they form a unique fingerprint.

Cite this