KLI

컴퓨터에 의한 자동적인정리증명에 관한 연구

Metadata Downloads
Alternative Title
A Study on the Automatic Theorem Proving By Computer
Abstract
In this paper first we describe the general concepts of automatic theorem proving and discuss the applications of it. Then we investigate the historical stage of developments in automatic theorem proving methods, examine and compare the various modern automatic theorem proving methods and discuss the merits and the defects of them. Then we describe a sample theorem and the conversion process of it into logical standard forms and show a proof example of the logical standard forms by an automatic theorem prover in computer. Consequently, we proposed the future research directions on the refinements of automatic theorem proving methods.
In this paper first we describe the general concepts of automatic theorem proving and discuss the applications of it. Then we investigate the historical stage of developments in automatic theorem proving methods, examine and compare the various modern automatic theorem proving methods and discuss the merits and the defects of them. Then we describe a sample theorem and the conversion process of it into logical standard forms and show a proof example of the logical standard forms by an automatic theorem prover in computer. Consequently, we proposed the future research directions on the refinements of automatic theorem proving methods.
Author(s)
고재진
Issued Date
1990
Type
Research Laboratory
URI
https://oak.ulsan.ac.kr/handle/2021.oak/4794
http://ulsan.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002024902
Alternative Author(s)
전자계산학과
Publisher
연구논문집
Language
kor
Rights
울산대학교 저작물은 저작권에 의해 보호받습니다.
Citation Volume
21
Citation Number
1
Citation Start Page
55
Citation End Page
63
Appears in Collections:
Research Laboratory > University of Ulsan Report
공개 및 라이선스
  • 공개 구분공개
파일 목록

Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.