Conditional Logic

Nute, Donald; Cross, Charles B.

doi:10.1007/978-94-017-0456-4_1

Cited by 35 publications

(7 citation statements)

References 136 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…More generally, the ternary relation could also represent the various revision, update and even causal connectives which have been studied in the logics of "commonsense reasoning" in artificial intelligence and philosophical logic, such as conditional logic [74], default and non-monotonic logics [62,44], belief revision theory [45], etc. Formalizing commonsense reasoning within non-classical logics is not a new line of research (see for instance [48,76,71,72,2,75]).…”

Section: Resultsmentioning

confidence: 99%

Dynamic epistemic logic in update logic

Aucher

2016

J Logic Computation

View full text Add to dashboard Cite

We show that Dynamic Epistemic Logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update and we provide a sequent calculus for DEL. Finally, we show that DEL with a finite number of atomic events is as expressive as epistemic logic. In parallel, we provide a sequent calculus for update logic which turns out to be a generalization of the non-associative Lambek calculus.

show abstract

Section: Resultsmentioning

confidence: 99%

Dynamic epistemic logic in update logic

Aucher

2016

J Logic Computation

View full text Add to dashboard Cite

show abstract

“…It is, however, a particular kind of update operator and the ternary relation of substructural logics could actually be a representation of any sort of update, including the various revision and update operators which have been studied in the logics of "common sense reasoning" of artificial intelligence and philosophical logic, such as conditional logic [52], default and non-monotonic logics [47,42], belief revision theory [43], etc. .…”

Section: Resultsmentioning

confidence: 99%

Dynamic Epistemic Logic as a Substructural Logic

Aucher

2014

Outstanding Contributions to Logic

View full text Add to dashboard Cite

Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics. This is problematic if logic is to be viewed ultimately as a unified and unifying field and if we want to avoid that DEL goes on "riding off madly in all directions" (a metaphor used by van Benthem about logic in general). In this article, we show that DEL can be redefined naturally and meaningfully as a two-sorted substructural logic. In fact, it is even one of the most primitive substructural logics since it does not preserve any of the structural rules. Moreover, the ternary semantics of DEL and its dynamic interpretation provides a conceptual foundation for the Routley & Meyer's semantics of substructural logics.

show abstract

“…[33]. In contrast to Bayesian logic programs or Markov logic networks which extend graph-based propositional formalisms like Bayes nets and Markov networks, this approach extends probabilistic conditional logic [37,44] to the first-order case. In doing so, the approach discussed here is similar in spirit to the approaches undertaken in [34] and [14] which also apply Maximum Entropy reasoning on relational extensions of probabilistic conditional logic.…”

Section: Relational Maximum Entropymentioning

confidence: 99%

An integrated development environment for probabilistic relational reasoning

Finthammer

Thimm

2012

Logic Journal of IGPL

View full text Add to dashboard Cite

This paper presents KReator, a versatile integrated development environment for probabilistic inductive logic programming currently under development. The area of probabilistic inductive logic programming (or statistical relational learning) aims at applying probabilistic methods of inference and learning in relational or first-order representations of knowledge. In the past ten years the community brought forth a lot of proposals to deal with problems in that area which mostly extend existing propositional probabilistic methods like Bayes Nets and Markov Networks on relational settings. Only few developers provide prototypical implementations of their approaches and the existing applications are often difficult to install and to use. Furthermore, due to different languages and frameworks used for the development of different systems the task of comparing various approaches becomes hard and tedious. KReator aims at providing a common and simple interface for representing, reasoning, and learning with different relational probabilistic approaches. It is a general integrated development environment which enables the integration of various frameworks within the area of probabilistic inductive logic programming and statistical relational learning. Currently, KReator implements Bayesian logic programs, Markov logic networks, and relational maximum entropy under grounding semantics. More approaches will be implemented in the near future or can be implemented by researchers themselves as KReator is open-source and available under public license. In this paper, we provide some background on probabilistic inductive logic programming and statistical relational learning and illustrate the usage of KReator on several examples using the three approaches currently implemented in KReator. Furthermore, we give an overview on its system architecture.

show abstract

Conditional Logic

Cited by 35 publications

References 136 publications

Dynamic epistemic logic in update logic

Dynamic epistemic logic in update logic

Dynamic Epistemic Logic as a Substructural Logic

An integrated development environment for probabilistic relational reasoning

Contact Info

Product

Resources

About