The LILOG knowledge representation system is part of LBU/2 -the LILOG Experimentier Umgebung J -a naturM language understanding system for German. The knowledge representation system comprises a sophisticated knowledge representation language based on order-sorted predicate logic enriched by a type system of KL-ONE like languages, default reasoning, and the capalfility to delegate inferences to external deductive components. Tile inference engine processing Ltu.oc can be considered as an experimental theorem proving shell since, h~r example, we are able to exchange inference calculi and search strategies very easily. We sketch the knowledge representation language LHLOG, give an overview of the internal architecture of tile LILOG inference engine, and show how tile inference engine is embedded into the naturM language understanding system LEU/2.

The L^LOG knowledge representation language and an inference engine to interpret It have been developed as part of the LI LOG project, where new concepts for understanding natural-language texts were investigated. L^^^Q is a typed predicate logic whose type system has adopted the concepts of KL-One-like languages. Further language constructs allow the formulation of default and control knowledge. The inference engine for L^,^QQ was designed as an experimental theorem prover, allowing us to Investigate the behavior of various inference calculi as well as a number of search strategies. Processing with L^,^QQ is not restricted to a prepositional reasoner for logical formulas; we are also able to delegate special kinds of inferences to external deductive components. Currently, one such external reasoner for processing spatial information on the basis of analog representation Is attached to the inference engine.

No abstract

No abstract

No abstract