Time-bounded reasoning in first order knowledge base systems
DOI
オープンアクセス
説明
In first order predicate logic, it is undecidable whether a formula is deducible from a set of axioms. In order to realize a practical knowledge base system in the framework of the first order logic, we must overcome this problem.
