2009 | OriginalPaper | Buchkapitel
Prime Implicate Tries
verfasst von : Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Erschienen in: Automated Reasoning with Analytic Tableaux and Related Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The
prime implicate trie
(
pi
-trie) of a logical formula is a tree whose branches are labeled with the prime implicates of the formula. The technology of reduced implicate tries is employed to analyze the structure of
pi
-tries. Appropriate lemmas and theorems are proved, and an algorithm that builds the
pi
-trie from a logical formula is developed. Preliminary experimental results are presented.