Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
Formalizing planning knowledge for hierarchical planning
Computational Intelligence
Artificial Intelligence - Special volume on planning and scheduling
International Journal of Human-Computer Studies - Special issue on knowledge acquisition for planning
Deriving expectations to guide knowledge base creation
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Acquiring Problem-Solving Knowledge from End Users: Putting Interdependency Models to the Test
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Journal of Artificial Intelligence Research
Building concept representations from reusable components
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Knowledge entry as the graphical assembly of components
Proceedings of the 1st international conference on Knowledge capture
Supporting plan authoring and analysis
Proceedings of the 8th international conference on Intelligent user interfaces
A web-based ontology browsing and editing system
Eighteenth national conference on Artificial intelligence
Proceedings of the 35th conference on Winter simulation: driving innovation
Knowledge-rich catalog services for engineering design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Incorporating tutoring principles into interactive knowledge acquisition
International Journal of Human-Computer Studies
VODKA: Variant objects discovering knowledge acquisition
Expert Systems with Applications: An International Journal
Developing Teaching Aids for Distance Education
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
A web-based ontology browsing and editing system
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Review: interactive knowledge capture in the new millennium: How the semantic web changed everything
The Knowledge Engineering Review
Hi-index | 0.00 |
Helping end users build and check process models is a challenge for many science and engineering fields. Many AI researchers have investigated useful ways of verifying and validating knowledge bases for ontologies and rules, but it is not easy to directly apply them to checking process models. Other techniques developed for checking and refining planning knowledge tend to focus on automated plan generation rather than helping users author process information. In this paper, we propose a complementary approach which helps users author and check process models. Our system, called KANAL, relates pieces of information in process models among themselves and to the existing KB, analyzing how different pieces of input are put together to achieve some effect. It builds interdependency models from this analysis and uses them to find errors and propose fixes. Our initial evaluation shows that KANAL was able to find most of the errors in the process models and suggest useful fixes including the fixes that directly point to the sources of the errors.