CS109B Notes for LectureWhy Resolution? Given how ugly search for proofs seems to be, and given that in general it takes exponential time to nd a proof of a true statement of length n, it is - SLD resolution - Document - PDFSEARCH.IO

First Page	Meta Content
	CS109B Notes for LectureWhy Resolution? Given how ugly search for proofs seems to be, and given that in general it takes exponential time to nd a proof of a true statement of length n, it is Add to Reading List Document Date: 2008-09-19 00:59:14 Open Document File Size: 48,40 KB Share Result on Facebook IndustryTerm ugly search / distributive law / / ProvinceOrState Oregon / / SocialTag Rules of inference Propositional calculus Automated theorem proving Resolution Literal Deduction theorem SLD resolution Logic Mathematical logic Mathematics

CS109B Notes for LectureWhy Resolution? Given how ugly search for proofs seems to be, and given that in general it takes exponential time to nd a proof of a true statement of length n, it isAdd to Reading List