Author:Britz, K; Heidema, J; Varzinczak, IDate:Sep 2011There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited ...Read more
Author:Britz, K; Varzinczak, IDate:Mar 2018We investigate an aspect of defeasibility that has somewhat been overlooked by the nonmonotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in ...Read more
Author:Britz, K; Meyer, T; Varzinczak, IDate:Dec 2012One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential semantics are studied. In spite ...Read more
Author:Rens, GDate:Apr 2016I propose a framework for an agent to change its probabilistic beliefs when a new piece of propositional information a is observed. Traditionally, belief change occurs by either a revision process or by an update process, depending on whether ...Read more
Author:Britz, K; Varzinczak, IDate:Jun 2018Modal accounts of normality in non-monotonic reasoning traditionally have an underlying semantics based on a notion of preference amongst worlds. In this paper, we motivate and investigate an alternative semantics, based on ordered accessibility ...Read more
Author:Britz, K; Meyer, T; Varzinczak, IDate:Nov 2011Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as ...Read more