Declarative goals in reactive plans

Abstract Classical planning started with goals and produced plans. To do something similar in a reactive framework, it is necessary to treat the achievement or maintenance of a goal as specifying a default behavior, while at the same time being able to deploy tools to generate more complex plans. These tools rely on representing the relations between goals and plan patterns that achieve them. An important component of the representation is a set of fast, local methods for making probabilistic estimations of the quality of proposed plans, including their robustness, completeness, and efficiency.

[1]  James F. Allen,et al.  A Language for Planning with Statistics , 1991, UAI.

[2]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[3]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[4]  Drew McDermott,et al.  Regression planning , 1991, Int. J. Intell. Syst..

[5]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[6]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[7]  Manfred Broy,et al.  Program Development as a Formal Activity , 1981, IEEE Transactions on Software Engineering.

[8]  Leslie Pack Kaelbling,et al.  Goals as Parallel Program Specifications , 1988, AAAI.

[9]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[10]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[11]  Reid G. Simmons,et al.  A Theory of Debugging Plans and Interpretations , 1988, AAAI.

[12]  Drew McDermott,et al.  A reactive plan language , 1991 .

[13]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[14]  Mark S. Boddy,et al.  Solving Time-Dependent Planning Problems , 1989, IJCAI.

[15]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[16]  Mark Drummond,et al.  Situated Control Rules , 1989, KR.

[17]  Drew McDermott,et al.  Robot Planning , 1991, AI Mag..

[18]  John L. Bresina,et al.  Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction , 1990, AAAI.

[19]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[20]  Drew V. Mcdermott,et al.  Projecting plans for uncertain worlds , 1990 .