Project

Back to overview

Justifications and non-classical reasoning (Juno)

English title Justifications and non-classical reasoning (Juno)
Applicant Studer Thomas
Number 165549
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Information Technology
Start/End 01.10.2016 - 30.09.2019
Approved amount 352'926.00
Show all

All Disciplines (2)

Discipline
Information Technology
Mathematics

Keywords (5)

justification logic; non-classical reasoning; logic of proofs; probabilistic logic; epistemic logic

Lay Summary (German)

Lead
In vielen alltäglichen Situationen ist der genaue Zustand unserer Umgebung nicht vollständig bekannt und wir müssen Entscheidungen aufgrund unvollständiger Information treffen. Deshalb verwenden wir oft eine Form des Schliessens unter Unsicherheit um zukünftige Aktionen zu planen.Das Hauptziel dieses Projektes ist es probabilistische Evidenz-Logiken zu entwickeln mit denen logische Schlussfolgerungen aus unsicherem Wissen beschrieben und untersucht werden können.
Lay summary

Die probabilistische Semantik ermöglicht es, neue Mechanismen zu entwickeln, um epidemische Evidenz zu kombinieren. Sie erlaubt es auch, die genaue Beziehung zwischen Wahrscheinlichkeit und Evidenz zu studieren und eine Logik zu entwickeln, welche Bayessche Inferenz internalisieren kann.

Mit Hilfe von nicht-standard Zahlen können wir angenäherte bedingte Wahrscheinlichkeiten modellieren und damit auch logisches Schliessen mit nicht-monotoner Evidenz. Ausserdem können wir Abduktion und das Problem der "besten Erklärung" mit Hilfe unserer neuen Theorien behandeln.

 

 

 

Direct link to Lay Summary Last update: 06.06.2016

Responsible applicant and co-applicants

Employees

Publications

Publication
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Marinkovic Bojan, Glavan Paola, Ognjanovic Zoran, Studer Thomas (2019), A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol, in Journal of Logic and Computation, 29(5), 803-830.
Bayesian Confirmation and Justifications
Mohammadi Hamzeh, Studer Thomas (2019), Bayesian Confirmation and Justifications, Springer International Publishing, Cham, 408-418.
Probabilistic Consensus of the Blockchain Protocol
Marinković Bojan, Glavan Paola, Ognjanović Zoran, Doder Dragan, Studer Thomas (2019), Probabilistic Consensus of the Blockchain Protocol, Springer International Publishing, Cham, 469-480.
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities
Doder Dragan, Savić Nenad, Ognjanović Zoran (2019), Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities, in Journal of Logic, Language and Information, 1.
Subset Models for Justification Logic
Lehmann Eveline, Studer Thomas (2019), Subset Models for Justification Logic, Springer Berlin Heidelberg, Berlin, Heidelberg, 433-449.
Logics of Proofs and Justifications
Kuznets Roman, Studer Thomas (2019), Logics of Proofs and Justifications, College Publications, London.
Relevant Justification Logic
SavicNenad, StuderThomas (2019), Relevant Justification Logic, in Journal of Applied Logics, 6(2), 397-412.
The Logic of Temporal Domination
Studer Thomas (2019), The Logic of Temporal Domination, in 2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF), Danang, VietnamIEEE, Piscataway, NJ.
Public Announcements for Epistemic Models and Hypertheories
Savić Nenad, Studer Thomas (2019), Public Announcements for Epistemic Models and Hypertheories, Springer Berlin Heidelberg, Berlin, Heidelberg, 64-75.
A logic of knowing why
Xu Chao, Wang Yanjing, Studer Thomas (2019), A logic of knowing why, in Synthese, 1.
Probabilistic Reasoning About Simply Typed Lambda Terms
Ghilezan Silvia, Ivetić Jelena, Kašterović Simona, Ognjanović Zoran, Savić Nenad (2018), Probabilistic Reasoning About Simply Typed Lambda Terms, in Logical Foundations of Computer Science, Springer International Publishing, Cham.
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators
Doder Dragan, Savić Nenad, Ognjanović Zoran (2018), A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators, in Foundations of Information and Knowledge Systems, Springer International Publishing, Cham.
A Logic of Blockchain Updates
Brünnler Kai, Flumini Dandolo, Studer Thomas (2018), A Logic of Blockchain Updates, in Logical Foundations of Computer Science. LFCS 2018, Springer, Cham.
The Internalized Disjunction Property for Intuitionistic Justification Logic
Marti Michel, Studer Thomas (2018), The Internalized Disjunction Property for Intuitionistic Justification Logic, in Advances in Modal Logic, Volume 12, 511-529, College Publications, London511-529.
The Proof Theory of Common Knowledge
Marti Michel, Studer Thomas (2018), The Proof Theory of Common Knowledge, in van Ditmarsch H., Sandu G. (ed.), Springer, Basel, 433-455.
Logics with lower and upper probability operators
Savić Nenad, Doder Dragan, Ognjanović Zoran (2017), Logics with lower and upper probability operators, in International Journal of Approximate Reasoning, 88, 148-168.
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities
Savić Nenad, Doder Dragan, Ognjanović Zoran (2017), A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities, in ymbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2017, Springer International Publishing, Cham.
Justification Logic with Approximate Conditional Probabilities
Ognjanović Zoran, Savić Nenad, Studer Thomas (2017), Justification Logic with Approximate Conditional Probabilities, in Logic, Rationality, and Interaction, 681-686, Springer, Cham681-686.
Temporal Justification Logic
Bucheli Samuel, Ghari Meghdad, Studer Thomas (2017), Temporal Justification Logic, in Ninth Workshop on Methods for Modalities, Open Publishing Association, Waterloo, Australia.

Collaboration

Group / person Country
Types of collaboration
BFH Biel (Prof. Brünnler) Switzerland (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
ZHAW Winterthur (Dr. Flumini) Switzerland (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
Department of Philosophy, Peking Univesity (Prof. Wang) China (Asia)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
IPM Isfahan (Dr Ghari) Iran (Asia)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
- Exchange of personnel
Mathematical Institute of the Serbian Academy of Sciences and Arts (Prof. Ognjanovic) Serbien (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
TYPES group, LORIA - Université de Lorraine (Dr. Marti) France (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
Theory and Logic Group, TU Vienna (Dr. Kuznets) Austria (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
University of Zagreb (Dr. Glavan) Croatia (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Publication

Scientific events

Active participation

Title Type of contribution Title of article or contribution Date Place Persons involved
Logic and Applications 2019 Talk given at a conference Justifications and Incomplete Information 23.09.2019 Dubrovnik, Croatia Savic Nenad;
Logic and Applications 2019 Talk given at a conference A problem with probabilistic CTL 23.09.2019 Dubrovnik, Croatia Studer Thomas;
ECSQARU 2019 Talk given at a conference Bayesian confirmation and justification 18.09.2019 Belgrad, Serbien Studer Thomas;
Thirteenth International Tbilisi Symposium on Language, Logic and Computation 2019 Talk given at a conference Incomplete Information and Justifications 16.09.2019 Ajara, Georgia Savic Nenad;
31st European Summer School in Logic, Language and Information 2019 Poster An Intuitionistic Logic with Lower and Upper Probabilities (Work in Progress) 05.08.2019 Riga, Latvia Savic Nenad;
WoLLIC 2019 Talk given at a conference Subset models for justification logic 02.07.2019 Utercht, Netherlands Lehmann Eveline;
ASL 2019 Annual North American Meeting Talk given at a conference Subset Models for Justification Logic 20.05.2019 New York, United States of America Studer Thomas;
Swiss Logic Gathering 2019 Talk given at a conference Subset models for Justification Logic and Probabilistic Evidence Logic 03.05.2019 Bern, Switzerland Lehmann Eveline;
Eighth Indian Conference on Logic and its Applications 2019 Talk given at a conference Public Announcements for Epistemic Models and Hypertheories 01.03.2019 New Delhi, India Savic Nenad;
Real Valued Model Logics - SGSLPS Fall Meeting 2018 Talk given at a conference The Proof Theory of Modal Fixed Point Logics 29.11.2018 Bern, Switzerland Studer Thomas;
Logic and Applications 2018 Talk given at a conference Epistemic models, hypertheories and public announcements 24.09.2018 Dubrovnik, Croatia Savic Nenad;
Chinese Mathematical Logic Conference Talk given at a conference The proof theory of modal fixed point logics 11.05.2018 Duyun, China Studer Thomas;
Seminar, Department of Philosophy, Tsinghua University, Beijing, Individual talk Common knowledge from a proof-theoretic perspective 09.05.2018 Peking, China Studer Thomas;
Münchenwilermeeting Spring 18 Talk given at a conference Subset models for Justification Logic 28.03.2018 Münchenwiler, Switzerland Lehmann Eveline;
Münchenwilermeeting Spring 18 Talk given at a conference Relevant Justification Logic RJ4 28.03.2018 Münchenwiler, Switzerland Savic Nenad;
Mini Symposium of Computer Grapics, Data Science, Logic and Security Talk given at a conference I know that you know that I know – Epistemic Logic in Computer Science 15.02.2018 Bern, Switzerland Studer Thomas;
Logical Foundations of Computer Science Talk given at a conference Probabilistic reasoning about simply typed lambda terms 08.01.2018 Deerfield Beach, United States of America Savic Nenad;
Logical Foundations of Computer Science Talk given at a conference A Logic of Blockchain Updates 08.01.2018 Deerfield Beach, United States of America Studer Thomas;
ISRALOG 17 Talk given at a conference Relevant Justifications (ongoing work) 15.10.2017 Haifa, Israel Savic Nenad;
Münchenwilermeeting Fall 17 Talk given at a conference A topological semantics for Justification Logic 28.09.2017 Münchenwiler, Switzerland Lehmann Eveline;
Logic and Applications 2017 Talk given at a conference Towards Relevant Justifications (ongoing work) 18.09.2017 Dubrovnik, Croatia Savic Nenad;
LORI 2017 Talk given at a conference Justification Logic with Approximate Conditional Probabilities 11.09.2017 Sapporo, Japan Studer Thomas;
Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017) Talk given at a conference A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities 11.07.2017 Lugano, Switzerland Savic Nenad;
Mathematical Institute of Serbian Academy of Sciences and Arts Individual talk Blockchain Logic 20.06.2017 Belgrade, Serbien Studer Thomas;
CELLO Workshop Talk given at a conference Blockchain Logic 09.05.2017 Nancy, France Studer Thomas;
Münchenwilermeeting Spring 17 Talk given at a conference Logic for reasoning with uncertainty 03.05.2017 Münchenwiler, Switzerland Savic Nenad;
Constructivism, Logic and Topology Talk given at a conference The proof-theory of common knowledge 17.01.2017 Bern, Switzerland Studer Thomas;
Ninth Methods for Modality Workshop - 2017 Talk given at a conference Temporal Justification Logic 08.01.2017 Kanpur, India Studer Thomas;
Münchenwilermeeting Fall 16 Talk given at a conference Probabilistic reasoning in type systems 20.10.2016 Münchenwiler, Switzerland Savic Nenad;


Self-organised

Title Date Place
Logic and Applications 2019 23.09.2019 Dubrovnik, Croatia
Swiss Logic Gathering 2019 03.05.2019 Bern, Switzerland
PhDs in Logic XI 24.04.2019 Bern, Switzerland
Logic and Applications 2018 24.09.2018 Dubrovnik, Croatia
Logic and Applications 2017 18.09.2017 Dubrovnik, Croatia

Associated projects

Number Title Start Funding scheme
184625 Explicit Reasons 01.09.2019 Project funding (Div. I-III)
153169 Structural Proof Theory and the Logic of Proofs 01.05.2014 Project funding (Div. I-III)

Abstract

In most situations, the exact actual state of our environment is unknown and we only have incomplete information available when we have to make decisions. Therefore, we often use some form of reasoning under uncertainty in order to make inferences or to plan actions.This project seeks to develop novel probabilistic justification logics and corresponding non-classical reasoning procedures to model epistemic situations with incomplete information.
-