Incremental formalization with the hyper-object substrate

ABSTRACT

Computers require formally represented information to perform computations that support users; yet users who have needed such support have often proved to be unable or unwilling to formalize it. To address this problem, this article introduces an approach called incremental formalization, in which, first, users express information informally and then the system aids them in formalizing it. Incremental formalization requires a system architecture the (1) integrates formal and informal representations and (2) supports progressive formalization of information. The system should have both tools to capture naturally available informal information and techniques to suggest possible formalizations of this information. The hyper-object substrate (HOS) was developed to satisfy these requirements. HOS has been applied to a number of problem domains, including network design, archeological site analysis, and neuroscience education. Users have been successful in adding informal information and then later formalizing it incrementally with the aid of the system. Our experience with HOS has reaffirmed the need for information spaces to evolve during use and has identified additional considerations in the design and instantiation of systems enabling and supporting incremental formalization

REFERENCES

• 1: Robert M. Akscyn , Donald L. McCracken , Elise A. Yoder, KMS: a distributed hypermedia system for managing knowledge in organizations, Communications of the ACM, v.31 n.7, p.820-835, July 1988 [doi>10.1145/48511.48513]
• 2: Lucy M. Berlin , Vicki L. O'Day, Platform and application issues in multi-user hypertext, Proceedings of the IFIP WG 8.4 confernece on Multi-user interfaces and applications, p.293-309, January 1990, Heraklion, Crete, Greece
• 3: Mark Bernstein, An apprentice that discovers hypertext links, Hypertext: concepts, systems and applications, Cambridge University Press, New York, NY, 1992
• 4: Sudha Ram , David A. Carlson, HyperIntelligence: the next frontier, Communications of the ACM, v.33 n.3, p.311-321, March 1990 [doi>10.1145/77481.77484]
• 5: CHOMSKY, N. 1956. Three models for the description of language. IEEE Trans. Inf. Theor. 2, 3, 113-124.
• 6: CONKLIN, E. J. AND BURGESS YAKEMOVIC, K. C. 1991. A process-oriented approach to design rationale. Hum. Comp. Inter. 6, 3-4, 357-391.
• 7: Michael Eisenberg , Gerhard Fischer, Programmable design environments: integrating end-user programming with domain-oriented assistance, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.431-437, April 24-28, 1994, Boston, Massachusetts, United States [doi>10.1145/191666.191813]
• 8: FISCHER, G., GRUDIN, J., LEMKE, A., MCCALL, R., OSTWALD, J., REEVES, B., AND SHIPMAN, F. 1992. Supporting indirect, collaborative design with integrated knowledge-based design environments. Hum. Comput. Interact. 7, 3, 281-314.
• 9: FISCHER, G., LEMKE, A. C., MCCALL, R., AND MORCH, A. 1991. Making argumentation serve design. Hum. Comput. Interact. 6, 3-4, 393-419.
• 10: G. Fischer , R. McCall , A. Morch, JANUS: integrating hypertext with a knowledge-based design environment, Proceedings of the second annual ACM conference on Hypertext, p.105-117, November 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74224.74233]
• 11: William J. Frawley , Gregory Piatetsky-Shapiro , Christopher J. Matheus, Knowledge discovery in databases: an overview, AI Magazine, v.13 n.3, p.57-70, Fall 1992
• 12: Andreas Girgensohn, End-user modifiability in knowledge-based design environments, University of Colorado at Boulder, Boulder, CO, 1992
• 13: GROSS, M. D. 1996. The Electronic cocktail napkin--Computer support for working with diagrams. Des. Stud. 17, 1, 53-69.
• 14: Jonathan Grudin, Groupware and social dynamics: eight challenges for developers, Communications of the ACM, v.37 n.1, p.92-105, Jan. 1994 [doi>10.1145/175222.175230]
• 15: Jörg M. Haake , Christine M. Neuwirth , Norbert A. Streitz, Coexistence and transformation of informal and formal structures: requirements for more flexible hypermedia systems, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.1-12, September 19-23, 1994, Edinburgh, Scotland [doi>10.1145/192757.192758]
• 16: Frank,G. Halasz, Reflections on NoteCards: seven issues for the next generation of hypermedia systems, Communications of the ACM, v.31 n.7, p.836-852, July 1988 [doi>10.1145/48511.48514]
• 17: Martin Hofmann , Uwe Schreiweis , Horst Langendörfer, An integrated approach of knowledge acquisition by the hypertext system CONCORDE, Hypertext: concepts, systems and applications, Cambridge University Press, New York, NY, 1992
• 18: Hermann Kaindl , Mikael Snaprud, Hypertext and structured object representation: an unifying view, Proceedings of the third annual ACM conference on Hypertext, p.345-358, December 15-18, 1991, San Antonio, Texas, United States [doi>10.1145/122974.123007]
• 19: LETHBRIDGE, T. C. AND SKUCE, D. 1992. Informality in knowledge exchange. In Proceedings of the AAAI Workshop on Knowledge Representation Aspects of Knowledge Acquisition. AAAI Press, Menlo Park, CA.
• 20: Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
• 21: Thomas W. Malone , Kum-Yew Lai , Christopher Fry, Experiments with Oval: a radically tailorable tool for cooperative work, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.289-297, November 01-04, 1992, Toronto, Ontario, Canada [doi>10.1145/143457.143532]
• 22: Catherine C. Marshall , Russell A. Rogers, Two years before the mist: experiences with Aquanet, Proceedings of the ACM conference on Hypertext, p.53-62, November 30-December 04, 1992, Milan, Italy [doi>10.1145/168466.168490]
• 23: Catherine C. Marshall , Frank M. Shipman, III, Searching for the missing link: discovering implicit structure in spatial hypertext, Proceedings of the fifth ACM conference on Hypertext, p.217-230, November 14-18, 1993, Seattle, Washington, United States [doi>10.1145/168750.168826]
• 24: Catherine C. Marshall , Frank M. Shipman, III , James H. Coombs, VIKI: spatial hypertext supporting emergent structure, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.13-23, September 19-23, 1994, Edinburgh, Scotland [doi>10.1145/192757.192759]
• 25: MCCALL, R., MISTRICK, I., AND SCHULER, W. 1991. An integrated information and communication system for problem solving: Basic concepts, data for science and technology. In Proceedings of the 7th International CODATA Conference. 107-115.
• 26: MCCALL, R., BENNETT, P., AND JOHNSON, E. 1994. An overview of the PHIDIAS II HyperCAD System, reconnecting. In Proceedings of ACADIA '94. 63-74.
• 27: Thomas P. Moran , Patrick Chiu , William van Melle , Gordon Kurtenbach, Implicit structure for pen-based systems within a freeform interaction paradigm, Proceedings of the SIGCHI conference on Human factors in computing systems, p.487-494, May 07-11, 1995, Denver, Colorado, United States [doi>10.1145/223904.223970]
• 28: MUNDIE, D. n. AND SHULTIS, J. C., Eds. 1991. Proceedings of the Workshop on Informal Computing.
• 29: Jocelyne Nanard , Marc Nanard, Using structured types to incorporate knowledge in hypertext, Proceedings of the third annual ACM conference on Hypertext, p.329-343, December 15-18, 1991, San Antonio, Texas, United States [doi>10.1145/122974.123006]
• 30: POLANYI, M. 1996. The Tacit Dimension. Doubleday, New York, NY.
• 31: Brent Neal Reeves, Supporting collaborative design by embedding communication and history in design artifacts, University of Colorado at Boulder, Boulder, CO, 1993
• 32: Brent Reeves , Frank Shipman, Supporting communication between designers with artifact-centered evolving information spaces, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.394-401, November 01-04, 1992, Toronto, Ontario, Canada [doi>10.1145/143457.143556]
• 33: RITTEL, H. 1984. Second generation design methods. In Developments in Design Methodology. John Wiley & Sons, Inc., New York, NY, 317-327.
• 34: Eric Saund , Thomas P. Moran, A perceptually-supported sketch editor, Proceedings of the 7th annual ACM symposium on User interface software and technology, p.175-184, November 02-04, 1994, Marina del Rey, California, United States [doi>10.1145/192426.192494]
• 35: SCHOEN, D. 1983. The Reflective Practitioner: How Professionals Think in Action. Basic Books, Inc., New York, NY.
• 36: Daniel Schwabe , Bruno Feijó , Werther G. Krause, Intelligent hypertext for normative knowledge in engineering, Hypertext: concepts, systems and applications, Cambridge University Press, New York, NY, 1992
• 37: Frank Major Shipman, III, Supporting knowledge-base evolution with incremental formalization, University of Colorado at Boulder, Boulder, CO, 1993
• 38: SHIPMAN, F. M. AND MARSHALL, C. C. 1993. Formality considered harmful: Experiences, emerging themes, and directions. Tech. Rep. CU-CS-648-93. Department of Computer Science, University of Colorado at Boulder, Boulder, CO.
• 39: Frank M. Shipman, III , Raymond McCall, Supporting knowledge-base evolution with incremental formalization, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.285-291, April 24-28, 1994, Boston, Massachusetts, United States [doi>10.1145/191666.191768]
• 40: F. M. Shipman , R. J. Chaney , G. A. Gorry, Distributed hypertext for collaborative research: the virtual notebook system, Proceedings of the second annual ACM conference on Hypertext, p.129-135, November 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74224.74235]
• 41: Frank M. Shipman, III , Catherine C. Marshall , Thomas P. Moran, Finding and using implicit structure in human-organized spatial layouts of information, Proceedings of the SIGCHI conference on Human factors in computing systems, p.346-353, May 07-11, 1995, Denver, Colorado, United States [doi>10.1145/223904.223949]
• 42: Lucy A. Suchman, Plans and situated actions: the problem of human-machine communication, Cambridge University Press, New York, NY, 1987
• 43: David Ungar , Randall B. Smith, Self: The power of simplicity, Conference proceedings on Object-oriented programming systems, languages and applications, p.227-242, October 04-08, 1987, Orlando, Florida, United States

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)

General Terms:
Design, Human Factors