Uncertain Reasoning in Justification Logic
Uncertain Reasoning in Justification Logic

Author: Ioannis Kokkinis

Publisher: Lulu.com

Published: 2016-06

Total Pages: 116

ISBN-13: 1326645102

DOWNLOAD EBOOK

This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to design a formal framework that allows the analysis of epistemic situations with incomplete information. In order to achieve this we introduce two probabilistic justification logics, which are defined by adding probability operators to the minimal justification logic J. We prove soundness and completeness theorems for our logics and establish decidability procedures. Both our logics rely on an infinitary rule so that strong completeness can be achieved. One of the most interesting mathematical results for our logics is the fact that adding only one iteration of the probability operator to the justification logic J does not increase the computational complexity of the logic.

Justification Logic
Justification Logic

Author: Sergei Artemov

Publisher: Cambridge University Press

Published: 2019-05-02

Total Pages: 271

ISBN-13: 1108424910

DOWNLOAD EBOOK

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

Probabilistic Extensions of Various Logical Systems
Probabilistic Extensions of Various Logical Systems

Author: Zoran Ognjanović

Publisher: Springer Nature

Published: 2020-07-17

Total Pages: 245

ISBN-13: 3030529541

DOWNLOAD EBOOK

The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Author: Gabriele Kern-Isberner

Publisher: Springer Nature

Published: 2019-09-04

Total Pages: 516

ISBN-13: 3030297659

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019. The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections named: Argumentation; Belief Functions; Conditional, Default and Analogical Reasoning; Learning and Decision Making; Precise and Imprecise Probabilities; and Uncertain Reasoning for Applications.

Reasoning About Knowledge
Reasoning About Knowledge

Author: Ronald Fagin

Publisher: MIT Press

Published: 2004-01-09

Total Pages: 576

ISBN-13: 9780262562003

DOWNLOAD EBOOK

Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.

Logic, Rationality, and Interaction
Logic, Rationality, and Interaction

Author: Alexandru Baltag

Publisher: Springer

Published: 2017-09-01

Total Pages: 704

ISBN-13: 3662556650

DOWNLOAD EBOOK

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on 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.

Hume's Problem
Hume's Problem

Author: Colin Howson

Publisher: Oxford University Press

Published: 2000

Total Pages: 272

ISBN-13: 0198250371

DOWNLOAD EBOOK

This volume offers a solution to one of the central, unsolved problems of Western philosophy, that of induction. It explores the implications of Hume's argument that successful prediction tells us nothing about the truth of the predicting theory.

Dynamics, Uncertainty and Reasoning
Dynamics, Uncertainty and Reasoning

Author: Beishui Liao

Publisher: Springer

Published: 2019-07-23

Total Pages: 212

ISBN-13: 981137791X

DOWNLOAD EBOOK

This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle’s ancient logic to very recent formal argumentation in AI.

A Theory of Uncertainty
A Theory of Uncertainty

Author: Andreas Klinke

Publisher: Taylor & Francis

Published: 2024-08-02

Total Pages: 283

ISBN-13: 1040102735

DOWNLOAD EBOOK

Using sources from classical to modern that broach the phenomenon of uncertainty and its relation to risk, this book creates a novel approach to the recognized but theoretically often unattended issue of uncertainty. Andreas Klinke develops a new, general theory of uncertainty that provides a taxonomy of categories which are deduced from a critical inventory in philosophy, social and natural sciences, and risk research. Comprising six parts, the philosophical grounding of uncertainty sets the stage for the following philosophical and social scientific accounts and explanation of four distinctive guises of uncertainty that form a taxonomic notion and rationale: ontological, epistemological, linguistic-communicative, and teleological uncertainty. The theoretical-conceptual rumination provides a complex, differentiated view of the anatomy of uncertainty and an understanding that can be used in further theoretical and empirical research, as well as socio-political practice. The latter is delineated in the final part addressing the societal domestication of uncertainty. This book will be of great interest to scholars and students in philosophy, social and natural sciences, risk research, as well as inter- and transdisciplinary science fields.

Language, Logic, and Computation
Language, Logic, and Computation

Author: Aybüke Özgün

Publisher: Springer Nature

Published: 2022-03-30

Total Pages: 367

ISBN-13: 3030984796

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)