Poncelet Laboratory UMI 2615 of CNRS and Independent University of Moscow

We suggest a method for justifying why a literal is or is not contained in the answer set of a logic program. This method makes use of argumentation theory, more precisely of stable ASPIC+ extensions. We describe a way to translate a logic program into an ASPIC+ argumentation theory and investigate the relation between answer sets of the logic program and stable extensions of the translated ASP...

A solution concept that satisfies the axioms of invariance and strong backward induction selects a stable set of a game’s equilibria.

Expert systems are typically expected to be able to justify their decisions to the user. This paper argues that help systems or tutoring systems based on a plan recognizer can equally benefit from an explanation component. To this end a plan recognition system equippedwith a usermodel is presented and the techniques required to generate precise and useful justifications of its results are intro...

Scientific claims can be assessed epistemically in either of two ways: according to scientific standards, or by means of philosophical arguments such as the no-miracle argument in favor of scientific realism. This paper investigates the basis of this duality of epistemic assessments. It is claimed that the duality rests on two different notions of epistemic justification that are well-known fro...

If users are expected to depend on answers from applications and services on the web, they need to have methods for asking for information that will increase their understanding and their trust in the answers. One way of increasing a user’s understanding and trust is to provide a summarized or detailed description of how the answer was obtained. This process would typically depend on some kind ...

Abstract The state of security on the Internet is poor and progress toward increased protection is slow. This has given rise to a class of action referred to as “Ethical Hacking”. Companies are releasing software with little or no testing and no formal verification and expecting consumers to debug their product for them. For dot.com companies time-to-market is vital, security is not perceived a...

Project justification is regarded as one of the major methodological deficits in Data Warehousing practice. As reasons for applying inappropriate methods, performing incomplete evaluations, or even entirely omitting justifications, the special nature of Data Warehousing benefits and the large portion of infrastructure-related activities are stated. In this paper, the economic justification of D...