Abstract
DESKS is an integrated software package designed to support the development of advanced knowledge based systems, including expert systems and other AI applications. It provides system designers with an interacting set of sophisticated tools and facilities to assist in the development process. This paper discusses the aims and achievements of DESKS, and chronicles the design and construction of the package.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kerschberg, L. (ed.). Proc. First Int. Workshop on Expert Database Systems, South Carolina, 1984.
Kerschberg, L. (ed.). Proc. Second Int. Workshop on Expert Database Systems; South Carolina, 1988.
Kunifuji, S. and Yokota, H. PROLOG and relational databases for fifth generation computer systems. Proc. of the Workshop on Logical Bases for Databases, Toulouse, 1982.
Gray, P.M.D. Logic, Algebra and Databases. Ellis Horwood, 1984.
Gallaire, H. and Minker, J. Logic and Databases. Plenum Press, 1978.
Li, D. A PROLOG Database System. Research Studies Press Ltd., Herts., England, 1984.
Maier, D. Databases in the Fifth Generation Project Is Prolog a Database Language? in Ariav and Clifford, Eds: New Directions for Database Systems, Abtes, 1984.
Jarke, M., Clifford, J. and Vassiliou, Y. An Optimizing Prolog Front-End to a Relational Query System. Proc. ACM-SIGMOD Conf. on Management of Data, 1984.
Bocca, J. Educe - A Marriage of Convenience: Prolog and a Relational DBMS. Proc. Symposium on Logic Programming, 1986.
Zaniolo, C. Design and Implementation of a Logic Based Data Language for Data Intensive Applications. Proc. Int. Conf. on Logic Programming, Seattle, 1988.
Zaniolo, C. Deductive Databases - Theory Meets Practice. Proc. Second Int. Conf. on Extending Database Technology (EDBT’90), Venice, 1990.
Poulovassilis, A. and King. P. Extending the Functional Model to Computational Completeness. Proc. Second Int. Conf. on Extending Database Technology (EDBT’90), Venice, 1990.
Vassiliou, Y. Knowledge Basedand Database Systems: Enhancement, Coupling or Integration? in M.L. Brodie and J. Mylopoulos, eds: On Knowledge Base Management Systems, Springer-Verlag, 1986.
Chang. C.L. and Walker, A. PROSQL: A Prolog Programming Interface with SQL/DS. in [Ker86].
Vielle, L. Recursive Axioms in Deductive Databases: The Query/Subquery Approach. in [Ker84].
Nejdl, W. Recursive Strategies for Answering Recursive Queries The RQA/FQI Strateg. Proc 13th Conf. on Very Large Databases (VLDB), 1987.
Power, D.M.J. Query Translation in a Tightly Coupled Logic Database System. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
Kowalski, R.A., Sadri, F. and Soper, P: Integrity Checking in Deductive Databases. Proc 13th Conf. on Very Large Databases (VLDB), 1987.
Ling, T-K. Integrity Constraint Checking in Deductive Databases using the Prolog NOT-Predicate. Data and Knowledge Engineering, 2, 2, 1987.
Kenneally, W.P. The Design of an Integrity Subsystem for a Logic Database. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
Chakravarthy, U.S., Grant, J. and Minker, J. A Logic Based Approach to Semantic Query Optimization. Tech. Report 1921, University of Maryland, College Park, 1987.
O’Mahony, A.B. A Semantic Based Approach to Query Optimisation in Deductive Databases. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
O’Flaherty, F.B. Design of a Transportable Natural Language Database Interface. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
Grosz, B.J., Appelt, D.E., Martin, P.A. and Pereira, F.C.N. TEAM: An Experiment in the Design of Transportable Natural Language Interfaces. Artificial Intelligence 32 (2), 1987.
McFetridge, P., Hall, G., Cercone, N. and Luk, W.S. System X: A Portable Natural Language Interface. Proc. 7th Biennial Conf. of the Canadian Society for Computer and Statistical Software, June 1988.
Schank, R.C. Conceptual Information Processing. North-Holland, Amsterdam, 1975.
Murphy, S.M.J. A Natural Language Paraphraser for Queries to a Logic Database System. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
Lowden, B.G.T. and DeRoeck, A. The REMIT System for Paraphrasing Relational Query Expressions into Natural Language. Proc. 12th onf. on Very Large Databases (VLDB), Kyoto, Japan, 1986.
Rowe, L.A., Danzig, P. and Choi, W. A Visual Shell Interface to a Database. Software - Practice and Experience, 19, 6, 1989.
Delaney, T.A. A Windowing Interface for a Logic Database System. M.Sc. Thesis; Computer Science Dept., University College, Cork, 1989.
Kissane, J. M.Sc. Thesis; Computer Science Dept., University College, Cork, to be presented 1990.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sorensen, H. et al. (1991). Developmental Support for Knowledge Based Systems. In: McTear, M.F., Creaney, N. (eds) AI and Cognitive Science ’90. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3542-5_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3542-5_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19653-2
Online ISBN: 978-1-4471-3542-5
eBook Packages: Springer Book Archive