수리 논리학과 인공지능

논리학을 제공했고; 수학은 형식주의(formalism), 계산 이론 특히 Turing기계 이론을 비롯한 자동기계(automata) 이론을 제공했고; 정보 이론은 Boole식 대수 논리체계를 두뇌 과정 모형에 적용하게 하고 인공두뇌학을 발전시켰다. 심리학은 마음과 인지라는 연구 주제와 실험적 방법을 제공했고; 컴퓨터과학은 디지털 컴퓨터, 저장된 프로그램 개념, 컴퓨터 유추(비유), 프로그래밍 기법, 시뮬레이션 방법, 인공지능학을 제공했다. 언어학은 형식문법론을 중심으

인공지능의 기본질문정신의 속성은 무엇인가? 우리가 생각하고, 느끼고, 듣고 혹은 이해할 때 우리의 정신 세계와 지능은 무엇을 행하는가? 우리의 정신이 실제로 어떻게 작동되는지 이해할 수 있는가? 이와 같은 질문들이 인공지능의 가장 기본적인질문이다. 따라서 인공지능은 컴퓨터 과학 뿐만 아니라 심리학, 생리학, 언어학, 논리학 등의 학문적 지원이 절대 필요하다.아마 AI의 가장 중요한 질문은 우리가 작성하는 결과물, 즉 프로그램이 아니

인공지능시스템에 제공된다. 지식기반시스템, 특히 전문가 시스템은 현재의 인공지능이라는 구조물의 중요한 측면을 이루고 있다. 마지막으로 인공지능은 본질적으로 학제적이다. 시스템의 구현은 정보학의 첨단기술에 크게 의지한다. 즉 언어개발과 특정 기계의 개발을 필요로 한다. 게다가 인공지능은 그 자체로 대학과 학교에서 가르치는 분과 학문이 되었다. 그러나 다른 분과 학문, 즉 논리학과 인지 심리학(지식표현과 추론의 근거), 언어학(자

인공지능의 총체적인 연구로 지능 로봇 의 프로젝트를 개시. 블록을 카메라로 잡고, 인식한 결과에 따라 로봇 손으로 잡거나, 장애물을 피하면서 움직이는 로봇이 제작.․ 논리학 분야 : 주어진 논리식을 기계적으로 증명하는 방법(도출 원리)이 Robinson에 의하여 연구. 도출 원리는 이후에 발표된 인공지능용 언어나 프로그램의 자동 합성, 계획 등과 같은 많은 연구에 영향을 끼침 다수의 정리 증명 프로그램이 작성됨 ․ 주요 관심사 : 정리 증명과 로

인공 지능적인 이론의 도입 없이는 불가능하다. 이러한 영상 및 음성 인식은 문자 인식, 로봇 공학 등에 핵심적인 기술이다.4) 이론증명(theorem proving)은 수학적인 정리를 이미 알려진 사실로부터 논리적으로 추론하여 증명하는 과정으로서 인공지능의 여러 분야에서 사용되는 필수적인 기술이며, 그 자체로도 많은 가치를 지니고 있다.5) 신경망(neural net)은 비교적 근래에 등장한 것으로서 수학적 논리학이 아닌, 인간의 두뇌를 모방하여 수많은 간단한