Title :
Logics for knowledge-based systems
Author :
Stachowitz, Rolf A.
Author_Institution :
Lookheed Missiles & Space Co. Inc., Austin, TX, USA
Abstract :
The author claims that progress in knowledge-based systems (KBS) and semantic data model (SDM) theory can be considerably expedited if SDM and KBS researchers make more use of discussions and results in contemporary nonstandard logics. He supports this claim by discussing typical SDM/KBS problems in the framework of discussions and solutions provided in some nonstandard logics, which are mostly versions of modal and many-valued logics. By means of the problems discussed, the author derives a list of required properties of a logic for SDMs and KBSs.<>
Keywords :
data structures; expert systems; formal logic; knowledge engineering; discussions; knowledge-based systems; many-valued logics; modal logic; nonstandard logics; semantic data model; solutions; Artificial intelligence; Calculus; Data models; Databases; Knowledge based systems; Microelectronics; Missiles; Multivalued logic; Natural languages; Wheels;
Conference_Titel :
System Sciences, 1988. Vol.III. Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0843-9
DOI :
10.1109/HICSS.1988.11920
