Logic and Artificial Intelligence Lecture 20
|
|
- Melina Edwards
- 5 years ago
- Views:
Transcription
1 Logic and Artificial Intelligence Lecture 20 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit November 14, 2011 Logic and Artificial Intelligence 1/23
2 Actions 1. Actions as transitions between states, or situations: Logic and Artificial Intelligence 2/23
3 Actions 1. Actions as transitions between states, or situations: a s t Logic and Artificial Intelligence 2/23
4 Actions 1. Actions as transitions between states, or situations: a s t 2. Actions restrict the set of possible future histories. Logic and Artificial Intelligence 2/23
5 J. van Benthem, H. van Ditmarsch, J. van Eijck and J. Jaspers. Chapter 6: Propositional Dynamic Logic. Logic in Action Online Course Project, Logic and Artificial Intelligence 3/23
6 pty, this means that the action a has aborted in state s. If the set has a s 0, this means that the action a is deterministic on state s, and if the set re elements, this means that action a is non-deterministic on state s. The is: s 1 s 2 s s 3 s n e extend this picture to the whole set S, what emerges is a binary relation rrow from s to s 0 (or equivalently, a pair (s, s 0 ) in the relation) just in case ion a in state s may have s 0 as result. Thus, we can view binary relations rpretations of basic action symbols a. Logic and Artificial Intelligence 2 4/23
7 Propositional Dynamic Logic Language: The language of propositional dynamic logic is generated by the following grammar: p ϕ ϕ ψ [α]ϕ where p At and α is generated by the following grammar: a α β α; β α ϕ? where a Act and ϕ is a formula. Logic and Artificial Intelligence 5/23
8 Propositional Dynamic Logic Language: The language of propositional dynamic logic is generated by the following grammar: p ϕ ϕ ψ [α]ϕ where p At and α is generated by the following grammar: a α β α; β α ϕ? where a Act and ϕ is a formula. Semantics: M = W, {R a a P}, V where for each a P, R a W W and V : At (W ) Logic and Artificial Intelligence 5/23
9 Propositional Dynamic Logic Language: The language of propositional dynamic logic is generated by the following grammar: p ϕ ϕ ψ [α]ϕ where p At and α is generated by the following grammar: a α β α; β α ϕ? where a Act and ϕ is a formula. Semantics: M = W, {R a a P}, V where for each a P, R a W W and V : At (W ) [α]ϕ means after doing α, ϕ will be true α ϕ means after doing α, ϕ may be true Logic and Artificial Intelligence 5/23
10 M, w = [α]ϕ iff for each v, if wr α v then M, v = ϕ M, w = α ϕ iff there is a v such that wr α v and M, v = ϕ Logic and Artificial Intelligence 6/23
11 Union R α β := R α R β 6-12 CHAPTER 6. LOGIC AND ACTION s 1 s 2 s 3 s n s s 0 1 s 0 2 s 0 3 s 0 m Logic and Artificial Intelligence 7/23
12 Sequence Rcture: α;β := R α R β s 11 s 12 s 1 s 13 s s 2 s 3 s 1m s n Logic and Artificial Intelligence 8/23
13 Test R ϕ? = {(w, w) M, w = ϕ} N RELATIONS s 1 s 2 s s 3 s n t 1 t 2 t t 3 t m Logic and Artificial Intelligence 9/23
14 Iteration R α := n 0 R n α Logic and Artificial Intelligence 10/23
15 Propositional Dynamic Logic 1. Axioms of propositional logic 2. [α](ϕ ψ) ([α]ϕ [α]ψ) 3. [α β]ϕ [α]ϕ [β]ϕ 4. [α; β]ϕ [α][β]ϕ 5. [ψ?]ϕ (ψ ϕ) 6. ϕ [α][α ]ϕ [α ]ϕ 7. ϕ [α ](ϕ [α]ϕ) [α ]ϕ 8. Modus Ponens and Necessitation (for each program α) Logic and Artificial Intelligence 11/23
16 Propositional Dynamic Logic 1. Axioms of propositional logic 2. [α](ϕ ψ) ([α]ϕ [α]ψ) 3. [α β]ϕ [α]ϕ [β]ϕ 4. [α; β]ϕ [α][β]ϕ 5. [ψ?]ϕ (ψ ϕ) 6. ϕ [α][α ]ϕ [α ]ϕ (Fixed-Point Axiom) 7. ϕ [α ](ϕ [α]ϕ) [α ]ϕ (Induction Axiom) 8. Modus Ponens and Necessitation (for each program α) Logic and Artificial Intelligence 12/23
17 Actions and Ability An early approach to interpret PDL as logic of actions was put forward by Krister Segerberg. Segerberg adds an agency program to the PDL language δa where A is a formula. K. Segerberg. Bringing it about. JPL, Logic and Artificial Intelligence 13/23
18 Actions and Agency The intended meaning of the program δa is that the agent brings it about that A : formally, δa is the set of all paths p such that Logic and Artificial Intelligence 14/23
19 Actions and Agency The intended meaning of the program δa is that the agent brings it about that A : formally, δa is the set of all paths p such that 1. p is the computation according to some program α, and 2. α only terminates at states in which it is true that A Logic and Artificial Intelligence 14/23
20 Actions and Agency The intended meaning of the program δa is that the agent brings it about that A : formally, δa is the set of all paths p such that 1. p is the computation according to some program α, and 2. α only terminates at states in which it is true that A Interestingly, Segerberg also briefly considers a third condition: 3. p is optimal (in some sense: shortest, maximally efficient, most convenient, etc.) in the set of computations satisfying conditions (1) and (2). Logic and Artificial Intelligence 14/23
21 Actions and Agency The intended meaning of the program δa is that the agent brings it about that A : formally, δa is the set of all paths p such that 1. p is the computation according to some program α, and 2. α only terminates at states in which it is true that A Interestingly, Segerberg also briefly considers a third condition: 3. p is optimal (in some sense: shortest, maximally efficient, most convenient, etc.) in the set of computations satisfying conditions (1) and (2). The axioms: 1. [δa]a 2. [δa]b ([δb]c [δa]c) Logic and Artificial Intelligence 14/23
22 Actions and Agency in Branching Time Alternative accounts of agency do not include explicit description of the actions: t 0 t 1 t 2 t 3 Logic and Artificial Intelligence 15/23
23 STIT Each node represents a choice point for the agent. Logic and Artificial Intelligence 16/23
24 STIT Each node represents a choice point for the agent. A history is a maximal branch in the above tree. Logic and Artificial Intelligence 16/23
25 STIT Each node represents a choice point for the agent. A history is a maximal branch in the above tree. Formulas are interpreted at history moment pairs. Logic and Artificial Intelligence 16/23
26 STIT Each node represents a choice point for the agent. A history is a maximal branch in the above tree. Formulas are interpreted at history moment pairs. At each moment there is a choice available to the agent (partition of the histories through that moment) Logic and Artificial Intelligence 16/23
27 STIT Each node represents a choice point for the agent. A history is a maximal branch in the above tree. Formulas are interpreted at history moment pairs. At each moment there is a choice available to the agent (partition of the histories through that moment) The key modality is [i stit]ϕ which is intended to mean that the agent i can see to it that ϕ is true. [i stit]ϕ is true at a history moment pair provided the agent can choose a (set of) branch(es) such that every future history-moment pair satisfies ϕ Logic and Artificial Intelligence 16/23
28 STIT We use the modality to mean historic possibility. [i stit]ϕ: the agent has the ability to bring about ϕ. Logic and Artificial Intelligence 17/23
29 STIT Model A STIT models is M = T, <, Choice, V where Logic and Artificial Intelligence 18/23
30 STIT Model A STIT models is M = T, <, Choice, V where T, < : T a set of moments, < a tree-like ordering on T (irreflexive, transitive, linear-past) Logic and Artificial Intelligence 18/23
31 STIT Model A STIT models is M = T, <, Choice, V where T, < : T a set of moments, < a tree-like ordering on T (irreflexive, transitive, linear-past) Let Hist be the set of all histories, and H t = {h Hist t h} the histories through t. Logic and Artificial Intelligence 18/23
32 STIT Model A STIT models is M = T, <, Choice, V where T, < : T a set of moments, < a tree-like ordering on T (irreflexive, transitive, linear-past) Let Hist be the set of all histories, and H t = {h Hist t h} the histories through t. Choice : A T ( (H)) is a function mapping each agent to a partition of H t Choicei t K for each K Choicei t For all t and mappings s t : A (H t ) such that s t (i) Choicei t, we have i A s t(i) Logic and Artificial Intelligence 18/23
33 STIT Model A STIT models is M = T, <, Choice, V where T, < : T a set of moments, < a tree-like ordering on T (irreflexive, transitive, linear-past) Let Hist be the set of all histories, and H t = {h Hist t h} the histories through t. Choice : A T ( (H)) is a function mapping each agent to a partition of H t Choicei t K for each K Choicei t For all t and mappings s t : A (H t ) such that s t (i) Choicei t, we have i A s t(i) V : At (T Hist) is a valuation function assigning to each atomic proposition Logic and Artificial Intelligence 18/23
34 STIT Model A STIT models is M = T, <, Choice, V where T, < : T a set of moments, < a tree-like ordering on T (irreflexive, transitive, linear-past) Let Hist be the set of all histories, and H t = {h Hist t h} the histories through t. Choice : A T ( (H)) is a function mapping each agent to a partition of H t Choicei t K for each K Choicei t For all t and mappings s t : A (H t ) such that s t (i) Choicei t, we have i A s t(i) V : At (T Hist) is a valuation function assigning to each atomic proposition Logic and Artificial Intelligence 18/23
35 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Logic and Artificial Intelligence 19/23
36 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Logic and Artificial Intelligence 19/23
37 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Independence of agents Logic and Artificial Intelligence 19/23
38 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Independence of agents Logic and Artificial Intelligence 19/23
39 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Independence of agents Logic and Artificial Intelligence 19/23
40 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ Logic and Artificial Intelligence 20/23
41 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) Logic and Artificial Intelligence 20/23
42 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) M, t/h = ϕ iff M, t/h = ϕ Logic and Artificial Intelligence 20/23
43 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) M, t/h = ϕ iff M, t/h = ϕ M, t/h = ϕ ψ iff M, t/h = ϕ and M, t/h = ψ Logic and Artificial Intelligence 20/23
44 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) M, t/h = ϕ iff M, t/h = ϕ M, t/h = ϕ ψ iff M, t/h = ϕ and M, t/h = ψ M, t/h = ϕ iff M, t/h = ϕ for all h H t Logic and Artificial Intelligence 20/23
45 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) M, t/h = ϕ iff M, t/h = ϕ M, t/h = ϕ ψ iff M, t/h = ϕ and M, t/h = ψ M, t/h = ϕ iff M, t/h = ϕ for all h H t M, t/h = [i stit]ϕ iff M, t/h = ϕ for all h Choicei t(h) Logic and Artificial Intelligence 20/23
46 STIT Language ϕ = p ϕ ϕ ψ [i stit]ϕ [i dstit : ϕ] ϕ M, t/h = p iff t/h V (p) M, t/h = ϕ iff M, t/h = ϕ M, t/h = ϕ ψ iff M, t/h = ϕ and M, t/h = ψ M, t/h = ϕ iff M, t/h = ϕ for all h H t M, t/h = [i stit]ϕ iff M, t/h = ϕ for all h Choice t i (h) M, t/h = [i dstit]ϕ iff M, t/h = ϕ for all h Choice t i (h) and there is a h H t such that M, t/h = ϕ Logic and Artificial Intelligence 20/23
47 STIT: Example The following are false: A [stit]a and [stit](a B) [stit]a [stit]b. h 1 h 2 h 3 A B A B A B t K 1 K 2 J. Horty. Agency and Deontic Logic Logic and Artificial Intelligence 21/23
48 STIT: Axiomatics S5 for : (ϕ ψ) ( ϕ ψ), ϕ ϕ, ϕ ϕ, ϕ ϕ Logic and Artificial Intelligence 22/23
49 STIT: Axiomatics S5 for : (ϕ ψ) ( ϕ ψ), ϕ ϕ, ϕ ϕ, ϕ ϕ S5 for [i stit]: [i stit](ϕ ψ) ([i stit]ϕ [i stit]ψ), [i stit]ϕ ϕ, [i stit]ϕ [i stit][i stit]ϕ, [i stit]ϕ [i stit] [i stit]ϕ Logic and Artificial Intelligence 22/23
50 STIT: Axiomatics S5 for : (ϕ ψ) ( ϕ ψ), ϕ ϕ, ϕ ϕ, ϕ ϕ S5 for [i stit]: [i stit](ϕ ψ) ([i stit]ϕ [i stit]ψ), [i stit]ϕ ϕ, [i stit]ϕ [i stit][i stit]ϕ, [i stit]ϕ [i stit] [i stit]ϕ ϕ [i stit]ϕ Logic and Artificial Intelligence 22/23
51 STIT: Axiomatics S5 for : (ϕ ψ) ( ϕ ψ), ϕ ϕ, ϕ ϕ, ϕ ϕ S5 for [i stit]: [i stit](ϕ ψ) ([i stit]ϕ [i stit]ψ), [i stit]ϕ ϕ, [i stit]ϕ [i stit][i stit]ϕ, [i stit]ϕ [i stit] [i stit]ϕ ϕ [i stit]ϕ ( i A [i stit]ϕ i) ( i A [i stit]ϕ i) Logic and Artificial Intelligence 22/23
52 STIT: Axiomatics S5 for : (ϕ ψ) ( ϕ ψ), ϕ ϕ, ϕ ϕ, ϕ ϕ S5 for [i stit]: [i stit](ϕ ψ) ([i stit]ϕ [i stit]ψ), [i stit]ϕ ϕ, [i stit]ϕ [i stit][i stit]ϕ, [i stit]ϕ [i stit] [i stit]ϕ ϕ [i stit]ϕ ( i A [i stit]ϕ i) ( i A [i stit]ϕ i) Modus Ponens and Necessitation for M. Xu. Axioms for deliberative STIT. Journal of Philosophical Logic, Volume 27, pp , P. Balbiani, A. Herzig and N. Troquard. Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic, 37:4, pp , Logic and Artificial Intelligence 22/23
53 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future Logic and Artificial Intelligence 23/23
54 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future F ϕ: there is a history where ϕ is true some moment in the future Logic and Artificial Intelligence 23/23
55 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future F ϕ: there is a history where ϕ is true some moment in the future [α]ϕ: after doing action α, ϕ is true Logic and Artificial Intelligence 23/23
56 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future F ϕ: there is a history where ϕ is true some moment in the future [α]ϕ: after doing action α, ϕ is true [δϕ]ψ: after bringing about ϕ, ψ is true Logic and Artificial Intelligence 23/23
57 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future F ϕ: there is a history where ϕ is true some moment in the future [α]ϕ: after doing action α, ϕ is true [δϕ]ψ: after bringing about ϕ, ψ is true [i stit]ϕ: the agent can see to it that ϕ is true Logic and Artificial Intelligence 23/23
58 Recap: Logics of Action and Ability F ϕ: ϕ is true at some moment in the future F ϕ: there is a history where ϕ is true some moment in the future [α]ϕ: after doing action α, ϕ is true [δϕ]ψ: after bringing about ϕ, ψ is true [i stit]ϕ: the agent can see to it that ϕ is true [i stit]ϕ: the agent has the ability to bring about ϕ Logic and Artificial Intelligence 23/23
A Note on Logics of Ability
A Note on Logics of Ability Eric Pacuit and Yoav Shoham May 8, 2008 This short note will discuss logical frameworks for reasoning about an agent s ability. We will sketch details of logics of can, do,
More informationLogic and Artificial Intelligence Lecture 21
Logic and Artificial Intelligence Lecture 21 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
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 informationLecture 8: Introduction to Game Logic
Lecture 8: Introduction to Game Logic Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: April 6, 2006 Caput Logic, Language and Information: Social
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 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 informationFiltrations and Basic Proof Theory Notes for Lecture 5
Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write
More informationLogics of Rational Agency Lecture 3
Logics of Rational Agency Lecture 3 Eric Pacuit Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit July 29, 2009 Eric Pacuit: LORI, Lecture 3 1 Plan for the
More informationLogic and Artificial Intelligence Lecture 12
Logic and Artificial Intelligence Lecture 12 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationKnowledge and action in labeled stit logics
Knowledge and action in labeled stit logics John Horty Eric Pacuit April 10, 2014 Abstract Stit semantics supplements branching time models with an operator representing the agency of an individual in
More informationNotes on Modal Logic
Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy
More informationNotes on Modal Logic
Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 25, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary
More informationCombinations of Stit and Actions
Noname manuscript No. (will be inserted by the editor) Combinations of Stit and Actions Ming Xu Received: date / Accepted: date Abstract We present a simple theory of actions against the background of
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 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 informationA Logic for Cooperation, Actions and Preferences
A Logic for Cooperation, Actions and Preferences Lena Kurzen Universiteit van Amsterdam L.M.Kurzen@uva.nl Abstract In this paper, a logic for reasoning about cooperation, actions and preferences of agents
More informationThe Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) Davide Grossi University of Liverpool D.Grossi@liverpool.ac.uk Emiliano Lorini IRIT-CNRS, Toulouse University François Schwarzentruber
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 informationLogic and Artificial Intelligence Lecture 13
Logic and Artificial Intelligence Lecture 13 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
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 informationAn Introduction to Modal Logic V
An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013
More informationA NOTE ON DERIVATION RULES IN MODAL LOGIC
Valentin Goranko A NOTE ON DERIVATION RULES IN MODAL LOGIC The traditional Hilbert-style deductive apparatus for Modal logic in a broad sense (incl. temporal, dynamic, epistemic etc. logics) seems to have
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 informationPriorities and Preferences: A Study Based on Contraction
Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) Priorities and Preferences: A Study Based on Contraction Marlo Souza, Alvaro Moreira {marlo.souza,alvaro.moreira}inf.ufrgs.br
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 informationAction, Failure and Free Will Choice in Epistemic stit Logic
Action, Failure and Free Will Choice in Epistemic stit Logic Jan Broersen Department of Information and Computing Sciences Utrecht University, The Netherlands Symposium "What is really possible?" Utrecht,
More informationArtificial Intelligence. Propositional logic
Artificial Intelligence Propositional logic Propositional Logic: Syntax Syntax of propositional logic defines allowable sentences Atomic sentences consists of a single proposition symbol Each symbol stands
More informationLogic and Artificial Intelligence Lecture 6
Logic and Artificial Intelligence Lecture 6 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationLogic. Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001
Logic Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001 Last Lecture Games Cont. α-β pruning Outline Games with chance, e.g. Backgammon Logical Agents and thewumpus World
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 informationRasiowa-Sikorski proof system for the non-fregean sentential logic SCI
Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Joanna Golińska-Pilarek National Institute of Telecommunications, Warsaw, J.Golinska-Pilarek@itl.waw.pl We will present complete and
More informationModel Theory of Modal Logic Lecture 5. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 5 Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, January 29, 2010 Model Theory of Modal Logic Lecture
More informationGraph Theory and Modal Logic
Osaka University of Economics and Law (OUEL) Aug. 5, 2013 BLAST 2013 at Chapman University Contents of this Talk Contents of this Talk 1. Graphs = Kripke frames. Contents of this Talk 1. Graphs = Kripke
More informationLecture 2: Axiomatic semantics
Chair of Software Engineering Trusted Components Prof. Dr. Bertrand Meyer Lecture 2: Axiomatic semantics Reading assignment for next week Ariane paper and response (see course page) Axiomatic semantics
More informationPropositional Dynamic Logic
Propositional Dynamic Logic Contents 1 Introduction 1 2 Syntax and Semantics 2 2.1 Syntax................................. 2 2.2 Semantics............................... 2 3 Hilbert-style axiom system
More informationTheoretical Foundations of the UML
Theoretical Foundations of the UML Lecture 17+18: A Logic for MSCs Joost-Pieter Katoen Lehrstuhl für Informatik 2 Software Modeling and Verification Group moves.rwth-aachen.de/teaching/ws-1718/fuml/ 5.
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationthe logic of provability
A bird s eye view on the logic of provability Rineke Verbrugge, Institute of Artificial Intelligence, University of Groningen Annual Meet on Logic and its Applications, Calcutta Logic Circle, Kolkata,
More informationModal and temporal logic
Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationDeductive Systems. Lecture - 3
Deductive Systems Lecture - 3 Axiomatic System Axiomatic System (AS) for PL AS is based on the set of only three axioms and one rule of deduction. It is minimal in structure but as powerful as the truth
More informationThe Modal Logic of Pure Provability
The Modal Logic of Pure Provability Samuel R. Buss Department of Mathematics University of California, San Diego July 11, 2002 Abstract We introduce a propositional modal logic PP of pure provability in
More informationLogic and Artificial Intelligence Lecture 7
Logic and Artificial Intelligence Lecture 7 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not
More informationDiscrete Mathematics
Discrete Mathematics Yi Li Software School Fudan University March 13, 2017 Yi Li (Fudan University) Discrete Mathematics March 13, 2017 1 / 1 Review of Lattice Ideal Special Lattice Boolean Algebra Yi
More informationStrategic Coalitions with Perfect Recall
Strategic Coalitions with Perfect Recall Pavel Naumov Department of Computer Science Vassar College Poughkeepsie, New York 2604 pnaumov@vassar.edu Jia Tao Department of Computer Science Lafayette College
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 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 informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationAn Inquisitive Formalization of Interrogative Inquiry
An Inquisitive Formalization of Interrogative Inquiry Yacin Hamami 1 Introduction and motivation The notion of interrogative inquiry refers to the process of knowledge-seeking by questioning [5, 6]. As
More informationReasoning with Protocols under Imperfect Information
Reasoning with Protocols under Imperfect Information Eric Pacuit Sunil Simon September 27, 2010 Abstract Various combinations of temporal logics, epistemic and doxastic logics, and action logics have been
More informationPrinciples of Knowledge Representation and Reasoning
Principles of Knowledge Representation and Reasoning Modal Logics Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg May 2 & 6, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)
More informationEpistemic Oughts in Stit Semantics
Epistemic Oughts in Stit Semantics John Horty *** Draft *** Version of: April 5, 2018 Contents 1 Introduction 1 2 Stit semantics 3 2.1 Branching time.................................. 3 2.2 The stit operator.................................
More informationNon-Analytic Tableaux for Chellas s Conditional Logic CK and Lewis s Logic of Counterfactuals VC
Australasian Journal of Logic Non-Analytic Tableaux for Chellas s Conditional Logic CK and Lewis s Logic of Counterfactuals VC Richard Zach Abstract Priest has provided a simple tableau calculus for Chellas
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 informationConcurrent Game Structures for Temporal STIT Logic
Concurrent Game Structures for Temporal STIT Logic ABSTRACT Joseph Boudou IRIT Toulouse University Toulouse, France The paper introduces a new semantics for temporal STIT logic the logic of seeing to it
More informationPropositional and Predicate Logic - V
Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus
More informationGeneral methods in proof theory for modal logic - Lecture 1
General methods in proof theory for modal logic - Lecture 1 Björn Lellmann and Revantha Ramanayake TU Wien Tutorial co-located with TABLEAUX 2017, FroCoS 2017 and ITP 2017 September 24, 2017. Brasilia.
More informationNeighborhood Semantics for Modal Logic Lecture 4
Neighborhood Semantics for Modal Logic Lecture 4 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 16, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 4 1 Plan for the
More informationoverview overview proof system for basic modal logic proof systems advanced logic lecture 8 temporal logic using temporal frames
overview advanced logic 2018 02 28 lecture 8 proof systems temporal logic using temporal frames overview proof system for basic modal logic extension: φ if φ is a tautology from prop1 proof systems temporal
More informationSocial Choice Theory for Logicians Lecture 5
Social Choice Theory for Logicians Lecture 5 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu June 22, 2012 Eric Pacuit: The Logic Behind
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
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 informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationKnowledge Based Obligations RUC-ILLC Workshop on Deontic Logic
Knowledge Based Obligations RUC-ILLC Workshop on Deontic Logic Eric Pacuit Stanford University November 9, 2007 Eric Pacuit: Knowledge Based Obligations, RUC-ILLC Workshop on Deontic Logic 1 The Kitty
More informationCombining Propositional Dynamic Logic with Formal Concept Analysis
Proc. CS&P '06 Combining Propositional Dynamic Logic with Formal Concept Analysis (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren ev
More informationPropositional logic (revision) & semantic entailment. p. 1/34
Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)
More informationPropositions. c D. Poole and A. Mackworth 2010 Artificial Intelligence, Lecture 5.1, Page 1
Propositions An interpretation is an assignment of values to all variables. A model is an interpretation that satisfies the constraints. Often we don t want to just find a model, but want to know what
More informationOn the Complexity of the Reflected Logic of Proofs
On the Complexity of the Reflected Logic of Proofs Nikolai V. Krupski Department of Math. Logic and the Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow 119899,
More informationEpistemic Oughts in Stit Semantics. John Horty. University of Maryland
Epistemic Oughts in Stit Semantics John Horty University of Maryland Version of: April 15, 2016 1 Outline 1. Stit semantics [α stit: A] = α (an agent) sees to it that A 2. Oughts in stit semantics 3. Some
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 informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationFrom Onions to Broccoli: Generalizing Lewis s counterfactual logic
From Onions to Broccoli: Generalizing Lewis s counterfactual logic Patrick Girard Stanford University May 18, 2005 Abstract We present a generalization of Segerberg s onion semantics for belief revision,
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationLecture 3: Semantics of Propositional Logic
Lecture 3: Semantics of Propositional Logic 1 Semantics of Propositional Logic Every language has two aspects: syntax and semantics. While syntax deals with the form or structure of the language, it is
More informationCSCI 5582 Artificial Intelligence. Today 9/28. Knowledge Representation. Lecture 9
CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin Today 9/28 Review propositional logic Reasoning with Models Break More reasoning Knowledge Representation A knowledge representation is a formal scheme
More informationTR : Binding Modalities
City University of New York (CUNY) CUNY Academic Works Computer Science Technical Reports Graduate Center 2012 TR-2012011: Binding Modalities Sergei N. Artemov Tatiana Yavorskaya (Sidon) Follow this and
More informationA modal logic for games with lies
A modal logic for games with lies Bruno Teheux University of Luxembourg The RÉNYI ULAM game A searching game with lies 1. ALICE chooses an element in {1,..., M}. 2. BOB tries to guess this number by asking
More informationModal logics: an introduction
Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and
More informationPropositional Logic Arguments (5A) Young W. Lim 11/30/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationA Uniform Logic of Information Dynamics
A Uniform Logic of Information Dynamics Wesley H. Holliday Tomohiro Hoshi Thomas F. Icard, III Logical Dynamics Lab, Center for the Study of Language and Information Cordura Hall, 210 Panama Street, Stanford,
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationEpistemic Logic: VI Dynamic Epistemic Logic (cont.)
Epistemic Logic: VI Dynamic Epistemic Logic (cont.) Yanjing Wang Department of Philosophy, Peking University Oct. 26th, 2015 Two basic questions Axiomatizations via reduction A new axiomatization Recap:
More informationAll psychiatrists are doctors All doctors are college graduates All psychiatrists are college graduates
Predicate Logic In what we ve discussed thus far, we haven t addressed other kinds of valid inferences: those involving quantification and predication. For example: All philosophers are wise Socrates is
More informationLogic: Bottom-up & Top-down proof procedures
Logic: Bottom-up & Top-down proof procedures Alan Mackworth UBC CS 322 Logic 3 March 4, 2013 P & M Textbook 5.2 Lecture Overview Recap: Soundness, Completeness, Bottom-up proof procedure Bottom-up Proof
More informationTemporal STIT logic and its application to normative reasoning
Temporal STIT logic and its application to normative reasoning Emiliano Lorini To cite this version: Emiliano Lorini. Temporal STIT logic and its application to normative reasoning. Journal of Applied
More informationA Logic of Intention and Attempt
A Logic of Intention and Attempt Emiliano Lorini (emiliano.lorini@istc.cnr.it) Institut de Recherche en Informatique de Toulouse 118 route de Narbonne F-31062 Toulouse France Andreas Herzig (herzig@irit.fr)
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 informationTableau-based decision procedures for the logics of subinterval structures over dense orderings
Tableau-based decision procedures for the logics of subinterval structures over dense orderings Davide Bresolin 1, Valentin Goranko 2, Angelo Montanari 3, and Pietro Sala 3 1 Department of Computer Science,
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More informationMathematical Logics Modal Logic: Introduction*
Mathematical Logics Modal Logic: Introduction* Fausto Giunchiglia and Mattia Fumagallli University of Trento *Originally by Luciano Serafini and Chiara Ghidini Modified by Fausto Giunchiglia and Mattia
More informationLogic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.
Logic and Social Choice Theory A Survey Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl November 16, 2007 Setting the Stage: Logic and Games Game Logics Logics
More informationNeighborhood Semantics for Modal Logic An Introduction May 12-17, ESSLLI 2007
An Introduction May 12-17, ESSLLI 2007 Eric Pacuit staff.science.uva.nl/ epacuit epacuit@staff.science.uva.nl July 3, 2007 Welcome to! The course will consist of five 90 minute lectures roughly organized
More informationPropositional Logic Arguments (5A) Young W. Lim 10/11/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationSystems of modal logic
499 Modal and Temporal Logic Systems of modal logic Marek Sergot Department of Computing Imperial College, London utumn 2008 Further reading: B.F. Chellas, Modal logic: an introduction. Cambridge University
More informationOn Modal Logics of Partial Recursive Functions
arxiv:cs/0407031v1 [cs.lo] 12 Jul 2004 On Modal Logics of Partial Recursive Functions Pavel Naumov Computer Science Pennsylvania State University Middletown, PA 17057 naumov@psu.edu June 14, 2018 Abstract
More informationFirst-Order Modal Logic and the Barcan Formula
First-Order Modal Logic and the Barcan Formula Eric Pacuit Stanford University ai.stanford.edu/ epacuit March 10, 2009 Eric Pacuit: The Barcan Formula, 1 Plan 1. Background Neighborhood Semantics for Propositional
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP Recap: Logic, Sets, Relations, Functions
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2017 Formal proofs; Simple/strong induction; Mutual induction; Inductively defined sets; Recursively defined functions. Lecture 3 Ana Bove
More informationFormale Systeme II: Theorie
Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2018 Prof. Dr. Bernhard Beckert Dr. Mattias Ulbrich Slides partially by Prof. Dr. Peter H. Schmitt KIT Die Forschungsuniversität
More information