Abstract
MAP is a system which helps to design task-level actions of an intelligent robot system and to test the automatic generation of plans. The attention is mainly focused on cooperative application domains; in this way, our system is able to construct plans involving several agents, by specifying which actions can be executed simultaneously. MAP is mainly written in SmallTalk; however, we make use of Prolog for generating plans.
Similar content being viewed by others
References
Allen, J.: Maintaining knowledge about temporal intervals,Comm. ACM 26(11) (1983), 832–843.
Di Pippo, S., Pasquariello, G., and Sylos Labini, G.: Information management in an integrated space telerobot, inProc. NASA Conf. Space Telerobotics, Pasadena, CA, 1989, CA, JPL-Publication, Pasadena, 1989, pp. 157–166.
Fikes, R. E. and Nilsson, N. J.: STRIPS: A new approach to the application of theorem proving to problem solving,Artificial Intelligence 2(3–4) (1971), 189–208.
Genesereth, M. R. and Nilsson, N. J.:Logical Foundations of Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1987.
Georgeff, M. P.: Actions, processes and causality, in M. P. Georgeff and A. Lansky (eds),Reasoning About Actions and Plans, Morgan Kaufmann, Los Altos, CA, 1987, pp. 99–122.
Giancaspro, A.: A survey of planning in artificial intelligence systems, ITIS Internal Report, March 1991.
Giancaspro, A. and Losito, S.: A framework to deal with simultaneous actions for a plan-generating system, inProc. IEEE/RSJ Workshop on Intelligent Robot and Systems, Osaka, Japan, 1991, pp. 611–615.
Giancaspro, A.: A formal system to detect unachievable state descriptions, ITIS Internal Report, March 1992.
Green, C.: Application of theorem proving to problem solving,Proc. 1st Int. Joint Conf. Artificial Intelligence, Washington, DC, 1969, Morgan Kaufmann, Los Altos, CA, 1969, pp. 219–239.
Nilsson, N. J.:Principles of Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1980.
Pednault, E.: Formulating multiagent, dynamic-world problems in the classical planning framework, in M. P. Georgeff and A. Lansky (eds),Reasoning About Actions and Plans, Morgan Kaufmann, Los Altos, CA, 1987, pp. 47–82.
Pelavin, R. and Allen, J. F.: A formal logic of plans in temporally rich domains,Proc. IEEE,74(10) (1986), 1364–1382.
Author information
Authors and Affiliations
Additional information
Research supported by a National Research Council scolarship.
Rights and permissions
About this article
Cite this article
Giancaspro, A., Losito, S. A plan-generating systems constructor for cooperative application domains. J Intell Robot Syst 12, 175–193 (1995). https://doi.org/10.1007/BF01258385
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01258385