Intensionalisation of Logical Operators
|
|
- Elijah Sullivan
- 5 years ago
- Views:
Transcription
1 Intensionalisation of Logical Operators Vít Punčochář Institute of Philosophy Academy of Sciences Czech Republic Vít Punčochář (AS CR) Intensionalisation / 29
2 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
3 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
4 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
5 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
6 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
7 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
8 A nonstandard representation of classical logic Semantics based on an assertibility relation C is a set of possible worlds (a context). C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff for some D, E, D E = C, D ϕ and E ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
9 A nonstandard representation of classical logic Consequence relation Definition ψ iff for all C, if C, then C ψ. Vít Punčochář (AS CR) Intensionalisation / 29
10 A nonstandard representation of classical logic Consequence relation Definition ψ iff for all C, if C, then C ψ. Fact is identical with the consequence relation of classical logic. Vít Punčochář (AS CR) Intensionalisation / 29
11 Strict disjunction Extensional principle for disjunction If C ϕ and D ψ, then C D ϕ ψ. Vít Punčochář (AS CR) Intensionalisation / 29
12 Strict disjunction Factual sentences C John is in Germany. C r s t = John is in Berlin = John is in Hamburg = John is in Munich Vít Punčochář (AS CR) Intensionalisation / 29
13 Strict disjunction Factual sentences C John is in Germany. C r s t = John is in Berlin = John is in Hamburg = John is in Munich Vít Punčochář (AS CR) Intensionalisation / 29
14 Strict disjunction Factual sentences D John is in France. D u v w = John is in Paris = John is in Toulouse = John is in Strasbourg Vít Punčochář (AS CR) Intensionalisation / 29
15 Strict disjunction Factual sentences D John is in France. D u v w = John is in Paris = John is in Toulouse = John is in Strasbourg Vít Punčochář (AS CR) Intensionalisation / 29
16 Strict disjunction Factual sentences C D John is in Germany or he is in France. CuD r s t u v w = John is in Berlin = John is in Hamburg = John is in Munich = John is in Paris = John is in Toulouse = John is in Strasbourg Vít Punčochář (AS CR) Intensionalisation / 29
17 Strict disjunction Factual sentences C D John is in Germany or he is in France. CuD r s t u v w = John is in Berlin = John is in Hamburg = John is in Munich = John is in Paris = John is in Toulouse = John is in Strasbourg Vít Punčochář (AS CR) Intensionalisation / 29
18 Contextual sentences Strict disjunction C All suspects are men. C r s t = John commited the crime = Robert commited the crime = Michael commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
19 Contextual sentences Strict disjunction C All suspects are men. C r s t = John commited the crime = Robert commited the crime = Michael commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
20 Contextual sentences Strict disjunction D All suspects are women. D u v w = Anna commited the crime = Natalie commited the crime = Molly commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
21 Contextual sentences Strict disjunction D All suspects are women. D u v w = Anna commited the crime = Natalie commited the crime = Molly commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
22 Contextual sentences Strict disjunction C D All suspects are men or all suspects are women. CuD r s t u v w = John commited the crime = Robert commited the crime = Michael commited the crime = Anna commited the crime = Natalie commited the crime = Molly commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
23 Contextual sentences Strict disjunction C D All suspects are men or all suspects are women. CuD r s t u v w = John commited the crime = Robert commited the crime = Michael commited the crime = Anna commited the crime = Natalie commited the crime = Molly commited the crime Vít Punčochář (AS CR) Intensionalisation / 29
24 Strict disjunction Strict disjunction C ϕ ψ iff C ϕ or C ψ. Vít Punčochář (AS CR) Intensionalisation / 29
25 Strict disjunction Inquisitive semantics (J. Groenendijk) C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff C ϕ or C ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
26 Strict disjunction Semantics of assertibility C iff C =. C p iff for all v C, v(p) = 1. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff C ϕ or C ψ. C ϕ ψ iff D ψ for all D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
27 Weak negation Negation and implication (p q) p q Vít Punčochář (AS CR) Intensionalisation / 29
28 Weak negation Paul Grice Denial of a conditional Sometimes a denial of a conditional has the effect of a refusal to assert the conditional in question, characteristically because the denier does not think that there are adequate non-truth-functional grounds for such an assertion. (Paul Grice, Indicative conditionals) Vít Punčochář (AS CR) Intensionalisation / 29
29 Weak negation Weak negation expressing a refusal to assert a sentence C ϕ iff C ϕ. Vít Punčochář (AS CR) Intensionalisation / 29
30 Weak negation Semantics of assertibility with weak negation For every C, C. C p iff for all v C, v(p) = 1. C ϕ iff C ϕ. C ϕ ψ iff C ϕ and C ψ. C ϕ ψ iff C ϕ or C ψ. C ϕ ψ iff D ψ for all nonempty D C such that D ϕ. ϕ = Df ϕ Vít Punčochář (AS CR) Intensionalisation / 29
31 Weak negation Two kinds of modal operators ϕ = Df ϕ, ϕ = Df ϕ, ϕ = Df ϕ. ϕ = Df ϕ. Vít Punčochář (AS CR) Intensionalisation / 29
32 Weak negation The relationships between the modalities Fact (i) ϕ ϕ, (ii) ϕ ϕ. Vít Punčochář (AS CR) Intensionalisation / 29
33 Weak negation The relationships between the modalities Fact (i) ϕ ϕ, (ii) ϕ ϕ. Proof. (i) ϕ = ϕ ϕ = ϕ. (ii) ϕ = ϕ ϕ = ϕ. Vít Punčochář (AS CR) Intensionalisation / 29
34 Weak negation Semantics of the modal operators Fact (i) ϕ is assertible in C iff ϕ is (classically) true in every world of C. (ii) ϕ is assertible in C iff ϕ is assertible in every subcontext of C. (iii) ϕ is assertible in C iff ϕ is (classically) true in some world of C. (iv) ϕ is assertible in C iff ϕ is assertible in some subcontext of C. Vít Punčochář (AS CR) Intensionalisation / 29
35 Weak negation Two dual operators: and ϕ 1... ϕ n = Df (ϕ 1... ϕ n ) ( ϕ 1... ϕ n ). ϕ 1... ϕ n = Df (ϕ 1... ϕ n ) ( ϕ 1... ϕ n ). Vít Punčochář (AS CR) Intensionalisation / 29
36 Weak negation Two dual operators: and ϕ 1... ϕ n = Df (ϕ 1... ϕ n ) ( ϕ 1... ϕ n ). ϕ 1... ϕ n = Df (ϕ 1... ϕ n ) ( ϕ 1... ϕ n ). Vít Punčochář (AS CR) Intensionalisation / 29
37 Weak negation Semantics of C ϕ 1... ϕ n. Every disjunct is true in at least one possible world and in every possible world at least one disjunct is true. Vít Punčochář (AS CR) Intensionalisation / 29
38 Weak negation Semantics of C ϕ 1... ϕ n. Every disjunct is true in at least one possible world and in every possible world at least one disjunct is true. Vít Punčochář (AS CR) Intensionalisation / 29
39 Weak negation Fact (i) ϕ 1... ϕ n (ϕ 1... ϕ n ), (ii) ϕ 1... ϕ n (ϕ 1... ϕ n ), (iii) ϕ 1... ϕ n (ϕ 1... ϕ n ), (iv) ϕ 1... ϕ n (ϕ 1... ϕ n ). Vít Punčochář (AS CR) Intensionalisation / 29
40 Weak negation Fact (i) ϕ 1... ϕ n (ϕ 1... ϕ n ), (ii) ϕ 1... ϕ n (ϕ 1... ϕ n ), (iii) ϕ 1... ϕ n (ϕ 1... ϕ n ), (iv) ϕ 1... ϕ n (ϕ 1... ϕ n ). Vít Punčochář (AS CR) Intensionalisation / 29
41 Conditional proof A system of natural deduction p, p but p p i.e. p p. Vít Punčochář (AS CR) Intensionalisation / 29
42 Conditional proof A system of natural deduction p, p but p p i.e. p p. Vít Punčochář (AS CR) Intensionalisation / 29
43 Conditional proof A system of natural deduction p, p but p p i.e. p p. Vít Punčochář (AS CR) Intensionalisation / 29
44 Conditional proof A system of natural deduction p, p but p p i.e. p p. Vít Punčochář (AS CR) Intensionalisation / 29
45 A system of natural deduction Restricted conditional proof (ϕ : ψ)/ϕ ψ In the scope of a hypotetical assumption, not all formulas from the outer proof are available. We can use only -free formulas and formulas of the form ϕ ψ. Vít Punčochář (AS CR) Intensionalisation / 29
46 A system of natural deduction A system of natural deduction ( I) ϕ, ψ/ϕ ψ ( E) (i) ϕ ψ/ϕ, (ii) ϕ ψ/ψ ( I) (i) ϕ/ϕ ψ, (ii) ψ/ϕ ψ ( E) ϕ ψ, [ϕ : χ], [ψ : χ]/χ ( I) (ϕ : ψ)/ϕ ψ ( E) ϕ, ϕ ψ/ψ ( I) ϕ, ϕ/ (IP) [ ϕ : ]/ϕ Vít Punčochář (AS CR) Intensionalisation / 29
47 A system of natural deduction A system of natural deduction (R1) p / p (R2) / (ϕ ϕ), (R3) ϕ ψ / (ϕ ψ) (R4) ϕ 1... ϕ n / (ϕ 1... ϕ n ). Vít Punčochář (AS CR) Intensionalisation / 29
48 A system of natural deduction Theorem The system of natural deduction is sound and complete with respect to the semantics of assertibility with weak negation. Vít Punčochář (AS CR) Intensionalisation / 29
49 (p q) p A system of natural deduction 1 (p q) premise 2 p hyp. assumption 3 p hyp. assumption 4 2,3 ( I) 5 q 4 Ex falso quodlibet (derivable rule) 6 p q 3-5 ( I)!!!!!!! 7 1,6 ( I) 8 p 2-7 (IP) Vít Punčochář (AS CR) Intensionalisation / 29
22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2010 Propositional Logic Copyright 2010 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course
More informationModal logic. Benzmüller/Rojas, 2014 Artificial Intelligence 2
Modal logic Benzmüller/Rojas, 2014 Artificial Intelligence 2 What is Modal Logic? Narrowly, traditionally: modal logic studies reasoning that involves the use of the expressions necessarily and possibly.
More informationGoal-Directed Tableaux
Goal-Directed Tableaux Joke Meheus and Kristof De Clercq Centre for Logic and Philosophy of Science University of Ghent, Belgium Joke.Meheus,Kristof.DeClercq@UGent.be October 21, 2008 Abstract This paper
More informationInterpolation for guarded logics
Interpolation for guarded logics Michael Vanden Boom University of Oxford Highlights 2014 Paris, France Joint work with Michael Benedikt and Balder ten Cate 1 / 7 Some guarded logics ML GF FO constrain
More informationDecidability of the PAL Substitution Core
Decidability of the PAL Substitution Core LORI Workshop, ESSLLI 2010 Wes Holliday, Tomohiro Hoshi, and Thomas Icard Logical Dynamics Lab, CSLI Department of Philosophy, Stanford University August 20, 2010
More informationCIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, Points Possible. Total 60
Name: CIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, 2013 Question Points Possible Points Received 1 24 2 12 3 12 4 12 Total 60 Instructions: 1. This exam is a closed-book, closed-notes
More informationMATH 225: Foundations of Higher Matheamatics. Dr. Morton. Chapter 2: Logic (This is where we begin setting the stage for proofs!)
MATH 225: Foundations of Higher Matheamatics Dr. Morton Chapter 2: Logic (This is where we begin setting the stage for proofs!) New Problem from 2.5 page 3 parts 1,2,4: Suppose that we have the two open
More informationLogical Agents (AIMA - Chapter 7)
Logical Agents (AIMA - Chapter 7) CIS 391 - Intro to AI 1 Outline 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next
More information11/18/2015. Outline. Logical Agents. The Wumpus World. 1. Automating Hunt the Wumpus : A different kind of problem
Outline Logical Agents (AIMA - Chapter 7) 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next Time: Automated Propositional
More information5.4 Imperfect, Real-Time Decisions
5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the generation
More informationTwo Perspectives on Logic
LOGIC IN PLAY Two Perspectives on Logic World description: tracing the structure of reality. Structured social activity: conversation, argumentation,...!!! Compatible and Interacting Views Process Product
More informationFormal Verification. Lecture 5: Computation Tree Logic (CTL)
Formal Verification Lecture 5: Computation Tree Logic (CTL) Jacques Fleuriot 1 jdf@inf.ac.uk 1 With thanks to Bob Atkey for some of the diagrams. Recap Previously: Linear-time Temporal Logic This time:
More informationLogic and the Sizes of Sets
1/25 Logic and the Sizes of Sets Larry Moss, Indiana University EASLLI 2014 2/25 Map of Some Natural Logics FOL FO 2 + trans Church-Turing first-order logic FO 2 + R is trans RC (tr,opp) Peano-Frege Aristotle
More informationA Complete Approximation Theory for Weighted Transition Systems
A Complete Approximation Theory for Weighted Transition Systems December 1, 2015 Peter Christoffersen Mikkel Hansen Mathias R. Pedersen Radu Mardare Kim G. Larsen Department of Computer Science Aalborg
More informationKARO logic (Van Linder et al.) Epistemic logic. Dynamic Logic. Dynamic Logic KARO. Dynamic Logic. knowledge. belief. Interpretation formulas
KARO logic (Van Linder et al.) Knowledge & Belief: epistemic logic Abilities, Results & Opportunities: dynamic logic Modalities for Desires & Goals Epistemic logic Kϕ ϕ Kϕ KKϕ Kϕ K Kϕ B Bϕ BBϕ Bϕ B Bϕ
More informationLecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationRemarks on Dialogical Meaning: A Case Study Shahid Rahman 1 (Université de Lille, UMR: 8163, STL)
1 Remarks on Dialogical Meaning: A Case Study Shahid Rahman 1 (Université de Lille, UMR: 8163, STL) Abstract The dialogical framework is an approach to meaning that provides an alternative to both the
More informationFind the coordinates of the midpoint of a segment having the given endpoints.
G.(2) Coordinate and transformational geometry. The student uses the process skills to understand the connections between algebra and geometry and uses the one- and two-dimensional coordinate systems to
More informationSoundness and Completeness for Sentence Logic Derivations
Soundness and Completeness for Sentence Logic Derivations 13-1. SOUNDNESS FOR DERIVATIONS: INFORMAL INTRODUCTION Let's review what soundness comes to. Suppose I hand you a correct derivation. You want
More informationCSEP 573 Adversarial Search & Logic and Reasoning
CSEP 573 Adversarial Search & Logic and Reasoning CSE AI Faculty Recall from Last Time: Adversarial Games as Search Convention: first player is called MAX, 2nd player is called MIN MAX moves first and
More informationPropositional attitudes
Propositional attitudes Readings: Portner, Ch. 9 1. What are attitude verbs? We have already seen that verbs like think, want, hope, doubt, etc. create intensional environments. For example, (1a) and (1b)
More informationThe basic constructive logic for negation-consistency
This is a manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s10849-007-9056-z The basic constructive logic for negation-consistency Gemma Robles (gemmarobles@gmail.com)
More information5.4 Imperfect, Real-Time Decisions
116 5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the
More informationLogic and Artificial Intelligence Lecture 18
Logic and Artificial Intelligence Lecture 18 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationDynamic epistemic logic and lying
Dynamic epistemic logic and lying Hans van Ditmarsch LORIA CNRS / Univ. de Lorraine & (associate) IMSc, Chennai hans.van-ditmarsch@loria.fr http://personal.us.es/hvd/ The Ditmarsch Tale of Wonders I will
More informationPresented By: Bikash Chandra ( ) Kaustav Das ( ) 14 November 2010
Presented By: Kishaloy Ki h l Halder H ld (10305022) Bikash Chandra (10305082) Kaustav Das (10305024) 14 November 2010 Introduction Description Logical Grammar Systems of Deontic Logic Difference with
More informationNatural Language Processing for Knowledge Representation and Reasoning
Natural Language Processing for Knowledge Representation and Reasoning Michaël Thomazo April 14th, 2014 Dresden 1 / 55 A few words about me and the course Me: member of the Computational Logic Group office
More informationBisimulation and Modal Logic in Distributed Computing
Bisimulation and Modal Logic in Distributed Computing Tuomo Lempiäinen Distributed Algorithms group, Department of Computer Science, Aalto University (joint work with Lauri Hella, Matti Järvisalo, Antti
More informationIntelligent Agents. Introduction to Planning. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 23.
Intelligent Agents Introduction to Planning Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 23. April 2012 U. Schmid (CogSys) Intelligent Agents last change: 23.
More informationFrom: AAAI Technical Report FS Compilation copyright 1994, AAAI (www.aaai.org). All rights reserved.
From: AAAI Technical Report FS-94-02. Compilation copyright 1994, AAAI (www.aaai.org). All rights reserved. Information Loss Versus Information Degradation Deductively valid transitions are truth preserving
More informationOn game semantics of the affine and intuitionistic logics (Extended abstract)
On game semantics of the affine and intuitionistic logics (Extended abstract) Ilya Mezhirov 1 and Nikolay Vereshchagin 2 1 The German Research Center for Artificial Intelligence, TU Kaiserslautern, ilya.mezhirov@dfki.uni-kl.de
More informationarxiv: v1 [math.co] 16 Aug 2018
Two first-order logics of permutations arxiv:1808.05459v1 [math.co] 16 Aug 2018 Michael Albert, Mathilde Bouvel, Valentin Féray August 17, 2018 Abstract We consider two orthogonal points of view on finite
More information1 Modal logic. 2 Tableaux in modal logic
1 Modal logic Exercise 1.1: Let us have the set of worlds W = {w 0, w 1, w 2 }, an accessibility relation S = {(w 0, w 1 ), (w 0, w 2 )} and let w 1 p 2. Which of the following statements hold? a) w 0
More informationTableaux. Jiří Vyskočil 2017
Tableaux Jiří Vyskočil 2017 Tableau /tæbloʊ/ methods Tableau method is another useful deduction method for automated theorem proving in propositional, first-order, modal, temporal and many other logics.
More informationTruth in Fiction via Non-Standard Belief Revision
Truth in Fiction via Non-Standard Belief Revision MSc Thesis (Afstudeerscriptie) written by Christopher Badura (born 18th April 1993 in Hamburg, Germany) under the supervision of Prof. Dr. Francesco Berto,
More informationA Logic for Social Influence through Communication
A Logic for Social Influence through Communication Zoé Christoff Institute for Logic, Language and Computation, University of Amsterdam zoe.christoff@gmail.com Abstract. We propose a two dimensional social
More informationAutomated Reasoning. Satisfiability Checking
What the dictionaries say: Automated Reasoning reasoning: the process by which one judgement deduced from another or others which are given (Oxford Englh Dictionary) reasoning: the drawing of inferences
More informationCOMP310 Multi-Agent Systems Chapter 3 - Deductive Reasoning Agents. Dr Terry R. Payne Department of Computer Science
COMP310 Multi-Agent Systems Chapter 3 - Deductive Reasoning Agents Dr Terry R. Payne Department of Computer Science Agent Architectures Pattie Maes (1991) Leslie Kaebling (1991)... [A] particular methodology
More informationGame Description Logic and Game Playing
Game Description Logic and Game Playing Laurent Perrussel November 29 - Planning and Games workshop IRIT Université Toulouse Capitole 1 Motivation Motivation(1/2) Game: describe and justify actions in
More informationMath-Net.Ru All Russian mathematical portal
Math-Net.Ru All Russian mathematical portal Ya. I. Petrukhin, Correspondence analysis for logic of rational agent, Chelyab. Fiz.-Mat. Zh., 2017, Volume 2, Issue 3, 329 337 Use of the all-russian mathematical
More informationMulti-Agent Negotiation: Logical Foundations and Computational Complexity
Multi-Agent Negotiation: Logical Foundations and Computational Complexity P. Panzarasa University of London p.panzarasa@qmul.ac.uk K. M. Carley Carnegie Mellon University Kathleen.Carley@cmu.edu Abstract
More informationPlanning and Optimization
Planning and Optimization B2. Regression: Introduction & STRIPS Case Malte Helmert and Gabriele Röger Universität Basel October 11, 2017 Content of this Course Tasks Progression/ Regression Planning Complexity
More informationThe Multi-Mind Effect
The Multi-Mind Effect Selmer Bringsjord 1 Konstantine Arkoudas 2, Deepa Mukherjee 3, Andrew Shilliday 4, Joshua Taylor 5, Micah Clark 6, Elizabeth Bringsjord 7 Department of Cognitive Science 1-6 Department
More informationAwareness in Games, Awareness in Logic
Awareness in Games, Awareness in Logic Joseph Halpern Leandro Rêgo Cornell University Awareness in Games, Awareness in Logic p 1/37 Game Theory Standard game theory models assume that the structure of
More informationPattern Avoidance in Poset Permutations
Pattern Avoidance in Poset Permutations Sam Hopkins and Morgan Weiler Massachusetts Institute of Technology and University of California, Berkeley Permutation Patterns, Paris; July 5th, 2013 1 Definitions
More informationLogic and Artificial Intelligence Lecture 16
Logic and Artificial Intelligence Lecture 16 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationStrongly nonlinear elliptic problem without growth condition
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 41 47. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationKnights, Knaves, and Logical Reasoning
Knights, Knaves, and Logical Reasoning Mechanising the Laws of Thought Fabio Papacchini 1 8 March 2016 1 Special thanks to Francis Southern F. Papacchini Knights, Knaves, and Logical Reasoning 8 March
More informationLighting Technology. Zones 2; 21&22. Light Fittings for Fluorescent Lamp. BnY81 Series Explosion-proof Light Fittings for Fluorescent Lamp
Lighting Technology Light Fittings for Fluorescent BnY81 Series Explosion-proof Light Fittings for Fluorescent Catalogue number logic BnY81- x J: Emergency lighting (optional) X: ceiling type G: pendant
More information1. MacBride s description of reductionist theories of modality
DANIEL VON WACHTER The Ontological Turn Misunderstood: How to Misunderstand David Armstrong s Theory of Possibility T here has been an ontological turn, states Fraser MacBride at the beginning of his article
More informationInternational Journal of Mathematical Archive-5(6), 2014, Available online through ISSN
International Journal of Mathematical Archive-5(6), 2014, 119-124 Available online through www.ijma.info ISSN 2229 5046 CLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-I G. C. Rao Department
More informationWhere to Tomorrow for Futures Studies?
Where to Tomorrow for Futures Studies? Dr. Jennifer M. Gidley President, World Futures Studies Federation Prepared for the 21 st WFSF World Conference Bucharest, Romania, June 26 th 28 th 2013 Three Challenges
More informationGame Theory and the Environment. Game Theory and the Environment
and the Environment Static Games of Complete Information Game theory attempts to mathematically capture behavior in strategic situations Normal Form Game: Each Player simultaneously choose a strategy,
More informationDigital Logic Circuits
Digital Logic Circuits Lecture 5 Section 2.4 Robb T. Koether Hampden-Sydney College Wed, Jan 23, 2013 Robb T. Koether (Hampden-Sydney College) Digital Logic Circuits Wed, Jan 23, 2013 1 / 25 1 Logic Gates
More informationCan American Checkers be Solved by Means of Symbolic Model Checking?
Electronic Notes in Theoretical Computer Science 47 (2001) URL: http://www.elsevier.nl/locate/entcs/volume47.html pp. 1 19 Can American Checkers be Solved by Means of Symbolic Model Checking? Michael Baldamus
More informationReasoning About Strategies
Reasoning About Strategies Johan van Benthem 1 University of Amsterdam and Stanford University Abstract. Samson Abramsky has placed landmarks in the world of logic and games that I have long admired. In
More informationGame Theory. Wolfgang Frimmel. Dominance
Game Theory Wolfgang Frimmel Dominance 1 / 13 Example: Prisoners dilemma Consider the following game in normal-form: There are two players who both have the options cooperate (C) and defect (D) Both players
More informationPARALLEL NASH EQUILIBRIA IN BIMATRIX GAMES ISAAC ELBAZ CSE633 FALL 2012 INSTRUCTOR: DR. RUSS MILLER
PARALLEL NASH EQUILIBRIA IN BIMATRIX GAMES ISAAC ELBAZ CSE633 FALL 2012 INSTRUCTOR: DR. RUSS MILLER WHAT IS GAME THEORY? Branch of mathematics that deals with the analysis of situations involving parties
More informationEdinburgh Research Explorer
Edinburgh Research Explorer Artificial Intellignce: Art or Science? Citation for published version: Bundy, A 1988, 'Artificial Intellignce: Art or Science?' RSA Journal, vol CXXXVI, no. 5384. Link: Link
More informationDistributed Synthesis of Control Protocols for Smart Camera Networks
Distributed Synthesis of Control Protocols for Smart Camera Networks Necmiye Ozay, Ufuk Topcu, Tichakorn Wongpiromsarn and Richard M Murray last updated on March 10, 2011 Abstract We considered the problem
More informationMinimum Antenna Elevation for Specific Fraction of SC6 Limits Version 1.0 Standard May 7, 2009
Specific Fraction of SC6 Limits Version 1.0 Standard May 7, 2009 RF engineering team Ian Hung DRAFT TABLE OF CONTENTS 1 INTRODUCTION... 3 1.1 Purpose... 3 1.2 Scope... 3 1.3 Intended Audience... 3 2 ANALYSIS...
More informationChapter 6 Rules of deductive inference Answers to select Getting familiar with exercises. Getting familiar with basic rules of inference.
Chapter 6 Rules of deductive inference Answers to select Getting familiar with exercises. Getting familiar with basic rules of inference. 1. 1. A 2. (A B) /.: B 3. B 1, 2 modus ponens 3. 1. (P & Q) 2.
More informationDigital Systems Principles and Applications TWELFTH EDITION. 3-3 OR Operation With OR Gates. 3-4 AND Operations with AND gates
Digital Systems Principles and Applications TWELFTH EDITION CHAPTER 3 Describing Logic Circuits Part -2 J. Bernardini 3-3 OR Operation With OR Gates An OR gate is a circuit with two or more inputs, whose
More informationA Model-Theoretic Approach to the Verification of Situated Reasoning Systems
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems Anand 5. Rao and Michael P. Georgeff Australian Artificial Intelligence Institute 1 Grattan Street, Carlton Victoria 3053, Australia
More informationTrends in Logic. Volume 45
Trends in Logic Volume 45 TRENDS IN LOGIC Studia Logica Library VOLUME 45 Editor-in-Chief Heinrich Wansing, Ruhr-University Bochum, Bochum, Germany Editorial Assistant Andrea Kruse, Ruhr-University Bochum,
More information4.1 Patterns. Example 1 Find the patterns:
4.1 Patterns One definition of mathematics is the study of patterns. In this section, you will practice recognizing mathematical patterns in various problems. For each example, you will work with a partner
More informationTwo artists questioning language through its textual and/or graphic representation on printed matters.
For its 4 th consecutive participation to Art-O-Rama, the Paris based publishing house and gallery will gather for its booth a selection of artworks by Robert Barry and The Guerrilla Girls. Two artists
More informationCH 1. Large coil. Small coil. red. Function generator GND CH 2. black GND
Experiment 6 Electromagnetic Induction "Concepts without factual content are empty; sense data without concepts are blind... The understanding cannot see. The senses cannot think. By their union only can
More informationFaithful Representations of Graphs by Islands in the Extended Grid
Faithful Representations of Graphs by Islands in the Extended Grid Michael D. Coury Pavol Hell Jan Kratochvíl Tomáš Vyskočil Department of Applied Mathematics and Institute for Theoretical Computer Science,
More informationOn the Power of Interactive Computing
On the Power of Interactive Computing Jan van Leeuwen 1 and Jiří Wiedermann 2 1 Department of Computer Science, Utrecht University, Padualaan 14, 3584 CH Utrecht, the Netherlands. 2 Institute of Computer
More informationEdgewood College General Education Curriculum Goals
(Approved by Faculty Association February 5, 008; Amended by Faculty Association on April 7, Sept. 1, Oct. 6, 009) COR In the Dominican tradition, relationship is at the heart of study, reflection, and
More informationDistributed System Security via Logical Frameworks
Distributed System Security via Logical Frameworks Frank Pfenning Carnegie Mellon University Invited Talk Workshop on Issues in the Theory of Security (WITS 05) Long Beach, California, January 10-11, 2005
More informationVENTILATION CONTROL OF THE BLANKA TUNNEL: A MATHEMATICAL PROGRAMMING APPROACH
- 19 - VENTILATION CONTROL OF THE BLANKA TUNNEL: A MATHEMATICAL PROGRAMMING APPROACH Pořízek J. 1, Zápařka J. 1, Ferkl L. 1 Satra, Czech Republic Feramat Cybernetics, Czech Republic ABSTRACT The Blanka
More informationarxiv:math/ v1 [math.cv] 12 Dec 2005
arxiv:math/0512241v1 [math.cv] 12 Dec 2005 The pluri-fine topology is locally connected Said El Marzguioui and Jan Wiegerinck November 1, 2018 Abstract We prove that the pluri-fine topology on any open
More informationLegal limitations of algorithmic analytical tools against disinformation
Legal limitations of algorithmic analytical tools against disinformation Frantisek Kasl Institute of Law and Technology Faculty of Law, Masaryk University, Czech Republic Contents Introduction to Project
More informationAdvancing the business of intellectual property globally.
Advancing the business of intellectual property globally www.lesi.org Advancing the business of intellectual property globally 2 WHAT IS LES? A premier global business association for licensing whose members,
More informationSCHEDULING Giovanni De Micheli Stanford University
SCHEDULING Giovanni De Micheli Stanford University Outline The scheduling problem. Scheduling without constraints. Scheduling under timing constraints. Relative scheduling. Scheduling under resource constraints.
More informationCommon Core Structure Final Recommendation to the Chancellor City University of New York Pathways Task Force December 1, 2011
Common Core Structure Final Recommendation to the Chancellor City University of New York Pathways Task Force December 1, 2011 Preamble General education at the City University of New York (CUNY) should
More informationWORLD S FIRST 3D ANTENNA ISOLOG 3D MOBILE
WORLD S FIRST 3D ANTENNA ISOLOG 3D MOBILE 9 KHz TO 6 GHz All-in-one antenna No more swapping NEW! IsoLOG 3D Mobile 9060 PRO Highlights: Compatible with any Spectrum Analyzer High gain and low noise Built-in
More informationCOS 402 Machine Learning and Artificial Intelligence Fall Lecture 1: Intro
COS 402 Machine Learning and Artificial Intelligence Fall 2016 Lecture 1: Intro Sanjeev Arora Elad Hazan Today s Agenda Defining intelligence and AI state-of-the-art, goals Course outline AI by introspection
More informationName Period GEOMETRY CHAPTER 3 Perpendicular and Parallel Lines Section 3.1 Lines and Angles GOAL 1: Relationship between lines
Name Period GEOMETRY CHAPTER 3 Perpendicular and Parallel Lines Section 3.1 Lines and Angles GOAL 1: Relationship between lines Two lines are if they are coplanar and do not intersect. Skew lines. Two
More informationFormalising Event Reconstruction in Digital Investigations
Formalising Event Reconstruction in Digital Investigations Pavel Gladyshev The thesis is submitted to University College Dublin for the degree of PhD in the Faculty of Science August 2004 Department of
More informationIntegrating Gandalf and HOL
Integrating Gandalf and HOL 1 Integrating Gandalf and HOL Joe Hurd University of Cambridge TPHOLs 17 September 1999 1. Introduction 2. 3. Results 4. Conclusion Integrating Gandalf and HOL 2 Introduction
More informationRESEARCH OVERVIEW Real Options in Enterprise Architecture
RESEARCH OVERVIEW Real Options in Enterprise Architecture Tsoline Mikaelian, Doctoral Research Assistant tsoline@mit.edu October 21, 2008 Committee: D. Hastings (Chair), D. Nightingale, and D. Rhodes Researcher
More informationTheorem Proving and Model Checking
Theorem Proving and Model Checking (or: how to have your cake and eat it too) Joe Hurd joe.hurd@comlab.ox.ac.uk Cakes Talk Computing Laboratory Oxford University Theorem Proving and Model Checking Joe
More informationDialectical Theory for Multi-Agent Assumption-based Planning
Dialectical Theory for Multi-Agent Assumption-based Planning Damien Pellier, Humbert Fiorino To cite this version: Damien Pellier, Humbert Fiorino. Dialectical Theory for Multi-Agent Assumption-based Planning.
More informationAcademic Vocabulary Test 1:
Academic Vocabulary Test 1: How Well Do You Know the 1st Half of the AWL? Take this academic vocabulary test to see how well you have learned the vocabulary from the Academic Word List that has been practiced
More informationStrict Finitism Refuted? Ofra Magidor ( Preprint of paper forthcoming Proceedings of the Aristotelian Society 2007)
Strict Finitism Refuted? Ofra Magidor ( Preprint of paper forthcoming Proceedings of the Aristotelian Society 2007) Abstract: In his paper Wang s paradox, Michael Dummett provides an argument for why strict
More informationMore Semantics. Image removed for copyright reasons.
More Semantics Image removed for copyright reasons. Review of Quantifier Meaning No American smokes. Review of Quantifier Meaning No American smokes. set of Americans set of people who smoke Review of
More informationComputational Logic and Agents Miniscuola WOA 2009
Computational Logic and Agents Miniscuola WOA 2009 Viviana Mascardi University of Genoa Department of Computer and Information Science July, 8th, 2009 V. Mascardi, University of Genoa, DISI Computational
More information2 Logic Gates THE INVERTER. A logic gate is an electronic circuit which makes logic decisions. It has one output and one or more inputs.
2 Logic Gates A logic gate is an electronic circuit which makes logic decisions. It has one output and one or more inputs. THE INVERTER The inverter (NOT circuit) performs the operation called inversion
More informationGame Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae XXI (2010) 1001 1023 1001 IOS Press Game Solution, pistemic Dynamics and Fixed-Point Logics Johan van Benthem ILLC, University of msterdam johan@science.uva.nl mélie Gheerbrant
More informationSECTEUR Ascertaining user needs
Ascertaining user needs Marta Bruno Soares (Uni Leeds), Maria Noguer (IEA), Nigel Arnell (Uni Reading), Jorge Paz (Tecnalia) and Amanda Hall (Telespazio VEGA UK) What is? «The Sector Engagement for the
More informationCarmen s Core Concepts (Math 135)
Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 7 1 Congruence Definition 2 Congruence is an Equivalence Relation (CER) 3 Properties of Congruence (PC) 4 Example 5 Congruences
More informationImplications as rules
DIPLEAP Wien 27.11.2010 p. 1 Implications as rules Thomas Piecha Peter Schroeder-Heister Wilhelm-Schickard-Institut für Informatik Universität Tübingen DIPLEAP Wien 27.11.2010 p. 2 Philosophical / foundational
More informationComputer Facilities and Network Management BUS3150 Assignment 1
Computer Facilities and Network Management BUS3150 Assignment 1 Due date: Friday 1st September 2006 (Week 7) This Assignment has 6 questions, and you should complete answers for all 6. The Assignment contributes
More informationMark Scheme (Results) Summer Pearson Edexcel IAL In English Language (WEN01) Unit 1: Language: Context and Identity
Mark Scheme (Results) Summer 2017 Pearson Edexcel IAL In English Language (WEN01) Unit 1: Language: Context and Identity Edexcel and BTEC Qualifications Edexcel and BTEC qualifications are awarded by Pearson,
More informationWHETHER OR NOT ANYTHING BUT NOT
WHETHER OR NOT ANYTHING BUT NOT WHETHER ANYTHING OR NOT * ELENA GUERZONI AND YAEL SHARVIT University of Southern California and University of California, Los Angeles 1 Introduction Negative polarity items
More informationLotfi A. ZADEH FROM SEARCH ENGINES TO QUESTION-ANSWERING SYSTEMS THE PROBLEMS OF WORLD KNOWLEDGE, RELEVANCE, DEDUCTION AND PRECISIATION
Scientific and Technical Bulletin Control and Computer Science, Vol. 2, No. 2, 2005, ISSN 1584-9198 Lotfi A. ZADEH Professor in the Graduate School Director, Berkeley Initiative in Soft Computing (BISC)
More informationFormalising Human Computer Interaction in DSS Domain
Formalising Human Computer Interaction in DSS Domain Ọdẹtúnjí Ajadi, Ọdẹjọbí Cork Constraint Computation Center (4C) Computer Science Department University College Cork Cork, Ireland SUPPORTED BY: 1. Science
More information