Please use this identifier to cite or link to this item: http://hdl.handle.net/11717/7417
Title: Prime implicants of first order formulas via transversal clauses
Authors: Raut, M.K.
Singh, A.
Keywords: Algorithms
Approximation theory
Heuristic methods
First order logic
Prime implicants
Transversal clauses
Knowledge acquisition
Issue Date: 2004
Citation: International Journal of Computer Mathematics, 81(2), 157-167
Abstract: Knowledge compilation techniques are usually applied for prepositional knowledge bases. In this article, an extension of the notion of prime implicants of aknowledge base using first order formulas in Skolem conjunctive normal form is suggested. The method of transversal clauses used earlier for computing prime implicants of a propositional formula in conjuctive normal form is adopted to the first order case via substitutions. Partial correctness of the algorithm is proved. The algorithm is adopted heuristically for computing approximate prime implicants.
URI: http://dx.doi.org/10.1080/00207160310001650071
http://hdl.handle.net/11717/7417
ISSN: 207160
Appears in Collections:Articles

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.