Maximal-confirmation diagnoses

Roos, Nico

doi:10.1016/j.knosys.2010.12.002

Cited by 2 publications

(2 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In their approach, each fault mode is a real number δ representing a specific delay from the nominal duration interval, and observations are given as uncertain time intervals. They propose a notion of preferred diagnosis (maximum confirmation [36]) which is based on the uncertainty of observations and, instead of trying to maximize the probability of action delays, tries to maximize the coverage of the intervals associated with observations. In such a framework, an explanation is therefore represented in terms of temporal constraints that are violated.…”

Section: Related Workmentioning

confidence: 99%

Explaining interdependent action delays in multiagent plans execution

Micalizio

Torta

2015

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

In this paper we address the problem of diagnosing the execution of Multiagent Plans with interdependent action delays. To this end, we map our problem to the Model-Based Diagnosis setting, and solve it by devising a novel modeling and reasoning method to infer preferred diagnoses based on partial observation of the start and end times of plan actions. Interestingly, we show that the kind of problem we address can be seen as an extension to the well known disjunctive temporal problem with preferences, augmented with a (qualitative) Bayesian network that models dependencies among action delays. An extensive set of tests performed with a prototype implementation on two different problem domains proves the feasibility of the proposed methodology.

show abstract

Section: Related Workmentioning

confidence: 99%

Explaining interdependent action delays in multiagent plans execution

Micalizio

Torta

2015

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

show abstract

“…In [41], the authors introduce a diagnostic framework to study the consequences of using inaccurate values in ''Model-Based Diagnosis (MBD)''. The MBD specifies the normal and abnormal behaviors of the system to be diagnosed.…”

Section: Practical and Industrial Settingsmentioning

confidence: 99%

Communicative commitments: Model checking and complexity analysis

Bentahar

El-Menshawy

et al. 2012

Knowledge-Based Systems

View full text Add to dashboard Cite

Maximal-confirmation diagnoses

Cited by 2 publications

References 26 publications

Explaining interdependent action delays in multiagent plans execution

Explaining interdependent action delays in multiagent plans execution

Communicative commitments: Model checking and complexity analysis

Contact Info

Product

Resources

About