AI완전

인공지능 분야에서, 가장 어려운 문제는 비공식적으로 AI-완전 또는 AI-hard로 알려져 있는데, 이는 이러한 계산 문제의 난이도가 인공지능의 중앙 문제를 해결하는 것과 동등하다는 것을 암시한다. 즉, 컴퓨터를 사람처럼 지능화하거나 강력한 A로 만드는 것이다.I.^[1] 문제를 AI-완전이라고 부르는 것은 단순한 특정 알고리즘으로는 해결할 수 없다는 태도를 반영한다.

AI-완전 문제는 실제 문제를 해결하면서 컴퓨터 비전,^[2] 자연 언어 이해, 예상치 못한 상황에 대처하는 것을 포함하도록 가정된다.

현재 AI-완전 문제는 현대 컴퓨터 기술만으로는 해결할 수 없고 인간의 계산도 필요하다.예를 들어 이 속성은 CAPTCHA가 목적으로 하는 인간의 존재를 테스트하고 컴퓨터 보안을 통해 무차별 공격을 ^[3]^[4]회피하는 데 유용합니다.

역사

이 용어는 복잡도 이론의 NP-완전 및 NP-hard와 유추하여 Fanya Montalvo에 의해 만들어졌으며, 이것은 공식적으로 가장 유명한 종류의 어려운 ^[5]문제를 기술한다.이 용어의 초기 사용은 1987년 에릭 뮐러의 박사^[6] 논문과 1991년 에릭 레이먼드의 전문 용어 ^[7]파일에 있다.

AI-완전한 문제

AI-완전 문제에는 다음이 포함된다고 가정된다.

AI 피어 리뷰(복합 자연어 이해, 자동 추론, 자동 정리 증명, 공식 논리 전문가 시스템)
봉가드 문제^{[필요한 건]}
컴퓨터 비전(및 객체 ^{[citation needed]}인식 등의 하위 문제)
자연어 이해(텍스트^{[citation needed]} 마이닝, 기계 번역^{[citation needed]}, 단어 감지 명확화^[8] 등 하위 문제)
내비게이션이든 계획이든 전문가 ^{[citation needed]}시스템에 의한 추론이든 현실 세계의 문제를 해결하면서 예상치 못한 상황에 대처합니다.

기계 번역

정확하게 번역하기 위해서는 기계가 텍스트를 이해할 수 있어야 합니다.그것은 필자의 주장을 따를 수 있어야 하기 때문에 어떤 추론 능력이 있어야 한다.논의되는 내용을 알기 위해서는 폭넓은 세계 지식을 갖추고 있어야 합니다.최소한 일반 번역자가 알고 있는 상식적인 사실을 모두 숙지하고 있어야 합니다.이러한 지식 중 일부는 명시적으로 표현될 수 있는 사실의 형태이지만, 일부 지식은 무의식적이고 인체와 밀접하게 연관되어 있다: 예를 들어, 기계는 텍스트에서 특정한 은유를 정확하게 번역하기 위해 바다가 어떻게 사람을 느끼게 하는지 이해할 필요가 있을 수 있다.또한 작가의 목표, 의도, 감정 상태를 새로운 언어로 정확하게 재현하기 위해 모델링해야 합니다.간단히 말해서, 기계는 이성, 상식적인 지식, 그리고 움직임과 조작, 지각, 그리고 사회 지능의 기초가 되는 직관을 포함한 다양한 인간의 지적 기술을 갖추어야 합니다.그러므로 기계 번역은 인공지능이 완성되었다고 믿어진다. 인간이 할 수 있는 것처럼 강력한 인공지능이 필요할 수 있다.

소프트웨어의 취약성

현재의 AI 시스템은 매우 단순하거나 제한된 버전의 AI-완전 문제를 해결할 수 있지만, 완전한 일반성은 결코 아니다.AI 연구자가 보다 복잡한 실제 상황을 처리하기 위해 시스템을 "스케일업"하려고 할 때, 상식적인 지식이나 상황에 대한 기본적인 이해 없이 프로그램은 지나치게 취약해지는 경향이 있습니다. 즉, 원래 문제 상황 이외의 예상치 못한 상황이 나타나기 시작하면 실패합니다.인간이 세상의 새로운 상황에 대처할 때, 그들은 무엇을 예상해야 할지 알고 있다는 사실에 의해 큰 도움을 받는다: 그들은 그들 주변의 모든 것이 무엇인지, 그들이 왜 그곳에 있는지, 그들이 무엇을 할 것 같은지를 알고 있다.비정상적인 상황을 인식하고 그에 따라 조정할 수 있습니다.강력한 AI가 없는 기계는 의지할 ^[9]수 있는 다른 기술이 없다.

DeepMind는 2022년 5월에 한 모델을 훈련시켜 여러 가지 일을 동시에 할 수 있도록 한 작품을 발표했다.가토라는 이름의 이 모델은 "텍스트, 조인트 토크, 버튼 누름, 또는 다른 ^[10]토큰을 출력할지 여부에 따라 아타리, 자막 이미지, 채팅, 실제 로봇 팔로 블록 쌓기 등을 재생할 수 있다."

형식화

계산 복잡도 이론은 계산 가능한 함수의 상대적 계산 난이도를 다룬다.정의상 해결책이 불분명하거나 공식적으로 특성화되지 않은 문제는 다루지 않는다.많은 AI 문제들이 아직 공식화되지 않았기 때문에, 기존의 복잡성 이론은 AI-완전성의 정의를 허용하지 않는다.

이를 해결하기 위해 AI의 복잡성 이론이 ^[11]제시됐다.이것은 컴퓨터와 인간 사이의 계산 부담을 나누는 계산 모델에 기초하고 있습니다. 하나는 컴퓨터에 의해, 다른 하나는 사람에 의해 해결됩니다.이것은 인간의 도움을 받는 튜링 기계에 의해 공식화된다.공식화에서는 알고리즘의 복잡성, 문제의 복잡성 및 감소성이 정의되어 동등성 클래스를 정의할 수 있습니다.

인간에 의한 튜링 머신에 의한 알고리즘 실행의 복잡도는 쌍 $\langle \Phi _{H},\Phi _{M}\rangle$ δ H $\langle \Phi _{H},\Phi _{M}\rangle$ $\langle \Phi _{H},\Phi _{M}\rangle$ M $\langle \Phi _{H},\Phi _{M}\rangle$ δ { $displaystyle \langle \Phi$ _ { $H},\Phi$ _ ${M}\rangle$ $\langle \Phi _{H},\Phi _{M}\rangle$ 에 의해 주어지며, 여기서 첫 번째 요소는 인간 부분의 복잡도를 나타내고 두 번째 요소는 기계의 복잡도를 나타낸다.

결과.

인간이 지원하는 튜링 기계로 다음과 같은 문제를 해결하는 복잡성은 다음과 같습니다.^[11]

인쇄된 텍스트의 광학 문자 인식: $\langle O(1),poly(n)\rangle$ O ( $\langle O(1),poly(n)\rangle$ 1 ) 、 $\langle O(1),poly(n)\rangle$ $\langle O(1),poly(n)\rangle$ l $\langle O(1),poly(n)\rangle$ y ( $\langle O(1),poly(n)\rangle$ ) ${\$ {\ { $displaystyle$ \ $langle$ O ( $1$ ) , $poly$ ( n ) \ $rangle$ }
튜링 테스트:
- $n$ { $display style$ n} - sentence $n$ 컨버세이션의 경우(영구적인 oracle): $\langle O(n),O(n)\rangle$ O ( $\langle O(n),O(n)\rangle$ ) $\langle O(n),O(n)\rangle$ 、 $\langle O(n),O(n)\rangle$ ( $\langle O(n),O(n)\rangle$ ) $、$ \ $display$ style \ $langle$ O ( $n$ ) 、 $O$ ( $n$ ) \ $rangle$ }
- 컨버세이션 이력을 재발송신할 필요가 $있다n$ \ $displaystyle$ $\langle O(n),O(n^{2})\rangle$ n} $\langle O(n),O(n^{2})\rangle$ $\langle O(n),O(n^{2})\rangle$ ( $\langle O(n),O(n^{2})\rangle$ ) $\langle O(n),O(n^{2})\rangle$ \ $langle$ O ( $n ) 、$ \ $rangle }$
- 대화 이력을 재발송신하고 사용자가 쿼리를 읽기 위해 선형 시간을 필요로 $하는$ n {\ $displaystyle$ n $}$ - sentence 컨버세이션의 경우: $\langle O(n^{2}),O(n^{2})\rangle$ O ( $\langle O(n^{2}),O(n^{2})\rangle$ 2 $\langle O(n^{2}),O(n^{2})\rangle$ ) $、$ ( $n$ ^ { $2$ 、 \ $displaystyle$ \ $langle$ O ( $n$ ^ { 2 } \ $rangle$ }
ESP 게임: $\langle O(n),O(n)\rangle$ O ( $\langle O(n),O(n)\rangle$ ) $\langle O(n),O(n)\rangle$ 、 $\langle O(n),O(n)\rangle$ ( n ) $、$ { $displaystyle$ \ $langle$ O ( $n$ ) 、 O ( $n$ ) \ $rangle$ }
이미지 라벨링(Arthur-Merlin 프로토콜 기준): $\langle O(n),O(n)\rangle$ ( $\langle O(n),O(n)\rangle$ ) $\langle O(n),O(n)\rangle$ 、 $\langle O(n),O(n)\rangle$ ( $\langle O(n),O(n)\rangle$ ) ${\$ { $displaystyle$ \ $langle$ O ( n ) $、 O$ ( $n$ ) \ $rangle$ }
이미지 분류: $\langle O(n),O(n)\rangle$ : $\langle O(n),O(n)\rangle$ $\langle O(\log n),O(n\log n)\rangle$ ( $\langle O(n),O(n)\rangle$ ) $\langle O(n),O(n)\rangle$ 、 $\langle O(n),O(n)\rangle$ ( $\langle O(n),O(n)\rangle$ ) ${\$ \ $displaystyle$ \ $langle$ O ( $n )$ 、 $O$ $\langle O(\log n),O(n\log n)\rangle$ ( log $\langle O(\log n),O(n\log n)\rangle$ ) $\langle O(\log n),O(n\log n)\rangle$ ( $\langle O(\log n),O(n\log n)\rangle$ $nn$ ) $、$ \ $displaystyle$ \ $langle$ O ( n ) 、 $langle$ N ( $langle$ ) $\langle O(n),O(n)\rangle$ （ langle $\langle O(n),O(n)\rangle$ $）$ 。

「」를 참조해 주세요.

레퍼런스

^ 샤피로, 스튜어트 C.(1992)Stuart C의 인공지능샤피로(Ed.), 인공지능 백과사전 (제2판, 페이지 54-57)뉴욕: John Wiley. (섹션 4는 'AI 완료 태스크'에 관한 것입니다.)
^ 로만 5세Yampolskiy.AI-완전성을 정의하는 특징으로서의 튜링 테스트.인공지능, 진화계산, 메타휴리스틱스(AIECM) -- 앨런 튜링의 발자취를 따라.양신사 (편집) 페이지 3-17 (1장)스프링거, 런던2013년 http://cecs.louisville.edu/ry/TuringTestasaDefiningFeature04270003.pdf
^ 루이스 폰 안, 마누엘 블럼, 니콜라스 호퍼, 존 랭포드.캡차: 2016-03-04년 Wayback Machine에 보관된 보안을 위한 하드 AI 문제 사용유로크립트 회보, Vol. 2656(2003), 페이지 294-311.
^ Bergmair, Richard (January 7, 2006). "Natural Language Steganography and an "AI-complete" Security Primitive". CiteSeerX 10.1.1.105.129.{{cite journal}}: 인용저널 필요 (도움말) (미공개)?
^ 를 클릭합니다Mallery, John C. (1988), "Thinking About Foreign Policy: Finding an Appropriate Role for Artificially Intelligent Computers", The 1988 Annual Meeting of the International Studies Association., St. Louis, MO.
^ 뮐러, 에릭 T.(1987년 3월).백일몽과 계산 (테크니컬 리포트 CSD-870017) Los Angeles 캘리포니아 대학 박사 학위 논문 ("백일몽은 AI-완전한 문제 중 하나일 뿐입니다.누구나 인공지능 문제를 해결할 수 있다면 다른 모든 문제를 해결할 수 있습니다.", 페이지 302).
^ 레이먼드, 에릭 S.(1991년 3월 22일).Jonesm File Version 2.8.1 ('AI-complete'의 정의가 전문용어 파일에 처음 추가되었습니다.)
^ Ide, N.; Veronis, J. (1998). "Introduction to the special issue on word sense disambiguation: the state of the art" (PDF). Computational Linguistics. 24 (1): 2–40.
^ Lenat, Douglas; Guha, R. V. (1989), Building Large Knowledge-Based Systems, Addison-Wesley, pp. 1–5
^ "A Generalist Agent". www.deepmind.com. Retrieved 2022-05-26.
^ ^a ^b Dafna Shahaf와 Eyal Amir(2007) AI 완전성 이론을 향해.상식 2007, 제8회 상식 추론의 논리 공식화에 관한 국제 심포지엄.

[Shapiro92-1] 샤피로, 스튜어트 C.(1992)Stuart C의 인공지능샤피로(Ed.), 인공지능 백과사전 (제2판, 페이지 54-57)뉴욕: John Wiley. (섹션 4는 'AI 완료 태스크'에 관한 것입니다.)

[2] 로만 5세Yampolskiy.AI-완전성을 정의하는 특징으로서의 튜링 테스트.인공지능, 진화계산, 메타휴리스틱스(AIECM) -- 앨런 튜링의 발자취를 따라.양신사 (편집) 페이지 3-17 (1장)스프링거, 런던2013년 http://cecs.louisville.edu/ry/TuringTestasaDefiningFeature04270003.pdf

[3] 루이스 폰 안, 마누엘 블럼, 니콜라스 호퍼, 존 랭포드.캡차: 2016-03-04년 Wayback Machine에 보관된 보안을 위한 하드 AI 문제 사용유로크립트 회보, Vol. 2656(2003), 페이지 294-311.

[4] Bergmair, Richard (January 7, 2006). "Natural Language Steganography and an "AI-complete" Security Primitive". CiteSeerX 10.1.1.105.129.{{cite journal}}: 인용저널 필요 (도움말) (미공개)?

[5] 를 클릭합니다Mallery, John C. (1988), "Thinking About Foreign Policy: Finding an Appropriate Role for Artificially Intelligent Computers", The 1988 Annual Meeting of the International Studies Association., St. Louis, MO.

[6] 뮐러, 에릭 T.(1987년 3월).백일몽과 계산 (테크니컬 리포트 CSD-870017) Los Angeles 캘리포니아 대학 박사 학위 논문 ("백일몽은 AI-완전한 문제 중 하나일 뿐입니다.누구나 인공지능 문제를 해결할 수 있다면 다른 모든 문제를 해결할 수 있습니다.", 페이지 302).

[7] 레이먼드, 에릭 S.(1991년 3월 22일).Jonesm File Version 2.8.1 ('AI-complete'의 정의가 전문용어 파일에 처음 추가되었습니다.)

[8] Ide, N.; Veronis, J. (1998). "Introduction to the special issue on word sense disambiguation: the state of the art" (PDF). Computational Linguistics. 24 (1): 2–40.

[9] Lenat, Douglas; Guha, R. V. (1989), Building Large Knowledge-Based Systems, Addison-Wesley, pp. 1–5

[10] "A Generalist Agent". www.deepmind.com. Retrieved 2022-05-26.

[ucl.ac.uk-11] Dafna Shahaf와 Eyal Amir(2007) AI 완전성 이론을 향해.상식 2007, 제8회 상식 추론의 논리 공식화에 관한 국제 심포지엄.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Search

AI완전

네임스페이스

더

목차

역사

AI-완전한 문제

기계 번역

소프트웨어의 취약성

형식화

결과.

「」를 참조해 주세요.

레퍼런스

Search

AI완전

역사

AI-완전한 문제

기계 번역

소프트웨어의 취약성

형식화

결과.

「 」를 참조해 주세요.

레퍼런스

「」를 참조해 주세요.