scispace - formally typeset
Search or ask a question

Showing papers on "Knowledge extraction published in 1982"


01 Jan 1982
TL;DR: It is argued that to effectively deal with incomplete knowledge, a system must first be able to determine where the incompleteness lies, and a formal model of knowledge bases with these abilities is presented.
Abstract: The formal representation issues underlying the use of incomplete knowledge bases are investigated. It is argued that to effectively deal with incomplete knowledge, a system must first be able to determine where the incompleteness lies. This has two consequences: first, the knowledge base must have knowledge about its own incompleteness and second, it must be possible to ask or tell the knowledge base about its incompleteness. A formal model of knowledge bases with these abilities is presented. The characterization is in terms of a logical language that can refer both to application domains and to what knowledge bases might know about such domains. This language is also used to formulate questions, statements and defaults for a knowledge base. A semantic and proof-theoretic analysis is provided not only for the language itself, but also for the operations of answering questions, acquiring knowledge and assuming defaults.

69 citations


Proceedings Article
18 Aug 1982
TL;DR: The central features of a system designed for the management of large amounts of application specific knowledge and why this can be an effective strategy for realizing many practical knowledge based/expert system applications that lie in a large overlapping area between practical AI and advanced data management technology are described.
Abstract: This paper describes the central features of a system designed for the management of large amounts of application specific knowledge. The Knowledge Manager(KM-I) employs distinct software and hardware processors to implement: A file of general knowledge and an associated reasoning engine A file of specific knowledge and an associated searching engine We present our reasons for believing why this can be an effective strategy for realizing many practical knowledge based/expert system applications that lie in a large overlapping area between practical AI and advanced data management technology. We then outline the major features and components of the system and discuss the range of intended applications.

27 citations


Proceedings ArticleDOI
16 Jun 1982
TL;DR: A system is presented which uses the contents of the database to form part of this knowledge representation automatically and employs three types of world knowledge axioms to ensure that the representation formed is meaningful and contains salient information.
Abstract: The knowledge representation is an important factor in natural language generation since it limits the semantic capabilities of the generation system. This paper identifies several information types in a knowledge representation that can be used to generate meaningful responses to questions about database structure. Creating such a knowledge representation, however, is a long and tedious process. A system is presented which uses the contents of the database to form part of this knowledge representation automatically. It employs three types of world knowledge axioms to ensure that the representation formed is meaningful and contains salient information.

19 citations