Supporting knowledge-base evolution with incremental formalization
- 24 April 1994
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 285-291
- https://doi.org/10.1145/191666.191768
Abstract
Computers require formally represented information to support users but users often cannot provide it. This paper looks at an approach called "incremental formalization", when users express information informally and the system supports them in formalizing it. Incremental formalization requires a system architecture that can integrate formal and informal representations and enable and support moving information upward in formality. The system should include tools to capture naturally available informal information and knowledge-based techniques to suggest possible formalizations of this informal information. The Hyper- Object Substrate (HOS), a system with these characteristics, has been applied to a variety of domains, including network design, archeological site analysis and neuroscience education. Users were successful in adding information informally and in incrementally formalizing that information. In particular, informal text was added, which later had attributes added and partook of inheritance relationships.Keywords
This publication has 10 references indexed in Scilit:
- Two years before the mistPublished by Association for Computing Machinery (ACM) ,1993
- Searching for the missing linkPublished by Association for Computing Machinery (ACM) ,1993
- Supporting Indirect Collaborative Design With Integrated Knowledge-Based Design EnvironmentsHuman–Computer Interaction, 1992
- Supporting communication between designers with artifact-centered evolving information spacesPublished by Association for Computing Machinery (ACM) ,1992
- Experiments with OvalPublished by Association for Computing Machinery (ACM) ,1992
- Making Argumentation Serve DesignHuman–Computer Interaction, 1991
- A Process-Oriented Approach to Design RationaleHuman–Computer Interaction, 1991
- JANUS: integrating hypertext with a knowledge-based design environmentPublished by Association for Computing Machinery (ACM) ,1989
- Reflections on NoteCards: seven issues for the next generation of hypermedia systemsCommunications of the ACM, 1988
- Using prototypical objects to implement shared behavior in object-oriented systemsPublished by Association for Computing Machinery (ACM) ,1986