Logic, Rationality, and Interaction

5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

AvWiebe van der Hoek,Wesley H. Holliday

Häftad, Engelska, 2015

Del i serien Lecture Notes in Computer Science

564 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that hasby now become a trademark of the LORI workshop series, where logic interfaceswith disciplines as diverse as game theory and decision theory, philosophyand epistemology, linguistics, computer science and artificial intelligence.

Produktinformation

Utgivningsdatum:2015-10-09
Mått:155 x 235 x 25 mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:439
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783662485606

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Innehållsförteckning

SabotageModal Logic: Some Model and Proof Theoretic Aspects.- Game TheoreticalSemantics for Paraconsistent Logics.- Generalized Ultraproduct andKirman-Sondermann Correspondence for Vote Abstention.- Learning Actions Models:Qualitative Approach.- Great Expectations.- Probabilistic Epistemic Updates onAlgebras.- An Abstract Algebraic Logic View on Judgment Aggregation.- Context-dependentUtilities: A Solution to the Problem of Constant Acts in Savage.- Graph-BasedBelief Merging.- Human strategic reasoning in dynamic games: Experiments,logics, cognitive models.- A note on reliability-based preference dynamics.- InformationalDynamics of `Might' Assertions.- A poor man's epistemic logic based onpropositional assignment and higher-order observation.- Trace Semantics forIPDL.- A Decidable Temporal Relevant Logic for Time-Dependent Relevant HumanReasoning.- Introspection, normality and agglomeration.- On the Expressivity ofFirst-Order Modal Logic with \Actually".- Causal Models and the Ambiguityof Counterfactuals.- Tableaux for Single-Agent Epistemic PDL with PerfectRecall and No Miracles.- Formulating Semantics of Probabilistic Argumentationby Characterizing Subgraphs.- Algebraic Semantics for Dynamic Dynamic Logic.- Logicand Ethics. An Integrated Model for Norms, Intentions and Actions.- A GeneralFramework for Modal Correspondence in Dynamic Epistemic Logic.- IntuitionisticEpistemology and Modal Logics of Verification.- An argument for Permissivismfrom safespots.- Model Transformers for Dynamical Systems of Dynamic EpistemicLogic.- `Transitivity' of consequence relations.- Boolean Game with PrioritizedNorms.- Boolean Network Games and Iterated Boolean Games.- Symbolic ModelChecking for Dynamic Epistemic Logic.- Three-Valued Plurivaluationism of VaguePredicates.- A logic of knowing how.- A Dynamic Epistemic Logic with aKnowability Principle.- Reflective Oracles: A Foundation for Game Theory inArtificial Intelligence.- Infinite Ordinals and Finite Improvement.- Solvingthe Hi-Lo Puzzle.- Epistemic Updates on algebras.- On the Complexity ofInput/Output Logic.- Translating a Counterpart Theory into a Quantified ModalLanguage with Descriptors.