Modelling database based expert systems at the conceptual level

ABSTRACT

In a conceptual modelling environment a model is given for analysing complex real world problems known as Conceptual Knowledge Model (CKM), represented by a Graphical Representation and a Formal Representation. The Graphical Representation consist of 3 graphs: Conceptual Requirement Graph, Conceptual Behavior Graph, and Conceptual Structure Graph. This graphs are developed by consulting the expert during the design process. The graphs are then transformed into first- order predicate logic to represent the non-logical axioms of a first order theory. The model suggested here is a step towards closing the gap between data base theory and AI databases.

REFERENCES

• Brod83: /Brodie, Mylopilos, Schmidt (eds.) "On Conceptual Modelling: Prespectives from AI, Databases and programming languages", Springer Verlag, 1983
• CRIS1: T.V. Olle, h.g. Soil, a.a. Verrijn Stuart "Information System Design Methodologies" Proceedins, of IFIP confrence 82 Northholand Publ. comp. a) M.R. Gustofsson, T. Karlsson, J.A. Bubenko A declarative approach to conceptual information modelling ClAM b) M. Lundberg, The ISAC approach c) G. Richter, R. Durchholz IML-inscribed high level petri nets d) C. Rolland,C. Richard The REMORA Methodology e) M. Brodie, Siva "Active and Passive Component Modelling in information system design methodologies"
• Feig77: Feigenbaum, C. A, "The art of artificial intelligence : I Thems and case studies of knowledge engineering" Fifth international joint conference on AI 1977
• Ham83: Hammond P, "APES, A Prolog Expert System" Department of Computing Imperial College London
• HSY84: /Horndasch A, Studer R, Yasdi R, "An approach to conceptual schema design of information systems" In Proc. of TFAIS 85, "Theoretical and formal aspects of IS" April 1985, Barcelona
• ISO82: ISO TC97/SCS/WG3 "Concept and terminology for the conceptual schema and the information base " March 1982, editor Griethuysen, j.j.
• Lun81: Lundberg Bengt "IMT an information modelling tool" SYSLAB, report no. 3 S-41296 Goetebor8
• Neu81: Neuhold E.J. " Development Methodologies for event and message based application System" Universitaet Stuttgart, Azenberg Str. 12, D-7000 Stuttgart 1
• Nil82: N. J. Nilsson, Principles of artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1980
• Schi82: Schiel U. "Ein semantisches Datenmodel fuer konzeptualle Schema und ihre Abbildung auf interne rclatonale Schemata" University Stuttgart Azenberg Str. 12, D-7000 Stuttgart 1
• Schn79: Schneider H.J.(ed.) "Formal Models and practical Tools for Information Systems Design", Proc. of the IFIP WG 8.1. Oxford 79, North-Holland Pub. co., 79
• Schn80: H. J. Schneider , A. I. Wasserman, Automated Tools for Information Systems Design: Proceedings IFIP WG Working Conference on Automated Tools for Information Systems Design and Development, 8.1, New Orleans, January 26-28, 1982, Elsevier Science Inc., New York, NY, 1982
• Scho84: Schoenfeld W. "Zum Einsatz von autom~ti~:~hen Beweissuchverfahren in In{ormationss),stcm" IBM-. Heidelberg, Tiergarten Str. 15
• Smi77: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• Wils75: Wilson, M,L "The Information about approach to design and implementation of computer based systems" FDS76-0093, IBM, Gaithers burg Maryland, 1975
• Yas84: "Design aid environment for Database Based Expert Systems at the Conceptual level " , proceeding of First International workshop on Expert Database Systems, Oct. 25-27, 1984, Kiawah Island, South Carolina

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

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

General Terms:
Algorithms, Design, Theory