Stone, M. (1998a). Abductive planning with sensing. In AAAI, pages 631--636, Madison, WI.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... have extended theories of action to include the notion of sensing or knowledge producing actions (e.g. Scherl Levesque 1993; Baral Tran 1998; Golden Weld 1996; Funge 1998) and have characterized the effect of sensing actions on an agent s state of knowledge, and even how to plan (e.g. (Stone 1998; Golden Weld 1996) and to project (e.g. De Giacomo Levesque 1999b) in certain cases, with sensing actions, they have not addressed the problem of how to reason in a partially observable environment 1 . More generally, they have not examined the problem of how sensing actions can be ....

Stone, M. 1998. Abductive planning with sensing. In Proc. Fifteenth National Conference on Artificial Intelligence (AAAI98) , 631--636.

....rules whose right hand side matches the current goal, and whose left hand side contains situations which are true, or can be assumed to be true if the agent carries out the appropriate actions. A completed proof will then specify the set of actions which need to be carried out. See Shanahan, 1997; Stone, 1998 for some background on this planning paradigm. Note also that even situations which are not known and are outside the control of the agent can be assumed, if the agent is willing to risk that the plan is not successful. In fact, this is exactly the situation we have in Example 3: Mary is keen ....

Stone, M. (1998). Abductive planning with sensing. In Proceedings of the International Conference of the AAAI , pages 631-636.

.... such specifications [Farinas del Cerro, 1986, Debart et al. 1992, Baldoni et al. 1993, Baldoni et al. 1996] In generalizing goal directed modal proof to indefinite specifications, SCLP can play an important role in applying modal formalisms to planning, information gathering and communication [Stone, 1998a, Stone, 2000] Even when content, not modularity, is primary, the modular treatment of disjunction limits the size of proofs and the kinds of interactions that must be considered in proof search. Such constraints are crucial to the use of logical techniques in applications that require automatic ....

....What one source of information represents with specific, definite information, another source represents with abstract, indefinite information. Computation from modal specifications involves the coordinated exchange of information between these sources. In particular, problems of planning [Stone, 1998a] and problems of communication [Stone, 2000] depend on indefinite modal specifications. In planning, one agent, the scheduler, has to allocate a task to another agent, the executive. The executive may just be the scheduler at a later point in time ) It is unrealistic to expect that the scheduler ....

[Article contains additional citation context not shown here]

Stone, M. (1998a). Abductive planning with sensing. In AAAI, pages 631--636, Madison, WI.

.... content of utterances can be represented more precisely, in terms of presuppositions and assertions [van der Sandt, 1992, Stone and Webber, 1998] Moreover, a treatment of dialogues with multiple utterances can be obtained by appealing to AI formalisms of knowledge and ability [Davis, 1994, Stone, 1998a] and introducing a nested implication for each step of action. As outlined in Section 6, these two features allow a much more detailed version of the teller s and patron s exchange above to be specified and validated in DIALUP. IN MODAL LOGIC PROGRAMMING 7 The strength of this inferential model ....

....that P adopts an iterative deepening planning strategy, considering first one sentence contributions to conversation, then two sentence contributions, and so forth. In each case, P attempts to construct the plan by posing a corresponding query. Following analyses of ability such as [Davis, 1994, Stone, 1998a] at each step in carrying out a plan, the agent must only select a single concrete next action for its known effects. The effect 52 INDEFINITE INFORMATION the agent must verify at that step is that the agent can continue making appropriate choices as needed in carrying out the plan until a goal ....

Stone, M. (1998a). Abductive planning with sensing. In AAAI, pages 631--636, Madison, WI.

....through the remaining cycles of deliberation and action. The intention representations we arrive at are symbolic, recursive structures that appeal to logical accounts of knowledge and time to characterize actions and their effects in context. Fuller technical details are available in [Stone, 1998, Stone, 2001] But how then can the theory escape the many well known difficulties in using logic to describe the real world The reason is intentions need not provide guarantees about what the world will be like; and they need not represent an agent s predictions about the future. What an ....

Stone, M. (1998). Abductive planning with sensing. In AAAI, pages 631--636, Madison, WI.

....of Clark and Marshall that, in conversation, the bases for common ground are not arbitrary, but rather are derived in a small number of stereotypical ways. We will combine these epistemic modal operators with a formalization of action inspired by the situation calculus to describe agents ability [21, 24]. We introduce terms for situations and actions (executed, we assume, by the user) we write do(s, #, s # )if Inference in Instructions 7 situation s # can result if action # occurs in situation s. The situation calculus provides a kind of branching time model where a range of future states could ....

Matthew Stone. Abductive planning with sensing. In Proceedings of AAAI, pages 631--636, Madison, WI, 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