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

Discussion

What is circumscription?

  • A.Minimising the extension of abnormality predicates
  • B.Drawing a boundary around the relevant part of a domain
  • C.Restricting a logic to a decidable fragment of itself
  • D.Limiting the number of inferences drawn from a fact

Answer: A

Circumscription formalises the assumption that things are as normal as the facts permit, by minimising the set of objects satisfying an abnormality predicate. Birds fly unless abnormal, and only known exceptions are abnormal. Scope limitation, fragment restriction and inference bounding are different techniques. Making the assumption that nothing is unusual unless stated into a formal minimisation is what turns an informal habit of thought into an inference rule.

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

Post your comment

Please log in or register to post a comment.