R. Khardon and D. Roth. Defaults and relevance in model-based reasoning. Artificial Intelligence, 97(1/2):169--193, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
otterlib - a C library for theorem proving - Flavio Protasio Ribeiro (Correct)
....can be viewed as a means to better specify the problem at hand. The third alternative has not been researched extensively specially due to its inherent intractability for general cases. Nevertheless, we can direct the reader to [Darwiche 1997, Lakemeyer 1997, Demolombe and Farias del Cerro 2000, Khardon and Roth 1997] 7.3 Our BR example If we consider the belief set to be the closure of the entrenchment base as is the original concept behind AGM belief revision, all our functions with the exception of tautology( reduce to membership tests. In general it is impractical to represent this set directly, as it ....
Khardon R., Roth D. Defaults and relevance in model-based reasoning. Arti cial Intelligence 97, 83-136.
Computing Intersections of Horn Theories for Reasoning with .. - Eiter, Ibaraki, Makino (1998) (1 citation) (Correct)
....is that deciding whether KB ff holds is intractable in already plain settings; e.g. in the propositional context, it is a well known co NP complete problem. More recently, model based reasoning has been proposed as an alternative form of representing and accessing a logical knowledge base, cf. [13, 24, 25, 26, 29, 30]. It can be seen as an approach towards Levesque s notion of vivid reasoning [31] which asks for a more straight representation of a knowledge base, from which common sense reasoning is easier and more suitable than from the traditional one. In model based reasoning, KB is represented by a ....
....larger representation in the other. The intertranslatability of the two approaches, in particular for Horn theories, has been addressed in [24, 25, 26, 27, 29] A number of techniques for efficient model based representation of various fragments of propositional logic have been devised, cf. [25, 29, 30]. However, little attention has been paid so far on the important issue of how in this representation different knowledge bases KB 1 ; KB l can be combined into a single KB. Main problems studied. The semantical issue of combining knowledge bases, as well as closely related issues, have ....
R. Khardon and D. Roth. Defaults and Relevance in Model-Based Reasoning. Artificial Intelligence, 97(1/2):169--193, 1997.
Space Efficiency of Propositional Knowledge Representation.. - Cadoli, al. (2000) (3 citations) (Correct)
....1995) Gogic and collegues (1995) analyzed the relative succinctness of several PKR formalisms in representing sets of models. Among other results, they showed that skeptical default logic can represent sets of models more succinctly than circumscription. Kautz, Kearns, and Selman (1995) and Khardon and Roth (1996, 1997) considered representations of knowledge bases based on the notion of characteristic model, comparing them to other representations, e.g. based on clauses. They showed that the representation of knowledge bases with their characteristic models is sometimes exponentially more compact than other ....
....classes as a technical tool for proving results on the relative e#ciency of formalisms in representing knowledge in little space. Several papers in the literature focus on the problem of reducing the complexity of problems via a preprocessing phase (Kautz Selman, 1992; Kautz et al. 1995; Khardon Roth, 1997). This motivates the introduction of a measure of complexity of problems assuming that such preprocessing is allowed. Following the intuition that a knowledge base is known well before questions are posed to it, we divide a reasoning problem into two parts: one part is fixed or accessible o# line ....
[Article contains additional citation context not shown here]
Khardon, R., & Roth, D. (1997). Defaults and relevance in model-based reasoning. Artificial Intelligence, 97, 169--193.
Computing Intersections Of Theories For Reasoning With Models - Eiter, al. (1998) (Correct)
....is that deciding whether KB ff holds is intractable in already plain settings; e.g. in the propositional context, it is a well known co NP complete problem. More recently, model based reasoning has been proposed as an alternative form of representing and accessing a logical knowledge base, cf. [13, 24, 25, 26, 29, 30]. It can be seen as an approach towards Levesque s notion of vivid reasoning [31] which for asks for a more straight representations of a knowledge base, from which common sense reasoning is easier and more suitable than from the traditional one. In model based reasoning, KB is represented by a ....
....larger representation in the other. The intertranslatability of the two approaches, in particular for Horn theories, has been addressed in [24, 25, 26, 27, 29] A number of techniques for efficient model based representation of various fragments of propositional logic have been devised, cf. [25, 29, 30]. However, little attention has been paid so far on the important issue of how in this representation different knowledge bases KB 1 ; KB n can be combined into a single KB. Main problems studied. The semantical issue of combining knowledge bases, as well as closely related issues, have ....
R. Khardon and D. Roth. Defaults and Relevance in Model-Based Reasoning. Artificial Intelligence, 97(1/2):169--193, 1997.
Learning to Reason with a Restricted View - Khardon, Roth (1998) (6 citations) Self-citation (Khardon Roth) (Correct)
No context found.
Khardon, R. and D. Roth. 1997a. Default and relevance in model based reasoning. Artificial Intelligence, 97(1-2):169--193.
Learning to Reason - Khardon, Roth (1994) (21 citations) Self-citation (Khardon Roth) (Correct)
....knowledge base W ) There, no access to the world EXD (W ) is available, and the sampling is done in general from the uniform distribution, in order to find satisfying assignments of W. This approach, that is typical in many approximate reasoning techniques, is intractable in a very strong sense [Rot93, KR94b]. The new approach exemplifies the power gained by giving the reasoner access to the world she is supposed to reason in later. Learning to reason is possible for arbitrary world and query languages given that the queries are fair. However, the one time sampling approach is not the ultimate ....
R. Khardon and D. Roth. On defaults and relevance in model-based reasoning. In AAAI Fall Symposium on Relevance, 1994. Forthcoming.
Learning to Reason with a Restricted View - Khardon, Roth (1995) (6 citations) Self-citation (Khardon Roth) (Correct)
....reasoning (Reiter, 1987) which have proved di cult to capture in other frameworks. The Learning to Reason approach has also been extended to consider several other tasks, including some forms of default reasoning, learning in order to act in the world, and learning of active classi ers (Khardon and Roth, 1997; Khardon, 1996; Greiner, Grove, and Roth, 1996) The rest of the paper is organized as follows. We start by presenting some preliminaries on reasoning in Section 2 and then introduce our notion of partial observations in Section 3. Section 4 develops ideas on knowledge representations and ....
Khardon, R. and D. Roth. 1997. Default and relevance in model based reasoning. Articial Intelligence, 97(1-2):169-193.
Abduction and the Dualization Problem - Eiter, Makino (2003) (Correct)
No context found.
R. Khardon and D. Roth. Defaults and relevance in model-based reasoning. Artificial Intelligence, 97(1/2):169--193, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC