Abstract

The knowledge representation system kl-one first appeared in 1977. Since then many systems based on the idea of kl-one have been built. The formal model-theoretic semantics which has been introduced for kl-one languages [BL84] provides means for investigating soundness and completeness of inference algorithms. It turned out that almost all implemented kl-one systems such as back, kl-two, loom, nikl, sb-one use sound but incomplete algorithms.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call