[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/604045.604065acmconferencesArticle/Chapter ViewAbstractPublication PagesiuiConference Proceedingsconference-collections
Article

Supporting plan authoring and analysis

Published: 12 January 2003 Publication History

Abstract

Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of errors and presenting the results in an accessible format that allows the user to see an overview of the plan steps or timelines of objects in the plan. From our experience in two domains, users tend to interleave plan authoring and plan checking while extending background knowledge of actions. This has led us to refine KANAL to provide a high-level overview of plans and integrate a tool for refining the background knowledge about actions used to check plans. We report on these lessons learned and new directions in KANAL.

References

[1]
Barker, K., Clark, P. and Porter, B., A Library of Generic Concepts for Composing Knowledge Bases. Proceedings of the First International Conference on Knowledge Capture (K-CAP-2001), pp. 14--21, 2001.
[2]
Blythe, J., Kim, J., Ramachandran, S. and Gil, Y., An Integrated Environment for Knowledge Acquisition. Proceedings of International Conference on Intelligent User Interfaces (IUI-2001), pp.13--20, 2001.
[3]
Blythe, J., Integrating Expectations to Support End Users to Acquire Procedural Knowledge. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001), pp.943--952, 2001.
[4]
Blythe, J.,SADL: Shaken Action Description Language, http://www.isi.edu/expect/rkf/sadl.html.
[5]
Chien, S., Static and completion analysis for knowledge acquisition, validation and maintenance of planning knowledge bases. In International Journal of Human-Computer Studies, 48, pp. 499--519, 1998.
[6]
Clark, P. and Porter, B., The knowledge machine. In http://www.cs.utexas.edu/users/mfkb/km.html.
[7]
Clark, P., Thompson, J., Barker, K., Porter, B., Chaudhri, V., Rodriguez, A., Thomere, J., Mishra, S., Gil, Y., Hayes, P. and Reichherzer, T., Knowledge Entry as the Graphical Assembly of Components. Proceedings of the First International Conference on Knowledge Capture (K-Cap-2001), pp. 22--29, 2001.
[8]
Cypher, A. Watch what I do: Programming by demonstration. Allen Cypher, Ed. MIT press, 1993.
[9]
Desimone, R. and Agosta, J., Oil Spill Response Simulation: the Application of Artificial Intelligence Planning Technology, Simulation Multiconference, San Diego, 1994.
[10]
Erol, K., Hendler, J., Nau, D., and Tsuneto, R., A Critical Look at Critics in HTN Planning. Proceedings of the 1995 International Joint Conference on Artificial Intelligence (IJCAI-95), pp. 1592--1598, 1995.
[11]
Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D. and Wilkins, D., PDDL-the Planning Domain Definition Language, Technical report TR-98-003, Yale Center for Computational Vision and Control, October 1998.
[12]
Kim, J. and Gil, Y., User Studies of an Interdependency-Based Interface for Acquiring Problem-Solving Knowledge. Proceedings of the Intelligent User Interface Conference (IUI-2000), 165--168, 2000.
[13]
Kim, J. and Gil, Y., KANAL: Knowledge ANALysis on Process Models, In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-2001), pp.935--942, 2001.
[14]
Kim, J. and Gil, Y., Deriving Acquisition Principles from Tutoring Principles, Proceedings of the Intelligent Tutoring Systems Conference (ITS-2002), pp.661--670, 2002.
[15]
Long, D. and Fox, M. "Automatic synthesis of design types in planning", In Proceedings of the Conference on Artificial Intelligence Planning Systems, 2000 (AIPS-2000), pp. 196--205, 2000.
[16]
Mitchell, T., Mahadevan, S. and Steinberg, L., LEAP: A learning apprentice for VLSI design. Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85), pp. 574--580, 1985.
[17]
Myers, K., Strategic advice for hierarchical planners. In proceedings of the international conference on knowledge representation and Reasoning, 1996 (KR-96), pp. 112--123, 1996.
[18]
Pane, J., Ratanamahatana, C. and Myers, B. "Studying the language and structure in non-Programmers solution to programming problems", International Journal of Human-Computer Studies, vol. 54, no. 2, February 2001, pp. 237--264, 2001.
[19]
Simpson, R. McCluskey, T., Long, D. and Fox, M., "Generic types as design patterns for planning domain specification", 2002.
[20]
Simpson, R., McCluskey T., Zhao W., Aylett, R. and Doniat, C., An Integrated Graphical Tool to support Knowledge Engineering in AI Planning. Technical Report - University of Huddersfield 2001.

Cited By

View all
  • (2013)A Methodology to Validate Interactive Storytelling Scenarios in Linear LogicTransactions on Edutainment X10.1007/978-3-642-37919-2_4(53-82)Online publication date: 2013
  • (2003)Evaluating expert-authored rules for military reasoningProceedings of the 2nd international conference on Knowledge capture10.1145/945645.945661(96-104)Online publication date: 23-Oct-2003

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
IUI '03: Proceedings of the 8th international conference on Intelligent user interfaces
January 2003
344 pages
ISBN:1581135866
DOI:10.1145/604045
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 January 2003

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. knowledge acquisition
  2. knowledge bases
  3. plan analysis
  4. plan authoring
  5. process models

Qualifiers

  • Article

Conference

IUI03

Acceptance Rates

Overall Acceptance Rate 746 of 2,811 submissions, 27%

Upcoming Conference

IUI '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2013)A Methodology to Validate Interactive Storytelling Scenarios in Linear LogicTransactions on Edutainment X10.1007/978-3-642-37919-2_4(53-82)Online publication date: 2013
  • (2003)Evaluating expert-authored rules for military reasoningProceedings of the 2nd international conference on Knowledge capture10.1145/945645.945661(96-104)Online publication date: 23-Oct-2003

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media