Sciweavers

3970 search results - page 21 / 794
» A Logic For Causal Reasoning
Sort
View
AUSAI
2007
Springer
13 years 11 months ago
An Upper Ontology for Event Classifications and Relations
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...
Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda
ATAL
2006
Springer
13 years 11 months ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch
ECAI
1994
Springer
13 years 11 months ago
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
Frank van Harmelen, Annette ten Teije
CL
2006
Springer
13 years 7 months ago
Inter-language reflection: A conceptual model and its implementation
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
Kris Gybels, Roel Wuyts, Stéphane Ducasse, ...
AI
1998
Springer
13 years 7 months ago
Reasoning About Actions: Steady Versus Stabilizing State Constraints
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
Michael Thielscher