Building expert systems
Lisp and Symbolic Computation
A grammar-driven knowledge acquisition tool that incorporates constraint propagation
Proceedings of the 1st international conference on Knowledge capture
Consistency restoriation and explanations in dynamic CSPs----application to configuration
Artificial Intelligence
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Constraint Propagation and Value Acquisition: Why we should do it Interactively
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Deriving Explanations and Implications for Constraint Satisfaction Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Refining the basic constraint propagation algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Assisting domain experts to formulate and solve constraint satisfaction problems
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Hi-index | 0.00 |
Many knowledge-based applications require knowledge maintenance to keep the application functional throughout its lifecycle. In this paper we present iCAM, a constraint-based knowledge maintenance system that operates in a hospital's material management domain. iCAM uses consistency algorithms to assist users in placing orders and making order corrections, and to ensure that maintenance activities are consistent with the department's ordering environment. This approach allows iCAM to interact with the user to revise orders and/or to update the knowledge base. For the user, there is not much distinction between these two tasks. This is one of iCAM's greatest strengths; order corrections and knowledge maintenance are carried out in a similar manner, since both are based on inconsistencies with respect to the existing knowledge base. iCAM has various constraint types that support physical and policy restrictions. It also allows maintenance to be done by a number of users while maintaining the integrity of the knowledge base by a system of role restrictions.