DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD0745746
Title:
Contracted Resolution.
Corporate Author:
NAVAL WEAPONS LAB DAHLGREN VA
Report Date:
1972-01-01
Abstract:
In order to improve the capability of resolution programs for automatic decision making, a new rule of inference called contracted resolution is proposed. Under this rule of inference more literals are often eliminated than in a pairwise Robinson resolvent. Contracted resolution is shown to be sound and complete, requiring only reflutations that are input deductions in the Chang and Slagle sense. Subsumption is defined in ths environment, and it is shown that subsumed clauses can be deleted. Author
Descriptive Note:
Technical rept.,
Pages:
0024
File Size:
0.00MB
