Inferences or the Answering of Questions
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.
KeywordsPropositional Calculus Truth Table Information Supply Inference Procedure Traditional Logic
Unable to display preview. Download preview PDF.