{{위키데이터 속성 추적}}
{{인공지능}}
'''기호주의 인공지능'''(Symbolic artificial intelligence)은 [[인공지능]]에서 문제, [[논리학|논리]], [[검색 알고리즘|검색]]에 대한 높은 수준의 기호주의적(사람이 읽을 수 있는) 표현을 기반으로 하는 인공지능 연구의 모든 방법을 총칭하는 용어이다.<ref>{{저널 인용|last1=Garnelo|first1=Marta|last2=Shanahan|first2=Murray|date=2019-10-01|title=Reconciling deep learning with symbolic artificial intelligence: representing objects and relations|journal=Current Opinion in Behavioral Sciences|language=en|volume=29|pages=17–23|doi=10.1016/j.cobeha.2018.12.010|s2cid=72336067 |doi-access=free|hdl=10044/1/67796|hdl-access=free}}</ref> 기호주의 AI는 [[논리형 프로그래밍]], 생산 규칙, [[시맨틱 네트워크]], [[프레임 (인공지능)]] 등의 도구를 사용하고 지식 기반 시스템(특히 [[전문가 시스템]]), 기호 수학, [[자동 정리 증명|자동 정리 증명자]], [[온톨로지]], [[시맨틱 웹]], 자동화 계획 및 스케줄링 시스템 등의 애플리케이션을 개발했다. 기호주의 AI 패러다임은 검색, 기호주의 프로그래밍 언어, 에이전트, 다중 에이전트 시스템, 시맨틱 웹, 형식 지식 및 추론 시스템의 강점과 한계에 대한 중요한 아이디어를 이끌어 냈다.

기호주의 AI는 1950년대 중반부터 1990년대 중반까지 AI 연구의 지배적인 패러다임이었다.{{sfn|Kolata|1982}} 1960년대와 1970년대 연구자들은 기호주의적 접근 방식이 결국 인공 일반 지능을 갖춘 기계를 만드는 데 성공할 것이라고 확신했고 이를 자신들 분야의 궁극적인 목표로 여겼다. 논리이론가 새뮤얼의 [[체커스 플레잉 프로그램]](Checkers Playing Program)과 같은 초기 성공과 함께 초기 붐은 비현실적인 기대와 약속으로 이어졌고 자금이 고갈되면서 첫 번째 [[AI 겨울]]이 이어졌다.{{sfn|Kautz|2022|pp=107-109}}{{sfn|Russell |Norvig|2021|p=19}} 두 번째 붐(1969~1986)은 전문가 시스템의 등장, 기업 전문 지식 확보에 대한 약속, 열정적인 기업 포용과 함께 발생했다.{{sfn|Russell |Norvig|2021|pp=22-23}}{{sfn|Kautz|2022|pp=109-110}} 그 호황과 일부 초기 성공(예: [[디지털 이큅먼트 코퍼레이션|DEC]]의 XCON)은 나중에 다시 실망으로 이어졌다.{{sfn|Kautz|2022|pp=109-110}} 지식 습득의 어려움, 대규모 지식 기반 유지, 도메인 외부 문제 처리의 취약성 등의 문제가 발생했다. 또 다른 두 번째 AI 겨울(1988~2011)이 이어졌다.{{sfn|Kautz|2022|p=110}} 그 후, AI 연구자들은 불확실성 처리 및 지식 획득과 관련된 근본적인 문제를 해결하는 데 중점을 두었다.{{sfn|Kautz|2022|pp=110-111}} 불확실성은 숨겨진 마르코프 모델, 베이지안 추론, 통계적 관계 학습과 같은 형식적 방법으로 해결되었다.{{sfn|Russell |Norvig|2021|p=25}}{{sfn|Kautz|2022|p=111}} 기호적 기계 학습은 버전 스페이스(Version Space), 밸리언트(Valiant)의 PAC 학습, 퀸란(Quinlan)의 [[ID3 알고리즘|ID3]] [[결정 트리]] 학습, [[사례기반추론|사례기반학습]], 관계 학습을 위한 귀납적 논리 프로그래밍 등의 기여를 통해 지식 획득 문제를 해결했다.{{sfn|Kautz|2020|pp=110-111}}

하위 기호 접근 방식인 [[신경망]]은 초기부터 추구되어 2012년에 강력하게 다시 등장했다. 초기 예로는 [[프랑크 로젠블랫]]의 [[퍼셉트론]] 학습 작업, 루멜하트, 힌튼, 윌리엄스의 [[역전파]] 작업, 레쿤(LeCun) 등의 컨볼루션 신경망 작업이 있다.<ref>{{저널 인용| doi = 10.1038/323533a0| issn = 1476-4687| volume = 323| issue = 6088| pages = 533–536| last1 = Rumelhart| first1 = David E.| last2 = Hinton| first2 = Geoffrey E.| last3 = Williams| first3 = Ronald J.| title = Learning representations by back-propagating errors| journal = Nature| date = 1986 | bibcode = 1986Natur.323..533R| s2cid = 205001834}}</ref> 그러나 신경망은 2012년경까지 성공적인 것으로 간주되지 않았다.<ref>{{저널 인용| volume = 1| issue = 4| pages = 541–551| last1 = LeCun| first1 = Y.| last2 = Boser| first2 = B.| last3 = Denker| first3 = I.| last4 = Henderson| first4 = D.| last5 = Howard| first5 = R.| last6 = Hubbard| first6 = W.| last7 = Tackel| first7 = L.| title = Backpropagation Applied to Handwritten Zip Code Recognition| journal = Neural Computation| date = 1989| doi = 10.1162/neco.1989.1.4.541| s2cid = 41312633}}</ref> "빅 데이터가 일반화될 때까지 AI 커뮤니티의 일반적인 합의는 소위 신경망 접근 방식이 절망적이라는 것이었다. 시스템은 그렇게 작동하지 않았다. 음, 다른 방법과 비교하면... 2012년에 힌튼과 함께 일하는 연구진을 포함한 많은 사람들이 GPU의 성능을 사용하여 신경망의 성능을 엄청나게 높이는 방법을 고안하면서 혁명이 일어났다."{{sfn|Marcus |Davis|2019}} 향후 몇 년 동안 딥 러닝은 비전, 음성 인식, 음성 합성, 이미지 생성 및 기계 번역 처리 분야에서 눈부신 성공을 거두었다. 그러나 2020년부터 편견, 설명, 이해성 및 견고성에 대한 본질적인 어려움이 [[딥 러닝]] 접근 방식에서 더욱 분명해졌다. 점점 더 많은 수의 AI 연구자들이 기호 네트워크 접근 방식과 신경망 접근 방식<ref name="Rossi">
{{웹 인용|last1=Rossi |first1=Francesca |title=Thinking Fast and Slow in AI |url=https://aaai-2022.virtualchair.net/plenary_13.html |publisher=AAAI |access-date=5 July 2022}}</ref><ref name="Selman">{{웹 인용|last1=Selman |first1=Bart |title=AAAI Presidential Address: The State of AI |url=https://aaai-2022.virtualchair.net/plenary_2.html |publisher=AAAI |access-date=5 July 2022}}</ref>의 장점을 결합하고 상식 추론과 같이 두 접근 방식이 모두 어려움을 겪는 영역을 다룰 것을 요구해 왔다.{{sfn|Marcus |Davis|2019}}

== 같이 보기 ==
{{div col|colwidth=30em}}
* [[인공지능]]
* [[자동 정리 증명]]
* [[사례기반추론]]
* [[인지적 구조]]
* [[인지 과학]]
* [[연결주의]]
* [[딥 러닝]]
* [[1차 논리]]
* [[인공지능의 역사]]
* [[지식 기반 시스템]]
* [[지식 표현]]
* [[논리형 프로그래밍]]
* [[기계 학습]]
* [[자연어 처리]]
* [[온톨로지]]
* [[인공지능 철학]]
* [[시맨틱 웹]]
* [[워드넷]]
{{div col end}}

== 각주 ==
{{각주}}

== 출처 ==
{{참고 자료 시작}}
* {{저널 인용| doi = 10.1016/0004-3702(91)90053-M| issn = 0004-3702| volume = 47| issue = 1| pages = 139–159| last = Brooks| first = Rodney A.| title = Intelligence without representation| journal = Artificial Intelligence| accessdate = 2022-09-13| date = 1991| s2cid = 207507849| url = https://dx.doi.org/10.1016/0004-3702%2891%2990053-M}}
* {{서적 인용| title = Knowledge-Based Tutoring: The GUIDON Program (MIT Press Series in Artificial Intelligence)| last = Clancey | first = William |year = 1987| edition=Hardcover}}
* {{Crevier 1993}}.
* {{저널 인용
| title=From micro-worlds to knowledge representation: AI at an impasse
| last=Dreyfus | first=Hubert L
| journal=Mind Design
| pages=161–204
| year=1981
| publisher=MIT Press, Cambridge, MA
| url=http://www.cogsci.ucsd.edu/~coulson/203/dreyfus.pdf }}
* {{서적 인용| publisher = Springer Science & Business Media| isbn = 978-1-85233-512-0| last1 = Garcez| first1 = Artur S. d'Avila| last2 = Broda| first2 = Krysia| last3 = Gabbay| first3 = Dov M.| last4 = Gabbay| first4 = Augustus de Morgan Professor of Logic Dov M.| title = Neural-Symbolic Learning Systems: Foundations and Applications| date = 2002}}
* {{콘퍼런스 인용| doi = 10.13140/2.1.1779.4243| conference = AAI Spring Symposium - Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches| last1 = Garcez| first1 = Artur| last2 = Besold| first2 = Tarek| last3 = De Raedt| first3 = Luc| last4 = Földiák| first4 = Peter| last5 = Hitzler| first5 = Pascal| last6 = Icard| first6 = Thomas| last7 = Kühnberger| first7 = Kai-Uwe| last8 = Lamb| first8 = Luís| last9 = Miikkulainen| first9 = Risto| last10 = Silver| first10 = Daniel| title = Neural-Symbolic Learning and Reasoning: Contributions and Challenges| publisher = AAAI Press | location = Stanford, CA| date = 2015}}
* {{인용| last1 = Garcez| first1 = Artur d'Avila| last2 = Gori| first2 = Marco| last3 = Lamb| first3 = Luis C.| last4 = Serafini| first4 = Luciano| last5 = Spranger| first5 = Michael| last6 = Tran| first6 = Son N.| title = Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning| date = 2019| arxiv = 1905.06088}}
* {{인용| arxiv = 2012.05876| last1 = Garcez| first1 = Artur d'Avila| last2 = Lamb| first2 = Luis C.| title = Neurosymbolic AI: The 3rd Wave| date = 2020}}
* {{인용
| last=Haugeland | first=John | author-link = John Haugeland
| year = 1985
| title = Artificial Intelligence: The Very Idea
| publisher=MIT Press| location= Cambridge, Mass
| isbn=0-262-08153-9 }}
* {{저널 인용
| first1=Frederick | last1=Hayes-Roth
| first2=William |last2=Murray
| first3=Leonard |last3=Adelman
| title=Expert systems
| journal=AccessScience
| date=2015
| language=en
| doi=10.1036/1097-8542.248550
}}
* {{cite tech report
| last1=Honavar|first1=Vasant|last2=Uhr|first2=Leonard
| year=1994
| title=Symbolic Artificial Intelligence, Connectionist Networks & Beyond
| institution=Iowa State University Digital Repository, Computer Science Technical Reports. 76
| page=6
| url=https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1072&context=cs_techreports
}}
* {{콘퍼런스 인용
| last = Honavar | first = Vasant
| year = 1995
| title=Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards a Resolution of the Dichotomy
|conference=The Springer International Series In Engineering and Computer Science
|publisher=Springer US |pages=351–388
|doi=10.1007/978-0-585-29599-2_11
 }}
* {{웹 인용
 |first        = J.
 |last         = Howe
 |date         = November 1994
 |title        = Artificial Intelligence at Edinburgh University: a Perspective
 |url          = http://www.inf.ed.ac.uk/about/AIhistory.html
 |access-date  = 30 August 2007
 |archive-date = 15 May 2007
 |archive-url  = https://web.archive.org/web/20070515072641/http://www.inf.ed.ac.uk/about/AIhistory.html
 |url-status   = live
}}
* {{영상 인용| first=Henry |last=Kautz| title = The Third AI Summer, Henry Kautz, AAAI 2020 Robert S. Engelmore Memorial Award Lecture| accessdate = 2022-07-06| date = 2020-02-11|  url = https://www.youtube.com/watch?v=_cQITY0SPiw}}
* {{저널 인용| doi = 10.1609/aimag.v43i1.19122| issn = 2371-9621| volume = 43| issue = 1| pages = 93–104| last = Kautz| first = Henry| title = The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture| journal = AI Magazine| accessdate = 2022-07-12| date = 2022| s2cid = 248213051| url = https://ojs.aaai.org/index.php/aimagazine/article/view/19122| doi-access = free}}
* {{서적 인용|title=Machine Learning : an Artificial Intelligence Approach |date=1990 |publisher=Morgan Kaufman |isbn=0-934613-09-5 |oclc=893488404 |editor-last=Kodratoff |editor-first=Yves |volume=III |location=San Mateo, Calif. |editor-last2=Michalski |editor-first2=Ryszard}}
* {{저널 인용
| first = G.| last=Kolata
| year=1982
| title=How can computers get common sense?
| journal=Science | issue= 4566| pages=1237–1238
| doi = 10.1126/science.217.4566.1237
| volume = 217 |pmid=17837639
| bibcode=1982Sci...217.1237K}}
* {{웹 인용
 |last=Maker
 |first=Meg Houston
 |year=2006
 |title=AI@50: AI Past, Present, Future
 |location=Dartmouth College
 |url=http://www.engagingexperience.com/2006/07/ai50_ai_past_pr.html
 |archive-url=https://web.archive.org/web/20070103222615/http://www.engagingexperience.com/2006/07/ai50_ai_past_pr.html
 |url-status=dead
 |archive-date=3 January 2007
 |access-date=16 October 2008
 }}
* {{서적 인용|last1=Marcus |first1=Gary |author1-link=Gary Marcus |last2=Davis |first2=Ernest |date=2019 |title=Rebooting AI: Building Artificial Intelligence We Can Trust |location=New York |publisher=[[Pantheon Books]] |isbn=9781524748258 |oclc=1083223029}}
* {{인용| last = Marcus| first = Gary|author-link=Gary Marcus|title = The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence| date = 2020 | arxiv = 2002.06177}}
* {{콘퍼런스 인용| conference = Symposium on Mechanization of Thought Processes| pages = 8| last = McCarthy| first = John| author-link = John McCarthy (computer scientist) | title = PROGRAMS WITH COMMON SENSE| location = NATIONAL PHYSICAL LABORATORY, TEDDINGTON, UK| date = 1959}}
* {{저널 인용| pages = 463–502| last1 = McCarthy| first1 = John| author1-link=John McCarthy (computer scientist) | last2 = Hayes| first2 = Patrick| author2-link = Pat Hayes | others = B. Meltzer, Donald Michie (eds.)| title = Some Philosophical Problems From the Standpoint of Artificial Intelligence| journal = Machine Intelligence 4| date = 1969}}
* {{McCorduck 2004}}
* {{서적 인용|title=Machine Learning : an Artificial Intelligence Approach |date=1983 |publisher=Tioga Publishing Company |isbn=0-935382-05-4 |editor-last=Michalski |editor-first=Ryszard |volume=I |location=Palo Alto, Calif. |oclc=9262069 |editor-last2=Carbonell |editor-first2=Jaime |editor-last3=Mitchell |editor-first3=Tom}}
* {{서적 인용|title=Machine Learning : an Artificial Intelligence Approach |date=1986 |publisher=Morgan Kaufman |isbn=0-934613-00-1 |editor-last=Michalski |editor-first=Ryszard |volume=II |location=Los Altos, Calif. |editor-last2=Carbonell |editor-first2=Jaime |editor-last3=Mitchell |editor-first3=Tom}}
* {{서적 인용| edition=1st| publisher=Prentice Hall| isbn=0-13-445403-0| last1=Newell| first1=Allen| last2=Simon| first2=Herbert A.| title=Human Problem Solving| location=Englewood Cliffs, New Jersey| date=1972}}
* {{저널 인용|doi=10.1145/360018.360022 |last1=Newell |first1=Allen |last2=Simon |first2=H. A. |year=1976 |title=Computer Science as Empirical Inquiry: Symbols and Search |volume=19 |issue=3 |pages=113–126 |journal=Communications of the ACM| author-link=Allen Newell |authorlink2=Herbert A. Simon |doi-access=free}}
* {{서적 인용|last=Nilsson|first=Nils|author-link=Nils Nilsson (researcher)|year=1998|title=Artificial Intelligence: A New Synthesis|publisher=Morgan Kaufmann|isbn=978-1-55860-467-4 |url=https://archive.org/details/artificialintell0000nils|url-access=registration|access-date=18 November 2019|url-status=live|archive-date=26 July 2020|archive-url=https://web.archive.org/web/20200726131654/https://archive.org/details/artificialintell0000nils}}
* {{인용|last=Olazaran |first=Mikel |title=Advances in Computers Volume 37 |chapter=A Sociological History of the Neural Network Controversy |date=1993-01-01 |chapter-url=https://www.sciencedirect.com/science/article/pii/S0065245808604088 |volume=37 |pages=335–425 |editor-last=Yovits |editor-first=Marshall C. |access-date=2023-10-31 |publisher=Elsevier|doi=10.1016/S0065-2458(08)60408-8 |isbn=9780120121373 }}
* {{서적 인용|last=Pearl |first=J. |year=1988 |title=Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference |location=San Mateo, California |publisher=Morgan Kaufmann |isbn=978-1-55860-479-7 |oclc=249625842}}
* {{서적 인용|first1=Stuart J.|last1=Russell|author1-link=Stuart J. Russell|first2=Peter|last2=Norvig |author2-link=Peter Norvig|title=[[Artificial Intelligence: A Modern Approach]]|year=2021|edition=4th |isbn=978-0-13-461099-3 |lccn=20190474|publisher=Pearson|location=Hoboken}}
* {{웹 인용| last = Rossi| first = Francesca| title = AAAI2022: Thinking Fast and Slow in AI (AAAI 2022 Invited Talk)| accessdate = 2022-07-06| date = 2022-07-06| url = https://aaai-2022.virtualchair.net/plenary_13.html}}
* {{웹 인용| last = Selman| first = Bart| title = AAAI2022: Presidential Address: The State of AI| accessdate = 2022-07-06| date = 2022-07-06| url = https://aaai-2022.virtualchair.net/plenary_2.html}}
* {{인용| arxiv = 1606.04422| last1 = Serafini| first1 = Luciano| last2 = Garcez| first2 = Artur d'Avila| title = Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge| date = 2016-07-07}}
* {{저널 인용|last1=Spiegelhalter |first1=David J. |last2=Dawid |first2=A. Philip |last3=Lauritzen |first3=Steffen |first4=Robert G. |last4=Cowell |author-link1=David Spiegelhalter |author-link3=Steffen Lauritzen |date=1993 |title=Bayesian analysis in expert systems |journal=Statistical Science |volume=8 |issue=3}}
* {{저널 인용|doi=10.1093/mind/LIX.236.433 |issn=0026-4423 |volume=LIX |issue=236 |pages=433–460 |last=Turing |first=A. M. |title=I.—Computing Machinery and Intelligence |journal=Mind |accessdate=2022-09-14 |date=1950 |url=https://doi.org/10.1093/mind/LIX.236.433}}
* {{서적 인용| pages = 415–422| last = Valiant| first = Leslie G| chapter= Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence| date = 2008 |editor1=Hariharan, R. |editor2=Mukund, M. |editor3=Vinay, V. |title=Foundations of Software Technology and Theoretical Computer Science (Bangalore)}}
* {{콘퍼런스 인용
| year=2017
| author1=Xifan Yao | author2=Jiajun Zhou | author3=Jiangming Zhang | author4=Claudio R. Boer
| title=From Intelligent Manufacturing to Smart Manufacturing for Industry 4.0 Driven by Next Generation Artificial Intelligence and Further On
|publisher=IEEE
|conference=2017 5th International Conference on Enterprise Systems (ES)
|doi=10.1109/es.2017.58
}}
{{참고 자료 끝}}

[[분류:인공지능]]