Abstract
Knowledge sharing between planners allows planning systems to collaborate when they encounter a task that cannot be solved by a single problem solver. This paper presents a formal methodology to translate knowledge so that the plans produced in one planner can be utilized and learned from in another. The methodology presented allows entire plans consisting of predicates, actions and the orderings between them to be converted from one representation to another by the use of translators defined in the formalism.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Buvac, S., Mason, I., “Propositional Logic of Context”. Proceedings of the Eleventh National Conference on Artificial Intelligence, 1993.
Buvac, S., Fikes, R. “A declarative Formalization of Knowledge Translation”, Proceedings of the ACM CIKM: The 4th International Conference on Information and Knowledge Management, 1995.
Buvac, S., Buvac, V., Mason, I., “Metamathematics of Contexts”. Fundamenta Informaticae, 23(3), 1995.
Buvac, S., “Combining Planning Contexts”, Advanced Planning Technology — Technological Achievements of the ARPS/Rome Laboratory Planning Initiative. AAAI Press, 1996.
Davis, P.K. and Hillestad, R., “Families of Models that Cross Levels of Resolution: Issues for Design, Calibration and Management”, Winter Simulation Conference, IEEE Press, 1993, pp. 1003–1012.
Fishwick, P.A., “Abstraction Level Traversal in Heirarchical Modeling”, Modeling and Simulation Methodology: Knowledge Systems Paradigms (B.P. Zeigler et al., Eds.), Elsevier North Holland, New York, 1989, pp. 393–429.
Guha, R.V., “Contexts: A Formalization and Some Applications” PhD. Thesis, Stanford 1991.
McCarthy, J., Buvac, S., “Formalizing Contexts (expanded notes)”, Technical Report STAN-CS-TN-94–13, Stanford University, 1994.
Moon, Y., and Zeigler, B.P., “Abstraction Methodology based on Parameter Morphisms”, Enabling Technology for Simulation Science, SPIE AeoroSence97, Orlando, FL, 1997, pp. 52–63.
Singh, N., Tawakol, O., Geneserath, M., “A Name-Space Context Graph for Multi-Context, Multi-Agent Systems”, Proceedings of the 1995 AAAI Fall Symposium Series, Cambridge, MA, Nov 1995, pp. 79–84.
Singh, N., “Unifying Heterogeneous Information Models”, Communications of the ACM, May 1998, Vol.41 No.5, pp. 37–44.
Takahashi, S., “General Morphism for Modeling Relations in Multimodeling”, Transactions of the Society for Computer Simulation 1996, Vol.13 No.4, pp. 169–178.
Wong, V., Britanik, J., and Marefat, M., “Knowledge Sharing for Planning: The Knowledge Interchange Interface”, Proceedings of the 1995 International Symposium on Assembly and Task Planning (ISATP’95). Pittsburgh, PA., August 1995, pp. 28–33.
Zeigler, B.P., “Towards a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms”, Journal of the ACM, 1972, Vol. 19 No.4, pp. 742–746.
Zeigler, B.P., “Object-Oriented Simualtion with Heirarchical, Modular Models: Intelligent Agents and Endomorphic Systems”, Academic Press Inc., 1990.
Zeigler, B.P., “Review of Theory in Model Abstraction”, Enabling Simulation Technology for Simulation Science, 13th SPIE, Orlando, FL, 1998.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ramchandran, S., Marefat, M.M. (2001). A Methodology for the Translation of Knowledge Between Heterogeneous Planners. In: Sarjoughian, H.S., Cellier, F.E. (eds) Discrete Event Modeling and Simulation Technologies. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3554-3_16
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3554-3_16
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2868-9
Online ISBN: 978-1-4757-3554-3
eBook Packages: Springer Book Archive