106,900 Hits in 3.6 sec

Logic of Questions and Public Announcements [chapter]

Michal Peliš, Ondrej Majer
2011 Lecture Notes in Computer Science  
Using epistemic representation of questions proposed in [6] we employ the framework of public announcement logic to explore the flow of information in the process of asking and replying questions in a  ...  group.  ...  We worked with the 'classical' public announcement logic based on the modal logic S5.  ... 
doi:10.1007/978-3-642-22303-7_9 fatcat:3uizx36i6neyxm7pfdonuvzhhq

Logics of knowledge and action: critical analysis and challenges

Andreas Herzig
2014 Autonomous Agents and Multi-Agent Systems  
Table 8 Axiomatisation of epistemic logics with common knowledge EL CK EL Some axiomatics of epistemic logic .  ...  In theoretical computer science it is used to study communication in distributed systems [35] . The language has common knowledge operators CK J , one per group J ⊆ I.  ...  ) to reexamine the logical foundations of concepts that are commonly used in artificial intelligence and the social sciences.  ... 
doi:10.1007/s10458-014-9267-z fatcat:fa7rshcicratvd2n7zuvfpkyii

The Undecidability of Quantified Announcements

T. Ågotnes, H. van Ditmarsch, T. French
2016 Studia Logica: An International Journal for Symbolic Logic  
GAL is a dynamic epistemic logic for reasoning about which states of knowledge a group of agents can make come about by sharing their knowledge, with an operator for quantifying over all truthful public  ...  This paper addresses and solves the long-standing open problem of whether Group Announcement Logic (GAL) is decidable.  ...  ThomasÅgotnes is also affiliated with Southwest University, China.  ... 
doi:10.1007/s11225-016-9657-0 fatcat:p7didcppvzg3roa7iqwhde7v5a

Model checking for coalition announcement logic

Natasha Alechina
2018 Logical Investigations  
I will introduce multi-agent Epistemic Logic (EL) for representing knowledge of (idealised) agents, Public Announcement Logic (PAL) for modelling knowledge change after truthful announcements, Group Announcement  ...  Logic (GAL) for modelling what kinds of changes in other agents' knowledge a group of agents can effect, and Coalition Announcement Logic (CAL) which is the main subject of the talk.  ...  First, we will introduce some background on logic of knowledge, logic of public announcements, and logics of group and coalition announcements.  ... 
doi:10.21146/2074-1472-2018-24-2-59-69 fatcat:tnrvg6iggrhinnki6z3cuu7f74

Group Knowledge in Interrogative Epistemology [chapter]

A. Baltag, R. Boddy, S. Smets
2018 Jaakko Hintikka on Knowledge and Game-Theoretical Semantics  
We propose a logical formalization of these concepts, which comes together with a complete axiomatization, and we use this setting to explain both the triumphs and the failures of collective knowledge,  ...  We argue that the standard notions of group knowledge studied in the literature, ranging from distributed knowledge to common knowledge, do not give us a good measure of a group's epistemic potential.  ...  a group) was presented in the third author's ILLC Master thesis (Boddy, 2014) .  ... 
doi:10.1007/978-3-319-62864-6_5 fatcat:w2cwej4h7vbmng3eodwzzpp72m

Resolving Distributed Knowledge

Thomas Ågotnes, Yì N. Wáng
2016 Electronic Proceedings in Theoretical Computer Science  
We study logics with different combinations of resolution operators and operators for common and distributed knowledge.  ...  In epistemic logic, the formula D_Gϕ is intended to express the fact that group G has distributed knowledge of ϕ, that there is enough information in the group to infer ϕ.  ...  Public announcement logics with distributed knowledge have been studied recently [13] .  ... 
doi:10.4204/eptcs.215.4 fatcat:ffe2ptnwgvf5dgsdj3f7f4hcda

Logic in the Community [chapter]

Jeremy Seligman, Fenrong Liu, Patrick Girard
2011 Lecture Notes in Computer Science  
This paper lays out the problems we wish to address, with a view to promoting the logic of community as an interesting area of research in applied philosophical logic.  ...  Within communities, individuals reason about each other's beliefs, knowledge and preferences.  ...  of distributed knowledge.  ... 
doi:10.1007/978-3-642-18026-2_15 fatcat:6e2mfcveqnhyhc6nyk4cr2vklq

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009

B. Dunin-Keplicz, R. Verbrugge
2013 Logic Journal of the IGPL  
Special thanks are due to the members of the program committee for their professionalism and their dedication to select papers of quality and to provide authors with useful, constructive feedback during  ...  We would also like to express our gratitude to the anonymous reviewers of this special issue who have written constructive reviews with many useful detailed suggestions for the authors, often on several  ...  The simplest example of their dynamics is that of distributed 'hard' knowledge, which can be transformed into group knowledge if the agents make sincere public announcements of all their individual knowledge  ... 
doi:10.1093/jigpal/jzt016 fatcat:7pqmitucevedjlnhow5mhhy2hu

Epistemic Logic and Epistemology: The State of their Affairs

Johan van Benthem
2006 Philosophical Studies  
Group Action and 'Social' Knowledge Epistemic logic has considered some notions of group knowledge, including not just common knowledge, but also 'distributed knowledge' which the group would have if agents  ...  When merged with logical dynamics, this brings us to the setting of group knowledge and group action. The most obvious instance of this are games.  ... 
doi:10.1007/s11098-005-4052-0 fatcat:gzhovcxbkjaglgjkbxuwxr74na

Learning What Others Know [article]

Alexandru Baltag, Sonja Smets
2021 arXiv   pre-print
distributed knowledge operator (that combines features of both common knowledge and distributed knowledge).  ...  The static base of our logics is obtained by adding to standard epistemic logic comparative epistemic assertions, that can express epistemic superiority between groups or individuals, as well as a common  ...  In this paper, we extend epistemic logic LDC, with comparative epistemic assertions B C between groups of agents B, C ⊆ A, saying that group B's (distributed) knowledge includes all group C's (distributed  ... 
arXiv:2109.07255v1 fatcat:p3yweztjefgghbs5qvvtpwswby

Group announcement logic

Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
2010 Journal of Applied Logic  
We propose an extension of public announcement logic with constructs of the form G φ, where G is a group of agents, with the intuitive meaning that G can jointly execute a publicly observable action such  ...  Arbitrary public announcement logic Arbitrary public announcement logic (APAL) extends public announcement logic with an additional inductive construct 2φ. Its interpretation is:  ...  The relation between group announcement logic and various notions of group ability, including knowledge 'de re' and knowledge 'de dicto', is discussed in detail in Section 6, which is followed by a more  ... 
doi:10.1016/j.jal.2008.12.002 fatcat:zntndudvnbeh5aa5st7n5elzym

Open Problems in Logical Dynamics [chapter]

Johan van Benthem
2006 Mathematical Problems from Applied Logic I  
Section 3 is about the best-explored system of this kind, viz. the dynamic logic of public announcements.  ...  Concomitantly with all this information flow, our knowledge and beliefs change, and this adaptation process may even be triggered by further cues.  ...  For the complicating role of common knowledge, cf. Section 4 below. Remark 1 The language with distributed knowledge is richer.  ... 
doi:10.1007/0-387-31072-x_3 fatcat:f5il7g4k6zcdndjrl3ymqaetl4

Populational Announcement Logic (PPAL)

Vitor Machado, Mario Benevides
2020 Electronical Notes in Theoretical Computer Science  
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy-inspired semantics, where instead of specific agents we have populations and groups.  ...  A related approach which also reasons about groups of agents, although in a very different manner, is called Term-Modal Logic [8] , and its development Dynamic Term-Modal Logic [13] .  ...  Comparison with Probabilistic Logic It might seem reasonable to draw a comparison between PPAL and the probabilistic logic introduced in [6, 5] , and further expanded with an announcement operator in  ... 
doi:10.1016/j.entcs.2020.02.007 fatcat:bw7klhzhuveknktfb5fngsr7fi

Logics of communication and change

Johan van Benthem, Jan van Eijck, Barteld Kooi
2006 Information and Computation  
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents.  ...  We propose new systems that extend the epistemic base language with a new notion of 'relativized common knowledge', in such a way that the resulting full dynamic logic of information flow allows for a  ...  It is important to investigate the relation between the logic of epistemic logic with relativized common knowledge with public announcement logic with common knowledge.  ... 
doi:10.1016/j.ic.2006.04.006 fatcat:6mjhh754jvca5e4hx75pseypvi

Introduction to the Special Issue "Artificial Intelligence Knowledge Representation"

Paola Di Maio, Mari Carmen Suárez-Figueroa
2019 Systems  
A guest editorial could have been written when this Special Issue was first announced, to stimulate submissions and guide prospect authors, yet writing it closer to the deadline (together with the deadline  ...  extension announcement) makes it possible to highlight recent developments which have happened since [...]  ...  Yet AI systems logic-use application and visibility-can be cumbersome and require specialised knowledge and cost considerable time to analyse.  ... 
doi:10.3390/systems7030035 fatcat:ordb3r4phzbo7dos7krzuphdy4
« Previous Showing results 1 — 15 out of 106,900 results