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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
J.K. Debenham, “Knowledge Simplification”, in proceedings 9th International Symposium on Methodologies for Intelligent Systems ISMIS'96, Zakopane, Poland, June 1996, pp305–314.
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.
J.K. Debenham, “Constraints for Knowledge Maintenance”, in proceedings AAAI Spring Symposium in Artificial Intelligence in Knowledge Management, Stanford, California, March 1997.
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.
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.
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.
J.K. Debenham, “Understanding Expert Systems Maintenance”, in proceedings Sixth International Conference on Database and Expert Systems Applications DEXA'95, London, September, 1995.
S. Sahni, “Computationally Related Problems”, SIAM Computing, Vol 3, No 4, 1974, pp 262–279.
S. Even, “Graph Algorithms”, Computer Science Press, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Debenham, J. (1997). Constructing the functional model. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022017
Download citation
DOI: https://doi.org/10.1007/BFb0022017
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63478-2
Online ISBN: 978-3-540-69580-6
eBook Packages: Springer Book Archive