Towards a Solution to the Proper Integration of a Logic Programming System and a Large Knowledge Based Management System.
Abstract
In designing the interface between a database and a logic system with inference such as Prolog, efficiency is the major issue. Presented here are three of the methods that are considered most promising and in which much research is focused. The first method explores extending an inference machine to include a database management system; and the second couples the inference mechanism with a database management system; and the third extends a database management mechanism to include inference. Acknowledging up front that no method can be claimed 'best', the major emphasis of this study will be to determine the strengths and limitations of all three methods and thereby help to clarify many uncertain and sometimes conflicting issues caused by the parallel lines of development from the database and artificial intelligence communities.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA188949
Entities
People
- John P. Gorman
Organizations
- Naval Postgraduate School