Description |
1 online resource (xxi, 441 pages) : illustrations (some color) |
Series |
Lecture notes in computer science ; 11813 |
|
FoLLI publications on logic, language and information |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11813.
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations |
|
3 Expressive Power of SLL3.1 First-Order Translation; 3.2 Bisimulation and Characterization for SLL; 4 Model Checking and Satisfiability for SLL; 5 Conclusion and Future Work; References; Elementary Iterated Revision and the Levi Identity; 1 Introduction; 2 Preliminaries; 2.1 Single-Step Change; 2.2 Iterated Change; 3 Elementary Revision Operators; 4 Extending the Levi Identity; 4.1 A Proposal Involving Rational Closure; 4.2 Nayak et al.'s ̀New Levi Identity'; 4.3 Rational Closure and the New Levi Identity; 5 Is Iterated Revision Reducible to Iterated Contraction? |
|
6 Conclusions and Further WorkReferences; Undefinability in Inquisitive Logic with Tensor; 1 Introduction; 2 Definability and Eliminability; 3 Inquisitive Logic with Tensor Disjunction; 4 Eliminability; 5 Independence of the Connectives; 5.1 Undefinability of; 5.2 Undefinability of; 6 Conclusion; References; Minimal-Change Counterfactuals in Intuitionistic Logic; 1 Introduction; 2 Counterfactuals in Intuitionistic Kripke Semantics; 3 Minimal Change Conditions; 4 Axiomatization; 5 Canonical Model Construction; 6 Conclusion and Outlook; References |
|
Consolidation of Belief in Two Logics of Evidence1 Introduction; 2 A Multi-agent Logic of Evidence; 3 A Consolidation Operation; 3.1 Definitions; 3.2 Examples; 3.3 Properties; 3.4 A Unified Language for Evidence and Beliefs; 4 Equivalence Between Evidence Models; 4.1 From B & P to FVEL Models; 4.2 From FVEL to B & P Models; 4.3 Evaluating the Conversions; 5 Comparing Consolidations; 6 Conclusion; References; From Classical to Non-monotonic Deontic Logic Using ASPIC+; 1 Using ASPIC+ to Design Non-monotonic Deontic Logics; 2 Running Example: Free-Choice Permission |
|
3 Step 1: Arguments Based on Two Monotonic Logics4 Step 2: Preferences Among Arguments; 5 Step 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD |
Summary |
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. -- Provided by publisher |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019) |
Subject |
Logic -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Artificial intelligence
|
|
Logic
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Blackburn, Patrick, 1959- editor.
|
|
Lorini, Emiliano, editor
|
|
Guo, Meiyun, editor
|
ISBN |
9783662602928 |
|
366260292X |
|