Towards a solution to the proper integration of a logic programming system and a large knowledge based management system
Gorman, John Patrick
MetadataShow full item record
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 manager, 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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Rowe, Neil C. (Monterey, California. Naval Postgraduate School, 1984); NPS52-84-001The size of data sets subjected to statistical analysis is increasing as computer technology develops. Quick estimates of statistics rather than exact values are becoming increasingly important to analysts. The author ...
Stephens, Michael W. (Monterey, California. Naval Postgraduate School, 1995);The purpose of this thesis is to develop the design and specifications of an Object-Oriented Data Manipulation Language (O-ODML) for an Object-Oriented Data Model Language (O-ODM) constructed to test and demonstrate the ...
Rowe, Neil C. (Monterey, California. Naval Postgraduate School, 1989-02);Indirect logical inferences can provide a significant security threat to information processing systems, but they have not been much studied. Classification of data can reduce the threat, but classification decisions ...