Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Structure and control of the L-LILOG Inference system
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 418/1990 |
| Book | Sorts and Types in Artificial Intelligence |
| DOI | 10.1007/3-540-52337-6 |
| Copyright | 1990 |
| ISBN | 978-3-540-52337-6 |
| Category | II. On Sorts And Types In Knowledge Representation Including Qualitative Reasoning |
| DOI | 10.1007/3-540-52336-7_23 |
| Pages | 165-182 |
| Subject Collection | Computer Science |
| SpringerLink Date | Friday, January 20, 2006 |
| |
|
II. On Sorts And Types In Knowledge Representation Including Qualitative Reasoning
Structure and control of the L-LILOG Inference system K. H. Bläsius1, C. -R. Rollinger2 and J. -H. Siekmann3
| (1) |
FB Informatik, Fachhochschule Dortmund, Sonnenstr. 96, D-4600, Dortmund |
| (2) |
Institute for Knowledge Based Systems, IBM Germany GmbH, P.O. Box 800880, D-7000 Stuttgart 80 |
| (3) |
FB Informatik, University of Kaiserslautern, D-6750 Kaiserslautern |
Abstract
L-LILOG II is a knowledge representation language based on order-sorted predicate logic. It is used in a text understanding system to represent the meaning of natural language texts and to represent the background knowledge. An inference system for L-LILOG II has been developed including a control component which restricts the possible inferences and guides the search for proofs. This control of reasoning is based to some extend on meta knowledge, i.e. knowledge about knowledge, which is also represented in L-LILOG II. This paper provides an overview of the inference system and describes the knowledge based control of reasoning in more detail.
Essential parts of this work have been done while the authors jointly were at IBM
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|