Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Actions. in Journal od Logic and Computation, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Actions in Dynamic Linear Time Temporal.. - Giordano, Martelli, Schwind (2001) (Correct)
....making use of regular programs (as in PDL) The need of temporally extended goals has been motivated by Bacchus and Kabanza [2] and by Kabanza et al. 1] who proposed an approach to planning based on a linear temporal logic. Other authors have made use of the calculus for reasoning about actions [19, 6, 5]. The calculus allows complex goals to be formalized in a planning context, including achievement and maintenance goals [19] Apart from [5] all the proposals mentioned above do not deal with the problem of providing a logical specification of the dynamic of the system in a temporal logic. ....
....by Kabanza et al. 1] who proposed an approach to planning based on a linear temporal logic. Other authors have made use of the calculus for reasoning about actions [19, 6, 5] The calculus allows complex goals to be formalized in a planning context, including achievement and maintenance goals [19]. Apart from [5] all the proposals mentioned above do not deal with the problem of providing a logical specification of the dynamic of the system in a temporal logic. Rather, they assume that the system is fully specified, for instance, by a state transition function [1] or as a process in a ....
Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Actions. in Journal od Logic and Computation, 1998.
Verifying Compliance with Commitment Protocols - Enabling Open Web-Based Self-citation (Singh) (Correct)
No context found.
Munindar P. Singh. Applying the mu-calculus in planning and reasoning about action. Journal of Logic and Computation, 8(3):425--445, June 1998.
Know-How - Singh (1998) (6 citations) Self-citation (Singh) (Correct)
....and indeed even plans in general have usually been viewed as being directed toward the achievement of specific conditions. It is equally natural, and in many cases better, to consider not only the achievement of conditions but also their maintenance. We have developed an approach to maintenance in [34]. When intentions are similarly expanded, we would expect a similar relationship between intentions to maintain and the know how to maintain, as between intentions to achieve and know how to achieve. However, this subject has not yet been thoroughly studied in the literature and the bounds of the ....
....define a tree, ha; a; i, such that x can achieve q by properly executing that tree. Therefore, x knows how to achieve q at t 0 . Now we present a recursive characterization of know how. This characterization, which is remarkably simple, forms the basis of the mu calculus approach developed in [34]. ff : K t (9hffitrue 8[ff]K h p) K h p Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi Phi H H H H H H H H H H H H H H H H XXXXXXXXXXXXXXXX Phi Phi Phi Phi Phi Phi Phi H H H H H H H H XXXXXXXX Phi Phi ....
[Article contains additional citation context not shown here]
Munindar P. Singh. Applying the mu-calculus in planning and reasoning about action. Journal of Logic and Computation, 1998. In press.
Verifying Compliance with Commitment Protocols - Venkatraman, Singh (1998) (10 citations) Self-citation (Singh) (Correct)
....representations for protocols. Such representations can capture only the lowest levels of a multiagent interaction, and their monolithicity does not accord well with distributed execution and compliance testing. Model checking has recently drawn much attention in the multiagent community, e.g. [2, 16]. However, these approaches consider knowledge and related concepts and are thus not directly applicable for behavior based compliance. The present approach highlights the synergies between distributed computing and multiagent systems. Since both fields have advanced in different directions, a ....
Munindar P. Singh. Applying the mu-calculus in planning and reasoning about action. Journal of Logic and Computation, 8(3):425--445, June 1998.
Reasoning about Actions in Dynamic Linear Time Temporal Logic - Giordano (2001) (Correct)
No context found.
Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Actions. in Journal od Logic and Computation, 1998.
Reasoning about Actions in - Dynamic Linear Time (Correct)
No context found.
Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Actions. in Journal od Logic and Computation, 1998.
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