Inferences or the Answering of Questions

  • Ellen Hisdal née Gruenwald
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 14)


The previously discussed representation of supplied information is no goal in itself. What we wish to achieve with a representation of knowledge system is to be able to retrieve the supplied information and to draw inferences from it. We will express this by saying that it must be possible to answer any question qu directed at the information represented in the knowledge base. The present chapter includes IF THEN questions. IF THEN information supply is treated in chapter 8, although we anticipate it here in connection with the comparison between propositional calculus and the chain set logic in sections 6.4, 7.2.


Propositional Calculus Truth Table Information Supply Inference Procedure Traditional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Ellen Hisdal née Gruenwald
    • 1
  1. 1.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations