Using Semantic Concepts to Characterise Various Knowledge Representation Formalisms: A Method of Facilitating the Interface of Knowledge Base System Components
Abstract
Currently, there are a number of research groups working on various components for knowledge base system (KBSs). As example: (a) novel hardware is being developed for mass storage of simple facts, (b) machines are being built to speed up reasoning with rules expressed in languages such as PROLOG and LISP, (c)algorithms have been designed for automatic maintenance of semantic integrity and for deductive question answering, (d) logical systems are being axiomatised which can accommodate time, beliefs, non-monotonic reasoning and other aspects of knowledge which cannot be handled by classical truth-functional predicate logic, (e) methods are being developed to support multiple user-views of knowldege stored in some canonical from, and (f) some progress has been made in providing natural-language interfaces to knowledge base systems.
No comments:
Post a Comment