Catalogo Articoli (Spogli Riviste)
OPAC HELP
Titolo: DISSOLUTION  MAKING PATHS VANISH
Autore: MURRAY NV; ROSENTHAL E;
 Indirizzi:
 SUNY,DEPT COMP SCI ALBANY NY 12222 UNIV NEW HAVEN,DEPT MATH W HAVEN CT 06516
 Titolo Testata:
 Journal of the Association for Computing Machinery
fascicolo: 3,
volume: 40,
anno: 1993,
pagine: 504  535
 Fonte:
 ISI
 Lingua:
 ENG
 Soggetto:
 RESOLUTION; MATRICES; MATINGS;
 Keywords:
 ALGORITHMS; THEORY; AUTOMATED DEDUCTION; INFERENCE; MATRIX METHODS; PATH; PRAWITZ ANALYSIS;
 Tipo documento:
 Article
 Natura:
 Periodico
 Settore Disciplinare:
 CompuMath Citation Index
 Science Citation Index Expanded
 Citazioni:
 25
 Recensione:
 Indirizzi per estratti:



 Citazione:
 N.V. Murray e E. Rosenthal, "DISSOLUTION  MAKING PATHS VANISH", Journal of the Association for Computing Machinery, 40(3), 1993, pp. 504535
Abstract
Path dissolution, a rule of inference that operates on formulas in negation normal form and that employs a representation called semantic graphs is introduced. Path dissolution has several advantages in comparison with many other inference technologies. In the ground case, it preserves equivalence and is strongly complete: Any sequence of dissolution steps applied exhaustively to a semantic graph G will yield an equivalent linkless graph G'. Furthermore, one need not (and cannot) restrict attention to conjunctive normal form (CNF) when employing dissolution: A single application (even to a CNF formula) generally produces a nonCNF formula that is more compact than any of its CNF equivalents. Path dissolution is a global rule; as such, it is employed at the first order level diffeently from the way locally oriented techniques (such as resolution) are. Two methods for employing dissolution as an inference mechanism for first order logic are presented. Dissolution is related to our theory links mechanism, to the factoring of formulas with the distributive laws, and to analytic tableaux. Some preliminary experimental results are also reported.
ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 29/11/20 alle ore 18:39:09