IJAR
2008
13 years 11 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
AAAI
1990
14 years 2 days ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
LANMR
2004
14 years 9 days ago
2004
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
APPINF
2003
14 years 9 days ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
FLAIRS
2006
14 years 9 days ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
LPNMR
1993
Springer
14 years 3 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
IEAAIE
1998
Springer
14 years 3 months ago
1998
Springer
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...