Towards Symbolic Factual Change in Dynamic Epistemic Logic
|
|
- Merry Jefferson
- 5 years ago
- Views:
Transcription
1 Towards Symbolic Factual Change in Dynamic Epistemic Logic Malvin Gattinger ILLC, Amsterdam July 18th 2017 ESSLLI Student Session Toulouse
2 Are there more red or more blue points?
3 Are there more red or more blue points?
4 6 4 Are there more red or more blue points?
5 Representation matters!
6 1. Dynamic Epistemic Logic 2. Symbolic Model Checking 3. Factual Change
7 Epistemic Logic Syntax ϕ ::= p ϕ ϕ ϕ K i ϕ Kripke Models M = (W, R i, Val) where W set of worlds R i W W indistinguishability relation Val : W P(P) valuation function Semantics M, w = K i ϕ iff wr i v implies M, v = ϕ
8 Dynamic Epistemic Logic: Action Models Action Models A = (A, R, pre, post) where A R i A A pre : A L post : A P L Product Update set of atomic events indistinguishability relation precondition function postcondition function M A := (W new, R new i, Val new ) where W new := {(w, a) W A M, w pre(a)} R new i := {((w, a), (v, b)) R i wv and R i ab} Val new ((w, a)) := {p V M, w post a (p)} (Baltag, Moss, and Solecki 1998,Benthem, Eijck, and Kooi (2006))
9 DEL Example: Coin Flip hidden from a a,b w a,b p a 1? p := a,b a = (w, a 1 ) p a a,b a 2? p := a,b (w, a 2 ) p
10 1. Dynamic Epistemic Logic 2. Symbolic Model Checking 3. Factual Change
11 Model Checking The Task Given a model and a formula, does it hold in the model? M, w = ϕ or M, w = ϕ???
12 Limits of Explicit Model Checking Set of possible worlds has to fit in memory. For large models (~ 1000 worlds) this gets slow. Runtime in seconds for n Muddy Children: n DEMO-S
13 1. Dynamic Epistemic Logic 2. Symbolic Model Checking 3. Factual Change
14 Symbolic Model Checking 2 3 Can we represent models in a more compact way?... such that we can still interpret all formulas?
15 Symbolic Model Checking 2 3 Yes! Can we represent models in a more compact way?... such that we can still interpret all formulas? 1. Represent M = (W, R i, Val) symbolically: F = (V, θ, O i ). 2. Translate DEL to equivalent boolean formulas. 3. Use Binary Decision Diagrams to speed it up.
16 Knowledge Structures Knowledge Structures F = (V, θ, O 1,, O n ) where V Vocabulary set of propositional variables θ State Law boolean formula over V O i V Observables propositions observable by i The set of states is {s V s θ}. Call (F, s) a scenario.
17 Knowledge Structures Knowledge Structures F = (V, θ, O 1,, O n ) where V Vocabulary set of propositional variables θ State Law boolean formula over V O i V Observables propositions observable by i The set of states is {s V s θ}. Call (F, s) a scenario. Symbolic Semantics F, s Kϕ iff s O i = s O i implies F, s ϕ
18 From Knowledge Structures to Kripke Models Theorem For every knowledge structure there is an equivalent S5 Kripke Model and vice versa. 2 3 Example The knowledge structure F = (V = {p, q}, θ = p q, O Alice = {p}, O Bob = {q}) is equivalent to this Kripke model: p Alice q Bob p, q
19 From Kripke Models to Knowledge Structures (This is the tricky direction.) Example 0 p Alice 1 p Alice Alice Bob 2 is equivalent to this knowledge structure: ( V = {p, p 2 }, θ = p 2 p, O Alice =, O Bob = {p 2 } ) with actual state: {p, p 2 }
20 Everything is boolean! Definition Fix a knowledge structure F = (V, θ, O 1,, O n ). We define a local boolean translation F : p F := p ϕ F := ϕ F ϕ 1 ϕ 2 F := ϕ 1 F ϕ 2 F K i ϕ F := (V \ O i )(θ ϕ F ) [!ϕ]ψ F := ϕ F ψ F ϕ
21 Everything is boolean! Definition Fix a knowledge structure F = (V, θ, O 1,, O n ). We define a local boolean translation F : p F := p ϕ F := ϕ F ϕ 1 ϕ 2 F := ϕ 1 F ϕ 2 F K i ϕ F := (V \ O i )(θ ϕ F ) [!ϕ]ψ F := ϕ F ψ F ϕ Theorem For all scenarios (F, s) and all formulas ϕ: F, s ϕ s ϕ F
22 Example: Symbolic Muddy Children I F 0 = V = {p 1, p 2, p 3 }, θ 0 =, At least one of you is muddy. O 1 = {p 2, p 3 } O 2 = {p 1, p 3 } O 3 = {p 1, p 2 }
23 Example: Symbolic Muddy Children I F 0 = V = {p 1, p 2, p 3 }, θ 0 =, At least one of you is muddy. O 1 = {p 2, p 3 } O 2 = {p 1, p 3 } O 3 = {p 1, p 2 } F 1 = V = {p 1, p 2, p 3 }, θ 1 = (p 1 p 2 p 3 ), O 1 = {p 2, p 3 } O 2 = {p 1, p 3 } O 3 = {p 1, p 2 }
24 Example: Symbolic Muddy Children I F 0 = V = {p 1, p 2, p 3 }, θ 0 =, At least one of you is muddy. O 1 = {p 2, p 3 } O 2 = {p 1, p 3 } O 3 = {p 1, p 2 } F 1 = V = {p 1, p 2, p 3 }, θ 1 = (p 1 p 2 p 3 ), Do you know if you are muddy?... Nobody reacts. This announcement is equivalent to: O 1 = {p 2, p 3 } O 2 = {p 1, p 3 } O 3 = {p 1, p 2 } i I( (K i p i K i p i )) F1 = (p 2 p 3 ) (p 1 p 3 ) (p 1 p 2 )
25 Magic from 1986: Binary Decision Diagrams (Read the classic Bryant 1986 for more details.)
26 BDD Magic I How long do you need to compare these two formulas? p 3 (p 1 p 2 ) (p 1 p 2 ) p 3
27 BDD Magic I How long do you need to compare these two formulas? p 3 (p 1 p 2 ) (p 1 p 2 ) p 3 Here are is their BDDs:
28 BDD Magic II This was not an accident, BDDs are canonical. Theorem: ϕ ψ BDD(ϕ) = BDD(ψ) Equivalence checks are free and we have fast algorithms to compute BDD( ϕ), BDD(ϕ ψ), BDD(ϕ ψ) etc.
29 Results Why translate DEL to boolean formulas? Because computers are incredibly good at dealing with them! n DEMO-S5 SMCDEL
30 So far, so good... This was S5 PAL, what about: 1. Non-S5 relations for belief? 2. Action Models with factual change?
31 Motivating Example: Sally-Anne
32 Motivating Example: Sally-Anne To model this we need non-s5 action models with factual change!
33 Extension to non-s5 O i P always defines equivalence relations! How can we describe other relations?
34 Extension to non-s5 O i P always defines equivalence relations! How can we describe other relations? Copy P to describe reachability (Gorogiannis and Ryan 2002) Fresh variables V := {p p V } and formulas L(V V ) Actually: use BDD of boolean formula describing the relation
35 Extension to non-s5: From relations to BDDs p 1 p 2 p 1, p 2 Relation R ( p 1 p 2 p 1 p 2 ) ( p 1 p 2 p 1 p 2 ) ( p 1 p 2 p 1 p 2 ) ( p 1 p 2 p 1 p 2 ) ( p 1 p 2 p 1 p 2 ) (p 1 p 2 p 1 p 2 ) (p 1 p 2 p 1 p 2 ) (p 1 p 2 p 1 p 2 ) Formula Φ(R). p 1 p 1 p 2 p 2 BDD of Φ(R)
36 Extension to non-s5: Belief Structures F = (V, θ, Ω 1,, Ω n ) where V Vocabulary propositional variables θ State Law boolean formula over V Ω i L(V V ) Observables encoded relation for i The equivalent Kripke model is given by: R i xy : (x y ) Ω i New translation for modalities: i ψ F := V (θ (Ω i ( ϕ F ) ))
37 The return of the postcondition 1. Dynamic Epistemic Logic 2. Symbolic Model Checking 3. Factual Change
38 Transformers Definition A transformer for V is a tuple X = (V +, θ +, V, θ, Ω + ) where V + is a set of fresh atomic propositions s.t. V V + = θ + is a possibly epistemic formula from L(V V + ) V V is the modified subset of the original vocabulary θ : V L B (V V + ) encodes postconditions Ω + i L B (V + V + ) describe observations for each i to transform F = (V, θ, Ω i ), let F X := (V new, θ new, Ω new i ) where 1. V new := V V + V 2. θ new := [ V /V ] (θ θ + F ) ( [ q V q V /V ] (θ (q)) ) 3. Ω new i := ([ V /V ] [ (V ) /(V ) ] Ω i ) Ω + i
39 Simple Example: Coin Flip hidden from a a,b w a,b p a 1? p := a,b a = (w, a 1 ) p a a,b a 2? p := a,b (w, a 2 ) p (V = {p}, θ = p, Ω a =, Ω b = ) (V + = {q} θ + =, Ω + a =, Ω + b = q q ) V = {p}, θ (p) := q, = (V = {p, q, p } θ = p (p q), Ω a = Ω b = q q )
40 Monster Example: Symbolic Sally-Anne I Sally is in the room: p, Marble is in the box: t Question after the actions: Does Sally believe that the marble is in the box: s t?
41 Monster Example: Symbolic Sally-Anne I Sally is in the room: p, Marble is in the box: t Question after the actions: Does Sally believe that the marble is in the box: s t? Initial structure: (({p, t}, (p t),, ), p) X 1 : Sally puts the marble in the basket: ((,, {t}, θ (t) =,, ), ). X 2 : Sally leaves: ((,, {p}, θ (p) =,, ), ). X 3 : Anne puts the marble in the box, not observed by Sally: (({q},, {t}, θ (t) = ( q t) (q ), q, q q ), {q}). X 4 : Sally comes back: ((,, {p}, θ (p) =,, ), ).
42 The slide we will skip (({p, t}, (p t),, ), p) ((,, {t}, θ (t) =,, ), ) = (({p, t, t }, (p t ) t,, ), {p, t}) ((,, {p}, θ (p) =,, ), ) = (({p, t, t, p }, (p t ) t p,, ), {t, p }) V (({p, t}, t p,, ), {t}) (({q},, {t}, θ (t) = ( q t) (q ), q, q q ), {q}) = (({p, t, q, t }, t p (t (( q t ) (q ))), q, q q ), {q} = (({p, t, q, t }, t p (t q), q, q q ), {q}) V (({p, t, q}, p (t q), q, q q ), {q}) ((,, {p}, θ (p) =,, ), ) = (({p, t, q, p }, p (t q) p, q, q q ), {p, q}) V (({p, t, q}, (t q) p, q, q q ), {p, q})
43 Everything on the previous scary slide are boolean operations, so we blindly trust a computer to deal with it.
44 Monster Example: Symbolic Sally-Anne IIII In the last scene Sally believes the marble is in the basket: {p, q} S t {p, q} V (θ (Ω S t )) {p, q} {p, t, q }((t q ) p ( q t )) {p, q} (François Schwarzentruber: Hintikka s world)
45 Summary representation matters! symbolic model checking DEL gives a big speed-up knowledge/belief structures encode Kripke models transformers provide a modular approach for ontic and epistemic actions Future Work Comparison with (Charrier and Schwarzentruber 2017) Find big examples and benchmark! Limit postconditions to and? github.com/jrclogic/smcdel malvin@w4eg.eu
46 Bonus Slide: Comparison with Mental Programs / Succinct DEL Similar approach in (Charrier and Schwarzentruber 2017). Mental programs describe which change is allowed: q, p q,... Observational BDDs and mental programs are dual in memory consumption: Relation BDD Mental Program Identity 2 V 1 Total 1 2 V
47 References Baltag, Alexandru, Lawrence S. Moss, and Slawomir Solecki The logic of public announcements, common knowledge, and private suspicions. In TARK 98, edited by I. Bilboa, Benthem, Johan van, Jan van Eijck, and Barteld Kooi Logics of communication and change. Information and Computation 204 (11). Elsevier: Bryant, Randal E Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transaction on Computers C-35 (8): Charrier, Tristan, and François Schwarzentruber A Succinct Language for Dynamic Epistemic Logic. In Proceedings of the 16th Conference on Autonomous Agents and Multiagent Systems, AAMAS 17. São Paulo, Brazil: International Foundation for Autonomous Agents; Multiagent Systems. Gorogiannis, Nikos, and Mark D. Ryan Implementation of Belief Change Operators Using BDDs. Studia Logica 70 (1). Kluwer Academic Publishers: doi: /a:
Symbolic Model Checking for Dynamic Epistemic Logic S5 and Beyond
Symbolic Model Checking for Dynamic Epistemic Logic S5 and Beyond Johan van Benthem 1,2,3, Jan van Eijck 1,4, Malvin Gattinger 1, and Kaile Su 5,6 1 Institute for Logic, Language & Computation, University
More informationTR : Public and Private Communication Are Different: Results on Relative Expressivity
City University of New York CUNY) CUNY Academic Works Computer Science Technical Reports The Graduate Center 2008 TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity
More informationArbitrary Announcements in Propositional Belief Revision
Arbitrary Announcements in Propositional Belief Revision Aaron Hunter British Columbia Institute of Technology Burnaby, Canada aaron hunter@bcitca Francois Schwarzentruber ENS Rennes Bruz, France francoisschwarzentruber@ens-rennesfr
More informationProduct Update and Looking Backward
Product Update and Looking Backward Audrey Yap May 21, 2006 Abstract The motivation behind this paper is to look at temporal information in models of BMS product update. That is, it may be useful to look
More informationWhat is DEL good for? Alexandru Baltag. Oxford University
Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of
More informationMultiagent planning and epistemic logic
Multiagent planning and epistemic logic Andreas Herzig IRIT, CNRS, Univ. Toulouse, France Journée plénière, prégdr sur les Aspects Formels et Algorithmiques de l IA July 5, 2017 1 / 25 Outline 1 Planning:
More informationKnowing Values and Public Inspection
Knowing Values and Public Inspection Malvin Gattinger with Jan van Eijck & Yanjing Wang arxiv.org/abs/1609.03338 slides at w4eg.de/malvin 2016-10-14, LIRa ILLC, Amsterdam Introduction Knowing that announcing
More informationCommon Knowledge in Update Logics
Common Knowledge in Update Logics Johan van Benthem, Jan van Eijck and Barteld Kooi Abstract Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups
More informationExtending Probabilistic Dynamic Epistemic Logic
Extending Probabilistic Dynamic Epistemic Logic Joshua Sack joshua.sack@gmail.com Abstract This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi s paper
More informationEpistemic Probability Logic Simplified
Epistemic Probability Logic Simplified Jan van Eijck CWI and ILLC Science Park 3 098 XG Amsterdam François Schwarzentruber ENS Rennes Campus de Ker Lann 3570 BRUZ Abstract We propose a simplified logic
More informationThe Muddy Children:A logic for public announcement
The Muddy Children: Jesse Technical University of Eindhoven February 10, 2007 The Muddy Children: Outline 1 2 3 4 The Muddy Children: Quincy Prescott Baba: At least one of you is muddy. Quincy: I don t
More informationUndecidability in Epistemic Planning
Undecidability in Epistemic Planning Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Guillaume Aucher, Univ Rennes 1 Bolander: Undecidability in Epistemic Planning p. 1/17 Introduction
More informationPerception in Update Logic
Perception in Update Logic Jan van Eijck CWI, Amsterdam, Uil-OTS, Utrecht, NIAS, Wassenaar jve@cwi.nl June 25, 2007 I see nobody on the road, said Alice. I only wish I had such eyes, the King remarked
More informationPopulational Announcement Logic (PPAL)
Populational Announcement Logic (PPAL) Vitor Machado 1 and Mario Benevides 1,2 1 Institute of Mathematics Federal University of Rio de Janeiro 2 System Engineering and Computer Science Program (PESC/COPPE)
More informationLogics For Epistemic Programs
1 / 48 Logics For Epistemic Programs by Alexandru Baltag and Lawrence S. Moss Chang Yue Dept. of Philosophy PKU Dec. 9th, 2014 / Seminar 2 / 48 Outline 1 Introduction 2 Epistemic Updates and Our Target
More informationTowards A Multi-Agent Subset Space Logic
Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net
More informationKnowable as known after an announcement
RESEARCH REPORT IRIT/RR 2008-2 FR Knowable as known after an announcement Philippe Balbiani 1 Alexandru Baltag 2 Hans van Ditmarsch 1,3 Andreas Herzig 1 Tomohiro Hoshi 4 Tiago de Lima 5 1 Équipe LILAC
More informationETL, DEL, and Past Operators
ETL, DEL, and Past Operators Tomohiro Hoshi Stanford University thoshi@stanford.edu Audrey Yap University of Victoria ayap@uvic.ca Abstract [8] merges the semantic frameworks of Dynamic Epistemic Logic
More informationConditional Belief, Knowledge and Probability
Conditional Belief, Knowledge and Probability Jan van Eijck CWI and ILLC Amsterdam, Netherlands jan.van.eijck@cwi.nl Kai Li Peking University Beijing, China CWI Amsterdam, Netherlands likaiedemon@gmail.com
More informationSchematic Validity in Dynamic Epistemic Logic: Decidability
This paper has been superseded by W. H. Holliday, T. Hoshi, and T. F. Icard, III, Information dynamics and uniform substitution, Synthese, Vol. 190, 2013, 31-55. Schematic Validity in Dynamic Epistemic
More informationInference and update. Fernando Raymundo Velázquez-Quesada
DOI 10.1007/s11229-009-9556-2 Inference and update Fernando Raymundo Velázquez-Quesada Received: 18 November 2008 / Accepted: 7 April 2009 The Author(s) 2009. This article is published with open access
More informationSome Non-Classical Approaches to the Brandenburger-Keisler Paradox
Some Non-Classical Approaches to the Brandenburger-Keisler Paradox Can BAŞKENT The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net KGB Seminar The Graduate Center
More informationuse these reduction axioms to reduce both the model checking problem and the satisfiability problem of DEL to the model checking problem and the satis
On the Complexity of Dynamic Epistemic Logic Guillaume Aucher University of Rennes - INRIA guillaume.aucher@irisa.fr François Schwarzentruber ENS Cachan - Brittany extension francois.schwarzentruber@bretagne.enscachan.fr
More informationSimulation and information: quantifying over epistemic events
Simulation and information: quantifying over epistemic events Hans van Ditmarsch 12 and Tim French 3 1 Computer Science, University of Otago, New Zealand, hans@cs.otago.ac.nz 2 CNRS-IRIT, Université de
More informationEliminating Opportunism using an Epistemic Mechanism
Eliminating Opportunism using an Epistemic Mechanism Jieting Luo Centrum Wiskunde & Informatica Amsterdam, the Netherlands jieting.luo@cwi.nl Max Knobbout Triple Alkmaar, the Netherlands m.knobbout@wearetriple.com
More informationDEL-sequents for Regression and Epistemic Planning
DEL-sequents for Regression and Epistemic Planning Guillaume Aucher To cite this version: Guillaume Aucher. DEL-sequents for Regression and Epistemic Planning. Journal of Applied Non-Classical Logics,
More informationMulti-Agent Action Modeling through Action Sequences and Perspective Fluents
Multi-Agent Action Modeling through Action Sequences and Perspective Fluents Chitta Baral, Gregory Gelfond, Enrico Pontelli and Tran Cao Son Abstract Actions in a multi-agent setting have complex characteristics.
More informationKnowledge and Action in Semi-Public Environments
Knowledge and Action in Semi-Public Environments Wiebe van der Hoek, Petar Iliev, and Michael Wooldridge University of Liverpool, United Kingdom {Wiebe.Van-Der-Hoek,pvi,mjw}@liverpool.ac.uk Abstract. We
More informationOne hundred prisoners and a lightbulb logic and computation
One hundred prisoners and a lightbulb logic and computation Hans van Ditmarsch D. Logic, F. Philosophy University of Sevilla, Spain Email: hvd@us.es Jan van Eijck CWI, Amsterdam & OTS University of Utrecht,
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationLogics for Compact Hausdorff Spaces via de Vries Duality
Logics for Compact Hausdorff Spaces via de Vries Duality Thomas Santoli ILLC, Universiteit van Amsterdam June 16, 2016 Outline Main goal: developing a propositional calculus for compact Hausdorff spaces
More informationTopics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome:
Topics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome: epacuit@cs.gc.cuny.edu February 12, 2006 Chapter 1 Communication Graphs The previous chapter
More informationDon t Plan for the Unexpected: Planning Based on Plausibility Models
Don t Plan for the Unexpected: Planning Based on Plausibility Models Thomas Bolander, DTU Informatics, Technical University of Denmark Joint work with Mikkel Birkegaard Andersen and Martin Holm Jensen
More informationFrom conditional probability to the logic of doxastic actions
From conditional probability to the logic of doxastic actions Alexandru Baltag and Sonja Smets Abstract We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability,
More informationKnowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T.
UvA-DARE (Digital Academic Repository) Knowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T. Published in: Review of Symbolic Logic DOI:
More informationGeneral Dynamic Dynamic Logic
General Dynamic Dynamic Logic Patrick Girard Department of Philosophy University of Auckland Jeremy Seligman Department of Philosophy University of Auckland Fenrong Liu Department of Philosophy Tsinghua
More informationSome Observations on Nabla Modality
Some Observations on Nabla Modality Can Başkent Department of Computer Science, University of Bath can@canbaskent.net www.canbaskent.net/logic 1 Introduction and Motivation The traditional necessity and
More informationComposing Models. Jan van Eijck, Yanjing Wang, and Floor Sietsma
Composing Models Jan van Eijck, Yanjing Wang, and Floor Sietsma Centrum Wiskunde en Informatica, P.O. Box 94079, NL-090 GB Amsterdam, The Netherlands Abstract. We study a new composition operation on (epistemic)
More informationBisimulation for conditional modalities
Bisimulation for conditional modalities Alexandru Baltag and Giovanni Ciná Institute for Logic, Language and Computation, University of Amsterdam March 21, 2016 Abstract We give a general definition of
More informationModels of Strategic Reasoning Lecture 4
Models of Strategic Reasoning Lecture 4 Eric Pacuit University of Maryland, College Park ai.stanford.edu/~epacuit August 9, 2012 Eric Pacuit: Models of Strategic Reasoning 1/55 Game Plan Lecture 4: Lecture
More informationEFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains Tiep Le Computer Science New Mexico State University Las Cruces, NM 88003, USA tile@cs.nmsu.edu Francesco Fabiano Computer Science
More informationMerging Frameworks for Interaction: DEL and ETL
Merging Frameworks for Interaction: DEL and ETL Johan van Benthem Jelle Gerbrandy Eric Pacuit February 14, 2007 1 Introduction Many logical systems today describe behaviour of intelligent interacting agents
More informationModel Transformers for Dynamical Systems of Dynamic Epistemic Logic Rendsvig, Rasmus Kræmmer
university of copenhagen Model Transformers for Dynamical Systems of Dynamic Epistemic Logic Rendsvig, Rasmus Kræmmer Published in: Logic, Rationality, and Interaction DOI: 10.1007/978-3-662-48561-3_26
More informationEvidence-Based Belief Revision for Non-Omniscient Agents
Evidence-Based Belief Revision for Non-Omniscient Agents MSc Thesis (Afstudeerscriptie) written by Kristina Gogoladze (born May 11th, 1986 in Tbilisi, Georgia) under the supervision of Dr Alexandru Baltag,
More informationLogics of Informational Interactions
J Philos Logic (2015) 44:595 607 DOI 10.1007/s10992-015-9345-y Logics of Informational Interactions Alexandru Baltag Sonja Smets Received: 26 June 2014 / Accepted: 1 July 2014 / Published online: 26 April
More informationDialetheism and a Game Theoretical Paradox
Can BAŞKENT Institut d Histoire et de Philosophie des Sciences et des Techniques can@canbaskent.net www.canbaskent.net 25 Years In Contradiction Conference University of Glasgow December 6-8, 2012 Outlook
More informationConditional Probability and Update Logic
Conditional Probability and Update Logic 1 Second version, January 2003 Johan van Benthem, Amsterdam & Stanford Abstract ynamic update of information states is the dernier cri in logical semantics. And
More informationLecture 11: Topics in Formal Epistemology
Lecture 11: Topics in Formal Epistemology Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: May 4, 2006 Caput Logic, Language and Information:
More informationKnowledge, Strategies, and Know-How
KR 2018, Tempe, AZ, USA Knowledge, Strategies, and Know-How Jia Tao Lafayette College Pavel Naumov Claremont McKenna College http://reasoning.eas.asu.edu/kr2018/ "!! Knowledge, Strategies, Know-How!!?!!
More informationA Qualitative Theory of Dynamic Interactive Belief Revision
A Qualitative Theory of Dynamic Interactive Belief Revision Alexandru Baltag 1 Sonja Smets 2,3 1 Computing Laboratory Oxford University Oxford OX1 3QD, United Kingdom 2 Center for Logic and Philosophy
More informationDepartment of Computer Science, University of Otago. The logic of ontic and epistemic change
Department of Computer Science, University of Otago Technical Report OUCS-2006-11 The logic of ontic and epistemic change Authors: Hans van Ditmarsch Department of Computer Science, University of Otago
More informationVerifying One Hundred Prisoners and a Lightbulb
Verifying One Hundred Prisoners and a Lightbulb Hans van Ditmarsch *, Jan van Eijck ** and William Wu *** * D. Logic, University of Sevilla, Spain Email: hvd@us.es ** CWI, Amsterdam & OTS, University of
More informationReversed Squares of Opposition in PAL and DEL
Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in
More informationBeliefs in Multiagent Planning: From One Agent to Many
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling Beliefs in Multiagent Planning: From One Agent to Many Filippos Kominis Universitat Pompeu Fabra 08018 Barcelona,
More informationUnderstanding the Brandenburger-Keisler Belief Paradox
Understanding the Brandenburger-Keisler Belief Paradox Eric Pacuit Institute of Logic, Language and Information University of Amsterdam epacuit@staff.science.uva.nl staff.science.uva.nl/ epacuit March
More informationValentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 29
ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 5: Logics for temporal strategic reasoning with incomplete and imperfect information Valentin Goranko Stockholm
More informationA Survey of Topologic
Illuminating New Directions Department of Computer Science Graduate Center, the City University of New York cbaskent@gc.cuny.edu // www.canbaskent.net/logic December 1st, 2011 - The Graduate Center Contents
More informationLearning to Act: Qualitative Learning of Deterministic Action Models
Learning to Act: Qualitative Learning of Deterministic Action Models Thomas Bolander Nina Gierasimczuk October 8, 2017 Abstract In this paper we study learnability of fully observable, universally applicable
More informationWhat will they say? Public Announcement Games
What will they say? Public Announcement Games Thomas Ågotnes Hans van Ditmarsch Abstract Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular,
More informationModel Theory of Modal Logic Lecture 1: A brief introduction to modal logic. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 1: A brief introduction to modal logic Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, 25 January, 2010
More informationReasoning about local properties in modal logic
Reasoning about local properties in modal logic Hans van Ditmarsch Department of Logic University of Seville Spain hvd@us.es Wiebe van der Hoek Department of Computer Science University of Liverpool, UK
More information. Modal AGM model of preference changes. Zhang Li. Peking University
Modal AGM model of preference changes Zhang Li Peking University 20121218 1 Introduction 2 AGM framework for preference change 3 Modal AGM framework for preference change 4 Some results 5 Discussion and
More informationLogic and Artificial Intelligence Lecture 22
Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationMulti-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics Johan van Benthem ILLC Amsterdam Stanford University johan@science.uva.nl Cédric Dégremont ILLC Amsterdam cdegremo@science.uva.nl
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the
More informationBig Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane Olivier Gasquet, Valentin Goranko, Francois Schwarzentruber June 10, 2014 Abstract We consider
More informationDynamic Epistemic Logic Displayed
1 / 43 Dynamic Epistemic Logic Displayed Giuseppe Greco & Alexander Kurz & Alessandra Palmigiano April 19, 2013 ALCOP 2 / 43 1 Motivation Proof-theory meets coalgebra 2 From global- to local-rules calculi
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit University of Maryland, College Park pacuit.org epacuit@umd.edu August 15, 2014 Eric Pacuit 1 Course Plan Introduction and Motivation: Background
More informationDynamic Logic of Propositional Assignments and its applications to update, revision and planning
Dynamic Logic of Propositional Assignments and its applications to update, revision and planning Andreas Herzig University of Toulouse, IRIT-CNRS, France Workshop on Planning, Logic and Social Intelligence,
More informationChanging Types. Dominik Klein Eric Pacuit. April 24, 2011
Changing Types Dominik Klein Eric Pacuit April 24, 2011 The central thesis of the epistemic program in game theory (Brandenburger, 2007) is that the basic mathematical models of a game situation should
More informationIntroduction to Epistemic Reasoning in Interaction
Introduction to Epistemic Reasoning in Interaction Eric Pacuit Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/~epacuit December 9, 2009 Eric Pacuit 1 We are interested in
More informationPreference and its Dynamics
Department of Philosophy,Tsinghua University 28 August, 2012, EASLLC Table of contents 1 Introduction 2 Betterness model and dynamics 3 Priorities and dynamics 4 Relating betterness and priority dynamics
More informationLearning by Questions and Answers:
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points Alexandru Baltag 1 and Sonja Smets 2,3 1 Computing Laboratory, University of Oxford, Alexandru.Baltag@comlab.ox.ac.uk
More informationDynamics for Inference
Dynamics for Inference Alexei Angelides 1 Introduction Consider the following two situations: (DS) from P Q, and P, infer Q. and (WS) I order beef, Jesse orders fish, Darko orders veg. A new waiter walks
More informationNew Directions in Model Checking Dynamic Epistemic Logic
New Directions in Model Checking Dynamic Epistemic Logic Malvin Gattinger New Directions in Model Checking Dynamic Epistemic Logic Malvin Gattinger New Directions in Model Checking Dynamic Epistemic
More informationA Dynamic-Logical Perspective on Quantum Behavior
A Dynamic-Logical Perspective on Quantum Behavior A. Baltag and S. Smets Abstract In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationSOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES
SOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES Fernando R. Velázquez-Quesada Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas Universidad Nacional Autónoma de México
More informationModal Logic. UIT2206: The Importance of Being Formal. Martin Henz. March 19, 2014
Modal Logic UIT2206: The Importance of Being Formal Martin Henz March 19, 2014 1 Motivation The source of meaning of formulas in the previous chapters were models. Once a particular model is chosen, say
More informationLogics for MAS: a critical overview
Logics for MAS: a critical overview Andreas Herzig CNRS, University of Toulouse, IRIT, France IJCAI 2013, August 9, 2013 1 / 37 Introduction 2 / 37 Introduction Multi-Agent Systems (MAS): agents with imperfect
More informationAbstract model theory for extensions of modal logic
Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for
More informationOn Representing Actions in Multi-Agent Domains
On Representing ctions in Multi-gent Domains hitta aral and Gregory Gelfond Department of omputer Science and Engineering rizona State University bstract. Reasoning about actions forms the foundation of
More informationMerging Frameworks for Interaction
Merging Frameworks for Interaction Johan van Benthem Tomohiro Hoshi Jelle Gerbrandy Eric Pacuit March 26, 2008 1 Introduction Many logical systems today describe intelligent interacting agents over time.
More informationEpistemic Informativeness
Epistemic Informativeness Yanjing Wang, Jie Fan Department of Philosophy, Peking University 2nd AWPL, Apr. 12th, 2014 Motivation Epistemic Informativeness Conclusions and future work Frege s puzzle on
More informationSTIT is dangerously undecidable
STIT is dangerously undecidable François Schwarzentruber and Caroline Semmling June 2, 2014 Abstract STIT is a potential logical framework to capture responsibility, counterfactual emotions and norms,
More informationCompleteness Results for Memory Logics
Completeness Results for Memory Logics Carlos Areces Santiago Figueira Sergio Mera Abstract Memory logics are a family of modal logics in which standard relational structures are augmented with data structures
More informationIndicative Conditionals and Dynamic Epistemic Logic
Indicative Conditionals and Dynamic Epistemic Logic Wesley H. Holliday University of California, Berkeley wesholliday@berkeley.edu Thomas F. Icard, III Stanford University icard@stanford.edu Recent ideas
More informationModal Logics. Most applications of modal logic require a refined version of basic modal logic.
Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure
More informationHow to share knowledge by gossiping
How to share knowledge by gossiping Andreas Herzig and Faustine Maffre University of Toulouse, IRIT http://www.irit.fr/lilac Abstract. Given n agents each of which has a secret (a fact not known to anybody
More informationEpistemic Informativeness
Epistemic Informativeness Yanjing Wang and Jie Fan Abstract In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent
More informationLogics of Communication and Change
Logics of Communication and Change Johan van Benthem a Jan van Eijck b Barteld Kooi c a ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands & Philosophy Department,
More informationBoolean decision diagrams and SAT-based representations
Boolean decision diagrams and SAT-based representations 4th July 200 So far we have seen Kripke Structures 2 Temporal logics (and their semantics over Kripke structures) 3 Model checking of these structures
More informationGame Description Language and Dynamic Epistemic Logic Compared
Game Description Language and Dynamic Epistemic Logic Compared Thorsten Engesser 1, Robert Mattmüller 1, Bernhard Nebel 1, Michael Thielscher 1 Faculty of Engineering, University of Freiburg, Germany School
More informationModal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012.
Modal Logic Introductory Lecture Eric Pacuit University of Maryland, College Park ai.stanford.edu/ epacuit January 31, 2012 Modal Logic 1/45 Setting the Stage Modern Modal Logic began with C.I. Lewis dissatisfaction
More informationAn Introduction to Modal Logic I
An Introduction to Modal Logic I Introduction and Historical remarks Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 10 th 2013 Marco
More informationCorrelated Information: A Logic for Multi-Partite Quantum Systems
Electronic Notes in Theoretical Computer Science 270 (2) (2011) 3 14 www.elsevier.com/locate/entcs Correlated Information: A Logic for Multi-Partite Quantum Systems Alexandru Baltag 1,2 Oxford University
More informationLinear-time Temporal Logic
Linear-time Temporal Logic Pedro Cabalar Department of Computer Science University of Corunna, SPAIN cabalar@udc.es 2015/2016 P. Cabalar ( Department Linear oftemporal Computer Logic Science University
More informationAction Models in Inquisitive Logic
Action Models in Inquisitive Logic MSc Thesis (Afstudeerscriptie) written by Thom van Gessel (born October 10th, 1987 in Apeldoorn, The Netherlands) under the supervision of Dr. Floris Roelofsen and Dr.
More informationModal Probability Logic
Modal Probability Logic ESSLLI 2014 - Logic and Probability Wes Holliday and Thomas Icard Berkeley and Stanford August 14, 2014 Wes Holliday and Thomas Icard: Modal Probability 1 References M. Fattorosi-Barnaba
More information