DocumentCode
3360693
Title
Logics for knowledge-based systems
Author
Stachowitz, Rolf A.
Author_Institution
Lookheed Missiles & Space Co. Inc., Austin, TX, USA
Volume
3
fYear
1988
fDate
0-0 1988
Firstpage
295
Lastpage
303
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1988.11920
Filename
11920
Link To Document