skip to main content
10.1145/1298406.1298422acmconferencesArticle/Chapter ViewAbstractPublication Pagesk-capConference Proceedingsconference-collections
Article

Maintaining constraint-based applications

Published: 28 October 2007 Publication History

Abstract

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.

References

[1]
Davis, R. and D.B. Lenat, (1982) 'Knowledge--based systems in artificial intelligence'. McGraw--Hill advanced computer science series, New York: McGraw-Hill International Book Co., pp. 490
[2]
Shortliffe, E.H., (1976) 'Computer-based medical consultations, MYCIN'. Artificial Intelligence Series, New York, USA: Elsevier, pp. 264
[3]
Nordlander, T.E., J. Little, A. Tarim, and Koyuncu, (2005) 'A New Materials Management System for the Cork University Hospital' in European Chapter on Combinatorial Optimization (ECCO XVIII), Minsk Belarus
[4]
Hayes-Roth, F., D.A. Waterman, and D.B. Lenat, (1983) 'Building Expert Systems'. Teknowledge series in knowledge engineering; v. 1, Reading, Massachusetts, USA: Addison-Wesley, pp. 444
[5]
Soloway, E., J. Bachant, and K. Jensen, (1987) 'Assessing the maintainability of XCON-in-RIME: Coping with the problems of a very large rulebase' in AAAI-87 Workshop on Validation and Verification of Expert Systems, pp. 824--849
[6]
Menzies, T., (1999) 'Knowledge maintenance: the state of the art', The Knowledge Engineering Review, Volume 14, Issue 1. pp. 1--46
[7]
Wallace, M., (1996) 'Practical application of constraint programming', Constraints, Volume 1, Issue 1-2. pp. 139--168
[8]
ILOG Solver, (2007) from ILOG Inc., {WWW}: http://www.ilog.com/
[9]
Bessière, C., (2001) 'Refining the basic constraint propagation algorithm' in Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, Washington, USA: Morgan Kaufmann Publishers, pp. 309--315
[10]
Vlaanderen, M.J., (1990) 'Automated Knowledge Ac--quisition for Expert System An Overview', Erasmus Universiteit Rotterdam, PhD, pp. 95
[11]
White, S. and D. Sleeman, (2001) 'A Grammar-Driven Knowledge Acquisition Tool that incorporates Constraint Propagation' in Proceedings of the international conference on Knowledge capture (KCAP-01), Victoria, British Columbia, Canada: ACM Press, New York, USA, pp. 187--193
[12]
Gennari, J.H., M.A. Musen, R. Fergerson, W.E. Grosso, M. Crubézy, H. Eriksson, N.F. Noy, and S.W. Tu, (2003) 'The Evolution of Protégé: An Environment for Knowledge-Based Systems Development.' International Journal of Human-Computer Studies, Volume 58, Issue 1. pp. 89--123
[13]
Sleeman, D. and S. Chalmers, (2006) 'Assisting Domain Experts to Formulate and Solve Constraint Satisfaction Problems' in EKAW 2006, Podebrady, Czech Republic: Springer, pp. 27--34
[14]
Ajit, S., D. Sleeman, D.W. Fowler, D. Knott, and K. Hui., (2007) 'ConEditor+: Capture and Maintenance of Constraints in Engineering Design.' in IJCAI-07 Workshop on "Knowledge Management & Organizational Memories", Hyderabad, India, pp. 6--11
[15]
Fowler, D.W., D. Sleeman, G. Wills, T. Lyon, and D. Knott, (2004) 'The Designers' Workbench: Using Ontologies & Constraints for Configuration.' in AI--2004, Cambridge UK: Springer, pp. 209--221
[16]
O'Sullivan, B., (2004) 'Introduction to the Special Issue on User-Interaction in Constraint Satisfaction.' Constraints, Volume 9, Issue 4. pp. 239--240
[17]
Bessière, C., R. Coletta, F. Koriche, and B. O'Sullivan, (2006) 'Acquiring Constraint Networks Using a SAT-based Version Space Algorithm.' in AAAI-2006 (Nectar Track), pp. 23--24
[18]
O'Sullivan, B., (2000) 'RFI/EMI Concerns: The Design Advisers', The Board Authority, Issue 7. pp. 24--27
[19]
Freuder, E.C. and R.J. Wallace., (1998) 'Suggestion strategies for constraint-based matchmaker agents.' in Principles and Practice of Constraint Programming, Pisa, Italy, pp. 192--204
[20]
Faltings, B. and S. Macho-Gonzalez, (2005) 'Open Constraint Programming; Special Issue: Distributed Constraint Satisfaction.' Artificial Intelligence, Volume 161. pp. 181--208
[21]
Lamma, E., P. Mello, M. Milano, R. Cucchiara, M. Gavanelli, and M. Piccardi, (1999) 'Constraint Propagation and Value Acquisition: Why we should do it Interactively.' in Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden: Morgan Kaufmann, pp. 468--477
[22]
Pu, P. and B. Faltings, (2002) 'Effective interaction principles for user-involved constraint problem solving.' in Second International Workshop on User-Interaction in Constraint Satisfaction, the Eighth International Conference on Principles and Practice of Constraint Programming, Ithaca, NY, USA
[23]
Schiex, T. and G. Verfaillie, (1994) 'Nogood Recording for Static and Dynamic Constraint Satisfaction Problems', International Journal on Artificial Intelligence Tools, Volume 3, Issue 2. pp. 187--207
[24]
Amilhastre, J., H. Fargier, and P. Marquis, (2002) 'Consistency restoration and explanations in dynamic CSPs-application to configuration.' Artificial Intelligence, Volume 1--2. pp. 199--233
[25]
Freuder, E.C., C. Likitvivatanavong, and R.J. Wallace, (2001) 'Deriving Explanations and Implications for Constraint Satisfaction Problems' in 7th International Conference on Principles and Practice of Constraint Programming; Lecture Notes In Computer Science, Paphos, Cyprus, pp. 585--589
[26]
Jussien, N., (2003) 'The versatility of using explanations within constraint programming', Université de Nantes, Habilitation Thesis
[27]
Borning, A., B. Freeman-Mason, and M. Wilson, (1992) 'Constraint hierarchies', Lisp and Symbolic Computation, Volume 5. pp. 223--270

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
K-CAP '07: Proceedings of the 4th international conference on Knowledge capture
October 2007
216 pages
ISBN:9781595936431
DOI:10.1145/1298406
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: 28 October 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. consistency algorithms
  2. constraint programming
  3. knowledge acquisition
  4. knowledge maintenance

Qualifiers

  • Article

Conference

K-CAP07
Sponsor:
K-CAP07: International Conference on Knowledge Capture 2007
October 28 - 31, 2007
BC, Whistler, Canada

Acceptance Rates

Overall Acceptance Rate 55 of 198 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media