The KANAL Project at ISI


Knowledge Analysis on Process Models

Description

KANAL is a tool for checking process models entered by users. By relating different pieces of information in process models among themselves and to the existing KB, it performs a variety of verification and validation checks and propose useful fixes.

More-->

Status

KANAL is currently used within an end-to-end KA system called SHAKEN. We have performed several evaluations with end users which are reported in Kim and Blythe, IUI-2003.

More-->

Research

Process Models, Verification and Validation, Knowledge Acquisition

More -->

Publications

"Supporting Plan Authoring and Analysis", Jihie Kim, Jim Blythe. In Proceedings of the Seventh International Conference on Intelligent User Interfaces (IUI-2003)

"Knowledge Analysis on Process Models", Jihie Kim, Yolanda Gil. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, WA, August 2001

More publications -->

DARPA Rapid Knowledge Formation (RKF)