Advertisement

Constructing the functional model

  • John Debenham
Modelling I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1308)

Abstract

The problem of constructing the functional model for knowledge-based systems is discussed. The functional model is derived from a specification of the system transactions and from the conceptual model. The conceptual model is a representation of the system expertise using a uniform formalism. In this formalism data, information and knowledge are all represented in the same way. This formalism incorporates two classes of constraints which apply equally to data, information and to knowledge. The transactions are specified by identifying those items in the conceptual model which are directly associated with updates and queries. The functional model shows how the knowledge in the conceptual model should be employed to deliver the transactions. Using a broad definition of ‘best’, the problem of deriving the best functional model is shown to be NP-complete. A sub-optimal algorithm for deriving solutions to the functional model construction problem is given.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.K. Debenham and V. Devežić, “Designing Knowledge-Based Systems for Optimal Performance”, in proceedings Seventh International Conference on Database and Expert Systems Applications DEXA'96, Zurich, Switzerland, September 1996, pp728–737.Google Scholar
  2. [2]
    J.K. Debenham, “Unification of Knowledge Acquisition and Knowledge Representation”, in proceedings International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems IPMU'96, Granada, Spain, July 1996, pp897–902.Google Scholar
  3. [3]
    J.K. Debenham, “Knowledge Simplification”, in proceedings 9th International Symposium on Methodologies for Intelligent Systems ISMIS'96, Zakopane, Poland, June 1996, pp305–314.Google Scholar
  4. [4]
    R. Capobianchi, M. Mautref, M. van Keulen and H. Balsters, “An Architecture and Methodology for the Design and Development of Technical Information Systems”, in proceedings 9th International Symposium on Methodologies for Intelligent Systems ISMIS'96, Zakopane, Poland, June 1996, pp511–520.Google Scholar
  5. [5]
    J.K. Debenham, “Constraints for Knowledge Maintenance”, in proceedings AAAI Spring Symposium in Artificial Intelligence in Knowledge Management, Stanford, California, March 1997.Google Scholar
  6. [6]
    A Motro and S. Goullioud, “Knowledge Organisation for Exploration”, in proceedings Sixth International Conference on Database and Expert Systems Applications DEXA'95, London, September, 1995.Google Scholar
  7. [7]
    H. Katsuno and A.O. Mendelzon, “On the Difference between Updating a Knowledge Base and Revising It”, in proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR'91, Morgan Kaufmann, 1991.Google Scholar
  8. [8]
    F. Lehner, H.F. Hofman, R. Setzer, and R. Maier, “Maintenance of Knowledge Bases”, in proceedings Fourth International Conference DEXA'93, Prague, September 1993, pp436–447.Google Scholar
  9. [9]
    J.K. Debenham, “Understanding Expert Systems Maintenance”, in proceedings Sixth International Conference on Database and Expert Systems Applications DEXA'95, London, September, 1995.Google Scholar
  10. [10]
    S. Sahni, “Computationally Related Problems”, SIAM Computing, Vol 3, No 4, 1974, pp 262–279.Google Scholar
  11. [11]
    S. Even, “Graph Algorithms”, Computer Science Press, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • John Debenham
    • 1
  1. 1.Key Centre for Advanced Computing SciencesUniversity of TechnologySydneyAustralia

Personalised recommendations