Limited reasoning in first-order knowledge bases with full introspection

摘要

A fundamental problem in knowledge representation is that reasoning, if based on classical logic, is inherently intractable or even undecidable. A principled approach to specifying more efficient inference mechanisms is to use weaker logics with non-standard model theories.