C. Barral, S. McIlraith, and T.C. Son, `Formulating diagnostic problem solving using an action language with narratives and sensing', in Seventh International Conference on Knowledge Representation and Reasoning -- KR'2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....is wrong are of two kinds: either the sequentialization of courses is not correct or in the end the student will not achieve the desired competence. We are currently working on the application of other kinds of reasoning (diagnosis by abduction and postdiction) to achieve this goal in the line of [7] where a formal account of diagnostic problem solving is provided in term of an action language. Adaptation in e learning is a open problem and is being tackled by many researchers under many perspectives. In the terminology of works like [15, 16] our work focuses on knowledge dependencies , ....

Chitta Baral, Sheila A. McIlraith, and Tran Cao Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In Principles of Knowledge Representation and Reasoning, KR 2000, pages 311--322, 2000.

....inferred without first finding out what has happened to the system to be diagnosed. Once the system evolution is available, the sets of candidate faults can be derived from it. In this respect, in spite of slightly different terminologies, such as histories [2] situation histories or narratives [4], paths [5] and trajectories [11, 6] all the distinct approaches describe the evolution of a DES as a sequence interleaving states and transitions, as the favorite behavioral models of DESs in the literature are automata. Based on the method for tracking the evolutions of the system that ....

C. Barral, S. McIlraith, and T.C. Son, `Formulating diagnostic problem solving using an action language with narratives and sensing', in Seventh International Conference on Knowledge Representation and Reasoning -- KR'2000.

....and how they can be applied to speci c problems. Examples of these are the language Golog [12] or the Fluent Calculus as developed in [15] for cognitive robotics, a circumscriptive Event Calculus [14] and the language C [8] for planning, and the language L together with others related to it [1, 4] for the problem of diagnosis. Our work focuses on the general computational aspects of such languages using argumentation and abduction as a basis for a principled imple mentation of the language E . A system, called Causal Calculator [13] which is based on the language C translates the whole ....

C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In KR-00, 2000.

....drawbacks. A further line of research worth mentioning here is the modelling of diagnostic problem solving, including observations, actions, exogenous events, and diagnosis repair reconfiguration plans, in languages close to those used in planning, e.g. the situation calculus [14] or narratives [2]. It would be of interest to encode our example in these languages and experiment with the related planning technology [5, 12] 4.2 Existing work on the problem and related ones Other works of interest are those concerned with similar AI applications to power systems. Space precludes more than ....

C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proc. KR, 2000.

....obs(l; k) 2 n then l 2 k . n is consistent (with respect to T ) if it has a model. A uent literal l holds in a model M at time k n (M j= h(l; k) if l 2 k . Finally, n j= h(l; k) if, for every model M of n , M j= h(l; k) Notice that, in contrast to action description language L from [2] [3] a domain description of AL is consistent only if changes in the observations of system s states can be explained without assuming occurrences of any action not recorded in n . The following is a description, SD, of system S from Example 1: Fluents: comp(r) comp(b) switch(s 1 ) switch(s 2 ) ....

....5 Related work There is a numerous number of papers on diagnosis many of which substantially in uenced the authors views on the subject. The roots of our approach go back to [15] where diagnosis for a static environment were formally de ned in logical terms. Recent expansions of this work [17, 12, 3] which take into account the dynamics of system s behavior served as the starting point of the work presented in this paper. We 1. substantially simpli ed the basic de nitions of [3] 2. presented reasonable ecient and provenly correct algorithms for computing dynamic diagnosis; 3. showed how ....

[Article contains additional citation context not shown here]

Baral, C., McIlraith, S., and Son, T. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the

.... are the language Golog [Levesque et al. 1997] based on the early framework of the situation calculus, for cognitive robotics, a circumscriptive Event Calculus [Shanahan, 2000] and the language C [Giuchiglia and Lifschitz, 1998] for planning, and the language L together with others related to it [Baral et al. 2000; Gelfond and Galloway, 2001] for the problem of diagnosis. Our work focuses on the 3 A conditional plan is defined in a completely analogous way to that of a conditional diagnosis in definition 3. general computational aspects of such languages using argumentation and abduction as a basis for a ....

C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In KR-00, 2000.

No context found.

C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In KR 2000.

....] when the observations are about a different sequence of actions than the one in the hypothetical plan. P ( after ff at tjO 0 ) P (D;O 0 )j=M P (MjO 0 ) ThetaP ( after ff at tjM) 5. 25) One major application of the last equation is that it can be used for action based diagnosis [ BMS00 ] , by having as ab(c) where c is a component. Due to lack of space we do not further elaborate here. 6 Conclusion and Future Work In this paper we showed how to integrate probabilistic reasoning into reasoning about actions , and compare our work with Pearl s formulation and research in ....

C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. Proc. of KR 2000, 311-322, 2000.

.... Perhaps the closest research is that of (Shanahan 1996b; 1996a) who investigates the assimilation of sensing results for a mobile robot in a framework based on the event calculus, McIlraith 1997) who assimilates observations into situation calculus device models to perform dynamical diagnosis, or (Baral, McIlraith, Tran 2000) who do likewise in the language L. In this paper, we examine these issues in a dialect of the situation calculus that has been extended with knowledgeproducing actions 2 (Scherl Levesque 1993) but which does not include state constraints. Following (McIlraith 2000) we add state constraints ....

....the flashlight batteries potentially changes the state of one of the hypotheses. In diagnosis domains, such as the ones above, it is often desirable to combine fault detection (hypothesis testing) with repair and to take actions to eradicate faults as easily as to diagnose them (McIlraith 1997; Baral, McIlraith, Tran 2000). However, in cases where it is desirable not to alter the truth status of the hypothesis space, care must be taken to design and verify and or generate tests that maintain designated knowledge constraints and world constraints. e.g. we don t want to determine whether the gas tank is empty by ....

Baral, C.; McIlraith, S.; and Tran, S. 2000. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proc. Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000). To appear.

No context found.

C. Baral, S. McIlraith, and T. Son, "Formulating diagnostic problem solving using an action language with narratives and sensing", Proceedings of KR'2000 (to appear).

No context found.

C. Barral, S. McIlraith, and T.C. Son, `Formulating diagnostic problem solving using an action language with narratives and sensing', in Seventh International Conference on Knowledge Representation and Reasoning -- KR'2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC