Public Group and Trust in Doxastic Logic

Elise Perrotin; Rustam Galimullin; Quentin Canu; Natasha Alechina

doi:10.1007/978-3-662-60292-8_15

Public Group and Trust in Doxastic Logic

Elise Perrotin^*, Rustam Galimullin, Quentin Canu, Natasha Alechina

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.

Original language	English
Title of host publication	Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings
Editors	Patrick Blackburn, Emiliano Lorini, Meiyun Guo
Publisher	Springer
Pages	199-213
Number of pages	15
ISBN (Print)	9783662602911
DOIs	https://doi.org/10.1007/978-3-662-60292-8_15
Publication status	Published - 2019
Externally published	Yes
Event	7th International Workshop on Logic, Rationality, and Interaction, LORI 2019 - Chongqing, China Duration: 18 Oct 2019 → 21 Oct 2019

Publication series

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11813 LNCS
ISSN	0302-9743

Conference

Conference	7th International Workshop on Logic, Rationality, and Interaction, LORI 2019
Abbreviated title	LORI 2019
Country/Territory	China
City	Chongqing
Period	18/10/19 → 21/10/19

Keywords

Belief change
Group announcements
Syntactic beliefs
Trust

Access to Document

10.1007/978-3-662-60292-8_15

Cite this

Perrotin, Elise ; Galimullin, Rustam ; Canu, Quentin et al. / Public Group and Trust in Doxastic Logic. Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. editor / Patrick Blackburn ; Emiliano Lorini ; Meiyun Guo. Springer, 2019. pp. 199-213 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

@inproceedings{8a19fff70e12436697c9c357c1fe3cd5,

title = "Public Group and Trust in Doxastic Logic",

abstract = "We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.",

keywords = "Belief change, Group announcements, Syntactic beliefs, Trust",

author = "Elise Perrotin and Rustam Galimullin and Quentin Canu and Natasha Alechina",

note = "Publisher Copyright: {\textcopyright} 2019, Springer-Verlag GmbH Germany, part of Springer Nature.; 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, LORI 2019 ; Conference date: 18-10-2019 Through 21-10-2019",

year = "2019",

doi = "10.1007/978-3-662-60292-8_15",

language = "English",

isbn = "9783662602911",

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

publisher = "Springer",

pages = "199--213",

editor = "Patrick Blackburn and Emiliano Lorini and Meiyun Guo",

booktitle = "Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings",

}

Perrotin, E, Galimullin, R, Canu, Q & Alechina, N 2019, Public Group and Trust in Doxastic Logic. in P Blackburn, E Lorini & M Guo (eds), Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11813 LNCS, pp. 199-213, 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, Chongqing, China, 18/10/19. https://doi.org/10.1007/978-3-662-60292-8_15

Public Group and Trust in Doxastic Logic. / Perrotin, Elise; Galimullin, Rustam; Canu, Quentin et al.
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. ed. / Patrick Blackburn; Emiliano Lorini; Meiyun Guo. Springer, 2019. p. 199-213 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Public Group and Trust in Doxastic Logic

AU - Perrotin, Elise

AU - Galimullin, Rustam

AU - Canu, Quentin

AU - Alechina, Natasha

PY - 2019

Y1 - 2019

N2 - We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.

AB - We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.

KW - Belief change

KW - Group announcements

KW - Syntactic beliefs

KW - Trust

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

U2 - 10.1007/978-3-662-60292-8_15

DO - 10.1007/978-3-662-60292-8_15

M3 - Conference Article in proceeding

AN - SCOPUS:85075694368

SN - 9783662602911

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

SP - 199

EP - 213

BT - Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings

A2 - Blackburn, Patrick

A2 - Lorini, Emiliano

A2 - Guo, Meiyun

PB - Springer

T2 - 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019

Y2 - 18 October 2019 through 21 October 2019

ER -

Perrotin E, Galimullin R, Canu Q, Alechina N. Public Group and Trust in Doxastic Logic. In Blackburn P, Lorini E, Guo M, editors, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Springer. 2019. p. 199-213. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS). doi: 10.1007/978-3-662-60292-8_15

Public Group and Trust in Doxastic Logic

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this