Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/5395

Title: Constrained consequence
Authors: Britz, K
Heidema, J
Varzinczak, I
Keywords: Constrained consequences
Weakening operator
Infra-classical entailment
Non-monotonic reasoning
Modal logic
Issue Date: Sep-2011
Publisher: Springer verlag (germany)
Citation: Britz, K, Heidema, J and Varzinczak, I. 2011. Constrained consequence. Logica Universalis, Vol 5(2), pp 327-350
Series/Report no.: Workflow request;7728
Abstract: There 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 resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper the authors propose and explicate one formal framework for a whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. They do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, their infra-classical reasoning demands (beyond a |= ß) that Mod(ß) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(a), and which can be described by a sentence a with ß |= a. Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies.
Description: Copyright: 2011 Springer verlag (germany). This is a Pre-Print version of the paper, the definitive
URI: http://www.springerlink.com/content/r3g3107r82642mk1/
ISSN: 1661-8297
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Britz1_2011.pdf359.28 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback