CIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, Points Possible. Total 60
|
|
- Malcolm Conley
- 5 years ago
- Views:
Transcription
1 Name: CIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, 2013 Question Points Possible Points Received Total 60 Instructions: 1. This exam is a closed-book, closed-notes exam. 2. Legibility counts! Make sure I can read (and find!) your answers. If you need more room for an answer than that given, use the back side of the pages. Be sure to leave a note indicating where the answer is. 3. This test should have 8 pages (including this cover sheet). Let me know now if your copy does not have the correct number of pages.
2 1. (24 points) Consider the Kripke structure M = W, I, J, where: W = {t, u, x, y} I(p) = {t, x} I(q) = {u, x, y} I(r) = {t, u} J(Mo) = {(t, u), (u, u), (u, t), (x, x), (y, y)} J(Pat) = {(t, t), (x, y), (y, t), (y, u)} J(Sam) = {(t, t), (t, y), (u, u), (x, u), (y, x), (y, t)} (a) (3 points) What is the value of J(Sam Pat)? (b) (3 points) What is the value of J(Mo Pat)? (c) (18 points) For each formula that follows, give the set of worlds in W in which it is true. (You do not need to show your work.) i. (p q) r ii. p r iii. Mo says ( q) iv. Pat controls p
3 v. Pat Mo vi. Mo & Sam Sam Pat vii. Mo Pat says r viii. Pat says Pat Mo ix. Sam says (Pat says Pat Mo)
4 2. (12 points) Give a formal proof of the following derivable rule: P says (R controls ϕ) P Q says ϕ Q R P says ϕ
5 3. (12 points) Prove that the following proposed inference rule is sound: P controls ϕ 1 ϕ 2 P controls (ϕ 1 ϕ 2 ) That is, show that for all Kripke structures M, principals P, and formulas ϕ 1 ϕ 2 the following statement is true: If M = P controls ϕ 1 and M = ϕ 2, then M = P controls (ϕ 1 ϕ 2 ) as well.
6 4. (12 points) Show that the following proposed inference rule is not sound, and therefore should not be added to the logic: P controls (Q P ) That is, give a particular Kripke structure M and principals P, Q such that: M = P controls (Q P ). For maximal credit, be sure to provide calculations and explanations to support your answer.
7 For Reference A Language for Access Control 29 FIGURE 2.1 Semantics of core logic, for each M = W,I,J E M [[ p]] = I(p) E M [[ ϕ]] = W E M [[ϕ]] E M [[ϕ 1 ϕ 2 ]] = E M [[ϕ 1 ]] E M [[ϕ 2 ]] E M [[ϕ 1 ϕ 2 ]] = E M [[ϕ 1 ]] E M [[ϕ 2 ]] E M [[ϕ 1 ϕ 2 ]] = (W E M [[ϕ 1 ]]) E M [[ϕ 2 ]] E M [[ϕ 1 ϕ 2 ]] = E M [[ϕ 1 ϕ 2 ]] E M [[ϕ 2 ϕ 1 ]] W, if J(Q) J(P) E M [[P Q]] = /0, otherwise E M [[P says ϕ]] = {w J(P)(w) E M [[ϕ]]} E M [[P controls ϕ]] = E M [[(P says ϕ) ϕ]] Reasoning about Access Control 49 Propositional Variables: The truth of a propositional variable p is determined by FIGURE the 3.5 interpretation Some useful function derived I: rules a variable p is considered true in world w precisely when w I(p). Conjunction Thus, for all propositional variables p, ϕ 1 ϕ 2 ϕ 1 ϕ 2 E M [[ p]] = I(p). ϕ 1 ϕ 2 ϕ 1 ϕ 2 Simplification (1) Simplification (2) For example, if M 0 is the ϕ 1 Kripke structure W 0,I 0,J 0 from ϕ 2 Example 2.7, E M0 [[g]] = I 0 (g)={sw}. ϕ 1 Negation: ADisjunction formula with (1) form ϕ is truedisjunction in precisely(2) those worlds in which ϕ is not true. Because (by definition) ϕ 1 ϕ 2 E M [[ϕ]] is the set ofϕworlds 1 ϕ 2 in which ϕ is true, we define ϕ 1 ϕe 2 M [[ ϕ]] 2 = W E M [[ϕ]]. ϕ Modus Tollens Double negation ϕ Thus, returning to Example 2.7, 1 ϕ DisjunctiveE M0 ϕ 1 [[ g]] ϕ 2 = W 0 ϕ E 1 M0 [[g]] Hypothetical = {sw,sc,ns} ϕ 1 {sw} ϕ 2 = {sc,ns}. ϕ 2 ϕ 3 Syllogism ϕ 2 Syllogism ϕ 1 ϕ 3 Notice that E M0 [[ g]] is the set of worlds in which the children are not allowed to go outside. P controls ϕ P says ϕ Controls Conjunction: A conjunctive formula ϕ 1 ϕ 2 ϕis considered true in those worlds for which both ϕ 1 and ϕ 2 are true: that is, ϕ 1 ϕ 2 is true in those worlds w for which w E M [[ϕ 1 ]] and w E M [[ϕ 2 ]]. Thus, we can define E M [[ϕ 1 ϕ 2 ]] in Derived P Q P says ϕ Derived P Q Q controls ϕ terms of set intersection: Speaks For Q says ϕ Controls P controls ϕ E M [[ϕ 1 ϕ 2 ]] = E M [[ϕ 1 ]] E M [[ϕ 2 ]]. Says Simplification (1) P says (ϕ 1 ϕ 2 ) P says ϕ 1 Says Simplification (2) ϕ 2 P says (ϕ 1 ϕ 2 ) P says ϕ 2 FIGURE 3.6 A formal proof of Conjunction 1. ϕ 1 Assumption
8 40Access Control, Security, and Trust: A Logical ApproachDRAFT: DO NOTDISTRIBUTE FIGURE 3.1 Logical rules for the access-control logic Taut ϕ if ϕ is an instance of a prop-logic tautology Modus Ponens ϕ ϕ ϕ ϕ Says ϕ P says ϕ MP Says (P says (ϕ ϕ )) (P says ϕ P says ϕ ) Speaks For P Q (P says ϕ Q says ϕ) & Says (P & Q says ϕ) ((P says ϕ) (Q says ϕ)) Quoting (P Q says ϕ) (P says Q says ϕ) Idempotency of P P Transitivity of P Q Q R P R Monotonicity of P P Q Q P Q P Q Equivalence ϕ 1 ϕ 2 ψ[ϕ 1 /q] ψ[ϕ 2 /q] P controls ϕ def = (P says ϕ) ϕ Reasoning about Access Control 41 FIGURE 3.2 Common propositional-logic tautologies p p p ( p) p (q p) p (q p) (p q) p ( p p) p (q (p q)) (p q) (p q) (p q) (q p) (p q) (p q) ((p q) p) q ((p q) (q r)) (p r) (i.e., derives) various formulas on a piece of paper. Each rule states that, if all the premises of an inference rule have already been written down (derived), then the conclusion can also be written down (derived). Axioms can always be written down. We return to this notion of derivations in Section 3.2, where we introduce formal proofs. For now, however, we discuss each of the logical rules in turn.
Chapter 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 information22c181: 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 informationCS 202, section 2 Final Exam 13 December Pledge: Signature:
CS 22, section 2 Final Exam 3 December 24 Name: KEY E-mail ID: @virginia.edu Pledge: Signature: There are 8 minutes (3 hours) for this exam and 8 points on the test; don t spend too long on any one question!
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 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 informationIntensionalisation of Logical Operators
Intensionalisation of Logical Operators Vít Punčochář Institute of Philosophy Academy of Sciences Czech Republic Vít Punčochář (AS CR) Intensionalisation 2013 1 / 29 A nonstandard representation of classical
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 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 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 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 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 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 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 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 information18 Completeness and Compactness of First-Order Tableaux
CS 486: Applied Logic Lecture 18, March 27, 2003 18 Completeness and Compactness of First-Order Tableaux 18.1 Completeness Proving the completeness of a first-order calculus gives us Gödel s famous completeness
More informationPropositional Calculus II: More Rules of Inference, Application to Additional Motivating Problems
Propositional Calculus II: More Rules of Inference, Application to Additional Motivating Problems Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer
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 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 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 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 informationMidterm Examination. CSCI 561: Artificial Intelligence
Midterm Examination CSCI 561: Artificial Intelligence October 10, 2002 Instructions: 1. Date: 10/10/2002 from 11:00am 12:20 pm 2. Maximum credits/points for this midterm: 100 points (corresponding to 35%
More informationNovelty, Information and Surprise
Günther Palm Novelty, Information and Surprise 4i Springer Contents Introduction References xiii xxii Part I Surprise and Information of Descriptions 1 Prerequisites from Logic and Probability Theory 3
More informationVALLIAMMAI ENGNIEERING COLLEGE SRM Nagar, Kattankulathur 603203. DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING Sub Code : CS6659 Sub Name : Artificial Intelligence Branch / Year : CSE VI Sem / III Year
More information4. Give a verbal description of the elements in region " (R") in the diagram. a) not in A c) in Aand in B
MGF 1106 Version C Fall 2000 1. Which Venn diagram below shows A œ A? A A a) c) A b) d) A 2. Suppose A œ {ßß$}, œ {ß} and C œ {}. Which of the following is NOT correct? a) A C œ {1,2,3} c) A Á {3} b) C
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 informationTrust and Commitments as Unifying Bases for Social Computing
Trust and Commitments as Unifying Bases for Social Computing Munindar P. Singh North Carolina State University August 2013 singh@ncsu.edu (NCSU) Trust for Social Computing August 2013 1 / 34 Abstractions
More informationBest of luck on the exam!
CS103 Handout 18 Fall 2014 October 20, 2014 Practice Midterm Exam This practice exam is closed-book and closed-computer but open-note. You may have a doublesided, 8.5 11 sheet of notes with you when you
More informationRobin Milner,
Robin Milner, 1934 2010 His work in theorem proving and verification John Harrison Intel Corporation January 28th, 2011 (09:15 09:27) Invited speaker at TPHOLs 2000? From: Robin Milner
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 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 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 informationLecture 1, CS 2050, Intro Discrete Math for Computer Science
Lecture 1, 08--11 CS 050, Intro Discrete Math for Computer Science S n = 1++ 3+... +n =? Note: Recall that for the above sum we can also use the notation S n = n i. We will use a direct argument, in this
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 informationCLASS NOTES. A mathematical proof is an argument which convinces other people that something is true.
Propositional Statements A mathematical proof is an argument which convinces other people that something is true. The implication If p then q written as p q means that if p is true, then q must also be
More informationAxiom A-1: To every angle there corresponds a unique, real number, 0 < < 180.
Axiom A-1: To every angle there corresponds a unique, real number, 0 < < 180. We denote the measure of ABC by m ABC. (Temporary Definition): A point D lies in the interior of ABC iff there exists a segment
More informationIdeas beyond Number. Activity worksheets
Ideas beyond Number Activity sheet 1 Task 1 Some students started to solve this equation in different ways: For each statement tick True or False: = = = = Task 2: Counter-examples The exception disproves
More informationConsider the following compound statement: If Robert studies for the exam and gets a good night sleep, then Robert will do good on the exam.
MTH107 Intro. to Finite Math: Fall 2013 Final Review worksheet. December 4, 2013 NAME: Chapters 1 and 2 Review Consider the syllogism: All students love math. Larry is a student. Larry loves math. 1. List
More informationDiscrete Math Class 4 ( )
Discrete Math 37110 - Class 4 (2016-10-06) 41 Division vs congruences Instructor: László Babai Notes taken by Jacob Burroughs Revised by instructor DO 41 If m ab and gcd(a, m) = 1, then m b DO 42 If gcd(a,
More informationVISUAL ALGEBRA FOR COLLEGE STUDENTS. Laurie J. Burton Western Oregon University
VISUAL ALGEBRA FOR COLLEGE STUDENTS Laurie J. Burton Western Oregon University Visual Algebra for College Students Copyright 010 All rights reserved Laurie J. Burton Western Oregon University Many of the
More informationCongruence. Solving linear congruences. A linear congruence is an expression in the form. ax b (modm)
Congruence Solving linear congruences A linear congruence is an expression in the form ax b (modm) a, b integers, m a positive integer, x an integer variable. x is a solution if it makes the congruence
More informationIdeas beyond Number. Teacher s guide to Activity worksheets
Ideas beyond Number Teacher s guide to Activity worksheets Learning objectives To explore reasoning, logic and proof through practical, experimental, structured and formalised methods of communication
More informationPractice Midterm Exam 5
CS103 Spring 2018 Practice Midterm Exam 5 Dress Rehearsal exam This exam is closed-book and closed-computer. You may have a double-sided, 8.5 11 sheet of notes with you when you take this exam. You may
More informationSpatial Vagueness and Second-Order Vagueness
Spatial Vagueness and Second-Order Vagueness Lars Kulik National Center for Geographic Information and Analysis Department of Spatial Information Science and Engineering 348 Boardman Hall, University of
More informationIntegrity Constraints in Trust Management
Integrity Constraints in Trust Management Sandro Etalle University of Twente now (2007) visiting the University of Trento William H. Winsborough University of Texas S. Antonio Plan of the talk Trust Management
More informationELECTRONIC CIRCUITS. Time: Three Hours Maximum Marks: 100
EC 40 MODEL TEST PAPER - 1 ELECTRONIC CIRCUITS Time: Three Hours Maximum Marks: 100 Answer five questions, taking ANY TWO from Group A, any two from Group B and all from Group C. All parts of a question
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 informationStudent Outcomes. Classwork. Exercise 1 (3 minutes) Discussion (3 minutes)
Student Outcomes Students learn that when lines are translated they are either parallel to the given line, or the lines coincide. Students learn that translations map parallel lines to parallel lines.
More informationStudy Guide for Chapter 11
Study Guide for Chapter 11 Objectives: 1. Know how to analyze a balanced, three-phase Y-Y connected circuit. 2. Know how to analyze a balanced, three-phase Y-Δ connected circuit. 3. Be able to calculate
More informationBowling Green Perspective (BGP) Assessment Data Humanities & The Arts (HA)
Bowling Green Perspective (BGP) Assessment Data Humanities & The Arts (HA) BGP Learning Outcome Apply humanistic modes of inquiry and interpretation, in the illustration of the discipline s connection
More informationA Linear-Logic Semantics for Constraint Handling Rules With Disjunction
A inear-ogic Semantics for Constraint Handling Rules With Disjunction Hariolf Betz Department of Computer Science, University of Ulm hariolf.betz@uni-ulm.de Abstract. We motivate and develop a linear logic
More informationExam 2 Sample Questions. Material for Exam 2 comes from Chapter G.1, G.2, G.3, and 14.1, 14.2
Math 1620 Exam 2 Sample Questions Material for Exam 2 comes from Chapter G.1, G.2, G.3, 3.1-3.7 and 14.1, 14.2 The exam will have 4 sections: Matching, Multiple Choice, Short Answer and one Logic Problem.
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 informationA new approach to termination analysis of CHR
A new approach to termination analysis of CHR Dean Voets Paolo Pilozzi Danny De Schreye Report CW 506, January 2008 n Katholieke Universiteit Leuven Department of Computer Science Celestijnenlaan 200A
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 informationALGEBRA: Chapter I: QUESTION BANK
1 ALGEBRA: Chapter I: QUESTION BANK Elements of Number Theory Congruence One mark questions: 1 Define divisibility 2 If a b then prove that a kb k Z 3 If a b b c then PT a/c 4 If a b are two non zero integers
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 informationDynamic Programming. Objective
Dynamic Programming Richard de Neufville Professor of Engineering Systems and of Civil and Environmental Engineering MIT Massachusetts Institute of Technology Dynamic Programming Slide 1 of 43 Objective
More informationDefault Reasoning in CHR
Default Reasoning in CHR Marcos Aurélio 1,2, François Fages 2, Jacques Robin 1 1 Universidade Federal de Pernambuco, Recife, Brazil 2 INRIA, Rocquencourt, France Abstract. CHR has emerged as a versatile
More informationTeaching Undergraduates Certified Security by Design
Teaching Undergraduates Certified Security by Design Shiu-Kai Chin, Professor, Electrical Engineering & Computer Science, Syracuse University Abstract Design for assurance of security, from the hardware
More informationProject Maths Geometry Notes
The areas that you need to study are: Project Maths Geometry Notes (i) Geometry Terms: (ii) Theorems: (iii) Constructions: (iv) Enlargements: Axiom, theorem, proof, corollary, converse, implies The exam
More informationThis exam is closed book and closed notes. (You will have access to a copy of the Table of Common Distributions given in the back of the text.
TEST #1 STA 5326 September 25, 2008 Name: Please read the following directions. DO NOT TURN THE PAGE UNTIL INSTRUCTED TO DO SO Directions This exam is closed book and closed notes. (You will have access
More informationGeneral Game Playing (GGP) Winter term 2013/ Summary
General Game Playing (GGP) Winter term 2013/2014 10. Summary Sebastian Wandelt WBI, Humboldt-Universität zu Berlin General Game Playing? General Game Players are systems able to understand formal descriptions
More informationWinter 14 EXAMINATION Subject Code: Model Answer P a g e 1/28
Subject Code: 17333 Model Answer P a g e 1/28 Important Instructions to examiners: 1) The answers should be examined by key words and not as word-to-word as given in the model answer scheme. 2) The model
More informationCOEN7501: Formal Hardware Verification
COEN7501: Formal Hardware Verification Prof. Sofiène Tahar Hardware Verification Group Electrical and Computer Engineering Concordia University Montréal, Quebec CANADA Accident at Carbide plant, India
More informationMath 10/11 Honors Section 3.6 Basic Trigonometric Identities
Math 0/ Honors Section 3.6 Basic Trigonometric Identities 0-0 - SECTION 3.6 BASIC TRIGONOMETRIC IDENTITIES Copright all rights reserved to Homework Depot: www.bcmath.ca I) WHAT IS A TRIGONOMETRIC IDENTITY?
More informationApplication of Definitive Scripts to Computer Aided Conceptual Design
University of Warwick Department of Engineering Application of Definitive Scripts to Computer Aided Conceptual Design Alan John Cartwright MSc CEng MIMechE A thesis submitted in compliance with the regulations
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 informationTOPOLOGY, LIMITS OF COMPLEX NUMBERS. Contents 1. Topology and limits of complex numbers 1
TOPOLOGY, LIMITS OF COMPLEX NUMBERS Contents 1. Topology and limits of complex numbers 1 1. Topology and limits of complex numbers Since we will be doing calculus on complex numbers, not only do we need
More informationStat 155: solutions to midterm exam
Stat 155: solutions to midterm exam Michael Lugo October 21, 2010 1. We have a board consisting of infinitely many squares labeled 0, 1, 2, 3,... from left to right. Finitely many counters are placed on
More informationEXPLAINING THE SHAPE OF RSK
EXPLAINING THE SHAPE OF RSK SIMON RUBINSTEIN-SALZEDO 1. Introduction There is an algorithm, due to Robinson, Schensted, and Knuth (henceforth RSK), that gives a bijection between permutations σ S n and
More informationOutline. Sets of Gluing Data. Constructing Manifolds. Lecture 3 - February 3, PM
Constructing Manifolds Lecture 3 - February 3, 2009-1-2 PM Outline Sets of gluing data The cocycle condition Parametric pseudo-manifolds (PPM s) Conclusions 2 Let n and k be integers such that n 1 and
More informationA paradox for supertask decision makers
A paradox for supertask decision makers Andrew Bacon January 25, 2010 Abstract I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond
More informationELECTRIC CIRCUIT PROBLEMS 12 AUGUST 2014
ELECTRIC CIRCUIT PROBLEMS 12 AUGUST 2014 In this lesson we: Lesson Description Discuss the application of Ohm s Law Explain the series and parallel connection of resistors Discuss the effect of internal
More informationContents. Introduction...
Contents Introduction................................... xiii Chapter 1. The First Information Theories.............. 1 1.1. Introduction............................... 1 1.2. The mathematical theory of
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 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 informationDigital. Design. R. Ananda Natarajan B C D
Digital E A B C D 0 1 2 3 4 5 6 Design 7 8 9 10 11 12 13 14 15 Y R. Ananda Natarajan Digital Design Digital Design R. ANANDA NATARAJAN Professor Department of Electronics and Instrumentation Engineering
More informationDigital Fundamentals. Lab 4 EX-OR Circuits & Combinational Circuit Design
Richland College School of Engineering & Technology Rev. 0 B. Donham Rev. 1 (7/2003) J. Horne Rev. 2 (1/2008) J. Bradbury Digital Fundamentals CETT 1425 Lab 4 EX-OR Circuits & Combinational Circuit Design
More informationExploiting the disjoint cycle decomposition in genome rearrangements
Exploiting the disjoint cycle decomposition in genome rearrangements Jean-Paul Doignon Anthony Labarre 1 doignon@ulb.ac.be alabarre@ulb.ac.be Université Libre de Bruxelles June 7th, 2007 Ordinal and Symbolic
More informationEDULABZ INTERNATIONAL SETS AND VENN DIAGRAMS
12 SETS ND VENN DIGRMS Section I : Sets 1. Describe the following sets in roster form : (i) 2 { x / x = n, n N, 2 n 5} (ii) {x / x is composite number and 11 < x < 25} (iii) {x / x W, x is divisible by
More information449/1 DRAWING AND DESIGN PAPER 1 MARKING SCHEME
MACHAKOS COUNTY KCSE TRIAL AND PRACTICE EXAM 2015 Kenya Certificate of Secondary Education 449/1 DRAWING AND DESIGN PAPER 1 MARKING SCHEME SECTION A 1. a) Information regarding parastatal organizations
More informationSurvival Skills for Circuit Analysis
P. R. Nelson Fall 2010 WhatToKnow - p. 1/46 Survival Skills for Circuit Analysis What you need to know from ECE 109 Phyllis R. Nelson prnelson@csupomona.edu Professor, Department of Electrical and Computer
More informationMathematics Probability: Combinations
a place of mind F A C U L T Y O F E D U C A T I O N Department of Curriculum and Pedagogy Mathematics Probability: Combinations Science and Mathematics Education Research Group Supported by UBC Teaching
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 informationAcentral problem in the design of wireless networks is how
1968 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 45, NO. 6, SEPTEMBER 1999 Optimal Sequences, Power Control, and User Capacity of Synchronous CDMA Systems with Linear MMSE Multiuser Receivers Pramod
More information7.4 and on Tutorial (What you need to be doing if you are stuck)
7.4 and on Tutorial (What you need to be doing if you are stuck) Anytime you have a large horseshoe premise ( is main connective), the first thing you should do is figure out how to break it apart with
More informationDynamic Programming. Objective
Dynamic Programming Richard de Neufville Professor of Engineering Systems and of Civil and Environmental Engineering MIT Massachusetts Institute of Technology Dynamic Programming Slide 1 of 35 Objective
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 informationSimplification of Lighting and Light-Signalling Regulations
Transmitted by IWG SLR Informal document GRE-78-34 (78th GRE, 24-27 October 2017, agenda item 4) Simplification of Lighting and Light-Signalling Regulations Status update and next steps 1 Simplification
More informationMath 118: Business Calculus Fall 2017 Final Exam 06 December 2017
Math 118: Business Calculus Fall 2017 Final Exam 06 December 2017 First Name: (as in student record) Last Name: (as in student record) USC ID: Signature: Please circle your instructor and lecture time:
More informationResearch Article Some New Sets and Topologies in Ideal Topological Spaces
Chinese Mathematics Volume 2013, Article ID 973608, 6 pages http://dx.doi.org/10.1155/2013/973608 Research Article Some New Sets and Topologies in Ideal Topological Spaces R. Manoharan 1 and P. Thangavelu
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 informationPlease plan carefully. Papers are due at the start of class on the due date. Late papers will not be accepted.
Please plan carefully. Papers are due at the start of class on the due date. Late papers will not be accepted. Name: Geometry CC Regents Review #11 Part I: Answer all questions in this part. Each correct
More informationMAT Modular arithmetic and number theory. Modular arithmetic
Modular arithmetic 1 Modular arithmetic may seem like a new and strange concept at first The aim of these notes is to describe it in several different ways, in the hope that you will find at least one
More informationFinal exam. Question Points Score. Total: 150
MATH 11200/20 Final exam DECEMBER 9, 2016 ALAN CHANG Please present your solutions clearly and in an organized way Answer the questions in the space provided on the question sheets If you run out of room
More informationEVLA Memo 170 Determining full EVLA polarization leakage terms at C and X bands
EVLA Memo 17 Determining full EVLA polarization leakage terms at C and s R.J. Sault, R.A. Perley August 29, 213 Introduction Polarimetric calibration of an interferometer array involves determining the
More informationMODALITY, SI! MODAL LOGIC, NO!
MODALITY, SI! MODAL LOGIC, NO! John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ 1997 Mar 18, 5:23 p.m. Abstract This
More informationLesson 10: Unknown Angle Proofs Proofs with Constructions
: Unknown Angle Proofs Proofs with Constructions Student Outcome Students write unknown angle proofs involving auxiliary lines. Lesson Notes On the second day of unknown angle proofs, students incorporate
More information