Knowledge and simplicial complexes

Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can define: knowledge, belief, bisimulation, the group notions of mutual, distributed and common knowledge, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes, building upon the foundations laid in prior work by Goubault and others.

[1]  R. J. van Glabbeek,et al.  Comparative Concurrency Semantics and Refinement of Actions , 1996 .

[2]  François Schwarzentruber,et al.  Arbitrary Public Announcement Logic with Mental Programs , 2015, AAMAS.

[3]  Sophia Knight,et al.  The Epistemic View of Concurrency Theory , 2013 .

[4]  Hans van Ditmarsch,et al.  Semantic results for ontic and epistemic change , 2006, ArXiv.

[5]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[6]  Timothy Porter,et al.  Geometric Aspects of Multiagent Systems , 2002, GETCO.

[7]  Jan van Eijck,et al.  Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond , 2018, J. Log. Comput..

[8]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[9]  David Peleg,et al.  Concurrent dynamic logic , 1985, STOC '85.

[10]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[11]  Eric Pacuit,et al.  Neighborhood Semantics for Modal Logic , 2017 .

[12]  Md. Aquil Khan,et al.  Propositional Logics from Rough Set Theory , 2007, Trans. Rough Sets.

[13]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[14]  Patrick Blackburn,et al.  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.

[15]  N. Malcolm.  On Knowledge and Belief , 1954 .

[16]  Suzanne van Wijk.  Coalitions in Epistemic Planning , 2015 .

[17]  Jennifer Nacht,et al.  Modal Logic An Introduction , 2016 .

[18]  Joseph Y. Halpern,et al.  Characterizing solution concepts in terms of common knowledge of rationality , 2016, Int. J. Game Theory.

[19]  Hans Primas,et al.  Knowledge and Time , 2017 .

[20]  Christel Baier,et al.  Principles of model checking , 2008 .

[21]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[22]  R. Ho.  Algebraic Topology , 2022 .

[23]  Joseph Y. Halpern,et al.  Handbook of epistemic logic , 2015 .

[24]  Sergio Rajsbaum,et al.  Wait-Free Solvability of Equality Negation Tasks , 2019, DISC.

[25]  Marcos K. Aguilera,et al.  A pleasant stroll through the land of infinitely many creatures , 2004, SIGA.

[26]  Javier Bracho,et al.  The combinatorics of colored triangulations of manifolds , 1987 .

[27]  Sergio Rajsbaum,et al.  A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability , 2018, GandALF.

[28]  Thomas AAgotnes,et al.  Resolving distributed knowledge , 2016, Artif. Intell..

[29]  Prakash Panangaden,et al.  Concurrent common knowledge: defining agreement for asynchronous systems , 2005, Distributed Computing.

[30]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[31]  Dmitry N. Kozlov,et al.  Combinatorial Algebraic Topology , 2007, Algorithms and computation in mathematics.

[32]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[33]  Maurice Herlihy,et al.  The asynchronous computability theorem for t-resilient tasks , 1993, STOC.

[34]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[35]  David Lewis.  Convention: A Philosophical Study , 1986 .

[36]  Pierre Fraigniaud,et al.  Locality and Checkability in Wait-Free Computing , 2011, DISC.

[37]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[38]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.

[39]  Maurice Herlihy,et al.  The topological structure of asynchronous computability , 1999, JACM.

[40]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[41]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[42]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[43]  Lawrence G. Sager.  Handbook of Computational Social Choice , 2015 .

[44]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[45]  Wiebe van der Hoek,et al.  On the definability of simulation and bisimulation in epistemic logic , 2014, J. Log. Comput..

[46]  H van Ditmarsch,et al.  Common Knowledge and Common Belief , 2009 .

[47]  Maurice Herlihy,et al.  Distributed Computing Through Combinatorial Topology , 2013 .

[48]  Shmuel Zaks,et al.  A Combinatorial Characterization of the Distributed 1-Solvable Tasks , 1990, J. Algorithms.

[49]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[50]  J. Gerbrandy,et al.  Distributed Knowledge , 2022 .

[51]  François Schwarzentruber,et al.  Reasoning about knowledge and messages in asynchronous multi-agent systems , 2017, Mathematical Structures in Computer Science.

[52]  Joseph Rotman.  Covering complexes with applications to algebra , 1973 .

[53]  Hans van Ditmarsch.  Asynchronous Announcements , 2017, ArXiv.

[54]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[55]  Andreas Witzel,et al.  The synchronicity of dynamic epistemic logic , 2011, TARK XIII.

[56]  D. Sangiorgi.  Introduction to Bisimulation and Coinduction , 2011 .

[57]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[58]  James W. Vick,et al.  Homology Theory: An Introduction to Algebraic Topology , 1973 .

[59]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[60]  D. MacKenzie,et al.  The use of knowledge about society , 2008 .

[61]  Aybüke Özgün,et al.  Evidence in Epistemic Logic : A Topological Perspective , 2017 .

[62]  Sergio Rajsbaum,et al.  A dynamic epistemic logic analysis of the equality negation task , 2019, DaLí.

[63]  Morris F. Friedell,et al.  On the structure of shared awareness , 1969 .

[64]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[65]  Tim French,et al.  Awareness and Forgetting of Facts and Agents , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[66]  Eric Goubault,et al.  From Geometric Semantics to Asynchronous Computability , 2015, DISC.