A calculus for order-sorted predicate logic with sort literals
Proceedings of the workshop on Sorts and types in artificial intelligence
Knowledge representation in LILOG
Proceedings of the workshop on Sorts and types in artificial intelligence
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
A model of multimedia information retrieval
Journal of the ACM (JACM)
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Hi-index | 0.00 |
The LILOG knowledge representation system is part of LEU/2 - the LILOG Experimentier Umgebung1 - a natural language understanding system for German. The knowledge representation system comprises a sophisticated 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 capability to delegate inferences to external deductive components. The inference engine processing LLILOG can be considered as an experimental theorem proving shell since, for example, we are able to exchange inference calculi and search strategies very easily. We sketch the knowledge representation language LLILOG, give an overview of the internal architecture of the LILOG inference engine, and show how the inference engine is embedded into the natural language understanding system LEU/2.