A modal aleatoric calculus for probabilistic reasoning

Andrew Gozzard; Timothy French; Mark Reynolds

doi:10.1007/978-3-662-58771-3_6

A modal aleatoric calculus for probabilistic reasoning

Andrew Gozzard, Timothy French, Mark Reynolds

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

6 Citations (Scopus)

Abstract

We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or “by the throw of dice”. This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabilities to these possible worlds. We present a novel syntax and semantics for such system, and show that they generalise Modal Logic. We also give a sound and complete calculus for reasoning in the base semantics, and a sound calculus for the full modal semantics, that we conjecture to be complete. Finally we discuss some application to reasoning about game playing agents.

Original language	English
Title of host publication	Logic and its applications
Subtitle of host publication	8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Editors	Md. Aquil Khan, Amaldev Manuel
Place of Publication	Berlin
Publisher	Springer
Pages	52-63
Number of pages	12
ISBN (Electronic)	9783662587713
ISBN (Print)	9783662587706
DOIs	https://doi.org/10.1007/978-3-662-58771-3_6
Publication status	Published - 2019
Event	8th Indian Conference on Logic and Its Applications - Delhi, India Duration: 1 Mar 2019 → 5 Mar 2019

Publication series

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

Conference

Conference	8th Indian Conference on Logic and Its Applications
Abbreviated title	ICLA 2019
Country/Territory	India
City	Delhi
Period	1/03/19 → 5/03/19

Access to Document

10.1007/978-3-662-58771-3_6

6 Citations
1 Doctoral Thesis

Algorithms for Geometric Intersection Graphs
Gozzard, A., 2023, (Unpublished)
Research output: Thesis › Doctoral Thesis

File
156 Downloads (Pure)

Cite this

Gozzard, A., French, T., & Reynolds, M. (2019). A modal aleatoric calculus for probabilistic reasoning. In M. Aquil Khan, & A. Manuel (Eds.), Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings (pp. 52-63). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11600 LNCS). Springer. https://doi.org/10.1007/978-3-662-58771-3_6

Gozzard, Andrew ; French, Timothy ; Reynolds, Mark. / A modal aleatoric calculus for probabilistic reasoning. Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. editor / Md. Aquil Khan ; Amaldev Manuel . Berlin : Springer, 2019. pp. 52-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fb3f9afbf3d94aa18360ebe4b35a27eb,

title = "A modal aleatoric calculus for probabilistic reasoning",

abstract = "We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or “by the throw of dice”. This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabilities to these possible worlds. We present a novel syntax and semantics for such system, and show that they generalise Modal Logic. We also give a sound and complete calculus for reasoning in the base semantics, and a sound calculus for the full modal semantics, that we conjecture to be complete. Finally we discuss some application to reasoning about game playing agents.",

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

year = "2019",

doi = "10.1007/978-3-662-58771-3_6",

language = "English",

isbn = "9783662587706",

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

publisher = "Springer",

pages = "52--63",

editor = "{Aquil Khan}, {Md. } and {Manuel }, { Amaldev }",

booktitle = "Logic and its applications",

address = "Netherlands",

note = "8th Indian Conference on Logic and Its Applications, ICLA 2019 ; Conference date: 01-03-2019 Through 05-03-2019",

}

Gozzard, A, French, T & Reynolds, M 2019, A modal aleatoric calculus for probabilistic reasoning. in M Aquil Khan & A Manuel (eds), Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11600 LNCS, Springer, Berlin, pp. 52-63, 8th Indian Conference on Logic and Its Applications, Delhi, India, 1/03/19. https://doi.org/10.1007/978-3-662-58771-3_6

A modal aleatoric calculus for probabilistic reasoning. / Gozzard, Andrew; French, Timothy ; Reynolds, Mark.
Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. ed. / Md. Aquil Khan; Amaldev Manuel . Berlin: Springer, 2019. p. 52-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11600 LNCS).

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

TY - GEN

T1 - A modal aleatoric calculus for probabilistic reasoning

AU - Gozzard, Andrew

AU - French, Timothy

AU - Reynolds, Mark

PY - 2019

Y1 - 2019

N2 - We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or “by the throw of dice”. This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabilities to these possible worlds. We present a novel syntax and semantics for such system, and show that they generalise Modal Logic. We also give a sound and complete calculus for reasoning in the base semantics, and a sound calculus for the full modal semantics, that we conjecture to be complete. Finally we discuss some application to reasoning about game playing agents.

AB - We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or “by the throw of dice”. This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabilities to these possible worlds. We present a novel syntax and semantics for such system, and show that they generalise Modal Logic. We also give a sound and complete calculus for reasoning in the base semantics, and a sound calculus for the full modal semantics, that we conjecture to be complete. Finally we discuss some application to reasoning about game playing agents.

U2 - 10.1007/978-3-662-58771-3_6

DO - 10.1007/978-3-662-58771-3_6

M3 - Conference paper

SN - 9783662587706

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

SP - 52

EP - 63

BT - Logic and its applications

A2 - Aquil Khan, Md.

A2 - Manuel , Amaldev

PB - Springer

CY - Berlin

T2 - 8th Indian Conference on Logic and Its Applications

Y2 - 1 March 2019 through 5 March 2019

ER -

Gozzard A, French T , Reynolds M. A modal aleatoric calculus for probabilistic reasoning. In Aquil Khan M, Manuel A, editors, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Berlin: Springer. 2019. p. 52-63. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-58771-3_6

A modal aleatoric calculus for probabilistic reasoning

Abstract

Publication series

Conference

Access to Document

Fingerprint

Research output

Algorithms for Geometric Intersection Graphs

Cite this