Abstract
Skeletal plans are a powerful way to reuse existing domain-specific procedural knowledge. In the Asgaard project, a set of tasks that support the design and the execution of skeletal plans by a human executing agent other than the original plan designer are designed. The underlying requirement to develop task-specific problem-solving methods is a modeling language. Therefore, within the Asgaard project, a time-oriented, intention-based language, called Asbru, was developed. During the design phase of plans, Asbru allows to express durative actions and plans caused by durative states of an observed agent. The intentions underlying these plans are represented explicitly as temporal patterns to be maintained, achieved or avoided. We will present the underlying idea of the Asgaard project and explain the time-oriented Asbru language. Finally, we show the benefits and limitations of the time-oriented, skeletal plan representation to be applicable in real-world, high-frequency domains.
Preview
Unable to display preview. Download preview PDF.
References
Aitken, J. S., Shadbolt, N.: Knowledge Level Planning. In Backström, C., Sandewall, E. (eds.), Current Trends in AI Planning, IOS Press, Amsterdam (1994) 33–45
Bacchus, F., Kabanza, F.: Planning for Temporally Extended Goals, Proc. of the 13th Nat. Conference on Artificial Intelligence (AAAI-96), AAAI Press/The MIT Press, Menlo Park (1996) 1215–1222
Barnes, M., Barnett, G. O.: An Architecture for a Distributed Guideline Server, In Gardner, R. M. (ed.) Proc. of the Annual Symposium on Computer Applications in Medical Care (SCAMC-95), Hanley & Belfus (1995) 233–237
Bratman, M. E.: Intention, Plans and Practical Reason, Harvard Univiversity Press, Cambridge, MA (1987)
Dechter, R., Meiri, L., Pearl, J.: Temporal Constraint Networks. Artificial Intelligence, Special Volume on Knowledge Representation, 49(1-3) (1991) 61–95
Fox, J., Johns, N., Rahmanzadeh, A.: Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools, In Keravnou, E. et al. (eds.), Proc. of the 6th Conference on Artificial Intelligence in Medicine Europe (AIME97), Springer, Berlin (1997) 21–38
Friedland, P. E., Iwasaki, Y.: The Concept and Implementaion of Skeletal Plans. Journal of Automated Reasoning, 1(2) (1985) 161–208
Genesereth, M. R., Fikes, R. E.: Knowledge Interchange Format, Version 3.0 Reference Manual, Computer Science Department, Stanford Univ., Tech.Report Logic-92-1 (1992)
Gordon, C., Johnson, P., Waite, C., Veloso, M.: Algorithm and Care Pathway: Clinical Guidelines and Healthcare Processes, In Keravnou, E. et al. (eds.), Proc. of 6th Conference on Artificial Intelligence in Medicine Europe (AIMS-97), Springer, Berlin (1997) 66–69
Gruber, T. R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing, Knowledge Systems Laboratory, Stanford Univ., TR KSL 93-04 (1993)
Guarina, N., Giaretta, P.: Ontologies and Knowledge Bases. In Mars, N. J. I. (ed.) Towards Very Large Knowledge Base, IOS Press, Amsterdam (1995)
Herbert, S. I., Gordon, C. J., Jackson-Smale, A., Renaud Salis, J.-L.: Protocols for Clinical Care. Computer Methods and Programs in Biomedicine, 48 (1995) 21–26
Hripcsak, G., Ludemann, P., Pryor, T. A., Wigertz, O. B., Clayton, P. D.: Rationale for the Arden Syntax. Computers and Biomedical Research, 27 (1994) 291–324
Levinson, R.: A General Programming Language for Unified Planning and Control. Artificial Intelligence, Special Volume on Planning and Scheduling, 76(1-2) (1995) 319–375
Miller, P. L.: Expert Critiquing System: Practice-Based Medical Consultation by Computer Springer, New York, NY (1986)
Musen, M. A., Gennari, J. H., Eriksson, H., To, S. W., Puerta, A. R.: PROTÉGÉ-II: A Computer Support for Development of Intelligent Systems from Libraries of Components, Proc. of the 8th World Congress on Medical Informatics (MEDINFO-95) (1995) 766–770
Musen, M. A., Tu, S. W., Das, A. K., Shahar, Y.: EON: A Component-Based Approach to Automation of Protocol-Directed Therapy. Journal of the American Medical Information Association, 3(6) (1996) 367–388
Pollack, M.: The Use of Plans. Artificial Intelligence, 57(1) (1992) 43–68
Rit, J.-F.: Propagating Temporal Constraints for Scheduling, Proc. of the 5th Nat. Conference on Artificial Intelligence (AAAI-86), Morgan Kaufmann, Los Altos (1986) 383–8
Shahar, Y., Miksch, S., Johnson, P.: A Task-Specific Ontology for Design and Execution of Time-Oriented Skeletal Plans, In Gaines, B. (ed.) Proc. of the loth Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Alberta, Canada, 1996a.
Shahar, Y., Musen, M. A.: Knowledge-Based Temporal Abstraction in Clinical Domains. Artificial Intelligence in Medicine, Special Issue Temporal Reasoning in Medicine, 8(3) (1996b)267–298
Sherman, E. H., Hripcsak, G., Starren, J., Jender, R. A., Clayton, P.: Using Intermediate States to Improve the Ability of the Arden Syntax to Implement Care Plans and Reuse Knowledge, In Gardner, R. M. (ed.) Proc. of the Annual Symposium on Computer Applications in Medical Care (SCAMC-95) Hanley & Belfus (1995) 238–242
Tate, A., Drabble, B., Kibry, R.: O-Plan2: An Open Architecture for Command, Planning, and Controll. In Zweber, M. et al. (eds.), Intelligent Scheduling, Morgan Kaufmann, San Francisco, (1994) 213–239
Tu, S. W., Kahn, M. G., Musen,M. A., Ferguson, J. C., Shortliffe, E. H., Fagan, L. M.: Episodic Skeletal-Plan Refinement on Temporal Data. Com. of ACM, 32 (1989) 1439–1455
Uckun, S.: Instantiating and Monitoring Skeletal Treatment Plans, Knowledge Systems Laboratory, Stanford Univ., KSL 94-49 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miksch, S., Shahar, Y., Horn, W., Popow, C., Paky, F., Johnson, P. (1997). Time-oriented skeletal plans: Support to design and execution. In: Steel, S., Alami, R. (eds) Recent Advances in AI Planning. ECP 1997. Lecture Notes in Computer Science, vol 1348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63912-8_94
Download citation
DOI: https://doi.org/10.1007/3-540-63912-8_94
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63912-1
Online ISBN: 978-3-540-69665-0
eBook Packages: Springer Book Archive