6 search results - page 1 / 2 » On the Role of Coherence in Abductive Explanation |
AAAI
1990
13 years 5 months ago
1990
Abduction is an important inference process underlying much of human intelligent activities, including text understanding, plan recognition, disease diagnosis, and physical device...
JLP
2000
13 years 4 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
EXACT
2008
13 years 6 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
NSPW
2004
ACM
13 years 10 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
JOLLI
2008
13 years 4 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...