Aleatoric dynamic epistemic logic for learning agents

Tim French; Andrew Gozzard; Mark Reynolds

doi:10.1007/978-3-030-29908-8_35

Aleatoric dynamic epistemic logic for learning agents

Tim French, Andrew Gozzard, Mark Reynolds

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Abstract

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 language	English
Title of host publication	PRICAI 2019
Subtitle of host publication	Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Editors	Abhaya C. Nayak, Alok Sharma
Publisher	Springer-Verlag Berlin
Pages	433-445
Number of pages	13
ISBN (Print)	9783030299071
DOIs	https://doi.org/10.1007/978-3-030-29908-8_35
Publication status	Published - 1 Jan 2019
Event	16th Pacific Rim International Conference on Artificial Intelligence - Yanuka Island, Fiji Duration: 26 Aug 2019 → 30 Aug 2019 http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83421&copyownerid=13149

Publication series

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

Conference

Conference	16th Pacific Rim International Conference on Artificial Intelligence
Abbreviated title	PRICAI 2019
Country/Territory	Fiji
City	Yanuka Island
Period	26/08/19 → 30/08/19
Other	The 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	http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83421&copyownerid=13149

Access to Document

10.1007/978-3-030-29908-8_35

Cite this

French, T., Gozzard, A., & Reynolds, M. (2019). Aleatoric dynamic epistemic logic for learning agents. In A. C. Nayak, & A. Sharma (Eds.), PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 433-445). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11670 LNAI). Springer-Verlag Berlin. https://doi.org/10.1007/978-3-030-29908-8_35

French, Tim ; Gozzard, Andrew ; Reynolds, Mark. / Aleatoric dynamic epistemic logic for learning agents. PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Abhaya C. Nayak ; Alok Sharma. Springer-Verlag Berlin, 2019. pp. 433-445 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9cc479d3eda447f3a2f4967aa9800e44,

title = "Aleatoric dynamic epistemic logic for learning agents",

abstract = "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.",

keywords = "Dynamic epistemic logic, Game playing, Probabilsitic logic",

author = "Tim French and Andrew Gozzard and Mark Reynolds",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-29908-8_35",

language = "English",

isbn = "9783030299071",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin",

pages = "433--445",

editor = "Nayak, {Abhaya C.} and Alok Sharma",

booktitle = "PRICAI 2019",

address = "Germany",

note = "16th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2019 ; Conference date: 26-08-2019 Through 30-08-2019",

url = "http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83421&copyownerid=13149",

}

French, T , Gozzard, A & Reynolds, M 2019, Aleatoric dynamic epistemic logic for learning agents. in AC Nayak & A Sharma (eds), PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11670 LNAI, Springer-Verlag Berlin, pp. 433-445, 16th Pacific Rim International Conference on Artificial Intelligence, Yanuka Island, Fiji, 26/08/19. https://doi.org/10.1007/978-3-030-29908-8_35

Aleatoric dynamic epistemic logic for learning agents. / French, Tim ; Gozzard, Andrew ; Reynolds, Mark.
PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Abhaya C. Nayak; Alok Sharma. Springer-Verlag Berlin, 2019. p. 433-445 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11670 LNAI).

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Aleatoric dynamic epistemic logic for learning agents

AU - French, Tim

AU - Gozzard, Andrew

AU - Reynolds, Mark

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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.

AB - 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.

KW - Dynamic epistemic logic

KW - Game playing

KW - Probabilsitic logic

UR - http://www.scopus.com/inward/record.url?scp=85072870344&partnerID=8YFLogxK

UR - https://link.springer.com/chapter/10.1007%2F978-3-030-29908-8_35#copyrightInformation

U2 - 10.1007/978-3-030-29908-8_35

DO - 10.1007/978-3-030-29908-8_35

M3 - Conference paper

AN - SCOPUS:85072870344

SN - 9783030299071

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 433

EP - 445

BT - PRICAI 2019

A2 - Nayak, Abhaya C.

A2 - Sharma, Alok

PB - Springer-Verlag Berlin

T2 - 16th Pacific Rim International Conference on Artificial Intelligence

Y2 - 26 August 2019 through 30 August 2019

ER -

French T , Gozzard A , Reynolds M. Aleatoric dynamic epistemic logic for learning agents. In Nayak AC, Sharma A, editors, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag Berlin. 2019. p. 433-445. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-29908-8_35

Aleatoric dynamic epistemic logic for learning agents

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Algorithms for Geometric Intersection Graphs

Cite this