계산 논리학
Computational logic |
계산논리는 계산에 대한 논리의 수행 또는 추론이다. 수학적 논리가 수학을, 철학 논리가 철학을, 컴퓨터 공학이나 공학과도 비슷한 관계를 맺고 있다. 그것은 "컴퓨터 과학 논리학"과 동의어다.
"컴퓨팅 논리학"이라는 용어는 2000년 ACM Transactions on Computing Logic의 설립과 함께 두각을 나타냈다.[1] 하지만 이 용어는 J.A.에 의해 훨씬 더 일찍 도입되었다. 1970년 로빈슨.[2] 이 표현은 두 번째 단락에서 "컴퓨팅 논리"가 "기계를 효율적으로 추론할 수 있는 방법을 다루는 인공지능 분야에서는 확실히 '이론 증명'보다 더 나은 문구"라고 주장하는 각주와 함께 사용된다.
1972년 에든버러 대학교의 메타매틱스 유닛은 인공지능대학에서 "계산논리학부"로 개칭되었다.[3] 그 용어는 그 후 로버트 S에 의해 사용되었다. 보이어와 J 스트로터 무어는 1970년대 초 이 부서에서 일했으며 프로그램 검증과 자동화된 추론에 대한 그들의 작업을 묘사했다. 그들은 또한 Computing Logic Inc.를 설립했다.
1970년대 초 논리 프로그래밍의 초기 연구들 중 많은 부분이 에든버러 컴퓨터 논리학과에서도 이루어졌기 때문에 계산 논리학 또한 논리 프로그래밍과 연관되게 되었다. 1990년대 초 EU 기초연구 프로젝트 「컴퓰로그」와 관련 네트워크 오브 엑셀러스에서 로직 프로그래밍의 연장에 관한 작업을 기술하기 위해 재사용되었다. 기본연구프로젝트 컴풀로그-II의 공동주관자였던 크리즈토프 아파트는 2000년 연산논리에 관한 ACM Transactions on Computing Logic을 설립하고 초대 편집장이 되면서 용어를 재사용하고 일반화했다.
참조
- ^ http://tocl.acm.org 컴퓨터 로직 상의 ACM 거래 공식 웹사이트
- ^ Robinson, J.A. (1970). "Computational Logic: The Unification Computation". In Meltzer, Bernard; Michie, Donald (eds.). Proceedings of the Sixth Annual Machine Intelligence Workshop. Machine Intelligence. Vol. 6. Edinburgh University Press (published 1971). pp. 63–72. ISBN 085224195X.
- ^ http://homepages.inf.ed.ac.uk/bundy/ 앨런 번디 교수의 웹사이트
추가 읽기
- Dov M. Gabbay; Jörg H. Siekmann; John Woods, eds. (2014). Handbook of the History of Logic. Vol. 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1.
