Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is inference in a logical system?

  • A.Checking whether a sentence has been written correctly according to the syntax
  • B.Storing sentences so that they may be retrieved efficiently later on
  • C.Translating sentences from one representation into another equivalent one
  • D.Deriving new sentences from those already accepted

Answer: D

Inference produces conclusions that follow from what is already believed, which is what distinguishes a knowledge base from a store of records. Syntax checking, storage and translation are supporting operations. Keeping the derivation of new content separate from the management of existing content is what allows a general reasoner to be written once and applied to any domain, which is the architectural promise of the whole approach.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.