Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
726
Probabilistic Horn abduction and Bayesian networks
- Artificial Intelligence
, 1993
"... This paper presents a simple framework for Horn-clause abduction, with probabilities associated with hypotheses. The framework incorporates assumptions about the rule base and independence assumptions amongst hypotheses. It is shown how any probabilistic knowledge representable in a discrete Bayesia ..."
Abstract
-
Cited by 328 (38 self)
- Add to MetaCart
Bayesian belief network can be represented in this framework. The main contribution is in finding a relationship between logical and probabilistic notions of evidential reasoning. This provides a useful representation language in its own right, providing a compromise between heuristic and epistemic
Developments in the Measurement of Subjective Well-Being
- Psychological Science.
, 1993
"... F or good reasons, economists have had a long-standing preference for studying peoples' revealed preferences; that is, looking at individuals' actual choices and decisions rather than their stated intentions or subjective reports of likes and dislikes. Yet people often make choices that b ..."
Abstract
-
Cited by 284 (7 self)
- Add to MetaCart
F or good reasons, economists have had a long-standing preference for studying peoples' revealed preferences; that is, looking at individuals' actual choices and decisions rather than their stated intentions or subjective reports of likes and dislikes. Yet people often make choices
Modeling Students' Reasoning about Qualitative Physics: Heuristics for Abductive Proof Search
- IN PROCEEDINGS OF INTELLIGENT TUTORING SYSTEMS CONFERENCE, LNCS
, 2004
"... We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student's essay and for guiding feedback to the student. The weighted abduction framework of the prover is augmented with various heuristics to assist in searching for ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student's essay and for guiding feedback to the student. The weighted abduction framework of the prover is augmented with various heuristics to assist in searching
The Different Roles of Abstraction in Abductive Reasoning
"... ion in Abductive Reasoning Daniele Theseider Dupr'e and Mauro Rossotto ? Dipartimento di Informatica -- Universit`a di Torino Corso Svizzera 185 -- 10149 Torino, Italy -- E-mail: dtd@di.unito.it Abstract. The use of knowledge at different levels of abstraction can be proposed to make automated ..."
Abstract
- Add to MetaCart
automated abduction more flexible. This paper analyzes several declarative and computational ways of exploiting abstractions in abduction, including the definition and implementation of preference criteria for explanations based on abstraction, and the use of abstractions to focus the explanation process. 1
Abductive Reasoning in Three-valued Logic for Knowledge Bases
"... In this paper we study the case of monotonic rule-based systems which use a forward chaining algorithm to make deductions and a query algorithm to compute queries to be asked to the user in order to be closer to the expected goal (as Guru [?], IS [?] or Nexpert [?]). Unfortunately in many system ..."
Abstract
- Add to MetaCart
systems the query algorithm is not consistent with the deduction algorithm. Queries asked by these systems are often useless. We show that computing a query for those systems is equivalent to making abductive reasoning in three-valued logic and we propose a formalization of useful queries for expert
An abductive approach for analysing event-based requirements specifications
- 18th Int. Conf. on Logic Programming (ICLP
, 2002
"... We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The approach uses a variant of Kowalski and Sergot’s Event Calculus to represent such specifications declaratively an ..."
Abstract
-
Cited by 43 (12 self)
- Add to MetaCart
and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of counterexamples (if any exist) of the property in terms of symbolic “current ” states and associated event-based transitions. A case
Self-determination and persistence in a real-life setting: Toward a motivational model of high school dropout.
- Journal of Personality and Social Psychology,
, 1997
"... The purpose of this study was to propose and test a motivational model of high school dropout. The model posits that teachers, parents, and the school administration's behaviors toward students influence students' perceptions of competence and autonomy. The less autonomy supportive the so ..."
Abstract
-
Cited by 183 (19 self)
- Add to MetaCart
(see Much research supports this line of reasoning. For instance, controlling behavior from the teacher It is important to emphasize that the motivational model posits that social agents do not influence students' motivation directly. Rather, in line with self-determination theory, social agents
An Assumption-Based Framework for Non-Monotonic Reasoning
- Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning
, 1993
"... The notion of assumption-based framework generalises and refines the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumpti ..."
Abstract
-
Cited by 70 (15 self)
- Add to MetaCart
The notion of assumption-based framework generalises and refines the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable
Modeling Cyclicity and Generalized Cost-Based Abduction Using Linear Constraint Satisfaction
, 1992
"... Abductive reasoning (explanation) is a backward-chaining process on a collection of logical rules. Cost-based abduction is a model for abductive reasoning which provides a concrete formulation of the explanation process. Unfortunately, abduction is an NP-hard task. Current approaches for performing ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
abductive reasoning have been based on graph searching heuristics. However, they are very restrictive and still exhibit expected-case exponential growth rates. One particularly stringent restriction can be found in cost-based abduction whereby the knowledge base must be acyclic. The existence of cyclicity
Air-Crew Scheduling through Abduction
- Proceedings of IEA/AIE-99
, 1999
"... . This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic Programming (ALP). The aim of this work was to produce a system for Cyprus Air ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
. This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic Programming (ALP). The aim of this work was to produce a system for Cyprus
Results 1 - 10
of
726
