Logics for knowledge-based systems

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.<>