Abstract
This paper presents the design of a knowledge acquisition user interface for a compositional modeling system. To facilitate collaborative development of knowledge bases and their reuse, knowledge of the domain is represented in a formal language based on the first-order predicate logic. The vocabulary used is also formally defined explicitly in the same language. However, use of a formal representation language does not make the process of expressing knowledge about the domain easy or efficient for all users. We have designed the knowledge acquisition interface with multiple layers, each intended for a different type of users, such as programmers, knowledge engineers, and domain experts. Though the underlying modeling system employs one representation formalism, the layered interface allows each type of users to interact with the system in terms that are appropriate and efficient for their purposes.
Keywords
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Crawford, J., Farquhar, A., et al. (1990) QPC: A Compiler from Physical Models into Qualitative Differential Equations. Proceedings of the Eighth Notional Conference on Artificial Intelligence. Boston, AAAI Press/The MIT Press.
Falkenhainer, B. and Forbus, K. D. (1991) Compositional modeling: finding the right model for the job. Artificial Intelligence, 51, 95–143.
Farquhar, A. (1994) A Qualitative Physics Compiler. Proceedings of the Twelfth National Conference on Artificial Intelligence. AAAI Press/The MIT Press.
Farquhar, A., Iwasaki, Y., et al. (1996) A Compositional Modeling Language. Proceedings of the Tenth International Workshop on Qualitative Reasoning. AAAI Technical Report. Series. AAAI Press.
Forbus, K. D. (1984) Qualitative Process Theory. Artificial Intelligence, 24 (1), 85–168.
Genesereth, M. R. and Fikes, R. E. (1992) Knowledge Interchange Format Version 3.0 Reference Manual, Logic-92–1. Computer Science Department, Stanford University.
Gruber, T. R. (1992) Ontolingua: A Mechanism to Support Portable Ontologies, KSL-91–66. Knowledge Systems Laboratory, Stanford University.
Low, C. M. and Iwasaki, Y. (1992) Device Modeling Environment: An Interactive Environment for Modeling Device Behavior. Intelligent Systems Engineering, 1 (2), 115–115.
Rice, J., Farquhar, A. et al. (1996) Using the Web Instead of a Window System. Proceedings, CHI 96. ACM Press, New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Koizumi, Y., Iwasaki, Y. (1996). Knowledge-Level Analysis of the User Interface Design for a Compositional Modeling System. In: Sutcliffe, A., Benyon, D., van Assche, F. (eds) Domain Knowledge for Interactive System Design. IS&O 1996. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35059-2_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35059-2_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2891-9
Online ISBN: 978-0-387-35059-2
eBook Packages: Springer Book Archive