Title :
Automated reasoning
Author :
Murphy, Daniel P. ; Merz, Christopher J.
Author_Institution :
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
Abstract :
Automatic reasoning, which is the attempt to prove statements with a computer, is discussed. Applications to mathematical theorem proving, diagnosis from first principles, logic circuit design and validation, and program verification and validation are described.<>
Keywords :
diagnostic expert systems; inference mechanisms; logic CAD; program verification; theorem proving; automated reasoning; diagnosis from first principles; logic circuit design; mathematical theorem proving; program verification; validation; Application software; Calculus; Circuit synthesis; Diagnostic expert systems; Fault diagnosis; Logic devices; Nose; Testing;
Journal_Title :
Potentials, IEEE
