Skip to main content Accessibility help
×
×
Home

itSIMPLE: towards an integrated design system for real planning applications

  • Tiago S. Vaquero (a1) (a2), José R. Silva (a1), Flavio Tonidandel (a3) and J. Christopher Beck (a2)
Abstract

Since the end of the 1990s, there has been an increasing interest in the application of artificial intelligence (AI) planning techniques to solve real-life problems. In addition to characteristics of academic problems, such as the need to reason about actions, real-life problems require detailed knowledge elicitation, engineering, and management. A systematic design process in which Knowledge and Requirements Engineering tools play a fundamental role is necessary in such applications. One of the main challenges in such design process, and consequently in the study of Knowledge Engineering in AI planning, has been the analysis of requirements and their subsequent transformation into an input-ready model for planners. itSIMPLE is a research project dedicated to the study of a project process to support the design phases of real-life planning models. In this paper, we give an overview of itSIMPLE focusing on the main translation processes among a minimal set of representations: from requirements represented in Unified Modeling Language (UML) to Petri Nets and from UML models to planning domain definition language for problem solving.

Copyright
References
Hide All
Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M. 2003. The Petri Net Markup Language: concepts, technology, and tools. In Proceedings of the 24th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 2679, 483–505. Springer.
Bray, T., Paoli, J., Sperberg-McQueen, C. M., Maler, E., Yergeau, F. 2004. Extensible Markup Language (XML) 1.0 (3rd edn.). Technical report.
Bock, C. 2006. SysML and UML 2 support of activity modeling. In System Engineering, 2(9), 160186, John Wiley and Sons Ltd.
Edelkamp, S., Hoffmann, J. 2004. PDDL 2.2: The Language for Classical Part of the 4th International Planning Competition Technical report, Fachbereich Informatik and Institut für Informatik.
Edelkamp, S., Mehler, T. 2005. Knowledge acquisition and knowledge engineering in the ModPlan workbench. In Proceedings of the 1st International Competition on Knowledge Engineering for AI Planning, Monterey, California, USA.
Frappier, M., Habrias, H. 2001. Software Specification Methods. Springer-Verlag.
Gerevini, A., Long, D. 2006. Preferences and soft constraints in PDDL3. In Proceedings of ICAPS workshop on Planning with Preferences and Soft Constraints, Gerevini, A. & Long, D. (eds). AAAI Press, 4653.
Gough, J. 2004. XPDDL 0.1b: A XML Version of PDDL. Retrieved November 3, 2010, from http://planning.cis.strath.ac.uk/XPDDL/.
Kindler, E., Weber, M. 2001. A universal module concept for Petri Nets. In Proceedings of the 8th Workshops Algorithmen und Werkzeuge für Petrinetze, Gabriel Juhas und Robert Lorenz (Hrsg.) – Katholische Universitat Eichstatt, 7–12.
Ledang, H., Souquieres, J. 2002. Integration of UML and B specification techniques. In Proceedings of APSEC 2002. IEEE Computer Society, Gold Coast, Queensland, Australia, 495.
Lifschitz, V. 1987. On the semantics of strips. In Reasoning About Actions and Plans, Georgeff, M. P. & Lansky, A. L. (eds). Kaufmann, 19.
McCluskey, T. L. 2002. Knowledge engineering: issues for the AI Planning Community. In Proceedings of the AIPS-2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning, Toulouse, France.
McCluskey, T. L., Simpson, R. M. 2004. Knowledge formulation for AI planning. Knowledge Acquisition, Modeling and Management (EKAW), 449465.
McDermott, J. 1981. Domain knowledge and the design process. In Proceedings of the 18th Design Automation Conference, DAC ’81, Smith II, R.J. (ed.). Nashville, Tennessee, USA. ACM/IEEE, 580–588, IEEE Press.
Murata, T. 1989. Petri Nets: properties, analysis and applications. Proceedings of the IEEE, 77, 541–580.
Object Management Group (OMG). 2003. UML 2.0 OCL Specification m Version 2.0. Retrieved October 26, 2010, from http://www.uml.org/.
OMG. 2005. OMG Unified Modeling Language Specification, m Version 2.0. Retrieved October 26, 2010, from http://www.uml.org/.
Pawson, R. R., Mathews, R. 2002. Naked Objects. Wiley.
Reisig, W. 1985. Petri Nets: An Introduction. Springer-Verlag.
Rozemberg, G., Engelfriet, J. 1998. Elementary Net Systems. In Lecture Notes in Computer Science, 1491, 12–121. Springer.
Sette, F. M., Vaquero, T. S., Park, S. W., Silva, J. R. 2008. Are automated planners up to solve real problems? In Proceedings of the 17th World Congress. The International Federation of Automatic Control (IFAC'08), Seoul, Korea, 15817–15824.
Silva, J. R., Miralles, J., Salmon, A. O., del Foyo, P. 2009. Introducing object-orientation in unified Petri Net approach. In Proceedings of the 20th International Congress of Mechanical Engineering, Gramado, Brazil.
Simpson, R. M., Mccluskey, T. L., Zhao, W., Aylett, R. S., Doniat, C. 2001. GIPO: an integrated graphical tool to support knowledge engineering in AI planning. In Proceedings of the 6th European Conference on Planning. Toledo, Spain.
Simpson, R. M. 2007. Structural domain definition using GIPO IV. In Proceedings of the Second International Competition on Knowledge Engineering. Providence, Rhode Island, USA.
Sommerville, I., Sawyer, P. 1997. Viewpoints: principles, problems and a practical approach to requirements engineering. Annals of Software Engineering 3(1), 101130.
Suh, N. P. 2001. Axiomatic Design: Advances and Applications. Oxford University Press.
Udo, M., Vaquero, T. S., Silva, J. R., Tonidandel, F. 2008. Lean software development domain. In Proceedings of ICAPS 2008 Scheduling and Planning Application workshop, Sydney, Australia.
Vaquero, T. S., Silva, J. R., Beck, J. C. 2010. Improving planning performance through post-design analysis. In Proceedings of ICAPS 2010 Knowledge Engineering for Planning & Scheduling workshop, Toronto, Canada, 45–52.
Vaquero, T. S., Tonidandel, F., Barros, L. N., Silva, J. R. 2006. On the use of UML.p for modeling a real application as a planning problem. In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS), Long, D., Smith, S., Borrajo, D. & McCluskey, L. (eds). Cumbria, UK, 434–437. AAAI Press.
Vaquero, T. S., Romero, V., Tonidandel, F., Silva, J. R. 2007. itSIMPLE2.0: an integrated tool for designing planning environments. In Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007), Boddy, M., Fox, M. & Thiébaux, S. (eds). Providence, Rhode Island, USA, 336–343. AAAI Press.
Vaquero, T. S., Sette, F., Silva, J. R., Beck, J. C. 2009 a. Planning and scheduling of crude oil distribution in a petroleum plant. In Proceedings of ICAPS 2009 Scheduling and Planning Application workshop, Thessaloniki, Greece.
Vaquero, T. S., Silva, J. R., Ferreira, M., Tonidandel, F., Beck, J. C. 2009 b. From requirements and analysis to PDDL in itSIMPLE3.0. In Proceedings of the 3rd ICKEPS, ICAPS 2009, Thessaloniki, Greece, 54–61.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Knowledge Engineering Review
  • ISSN: 0269-8889
  • EISSN: 1469-8005
  • URL: /core/journals/knowledge-engineering-review
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed