Towards declarative control of computational deduction
There has been a growing interest in the area of knowledge-based systems that incorporate both data-base management-system technology and expert-system technology developed in the field of artificial intelligence. Logic-based deductive data-base systems (DDB's) represent a major branch of this research area. A critical problem shared by DDB's and logic-programming systems in general is that of deductive control and its specification. Foundations of a uniform, declarative representational framework are presented for expressing a variety of important control-relevant information and integrating many other significant, existing sources of control-relevant information while preserving compatibility with known techniques for the representation and/or processing of such information. The approach involves the use of generalized second-order assertions of structural properties (SPO's) to convey control-relevant information that can be utilized during query compilation to generate efficient extended relational algebra programs. The approach constitutes a simple extension to a logic-based data representation and manipulation language, for the declaration of control-relevant information to be used by the system in controlling deductive processes within DDB applications.
- Research Organization:
- Wisconsin Univ., Madison (USA)
- OSTI ID:
- 7019871
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parallel logic programming and parallel systems software and hardware. Progress report (Final), 1 April 1988-31 March 1989
Expertise based energy information system