BIBLIOGRAPHY
Gordon S. Novak Jr. n.d.-a. “Cs 343: Artificial Intelligence.” Accessed June 19, 2024. https://www.cs.utexas.edu/~novak/cs343.html.
———. n.d.-b. “Cs 378: Symbolic Programming.” Accessed June 19, 2024. https://www.cs.utexas.edu/~novak/cs378.html.
———. n.d.-c. “Cs 381k: Artificial Intelligence.” Accessed June 19, 2024. https://www.cs.utexas.edu/~novak/cs381k.html.
———. n.d.-d. “Gordon S. Novak Jr.” Accessed June 19, 2024. https://www.cs.utexas.edu/~novak/index.html.
History
- 클로저
관련노트
CS 343: Artificial Intelligence
(Gordon S. Novak Jr. n.d.-a) Gordon S. Novak Jr.
‘Novak’ Artificial Intelligence Vocabulary
CS 381K: Artificial Intelligence
(Gordon S. Novak Jr. n.d.-c) Gordon S. Novak Jr.
CS 378: Symbolic Programming
(Gordon S. Novak Jr. n.d.-b) “CS 378: Symbolic Programming” Gordon S. Novak Jr.
https://www.cs.utexas.edu/~novak/cs378.html
Symbolic Programming involves the manipulation of symbolic data such as programs, equations, rules, and natural language (human languages such as English). Symbolic programming is increasingly being used in real applications by large companies such as Bloomberg and Walmart.
기호 프로그래밍은 프로그램, 방정식, 규칙, 자연어(영어와 같은 인간 언어)와 같은 기호 데이터를 조작하는 것을 포함합니다. 블룸버그, 월마트와 같은 대기업에서 실제 애플리케이션에 심볼릭 프로그래밍을 점점 더 많이 사용하고 있습니다.
심볼릭 프로그래밍
In computer programming, symbolic programming is a programming paradigm in which the program can manipulate its own formulas and program components as if they were plain data.[1]
컴퓨터 프로그래밍에서 기호 프로그래밍은 프로그램이 자체 수식과 프로그램 구성 요소를 마치 일반 데이터처럼 조작할 수 있는 프로그래밍 패러다임입니다. [1]
Through symbolic programming, complex processes can be developed that build other more intricate processes by combining smaller units of logic or functionality. Thus, such programs can effectively modify themselves and appear to “learn”, which makes them better suited for applications such as artificial intelligence, expert systems, natural language processing, and computer games.
기호 프로그래밍을 통해 더 작은 단위의 논리나 기능을 결합하여 더 복잡한 프로세스를 구축하는 복잡한 프로세스를 개발할 수 있습니다. 따라서 이러한 프로그램은 효과적으로 스스로를 수정하고 “학습”하는 것처럼 보일 수 있으므로 인공 지능, 전문가 시스템, 자연어 처리 및 컴퓨터 게임과 같은 애플리케이션에 더 적합합니다.
Languages that support symbolic programming include homoiconic languages such as Wolfram Language,[2] Lisp, Prolog,[3] and Julia.
기호 프로그래밍을 지원하는 언어에는 Wolfram 언어, [2] Lisp, Prolog, [3] 및 Julia와 같은 동형 언어가 있습니다.
(Gordon S. Novak Jr. n.d.-d) 노박 교수 수업을 봤었다. 인공지능 역시 가르친바 있다. 아무렴 리스프 애호가였다. 훌륭한 자료들을 제공한다.
Symbolic Logic and Mechanical Theorem ProvingCS 378: Symbolic Programming - cs.utexas.edu
vocab CS378 : Symbolic Programming