A MULTILEVEL KNOWLEDGE REPRESENTATION OF STRATEGIES FOR COMBINING MODULES a
|
Abstract:
The research was motivated by the need to represent knowledge (when written in Prolog) in a way that would retain its inherent structure. Our approach attempts to offer means of abstraction for structuring logic programs according to both generality levels and to knowledge content, i.e. meta-levels. Using the notion of a modular logic program, we define a special reflection mechanism which establishes connections between modules at a given level and a level above. We describe various ways of combining of modules. We propose defining meta-knowledge in separate modules, with each module defining one particular strategy. Another option is dividing meta-knowledge that defines one strategy into several modules at one level, and defining a way of combining them. 1 Problem Area and Goal Despite several widely recognized advantages of logic programming such as declarative semantics, or mechanisms of unification and deduction, the extent of its suitability for development of large software systems is relatively limited. One of the crucial problems is the lack of concepts, and consequently of language constructs, for structuring programs, modularity, sharing and hiding,
Citations
| 82 | L&O: Logic and Objects – McCabe - 1992 |
| 6 | Logic for problem solving (North-Holland – Kowalski - 1979 |
| 1 | Bielikov'a et al, Revue ing. des syst`emes d'information – unknown authors |
| 1 | Nadathur and D.S. Wilson in Extension of Logic Programming – Kwon, G - 1993 |
| 1 | in Extension of Logic Programming ELP'92 – Meier - 1993 |
