KARO logic (Van Linder et al.) Epistemic logic. Dynamic Logic. Dynamic Logic KARO. Dynamic Logic. knowledge. belief. Interpretation formulas
|
|
- Lynne Blankenship
- 5 years ago
- Views:
Transcription
1 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ϕ knowledge belief Dynamic Logic Dynamic Logic Syntax Operator [α] with reading: [α]ϕ : after execution of α it holds (nec.) that ϕ <α>ϕ = [α] ϕ Semantics Accessibility relation R α for every action α R α;β = R α ± R β R α+β = R α R β R α = R α * Interpretation formulas M,s ² [α]ϕ for all s with R α (s,s ): M,s ² ϕ M,s ² <α>ϕ for some s with R α (s,s ): M,s ² ϕ Dynamic Logic Basic property (K) [α](ϕ ψ) ([α]ϕ [α]ψ) Structure of actions [α 1 ; α 2 ]ϕ [α 1 ]([α 2 ]ϕ) [α 1 + α 2 ]ϕ [α 1 ]ϕ [α 2 ]ϕ [α*]ϕ ϕ [α*]ϕ [α][α*]ϕ KARO K: Knowledge (& Belief) epistemic logic: Knowledge K : the logic S5 Belief B : the logic weak S5 A: Abilities ability operator A [α*](ϕ [α]ϕ) (ϕ [α*]ϕ)
2 KARO R: Results dynamic logic ("multi-modal K"): [α]ϕ O: Opportunities dynamic logic: <α>true KARO: formal syntax (omitting agent indexes) Set A of atomic actions Set P of atomic propositions Formulas ϕ ::= p ( P) ϕ ϕ 1 ϕ 2 Kϕ Bϕ Dϕ [α]ϕ Aα Actions α ::= a ( A) α 1 ; α 2 ϕ? if ϕ then α 1 else α 2 fi while ϕ do α od KARO: model for knowledge/beliefs/desires Kripke models of the form: <W, θ, R K, R B, R D > where: W is a non-empty set of states θ truth assignment function per state R K, R B, R D accessibility relations on W KARO: constraints on models R K, R B, R D are accessibility relations on W R K is assumed to be an equivalence relation R B is assumed to be euclidean, serial and transitive R B R K No special constraints on R D KARO: modelling actions Structures of the form: < Σ, {R a a A}, C, Ag> where: Σ set of model/state pairs R a ( a A ) accessibility relations on Σ C, Ag functions yielding set of actions the agent is capable to do, and the agent s agenda, resp., per model/state pair KARO: constraints on structures R a is an accessibility relation on (model, state) pairs! R a is taken to be deterministic: {(M,w ) R a (M,w)(M,w )} 1 for all M, w If R α is deterministic we may write R α (M,w) = {(M,w )} if R α (M,w)(M,w ) = Ø otherwise
3 KARO: semantics of actions R α is defined by induction on α: R ϕ? (M,w) = {(M,w)} if M, w ² ϕ = Ø otherwise R α1;α2 (M,w) = R α2 (R α1 (M,w)) Rif ϕ then α1 else α2 fi(m,w) = R α1 (M,w) if M, w ² ϕ = R α2 (M,w) otherwise KARO: semantics of actions Rwhile ϕ do αod(m,w) = {(M,w )} iff exists k 0 exists M 0,w 0,, M k,w k : (M 0,w 0 ) = (M, w) and (M k,w k ) = (M,w ) and {(M j+1,w j+1 )} = R ϕ?;α (M j,w j ) and M,w 2 ϕ. Rwhile ϕ do αod(m,w) = Ø otherwise. R α (X) = (M,w) X R α (M,w) Note R α ({(M,w)})= R α (M,w) KARO: constraints on structures C is a function of type Σ P(Actions) C(M, w) is the set of actions that the agent is capable of to perform in (M, w) One might impose conditions on C regarding the structure of actions analogous to that of R E.g. α 1 ; α 2 C(M, w) iff α 1 C(M, w) and α 2 C(R α1 (M, w)) KARO: interpretation of formulas M,w ² p θ(w)(p) = true, for p P M,w ² ϕ M,w 2 ϕ M,w ² ϕ 1 ϕ 2 M,w ² ϕ 1 and M,w ² ϕ 2 M,w ² Kϕ M,w ² ϕ for all w such that R K (w, w ) M,w ² Bϕ M,w ² ϕ for all w such that R B (w, w ) KARO: interpretation of formulas (2) M,w ² Dϕ M,w ² ϕ for all w such that R D (w, w ) M,w ² [α]ϕ M,w ² ϕ for all M,w such that R α ((M,w), (M,w )) M,w ² Aα α C(M, w) M,w ² Comα α Ag(M, w) Validities <ϕ?>ψ (ϕ ψ) <α 1 ;α 2 >ψ <α 1 >(<α 2 >ψ) <if ϕ then α 1 else α 2 fi >ψ ((ϕ <α 1 >ψ) ( ϕ <α 2 >ψ)) <while ϕ do α od>ψ (( ϕ ψ) (ϕ <α> <while ϕ do α od>ψ)) A(α 1 ;α 2 ) Aα 1 [α 1 ]Aα
4 KARO: correctness, feasibility Correct(α, ϕ) = <α>ϕ Feasible(α) = Aα PracPoss(α,ϕ) = Correct(α,ϕ) Feasible(α) Can(α,ϕ) = KPracPoss(α,ϕ) = K(<α>ϕ Aα) Cannot(α, ϕ) = K PracPoss(α, ϕ) An agent can do an action α with result ϕ iff it knows that it has the pract. poss. to do α, i.e. that α has ϕ as result and that it is able to do α. Remark Note that ² <α>ϕ <α>true I.e. correctness implies opportunity If α is deterministic: ² <α>ϕ [α]ϕ <α>true So, for deterministic actions the diamond is stronger than the box: <α>ϕ expresses both result and opportunity! KARO : properties of Can some properties: Can(ϕ?, ψ) K(ϕ ψ) Can(α 1 ; α 2, ϕ) Can(α 1, PracPoss(α 2, ϕ)) Can(α 1 ; α 2, ϕ) <α 1 > Can(α 2, ϕ), if α 1 accordant, i.e. K[α 1 ]ϕ [α 1 ]Kϕ Can(if ϕ then α 1 else α 2 fi, ψ) Kϕ Can(α 1, ψ) Kϕ Can(if ϕ then α 1 else α 2 fi, ψ) K ϕ Can(α 2, ψ) K ϕ KARO: implementability Implϕ = "PracPoss(a 1 ;...; a k, ϕ) for some atomic actions a 1,..., a k ϕ is implementable / realizable / achievable by the agent by means of a plan a 1 ;...; a k! The agent has the pract. poss. (so is able and has opportunity) to realize ϕ by executing this plan Belief types & belief revision in an agent-oriented setting: K = B k (certain) knowledge B o belief by observation B c belief by communication B d belief by default KARO: informational attitudes Agn x = B x ϕ B x ϕ (x {k, o, c, d}) Sawϕ = Agn k ϕ B o ϕ Heardϕ = Agn o ϕ B c ϕ Jumpedϕ = Agn c ϕ B d ϕ
5 KARO: informational actions observe, inform, try_jump KARO: semantics update_belief M Semantics (written as functions): R observeϕ (M, w) = update_belief o (ϕ, (M, w)) R inform(ϕ,i) (M, w) = update_belief ic (ϕ, (M, w)) R try_jumpϕ (M, w) = update_belief d (ϕ, (M, w)) R x ϕ ϕ w KARO: semantics update_belief Update_belief x (ϕ, (M,w)) ϕ ϕ delete R x w validities: <observe ϕ> Agn o ϕ ϕ <observe ϕ> B o ϕ ϕ <observe ϕ> B o ϕ ϕ Agn k ϕ <observe ϕ>sawϕ ϕ Agn k ϕ <observe ϕ>saw ϕ ϕ (Heard ϕ Jumped ϕ) <observe ϕ>sawϕ B j d ϕ D i,j ϕ (<do j (inform (ϕ, i)>χ χ) D i,j ϕ B jo ϕ <do j (inform (ϕ, i)> B ic ϕ D i,j ϕ B jo ϕ Agn io ϕ <do j (inform (ϕ, i))>heard i ϕ D i,j ϕ Heard j ϕ Agn id ϕ <do j (inform (ϕ, i))> Heard i ϕ D i,j ϕ Heard j ϕ Agn id ϕ (<do j (inform (ϕ, i))>χ χ) [D i,j ϕ : dependency of agent i on agent j w.r.t. ϕ] Further validities: Default(ϕ) Agn d ϕ <try_jump ϕ>jumpedϕ Default(ϕ) Agn d ϕ (<try_jump ϕ>χ χ)
6 Goal(ϕ) = Dϕ ϕ Implϕ A goal is desired, not yet true and implementable/realizable NOT: ² ϕ ψ ² Goal(ϕ) Goal(ψ) CanG(α, ϕ) = Can(α, ϕ) Goal(ϕ) PossIntend(α,ϕ) = Can(α, ϕ) KGoal(ϕ) An agent possibly intends to do α to achieve ϕ iff it knows that ϕ is its goal and can do α with ϕ as result. 162 An agent that possibly intends to do action α to achieve result ϕ may choose to commit to action α, which means that the agent puts α on its agenda How an agent uses its agenda to determine the actual next action that it will perform is dependent on the type of agent and is not specified in KARO 163 An agent that is committed to an action α may discover later that PossIntend(α, ϕ) does not hold any more for any ϕ. This may happen if (for all ϕ) Can(α, ϕ) holds: the agent cannot do α (with ϕ as result) any longer, or KGoal(ϕ) holds: ϕ isn t (known to be) a goal any more In this case the commitment to α has become useless and the agent may choose to uncommit to it. 164 KARO : motivational actions Special actions: commitα, uncommitα Semantics: R commitα (M, w) = update_agenda + (α, (M, w)) if M,w ² PossIntend(α, ϕ) for some ϕ, and =, otherwise R uncommitα (M, w) = update_agenda (α, (M, w)) if M,w ² Com α, and =, otherwise uncommitα C(M, w) iff M,w ² PossIntend(α, ϕ) for all ϕ 165 PossIntend(α, ϕ) <commitα> Com(α) PossIntend(α, ϕ) Auncommitα Com(α) <uncommitα> Com(α) Com(α) KCom(α) Com(α 1 ; α 2 ) Com(α 1 ) K[α 1 ]Com(α 2 ) Com(α) Can(α,true) Can(uncommitα, Com(α)) 166 One may specify specific agent types that have certain policies of committing and uncommitting, for example: Agents that may commit to one action only, i.e. the agenda C(M, s) contains at most 1 element ( single-minded agent ) Agents that never uncommit (only implicitly after completing the execution of agenda items) Agents that uncommit to an agenda item as soon as it detects that the item serves no purpose any more (i.e. PossIntend has ceased to hold: the agent cannot do the action any more or it does not 167 lead to achieving any of the known goals) 6
Modal 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 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 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 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 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 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 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 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 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 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 informationLogic and Artificial Intelligence Lecture 23
Logic and Artificial Intelligence Lecture 23 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
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 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 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 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 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 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 informationCS453 LR(1), LALR, AMBIGUITY. CS453 Shift-Reduce Cont' 1
CS453 LR(1), LALR, AMBIGUITY CS453 Shift-Reduce Cont' 1 LR(1), LALR, Ambiguity The plan: Shift reduce parsing LR(1) and LALR Ambiguous grammars - Precedence and associativity rules - Dangling else Java-cup
More informationDEPARTMENT OF ECONOMICS WORKING PAPER SERIES. Stable Networks and Convex Payoffs. Robert P. Gilles Virginia Tech University
DEPARTMENT OF ECONOMICS WORKING PAPER SERIES Stable Networks and Convex Payoffs Robert P. Gilles Virginia Tech University Sudipta Sarangi Louisiana State University Working Paper 2005-13 http://www.bus.lsu.edu/economics/papers/pap05_13.pdf
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 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 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 informationGame Theory and Economics of Contracts Lecture 4 Basics in Game Theory (2)
Game Theory and Economics of Contracts Lecture 4 Basics in Game Theory (2) Yu (Larry) Chen School of Economics, Nanjing University Fall 2015 Extensive Form Game I It uses game tree to represent the games.
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 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 informationThe Sign of a Permutation Matt Baker
The Sign of a Permutation Matt Baker Let σ be a permutation of {1, 2,, n}, ie, a one-to-one and onto function from {1, 2,, n} to itself We will define what it means for σ to be even or odd, and then discuss
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 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 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 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 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 informationSummary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility
Summary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility theorem (consistent decisions under uncertainty should
More informationColumn Generation. A short Introduction. Martin Riedler. AC Retreat
Column Generation A short Introduction Martin Riedler AC Retreat Contents 1 Introduction 2 Motivation 3 Further Notes MR Column Generation June 29 July 1 2 / 13 Basic Idea We already heard about Cutting
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 informationMa/CS 6a Class 16: Permutations
Ma/CS 6a Class 6: Permutations By Adam Sheffer The 5 Puzzle Problem. Start with the configuration on the left and move the tiles to obtain the configuration on the right. The 5 Puzzle (cont.) The game
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 informationDetecticon: A Prototype Inquiry Dialog System
Detecticon: A Prototype Inquiry Dialog System Takuya Hiraoka and Shota Motoura and Kunihiko Sadamasa Abstract A prototype inquiry dialog system, dubbed Detecticon, demonstrates its ability to handle inquiry
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 informationAutomata and Formal Languages - CM0081 Turing Machines
Automata and Formal Languages - CM0081 Turing Machines Andrés Sicard-Ramírez Universidad EAFIT Semester 2018-1 Turing Machines Alan Mathison Turing (1912 1954) Automata and Formal Languages - CM0081. Turing
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 informationTransferable Utility Planning Games
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) Transferable Utility Planning Games Ronen I. Brafman Computer Science Dept. Ben-Gurion Univ., Israel brafman@cs.bgu.ac.il
More informationChapter 6. The Production Function. Production Jargon. Production
Chapter 6 Production The Production Function A production function tells us the maximum output a firm can produce (in a given period) given available inputs. It is the economist s way of describing technology
More informationIn this lecture we consider four important properties of time series analysis. 1. Determination of the oscillation phase.
In this lecture we consider four important properties of time series analysis. 1. Determination of the oscillation phase. 2. The accuracy of the determination of phase, frequency and amplitude. 3. Issues
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 informationDynamic Games: Backward Induction and Subgame Perfection
Dynamic Games: Backward Induction and Subgame Perfection Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu Jun 22th, 2017 C. Hurtado (UIUC - Economics)
More informationADVANCES in electronics technology have made the transition
JOURNAL OF L A TEX CLASS FILES 1 Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution Huan Xu 1, Ufuk Topcu 2, and Richard M. Murray 1 Abstract The increasing complexity
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 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 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 informationDominant and Dominated Strategies
Dominant and Dominated Strategies Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu May 29th, 2015 C. Hurtado (UIUC - Economics) Game Theory On the
More informationMethodology for Agent-Oriented Software
ب.ظ 03:55 1 of 7 2006/10/27 Next: About this document... Methodology for Agent-Oriented Software Design Principal Investigator dr. Frank S. de Boer (frankb@cs.uu.nl) Summary The main research goal of this
More informationFinal Exam : Constructive Logic. December 17, 2012
Final Exam 15-317: Constructive Logic December 17, 2012 Name: Andrew ID: Instructions This exam is open notes, open book, and closed Internet. The last page of the exam recaps some rules you may find useful.
More informationCITS2211 Discrete Structures Turing Machines
CITS2211 Discrete Structures Turing Machines October 23, 2017 Highlights We have seen that FSMs and PDAs are surprisingly powerful But there are some languages they can not recognise We will study a new
More informationDual 4-bit static shift register
Rev. 8 21 November 2011 Product data sheet 1. General description 2. Features and benefits 3. Applications 4. Ordering information The is a dual edge-triggered 4-bit static shift register (serial-to-parallel
More informationHEF4014B. 1. General description. 2. Features and benefits. 3. Applications. 4. Ordering information. 8-bit static shift register
Rev. 10 17 October 2018 Product data sheet 1. General description 2. Features and benefits 3. Applications The is a fully synchronous edge-triggered with eight synchronous parallel inputs (D0 to D7), a
More informationQuad 2-input NAND Schmitt trigger
Rev. 8 21 November 2011 Product data sheet 1. General description 2. Features and benefits 3. Applications The is a quad two-input NAND gate. Each input has a Schmitt trigger circuit. The gate switches
More informationPermutations with short monotone subsequences
Permutations with short monotone subsequences Dan Romik Abstract We consider permutations of 1, 2,..., n 2 whose longest monotone subsequence is of length n and are therefore extremal for the Erdős-Szekeres
More informationRefinements of Sequential Equilibrium
Refinements of Sequential Equilibrium Debraj Ray, November 2006 Sometimes sequential equilibria appear to be supported by implausible beliefs off the equilibrium path. These notes briefly discuss this
More informationCOST IC1004 Temporary Document: Characterization of Interference for Over the Air Terminal Testing Nielsen, Jesper Ødum; Pedersen, Gert F.
Aalborg Universitet COST IC1004 Temporary Document: Characterization of Interference for Over the Air Terminal Testing Nielsen, Jesper Ødum; Pedersen, Gert F.; Fan, Wei Publication date: 2013 Document
More informationIntroduction to Computational Manifolds and Applications
IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Foundations Prof. Jean Gallier jean@cis.upenn.edu Department
More informationSpectacle lens design following Hamilton, Maxwell and Keller
Spectacle lens design following Hamilton, Maxwell and Keller Koby Rubinstein Technion Koby Rubinstein (Technion) Spectacle lens design following Hamilton, Maxwell and Keller 1 / 23 Background Spectacle
More informationExperiment O11e Optical Polarisation
Fakultät für Physik und Geowissenschaften Physikalisches Grundpraktikum Experiment O11e Optical Polarisation Tasks 0. During preparation for the laboratory experiment, familiarize yourself with the function
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 informationCard-based Cryptographic Protocols Using a Minimal Number of Cards
Card-based Cryptographic Protocols Using a Minimal Number of Cards Alexander Koch, Stefan Walzer, and Kevin Härtel Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany alexander.koch@kit.edu, {stefan.walzer,
More informationA review of Reasoning About Rational Agents by Michael Wooldridge, MIT Press Gordon Beavers and Henry Hexmoor
A review of Reasoning About Rational Agents by Michael Wooldridge, MIT Press 2000 Gordon Beavers and Henry Hexmoor Reasoning About Rational Agents is concerned with developing practical reasoning (as contrasted
More informationBelief Augmented Frame Sets for Knowledge Representation in Spoken Dialog Systems
Belief Augmented Frame Sets for Knowledge Representation in Spoken Dialog Systems Colin Keng-Yan TAN, Kim-Teng LUA Department of Computer Science, School of Computing, National University of Singapore.
More informationHEF4001B. 1. General description. 2. Features and benefits. 3. Ordering information. 4. Functional diagram. Quad 2-input NOR gate
Rev. 9 21 November 2011 Product data sheet 1. General description 2. Features and benefits The is a quad 2-input NOR gate. The outputs are fully buffered for the highest noise immunity and pattern insensitivity
More informationarxiv:cs/ v1 [cs.gt] 7 Sep 2006
Rational Secret Sharing and Multiparty Computation: Extended Abstract Joseph Halpern Department of Computer Science Cornell University Ithaca, NY 14853 halpern@cs.cornell.edu Vanessa Teague Department
More informationSensor Robot Planning in Incomplete Environment
Journal of Software Engineering and Applications, 2011, 4, 156-160 doi:10.4236/jsea.2011.43017 Published Online March 2011 (http://www.scirp.org/journal/jsea) Shan Zhong 1, Zhihua Yin 2, Xudong Yin 1,
More informationMATLAB: Plots. The plot(x,y) command
MATLAB: Plots In this tutorial, the reader will learn about obtaining graphical output. Creating a proper engineering plot is not an easy task. It takes lots of practice, because the engineer is trying
More informationTuning and Generator Comparison
Tuning and Generator Comparison Hendrik Hoeth (Lund University) MPI@LHC 08, Perugia, 30 October 2008 Overview Motivation why and what s the problem Strategy Tunings Outlook how to tune plots, plots, plots
More informationA Modified Perspective of Decision Support in C 2
SAND2005-2938C A Modified Perspective of Decision Support in C 2 June 14, 2005 Michael Senglaub, PhD Dave Harris Sandia National Labs Sandia is a multiprogram laboratory operated by Sandia Corporation,
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 informationDual 4-bit static shift register
Rev. 9 21 March 2016 Product data sheet 1. General description 2. Features and benefits 3. Applications 4. Ordering information The is a dual edge-triggered 4-bit static shift register (serial-to-parallel
More informationASNT5153-MOD DC-64Gbps Broadband Digital 2:1 Multiplexer/Selector
ASNT5153-MOD DC-64Gbps Broadband Digital 2:1 Multiplexer/Selector High speed broadband 2:1 Multiplexer/Selector (MUX) Exhibits low jitter and limited temperature variation over industrial temperature range
More informationUnit-4. Magnetic Circuits
Unit-4 Magnetic Circuits Topics to be Discussed Magnetic Coupling. Coefficient of Coupling (k). Sign of Mutual Voltage. Dot Convention. September 9, 0 Magnetic Circuits Magnetically Coupled Circuits A
More informationHEF4014B. 1. General description. 2. Features and benefits. 3. Applications. 4. Ordering information. 8-bit static shift register
Rev. 9 21 March 2016 Product data sheet 1. General description 2. Features and benefits 3. Applications 4. Ordering information The is a fully synchronous edge-triggered with eight synchronous parallel
More informationScrabble is PSPACE-Complete
Scrabble is PSPACE-Complete Michael Lampis 1, Valia Mitsou 2, and Karolina So ltys 3 1 KTH Royal Institute of Technology, mlampis@kth.se 2 Graduate Center, City University of New York, vmitsou@gc.cuny.edu
More informationEstimating the Transmission Probability in Wireless Networks with Configuration Models
Estimating the Transmission Probability in Wireless Networks with Configuration Models Paola Bermolen niversidad de la República - ruguay Joint work with: Matthieu Jonckheere (BA), Federico Larroca (delar)
More informationQuad 2-input NAND Schmitt trigger
Rev. 9 15 December 2015 Product data sheet 1. General description 2. Features and benefits 3. Applications The is a quad two-input NAND gate. Each input has a Schmitt trigger circuit. The gate switches
More informationA Multi-agent System for Knowledge Management based on the Implicit Culture Framework
A Multi-agent System for Knowledge Management based on the Implicit Culture Framework Enrico Blanzieri 1, Paolo Giorgini 1, Fausto Giunchiglia 1, and Claudio Zanoni 1 Department of Information and Communication
More informationIntroduction to Game Theory
Introduction to Game Theory Part 1. Static games of complete information Chapter 1. Normal form games and Nash equilibrium Ciclo Profissional 2 o Semestre / 2011 Graduação em Ciências Econômicas V. Filipe
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 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 informationExtensive Form Games: Backward Induction and Imperfect Information Games
Extensive Form Games: Backward Induction and Imperfect Information Games CPSC 532A Lecture 10 October 12, 2006 Extensive Form Games: Backward Induction and Imperfect Information Games CPSC 532A Lecture
More informationStatic Program Analysis
Static Program Analysis Lecture 21: Shae Analysis & Final Remarks Thomas Noll Software Modeling and Verification Grou RWTH Aachen University htts://moves.rwth-aachen.de/teaching/ws-1617/sa/ Reca: Pointer
More informationAnalog, Digital, and Logic
Analog, Digital, and Logic Analog and Digital A/D and D/A conversion Prof Carruthers (ECE @ BU) EK307 Notes Summer 2018 116 / 264 Analog and Digital Digital and Analog There are 10 kinds of people: those
More information5 Constellation for Digital Modulation Schemes
5 Constellation for Digital Modulation Schees 5.1 PAM Definition 5.1. Recall, fro 3.6, that PAM signal wavefors are represented as s (t) = A p(t), 1 M where p(t) is a pulse and A A. 5.2. Clearly, PAM signals
More informationFrom permutations to graphs
From permutations to graphs well-quasi-ordering and infinite antichains Robert Brignall Joint work with Atminas, Korpelainen, Lozin and Vatter 28th November 2014 Orderings on Structures Pick your favourite
More information1-of-4 decoder/demultiplexer
Rev. 5 18 November 2011 Product data sheet 1. General description 2. Features and benefits 3. Applications The contains two 1-of-4 decoders/demultiplexers. Each has two address inputs (na0 and na1, an
More informationGeneric Attacks on Feistel Schemes
Generic Attacks on Feistel Schemes Jacques Patarin 1, 1 CP8 Crypto Lab, SchlumbergerSema, 36-38 rue de la Princesse, BP 45, 78430 Louveciennes Cedex, France PRiSM, University of Versailles, 45 av. des
More informationAn Erdős-Lovász-Spencer Theorem for permutations and its. testing
An Erdős-Lovász-Spencer Theorem for permutations and its consequences for parameter testing Carlos Hoppen (UFRGS, Porto Alegre, Brazil) This is joint work with Roman Glebov (ETH Zürich, Switzerland) Tereza
More informationDominant and Dominated Strategies
Dominant and Dominated Strategies Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu Junel 8th, 2016 C. Hurtado (UIUC - Economics) Game Theory On the
More informationInterference-Aware Joint Routing and TDMA Link Scheduling for Static Wireless Networks
Interference-Aware Joint Routing and TDMA Link Scheduling for Static Wireless Networks Yu Wang Weizhao Wang Xiang-Yang Li Wen-Zhan Song Abstract We study efficient interference-aware joint routing and
More informationDistributed Systems. Clocks, Ordering, and Global Snapshots
Distributed Systems Clocks, Ordering, and Global Snapshots Björn Franke University of Edinburgh Logical clocks Why do we need clocks? To determine when one thing happened before another Can we determine
More informationHEF4518B. 1. General description. 2. Features and benefits. 3. Applications. 4. Ordering information. Dual BCD counter
Rev. 7 21 November 2011 Product data sheet 1. General description 2. Features and benefits 3. Applications 4. Ordering information The is a dual 4-bit internally synchronous BCD counter. The counter has
More information12-stage binary ripple counter
Rev. 8 17 November 2011 Product data sheet 1. General description 2. Features and benefits 3. Applications 4. Ordering information The is a with a clock input (CP), an overriding asynchronous master reset
More informationQuad 2-input EXCLUSIVE-NOR gate
Rev. 6 14 March 2017 Product data sheet 1 General description 2 Features and benefits 3 Ordering information Table 1. Ordering information Type number Package The is a quad 2-input EXCLUSIVE-NOR gate.
More information10kW Three-phase SiC PFC Rectifier
www.onsemi.com 10kW Three-phase SiC PFC Rectifier SEMICON EUROPA, Nov 13-18, 2018, Munich, Germany Contents General PFC Concept 3 Phase System and PFC Control Simulation Understanding the losses 3 Phase
More information