Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Published on 7. October 2011
XI, 403 pages
978-3-642-24130-7 (ISBN)
Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.
More details
Other editions
Additional editions
Hans Van Ditmarsch | Jerome Lang | Shier Ju
Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Book
09/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Logical Dynamics of Evidence
- Introduction
- Evidence Models
- Neighborhood Models
- A Static Logic of Evidence and Belief
- Conditional Belief and Conditional Evidence
- Some Logical Theory: Axiomatization and Definability
- Evidence Dynamics
- Public Announcements
- Evidence Addition
- Evidence Removal
- Evidence Modification
- From External to Internal Actions: Evidence Combination
- Comparison with Plausibility Models
- Conclusion and Further Directions
- Conclusion
- References
- Dynamic Restriction of Choices: Synthesis of Societal Rules
- Motivation
- Dynamic Game Restriction
- Induced Game Tree
- Strategising by Players
- Capturing Costs in the Logical Formalism
- Quantitative Objectives
- Restriction of Order
- Restriction of Action
- Reducing the Number of Players
- Discussion
- References
- Agreeing to Disagree with Limit Knowledge
- Introduction
- An Epistemic-Topological Approach to Agreeing to Disagree
- A Representative Example
- Conclusion
- References
- A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory
- Introduction
- Basic Theories for VQs
- Fuzzy Theory (Fuzzy Set Cardinality Approach)
- Fuzzy Theory (Quantifier Fuzzification Mechanism Approach)
- Supervaluation Theory
- Combining FT and ST
- The Modified Glöckner's Method
- Some Properties of MGM
- Iterated VQs
- Conclusion
- References
- An Application of Model Checking Games to Abstract Argumentation
- Introduction
- Logical Languages for Argumentation Theory
- Argumentation Models
- Argumentation in Modal Logic
- Argumentation in Second-Order Modal Logic
- Model-Checking Games for Argumentation
- The Model Checking Game for KU2
- Discussion and Conclusions
- Model-Checking Games vs. Dialogue Games
- Future Work
- References
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- Introduction
- Review of Public Announcement Logic
- Conceptual Significance of Substitution Failure
- The Problem of the Substitution Core
- Decidability
- Transforming Substitutions
- Proof of Decidability
- Conclusion
- References
- Knowledge and Action in Semi-public Environments
- Introduction
- Motivation
- Language and Semantics
- Axiomatization
- Related Work and Conclusions
- References
- Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with off Equilibrium Play
- Introduction: Two Types of Mistake
- Proper Equilibria and Wishful Thinking
- Review: Extensive Form Games and Their Equilibria
- Defining Mistakes in EFG Scenarios
- The Problem is Coalescing of Moves
- Trembling Hands and the Will of Nature
- Conclusion: Taking Mistakes Seriously
- References
- Update Semantics for Imperatives with Priorities
- Introduction
- Force Structures and Track Structures
- Update with Priorities
- Introducing Authorities
- Update Function and Some Properties
- Illustrations and Background Ideas
- Illustrations
- Imperative Forces and Authorities
- Conclusions and Future Work
- References
- A Measure of Logical Inference and Its Game Theoretical Applications
- Introduction
- Classical and Intuitionistic Logics
- Measure of Inference ?L*
- The Lower Bound Method
- An Application to the Game with Small and Large Stores
- Evaluations of Some Contradictory Statements
- Conclusion
- References
- Partial Semantics of Argumentation
- Introduction
- Preliminaries
- Dung's Theory of Argumentation
- Directionality of Argumentation Semantics
- Definitions and Properties of Partial Semantics of Argumentation
- Definitions
- Properties
- Conclusions and Future Work
- References
- A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling
- Introduction
- The Logical Framework
- Syntax
- Semantics
- Some Properties of Mental Attitudes
- Decidability and Axiomatization
- Formalization of Expectation-Based Emotions
- Hope and Fear
- Disappointment and Relief
- Conclusion
- References
- DEL Planning and Some Tractable Cases
- Introduction
- Dynamic Epistemic Logic
- DEL Planning
- Some Properties to Ensure Tractability
- A Toy Application
- A Formalization of Thief: The Dark ProjectTM
- Planning for the Toy Application
- Conclusion and Future Work
- References
- Mathematics of Public Announcements
- Submodel Operation and Respecting Phenomena
- Algebraic Perspective on Public Announcements
- Intuitionistic Logic and PAL
- First-Order Logic and Public Announcements
- Conclusions and Open Questions
- References
- Logics of Belief over Weighted Structures
- Introduction
- Dynamic Graded Belief Logics
- Epistemic Weighted Frames
- Static Graded Belief Logic
- Public Announcement BLg
- Dynamic Epistemic BLg
- Logics of Plausible Belief
- Dynamics of Plausible Beliefs
- Other Notions of Plausible Belief
- Conclusions and Open Questions
- References
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
- Introduction
- Semantics
- Axioms
- Soundness
- Completeness
- Critical Sets
- Parity Game
- Game Composition
- Completeness: The final steps
- Conclusion
- An n-ary Independence Relation
- Possible Extensions
- References
- Algebraic Foundations for Inquisitive Semantics
- Introduction
- Algebraic Foundations of Classical Logic
- Algebraic Inquisitive Semantics
- Ordering Propositions
- Algebraic Operations
- Connectives
- Quantifiers
- Comparison with Previous Work
- Conclusion
- References
- A Dynamic Analysis of Interactive Rationality
- Background and Motivation
- Belief Dynamics for Strategic Games
- Describing an Informational Context
- A Primer on Belief Dynamics
- Deliberating about What To Do
- Case Study: Iterated Admissibility
- Stabilization Theorem
- Concluding Remarks
- References
- Seeing, Knowledge and Common Knowledge
- Language
- Semantics
- Worlds
- Epistemic Kripke Structure over Worlds
- Rewriting the Common Knowledge Operator
- When There Exists a, b J Such That a Does Not See b
- When for All a, b J Agent a Sees Agent b
- Conclusion
- Rewriting Common Knowledge Operator as Geometrical Constraints
- Model-Checking Problem
- Conclusion
- References
- Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
- Introduction
- JND-Based Vague Predicate Logic JVL
- Language
- Semantics
- Syntax
- Metalogic of JVL
- Conclusion
- References
- An Epistemic Logic with Hypotheses
- Introduction
- The Modal Logic
- Chellas' Conditional Logic
- Axiomatisation
- Reduction
- Distributed Knowledge
- Conclusion
- References
- Minimal Revision and Classical Kripke Models First Results
- Multi-modal Kripke Semantics
- Two Fixed-frame Minimal Revision Operators
- Two Generalized Minimal Revision Operators
- Related Work
- Future Work
- References
- On Axiomatizations of PAL
- Introduction
- Preliminaries
- PA is Not Complete
- A Context-Dependent Semantics
- Another Non-standard Semantics
- Discussion and Future Work
- References
- Public Announcement Logic with Distributed Knowledge
- Introduction
- Background
- Expressivity
- PAD
- PACD
- Expressivity Relations: Summary
- Axiomatisation
- PAD
- PACD
- Discussion
- References
- An Alternative Logic for Knowability
- Introduction
- The Logic LK for Knowability
- Syntax and Semantics of LK
- Some Semantic Results
- Various Representations of the Knowability Thesis in LK
- LK and Arbitrary Public Announcement Logic
- Single-Agent Systems
- Multi-agent systems
- LK and Subset Space Logic
- Single-Agent Systems
- Multi-Agent Systems
- Conclusion
- References
- Conditional Ought, a Game Theoretical Perspective
- Introduction
- A New Consequentianlist Deontic Logic
- Language
- Consequentialist Frame
- Semantics
- Revisit Principles of Conditional Ought
- Conclusion and Future Work
- References
- The Categorial Logic of Vacuous Components in Natural Language
- Introduction
- LMP - A Categorial Type Logic
- A Gentzen-Style Presentation of LMP
- Further Thinking
- References
- A Logic for Strategy Updates
- Introduction
- Restricted Strategy Logic
- References
- Efficient Action Extraction with Many-to-Many Relationship between Actions and Features
- Motivation
- Method and Experimental Evaluation
- References
- Reflections on Vote Manipulation
- References
- Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract)
- Reference
- The Dynamics of Peer Pressure
- References
- On Logic of Belief-Disagreement among Agents
- Three Kinds of Belief-Disagreement
- A Belief Logic Containing Belief-Disagreement Operators
- Some Theorems in BD(n)
- References
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
- References
- Bayesianism, Elimination Induction and Logical Reliability
- References
- A Logic of Questions for Rational Choice
- How Questions Guide Choices
- Summary of the Paper
- References
- Capturing Lewis's "Elusive Knowledge"
- Introduction
- References
- Author Index
