Knowledge in operation

Bollinger, Toni; Pletat, Udo

doi:10.1147/rd.366.0965

Cited by 4 publications

(2 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A more detailed description of the internal structure of the inference engine may be found in [2]. distances are measured in km, "int" is the builtin sort integer function distance( loci:Location, loc2:Location) -> int.…”

Section: Basic Inference Algorithms and Knowledge Base Accessmentioning

confidence: 99%

See 1 more Smart Citation

The LILOG knowledge representation system

Bollinger¹,

Pletat²

1991

SIGART Bull.

View full text Add to dashboard Cite

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.

show abstract

Section: Basic Inference Algorithms and Knowledge Base Accessmentioning

confidence: 99%

“…In the discussion below we will focus on such higher level inference tasks which have been developed in order to support the generation of natural language answers to queries against the knowledge base of LEU/2. 2 The Knowledge Representation Language LLiLO G…”

Section: Introductionmentioning

confidence: 99%