Dinu House

명제연산을 위한 연결사(connective) 혹은 논리연산자 (logical operator) 는 다음과 같다.  ■ 부정(否定, negation) : 한 명제에 대하여 그것이 "아님"을 나타낸다. 따라서 명제가 참이면 그의 부정은 거짓이 되며, 명제가 거짓이라면 그의 부정은 참이 된다.     명제 P의 부정은   ∼P,   ￢P,   NOT P,  P' 등으로 기호화 한다.   ■ 논리곱(conjunction) : 논리적(論理積)이라고도 하며, 두 명제의 논리곱은 모두가 참일 때만 참이 되며, 어느 하나라도 거짓이면 거짓이 된다.     P 와 Q의 논리곱은 P∧Q,   P&Q,  P AND Q,  P•Q,  PQ 등으로 표현한다.   ■ 논리합(論理合, disjunction) : 두 명제의 논리합은 모두가 거짓일 때만 거짓이 되며, 어느 하나라도 참이면 참이 된다. 'P OR Q' 라는 표현은, 영어 'or' 의 일반적인 의미에 따르면 아래의 배타적논리합과의 혼동을 초래할 수 도 있다는 점에 유의하여야 한다.     P와 Q 의 논리합은 P∨Q,  P OR Q,  P+Q 등과 같이 표현한다   ■ 배타적논리합(exclusive disjunction) : 두 개의 명제 중 어느 하나만이 참일때 결과값이 참이 되는 경우를 배타적논리합이라고 한다. 즉, 두 명제가 모두 참이거나 거짓이면 그 결과는 거짓이 된다.      exclusive or 는 P△Q,  P EOR Q,  P XOR Q, P Q 등으로 나타낸다.    ■ 조건(conditional) 혹은 함의(含意, implic...

 Wumpus World는 인공지능 중에서도 문제 해결(Problem Solving; PS) 분야의 문제로써 매우 유명한 예제이다. Logical Agents를 사용 하여 해결하는 문제이며, Logical Agent는 환경에 대한 정보와 판단으로 구성되어있다. 로봇의 이동, 환경의 변화와 같은 입력 값에 따라 Logical Agent의 환경에 대한 정보, 판단의 내용이 바뀌게 되며 이에 따라 다음 행동을 결정한다.   Wumpus는 괴물의 이름이며, Wumpus가 살고 있는 동굴을 가리켜 Wumpus World라고 한다. 동굴의 환경은 4가지가 있다. -    평범한 바닥 (Floor) -    괴물 (Wumpus) -    구덩이(Pit) -    보물(Gold)   이 문제의 목적은 출제자에 따라 다르지만 가장 큰 목적은 구덩이와 괴물을 피해 보물이 있는 곳까지 도달하는 것이다. 문제에 따라 보물을 획득하고 괴물의 위치를 파악하여 괴물을 죽이라는 과제가 추가되기도 한다.   이 동굴의 특징은 여러 개의 방으로 이루어져 있으며, 동굴 전체는 칠흑같이 어두워서 탐험가(Explorer)가 들고 있는 횃불로는 현재 위치하고 있는 방의 정보 밖에 알 수 없다. 또한 탐험가는 현재 있는 위치에서 전, 후, 좌, 우 네 방향으로 움직일 수 있으며, 가지고 있는 활을 사용하여 괴물을 죽일 수 있다.   하지만 탐험가는 자신이 있는 곳 밖에 볼 수 없기 때문에, 안전한 탐험을 위해서는 동굴의 상태(state)를 알아야 한다. 상태는 총 3가지가 있으며 다음과 같다. -    악취(Stench): 괴물의 전, 후, 좌, 우 4방향은 악취가 풍기게 된다. -    산들바람(Breeze): 구덩이가 있는 방의 전, 후, 좌, 우 4방향은 구...

John Haugeland (1945 - 2010) was a Professor of Philosophy at the University of Chicago since arriving here (from the University of Pittsburgh) in the fall of 1999. He held a bachelor's degree (in physics) from Harvey Mudd College (1966) and a PhD from U.C. Berkeley (1976). His main interests included (early) Heidegger, philosophy of science, philosophy of mind (including cognitive science), philosophy of language, and stuff like that. He is the author of Artificial Intelligence: The Very Idea (MIT 1986) and Having Thought (Harvard 1998); the editor of Mind Design (MIT 1981; second edition, 1997); and co-editor (with Jim Conant) of Thomas Kuhn's The Road Since Structure (Chicago 2000). He was at work on a book tentatively titled Heidegger Disclosed . In addition to all that, Professor Haugeland certainly owned more nuts and bolts than most philosophers (and possibly more than any). CV ( DOC ) Obituary Link Books Artificial Intelligence: The Very Idea Having Thou...

Born January 14, 1919, Buffalo, N. Y; chief architect of IBM's first scientific computer and of the Prototype of its first commercial computer, and developer of symbolic assembly language programming. Education: BS, MIT, 1941. Professional Experience: MIT Radiation Laboratory, 1941-1943; Sylvania Electric Products, 1943-1948; IBM: 1948-1992, engineering manager, 700 series, 1954-1959, director, Experimental Machine Research, 1959. Honors and Awards: fellow, IEEE. [At the time of the award the organization was the IRE.] 1958; IBM Fellow, 1967; Computer Pioneer Award, IEEE Computer Society, 1984. Rochester worked on radar at the MIT Radiation Laboratory from 1941 to 1943 and for Sylvania Electric Products until he joined IBM in 1948. After being chief architect of IBM's first scientific computer and of the prototype of its first commercial computer (IBM-701, Defense Calculator), and in 1953 having developed symbolic assembly language programming, in 1954 he was ap...

Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician , electrical engineer , and cryptographer known as "the father of information theory ". [1] [2] Shannon is noted for having founded information theory with a landmark paper, A Mathematical Theory of Communication , that he published in 1948. He is, perhaps, equally well known for founding digital circuit design theory in 1937, when—as a 21-year-old master's degree student at the Massachusetts Institute of Technology (MIT)—he wrote his thesis demonstrating that electrical applications of Boolean algebra could construct any logical, numerical relationship. [3] Shannon contributed to the field of cryptanalysis for national defense during World War II , including his fundamental work on codebreaking and secure telecommunications .

  저자: Stuart Russell, Peter Norvig   1.1.1 Turing Test approach     Alan Turing (1950) 1.3. The History of Artificial Intelligence 1) The gestation of articial Intelligence(1943 ~ 1955)        2) The birth of artificial intelligence (1956)   존 매카시 (John McCarthy, 1927년 9월 4일 - 2011년 10월 24일)는 미국의 전산학자이자 인지과학자이다. 인공지능 에 대한 연구 업적을 인정받아 1971년 튜링상 을 수상했다. 리스프 프로그래밍 언어를 설계 및 구현하였으며, 1956년에 다트머스 학회 에서 처음으로 인공지능 (Artificial Intelligence)이라는 용어를 창안했다 [자료출처 : 위키백과  ] Dartmouth 학회 참가자 - Marvin Lee Minsky(1927. 8. 9. ~2016. 1.24.) 마빈 리 민스키는  인공지능 (AI) 분야를 개척한 미국인 과학자이다. MIT 의 인공지능 연구소의 공동 설립자이며, AI와 관련된 책들을 저술했다. 뉴욕에서 태어나 브롱크스 과학 고등학교를 나왔다. 매사추세츠 주 의 필립스 아카데미를 다녔고, 1944년부터 1945년까지 미국 해군으로 복무했다. 1950년 하버드 대학교 에서 수학 학사학위를 받고, 1954년 에 프린스턴 대학교 에서 수학 박사 학위를 받았다. 1958년 부터 MIT 교수직으로 재직했다. 1953년에 공초점 레이저 주사 현미경 에 관한 이론을 개발해 냈다. 1970년 에 튜링상 , 1990년 에 일...