인공지능 철학(人工智能哲學, 영어: Philosophy of artificial intelligence)은 지능, 윤리, 의식, 인식론, 자유 의지에 대한 지식 과 이해 에 대한 인공지능과 그 의미 를 탐구하는 기술 철학의 분야이다.[1] 더욱이 이 기술은 인공 동물이나 인공 사람(또는 적어도 인공 생물, 인공 생명 참조)의 생성과 관련이 있으므로 이 분야는 철학자들에게 상당한 관심거리이다.[2] 이러한 요인 들이 인공 지능 철학 출현에 기여했다. 일부 학자들은 AI 커뮤니티의 철학 기각이 해롭다고 주장한다.[3]
인간이 지능으로 해결하는 모든 문제를 해결할 수 있는 기계를 만드는 것이 가능합니까? 이 질문은 미래에 기계가 할 수 있는 일의 범위를 정의하고 AI 연구의 방향을 안내한다. 그것은 단지 기계의 행동 에만 관련되며 심리학자, 인지 과학자 및 철학자 들이 관심을 갖는 문제는 무시한다. 이 질문에 답하기 위해, 기계가 실제로 생각하고 있는지(사람이 생각하는 대로) 또는 생각 하는 것처럼 행동 하는지 여부는 중요하지 않다.[10]
기본 전제에 반대하는 주장은 컴퓨터의 능력에 실제적인 한계가 있거나 지능적 행동에 필요하지만 인간의 정신에는 어떤 특별한 특성이 있기 때문에 작동하는 AI 시스템을 구축하는 것이 불가능하다는 것을 보여야 한다. 기계(또는 현재 AI 연구 방법). 기본 전제에 찬성하는 주장은 그러한 시스템이 가능하다는 것을 보여야 한다.
앨런 튜링[11] 은 지능을 정의하는 문제를 대화에 대한 간단한 질문으로 축소했다. 그는 다음과 같이 제안한다. 만약 기계가 평범한 사람이 하는 것과 같은 단어를 사용하여 어떤 질문에도 대답할 수 있다면 우리는 그 기계를 지능적이라고 부를 수 있다. 그의 실험적 디자인의 현대적 버전은 참가자 중 한 명이 실제 사람이고 참가자 중 한 명이 컴퓨터 프로그램인 온라인 대화방을 사용한다. 프로그램은 두 참가자 중 누가 인간인지 알 수 없는 경우 테스트를 통과한다.[12] Turing은 철학자를 제외하고 아무도 "사람들이 생각할 수 있습니까?"라는 질문을 해본 적이 없다고 말한다. 그는 "이 점에 대해 계속 논쟁하기 보다는 모두가 생각하는 정중한 관례를 갖는 것이 일반적이다"라고 적었다.[13] Turing의 테스트는 이 정중한 규칙을 기계로 확장한다.
기계가 인간만큼 지능적으로 행동한다면 그것은 인간만큼 지능적이다.
튜링 테스트에 대한 한 가지 비판은 행동의 "지능"이 아니라 기계 행동의 "인간성"만 측정한다는 것이다. 인간의 행동과 지능적인 행동은 정확히 같은 것이 아니기 때문에 테스트는 지능을 측정하지 못한다. Stuart J. Russell 과 Peter Norvig 는 "항공 공학 텍스트는 '다른 비둘기를 속일 수 있을 정도로 정확히 비행하는 기계를 만드는 것'으로 자신의 분야 목표를 정의하지 않다."라고 썼다.[14]
드레이퍼스는 이 주장을 다음과 같이 주장한다. "만약 신경계가 물리학과 화학의 법칙을 따른다면, 우리는 그렇게 한다고 가정할 수 있는 모든 이유가 있다. 그렇다면 ... 우리는 ... 우리는 ... 어떤 물리적 장치가 있는 신경계".[15] 일찍이 1943년에 소개되었고 [16][17] 년 한스 모라벡에 의해 생생하게 기술된 이 주장은 현재 미래학자 레이 커즈와일과 관련이 있다. 그는 컴퓨터 성능이 완전한 뇌 시뮬레이션에 충분할 것이라고 추정한다. 2029년.[18] 2005년 인간 뇌 크기(10 11 뉴런)의 시상피질 모델의 비실시간 시뮬레이션이 수행되었으며[19] 27개의 프로세서 클러스터에서 1초의 뇌 역학을 시뮬레이션하는 데 50일이 걸렸다.
AI에 대한 가장 가혹한 비판자들조차도 이론상 뇌 시뮬레이션이 가능하다는 데 동의한다. 그러나 존 설은 원칙적으로 컴퓨터로 무엇이든 시뮬레이션할 수 있다고 지적한다. 따라서 정의를 중단점으로 가져오면 모든 프로세스가 기술적으로 "계산"으로 간주될 수 있다는 결론에 도달한다. "우리가 알고 싶었던 것은 마음을 온도 조절 장치 및 간과 구별하는 것이다."라고 그는 쓴다.[20] 따라서 살아 있는 뇌의 기능을 시뮬레이션하는 것 자체가 지능과 마음의 본성에 대한 무지를 인정하는 것이 될 것이다.산재환자발생원인
1931년에 쿠르트 괴델은 주어진 일관된 형식 논리 시스템 (예: 고급 기호 조작 프로그램)이 증명할 수 없는 "괴델 진술 "을 구성하는 것이 항상 가능하다는 불완전성 정리 로 증명했다. 참된 진술에도 불구하고 구성된 괴델 진술은 주어진 시스템에서 증명할 수 없다. (구성된 괴델 진술의 진실성은 주어진 시스템의 일관성에 달려 있다. 미묘하게 일관성이 없는 시스템에 동일한 프로세스를 적용하면 성공한 것처럼 보이지만 실제로는 대신 거짓 "괴델 진술"을 산출한다.) 더 사변적으로, 괴델은 인간의 마음이 궁극적으로 어떤 근거가 충분한 수학적 진술(가능한 모든 괴델 진술을 포함하여)의 참 또는 거짓을 정확하게 결정할 수 있으며, 따라서 인간 정신의 힘은 메커니즘으로 환원될 수 없다고 추측했다.[21] 철학자 존 루카스 (1961년 이후)와 로저 펜로즈 (1989년 이후)는 이 철학적 반기계론적 주장을 옹호해 왔다.[22]
1931년에 쿠르트 괴델은 주어진 일관된 형식 논리 시스템 (예: 고급 기호 조작 프로그램)이 증명할 수 없는 "괴델 진술 "을 구성하는 것이 항상 가능하다는 불완전성 정리 로 증명했다. 참된 진술에도 불구하고 구성된 괴델 진술은 주어진 시스템에서 증명할 수 없다. (구성된 괴델 진술의 진실성은 주어진 시스템의 일관성에 달려 있다. 미묘하게 일관성이 없는 시스템에 동일한 프로세스를 적용하면 성공한 것처럼 보이지만 실제로는 대신 거짓 "괴델 진술"을 산출한다.) 더 사변적으로, 괴델은 인간의 마음이 궁극적으로 어떤 근거가 충분한 수학적 진술(가능한 모든 괴델 진술을 포함하여)의 참 또는 거짓을 정확하게 결정할 수 있으며, 따라서 인간 정신의 힘은 메커니즘으로 환원될 수 없다고 추측했다.[23] 철학자 존 루카스 (1961년 이후)와 로저 펜로즈 (1989년 이후)는 이 철학적 반기계론적 주장을 옹호해 왔다.[24]
그러나 과학 및 수학 커뮤니티의 현대적 합의는 실제 인간의 추론이 일관성이 없다는 것이다. 인간 추론의 일관된 "이상화된 버전" H는 논리적으로 H 의 일관성에 대한 건전하지만 반직관적인 열린 마음의 회의론을 채택하도록 강요받을 것이다(그렇지 않으면 H는 일관되지 않은 것으로 판명됨). 그리고 괴델의 정리는 인간이 기계가 복제할 수 있는 것 이상의 수학적 추론 능력을 가지고 있다는 유효한 주장으로 이어지지 않다.[25]
존 설은 자신이 생각하기에 더 흥미롭고 논쟁의 여지가 있는 문제에 집중할 수 있도록 강력한 AI와 약한 AI를 분리하는 용어를 도입했다. 그는 우리가 인간의 마음과 똑같이 행동하는 컴퓨터 프로그램이 있다고 가정하더라도 여전히 대답해야 할 어려운 철학적 질문이 있을 것이라고 주장했다.
존 설은 우리에게 사고실험을 고려해 보라고 요청한다. Turing 테스트를 통과하고 일반적인 지능적 행동을 보여주는 컴퓨터 프로그램을 작성했다고 가정한다. 특히 프로그램이 유창한 중국어로 대화할 수 있다고 가정한다. 3x5 카드에 프로그램을 작성하여 중국어를 할 줄 모르는 평범한 사람에게 준다. 그 사람을 방에 가두고 카드의 지시를 따르게 하라. 그는 한자를 복사하여 슬롯을 통해 방 안팎으로 전달한다. 밖에서 보면 중국인 방에 중국어를 할 수 있는 지적인 사람이 있는 것처럼 보일 것이다. 질문은 다음과 같다. 방에 중국어를 이해하는 사람(또는 무엇이든)이 있는가? 즉, 이해의 정신 상태를 가지고 있거나 중국어로 논의되는 내용을 의식적으로 인식하는 것이 있는가? 남자는 분명히 알지 못한다. 방은 인식할 수 없다. 카드는 확실히 인식하지 못한다. 설은 중국어 방이나 다른 물리적 상징 체계는 마음을 가질 수 없다고 결론지었다.[26]
↑Russell & Norvig 2003 define the philosophy of AI as consisting of the first two questions, and the additional question of the ethics of artificial intelligence. Fearn 2007 writes "In the current literature, philosophy has two chief roles: to determine whether or not such machines would be conscious, and, second, to predict whether or not such machines are possible." The last question bears on the first two.
↑This version is from Searle (1999), and is also quoted in Dennett 1991. Searle's original formulation was "The appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to understand and have other cognitive states." (Searle 1980). Strong AI is defined similarly by Russell & Norvig (2003): "The assertion that machines could possibly act intelligently (or, perhaps better, act as if they were intelligent) is called the 'weak AI' hypothesis by philosophers, and the assertion that machines that do so are actually thinking (as opposed to simulating thinking) is called the 'strong AI' hypothesis."
↑See Russell & Norvig 2003, where they make the distinction between acting rationally and being rational, and define AI as the study of the former.
↑Turing 1950 and see Russell & Norvig 2003, where they call his paper "famous" and write "Turing examined a wide variety of possible objections to the possibility of intelligent machines, including virtually all of those that have been raised in the half century since his paper appeared."
↑Gödel, Kurt, 1951, Some basic theorems on the foundations of mathematics and their implications in Solomon Feferman, ed., 1995. Collected works / Kurt Gödel, Vol. III. Oxford University Press: 304-23. - In this lecture, Gödel uses the incompleteness theorem to arrive at the following disjunction: (a) the human mind is not a consistent finite machine, or (b) there exist Diophantine equations for which it cannot decide whether solutions exist. Gödel finds (b) implausible, and thus seems to have believed the human mind was not equivalent to a finite machine, i.e., its power exceeded that of any finite machine. He recognized that this was only a conjecture, since one could never disprove (b). Yet he considered the disjunctive conclusion to be a "certain fact".
↑Gödel, Kurt, 1951, Some basic theorems on the foundations of mathematics and their implications in Solomon Feferman, ed., 1995. Collected works / Kurt Gödel, Vol. III. Oxford University Press: 304-23. - In this lecture, Gödel uses the incompleteness theorem to arrive at the following disjunction: (a) the human mind is not a consistent finite machine, or (b) there exist Diophantine equations for which it cannot decide whether solutions exist. Gödel finds (b) implausible, and thus seems to have believed the human mind was not equivalent to a finite machine, i.e., its power exceeded that of any finite machine. He recognized that this was only a conjecture, since one could never disprove (b). Yet he considered the disjunctive conclusion to be a "certain fact".
Dreyfus, Hubert (1979), 《What Computers Still Can't Do》, New York: MIT Press.
Dreyfus, Hubert; Dreyfus, Stuart (1986), 《Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer》, Oxford, UK: Blackwell
Fearn, Nicholas (2007), 《The Latest Answers to the Oldest Questions: A Philosophical Adventure with the World's Greatest Thinkers》, New York: Grove Press
Horst, Steven (2009), 〈The Computational Theory of Mind〉, Zalta, Edward N., 《The Stanford Encyclopedia of Philosophy》, Metaphysics Research Lab, Stanford University.
Kaplan, Andreas; Haenlein, Michael (2018), “Siri, Siri in my Hand, who's the Fairest in the Land? On the Interpretations, Illustrations and Implications of Artificial Intelligence”, 《Business Horizons》 62: 15–25, doi:10.1016/j.bushor.2018.08.004, S2CID158433736