Improving implementation of graphical user interfaces for object-oriented knowledge-bases

Second generation knowledge-based systems have raised the focus of research from rulebased to model-based systems. Model-based systems allow knowledge to be separated into target domain model knowledge and problem solving knowledge.This work supports and builds on the hypothesis that fully object-oriented knowledge-bases provide the best properties for managing large amounts of target domain model know ledge. The ease by which object-oriented representations can be mapped to efficient graphical user interfaces is also beneficial for building interactive graphical knowledge acquisition and maintenance tools. These allow experts to incrementally enter and maintain larger quantities of knowledge in knowledge-bases without support from a knowledge engineer.The thesis points to recent advances in the conception of knowledge-based systems. It shows the need for efficient user interfaces for management of large amounts of heterogeneous knowledge components. It describes a user interface software architecture for implementing interactive graphical knowledge-base browsers and editors for such large knowledge-bases. The architecture has been inspired by object-oriented programming and data-bases, infological theory, cognitive psychology and practical implementation work.The goal with the user interface software architecture has been to facilitate the implementation of flexible interactive environments that support creative work. Theoretical models of the entire user interaction situation including the knowledge-base, the user interface and the user are described. The models indicate how theoretical comparisons of different user interface designs can be made by using certain suggested measures.The architecture was developed in the frame of a cooperative project with the Department of Mechanical Engineering on developing a knowledge-based intelligent front end for a computer aided engineering system for damage tolerance design on aircraft structures.

[1]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[2]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[3]  A. Kaufmann,et al.  The critical path method , 1969 .

[4]  Larry Eshelman,et al.  MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .

[5]  Warren Teitelman X11/NeWS design overview , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[6]  Nils Dahlbäck,et al.  A Symbol Is Not a Symbol , 1989, IJCAI.

[7]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[8]  B. Fredriksson Advanced numerical methods for analysis and design of aircraft structures , 1986 .

[9]  Donald A. Norman,et al.  Some observations on mental models , 1987 .

[10]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[11]  Erik Anders Tengvald,et al.  The design of expert planning systems: an experimental operations planning system for turning , 1984 .

[12]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[13]  Peter Gärdenfors,et al.  Induction, Conceptual Spaces and AI , 1990, Philosophy of Science.

[14]  David C. Anderson,et al.  Functional specification for CAD databases , 1986 .

[15]  Erich Gamma,et al.  ET++—an object oriented application framework in C++ , 1988, OOPSLA 1988.

[16]  Mildred L. G. Shaw,et al.  Modeling expert knowledge , 1990 .

[17]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[18]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[19]  Narain H. Gehani,et al.  OdeView: the graphical interface to Ode , 1990, SIGMOD '90.

[20]  Charles F. Goldfarb,et al.  SGML handbook , 1990 .

[21]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[22]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

[23]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[24]  Yen-Ping Shan,et al.  MoDE: a UIMS for Smalltalk , 1990, OOPSLA/ECOOP '90.

[25]  Clive L. Dym,et al.  PRIDE: An Expert System for the Design of Paper Handling Systems , 1986, Computer.

[26]  Alan Bundy,et al.  Intelligent Front Ends , 1984 .

[27]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[28]  Won Kim,et al.  Object-oriented database systems: in transition , 1990, SGMD.

[29]  David E. Kieras,et al.  Towards a Practical GOMS Model Methodology for User Interface Design , 1988 .

[30]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[31]  P. H. Lindsay Human Information Processing , 1977 .

[32]  Ioannis G. Tollis,et al.  Automatic layout of PERT diagrams with X-PERT , 1989, [Proceedings] 1989 IEEE Workshop on Visual Languages.

[33]  Kjell Orsborn Using knowledge-based techniques in systems for structural design , 1991 .

[34]  Mark A. Musen,et al.  Conceptual models of interactive knowledge acquisition tools , 1989 .

[35]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[36]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[37]  Erik Sandewall,et al.  Programming in an Interactive Environment: the ``Lisp'' Experience , 1978, CSUR.

[38]  Sanjay Mittal,et al.  A Knowledge-Based Framework for Design , 1986, AAAI.

[39]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[40]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[41]  Butler W. Lampson,et al.  Annual Review of Computer Science , 1986 .

[42]  Andreas Buja,et al.  Painting multiple views of complex objects , 1990, OOPSLA/ECOOP '90.

[43]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[44]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[45]  Douglas A. Young X window systems - programming and applications with Xt , 1989 .

[46]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[47]  Dennis E. Egan,et al.  Handbook of Human Computer Interaction , 1988 .

[48]  Olof Johansson A Perspective on Engineering Database Research , 1989 .

[49]  Luc Steels,et al.  Second-Generation Expert Systems , 1985, IEEE Expert.

[50]  Randall B. Smith,et al.  SELF: The power of simplicity , 1987, OOPSLA '87.

[51]  P. Rabbit Human information processing , 1977, Nature.

[52]  Tim Andrews The Ontos Object Database , 2019, Object Management.

[53]  Volker Haarslev,et al.  A framework for visualizing object-oriented systems , 1990, OOPSLA/ECOOP '90.

[54]  Ivar Jacobson,et al.  Object-oriented development in an industrial environment , 1987, OOPSLA '87.

[55]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[56]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[57]  Thomas S. Tullis,et al.  A system for evaluating screen formats: Research and application , 1988 .

[58]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[59]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[60]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[61]  Ivar Jacobson,et al.  Object Oriented Development in an Industrial Environment , 1987, OOPSLA.

[62]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[63]  D. Hubel Eye, brain, and vision , 1988 .

[64]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[65]  Marc Gyssens,et al.  A graph-oriented object model for database end-user interfaces , 1990, SIGMOD '90.

[66]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA '87.

[67]  J. B. Ritter,et al.  The Critical-Path Method , 1965 .

[68]  Peter P. Chen The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[69]  Jack Mostow,et al.  Toward Better Models of the Design Process , 1985, AI Mag..

[70]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.