항목
-
로고 LOGO화면상의 점을 자유롭게 움직여서 기하학적인 도형을 그리게 하는 것을 통하여, 수학적인 개념이나 컴퓨터에 대한 소양을 교수하는 것을 특징으로 하고 있다. LOGO는 스위스의 발달심리학자인 피아제(Piaget, J.)에 의한 피아제식 학습(인지심리학 [2] 참고) 및 MIT에서의 인공지능(특히 LISP)의 연구에서 영향을 받았다...
- 분야 :
- 프로그램 언어
-
스팍스 SPARKS, Structured Programming A Reasonably K..사용하면 언어의 여러 기능 가운데 실제로 사용하지 않는 기능은 정의할 필요가 없으며, 현재 많이 사용되는 프로그래밍 언어인 COBOL, FORTRAN, ALGOL, APL, LISP, PASCAL, PL/I, SNOBOL등과도 매우 유사하므로 다른 언어로 쉽게 변환할 수 있다. 또한 기존 고급언어를 사용하여 번역기를 만들 수도 있다. SPARKS는...
- 분야 :
- 프로그램 언어
-
체스 머신 chess machineMIT의 그린블랫(Greenblatt, R.)이 체스용의 컴퓨터 하드웨어를 작성했다. 그후 노스웨스턴 대학에서 체스 4.5라는 로컬 챔피언 클래스의 프로그램을 개발하여 1977년 IFIP 회의에서 소련의 체스 프로그램과 대전, 체스 4.5가 이겼다는 기록이 있다. 그린블랫의 머신은 그 후Lisp 머신의 개발에 연결된 것으로 알려져...
- 분야 :
- 컴퓨터 방식, 인공지능
-
마이신 MYCIN수막염의 진단 및 항생물질의 투여를 돕는 시스템. 1970년 초에 개발이 시작되어, 1974년에 완성되었으며, 쇼틀리페의 학위 논문으로서 발표되었다. 마이신은 Lisp에서 작성된 뒤를 향한 추론방식의 프로덕션 시스템을 기본적인 추론 엔진으로 하고 있다. 확실도로서 CF를 최초로 도입한 시스템이며, 룰(프로덕션 룰)의...
- 분야 :
- 인공지능
-
비수치 데이터 처리 non-numerical data processing인식, 정보 검색, 대수적 조작, 새로운 프로그래밍 언어의 탐구 등에도 광범위하게 사용된다. [2] 검색, 추론, 검증 및 대수적 조작 등 처리하는 데이터의 값이 숫자가 아닌 데이터 처리. 예를 들면, LISP：리스트 처리 언어, SNOBOL : 패턴 명칭에 의해서 스트링 처리, PROLOG：자연어 처리. 〈참조어〉 수치 데이터 처리
- 분야 :
- 수학, 프로그래밍
-
세크드 기계 SECD machine랜딘(Landin, P. J.)이 설계한 가상 컴퓨터. Lisp 등의 S식을 기본으로 하는 프로그램 언어로 쓰인 프로그램을 이 기계의 기계어로 번역하여 실행하는 것을 목적으로 하고 있다. SECD기계는 4개의 레지스터 s, e, c, d를 가지는 스택 기계이며, s, e, c, d는 각 stack, environment, control list(기계어 명령의 열...
- 분야 :
- 컴퓨터 방식
-
영역 규칙 scope rulestatic scope rule)과 프로그램 실행시에 결정되는 동적 범위 규칙(dynamic scope rule)으로 분류한다. 블록구조 언어에서는 정적 범위 규칙을 사용하고 APL, LISP, SNOBOLA와 같은 인터프리터 언어에서는 동적 범위 규칙이 사용된다. 범위 규칙을 정리하면 ① 같은 블록 안에서 두 번 이상 선언할 수 없다. ② 변수나...
- 분야 :
- 프로그래밍
-
프로그 기능 prog feature리스프(LISP)에서 기존 프로그래밍 언어(FORTRAN, Pascal 등)의 순차 반복 형태와 유사한 코드를 작성할 수 있도록 하는 함수. 일반적인 프로그 구조는 다음과 같다. (prog(-지역 변수들-)) 수식 1, 수식 2에 있는 이전 값들을 스택에 넣고 지역 변수에 닐(nil) 값을 준다. 첫 번째 s-수식을 검사하여 원자(atom)이면...
- 분야 :
- 프로그래밍
-
범용언어 GPL, general purpose language범용언어가 있으며, 또 Pascal, Modula-2, Ada에 대표되는 새 기능을 갖춘 절차형 범용언어가 보급되어 있다. 더욱이, 함수형 팔라듐용 또는 기호처리의 기능을 중심으로 설계된 Lisp, 논리형 팔라듐용인 Prolog는, 각각 범용 언어로서 인공지능의 분야에서 쓰이고 있다. 그 의미에서는, 범용과 특수의 구별은 상대적인...
- 분야 :
- 프로그램 언어
-
확장 문맥자유문법 augmented context free grammar가능하다. 그러기 때문에 자연언어 처리에 사용되는 일이 많다. 확장 문맥 자유문법을 사용한 해석 시스템으로서 (확장)LINGOL, 확장전이문법을 사용하는 ATN시스템, DCG, BUP 등이 있다. 이들 중에서, (확장)LINGOL과 ATN 시스템은 Lisp 프로그램, DCG와 BUP는 Prolog 프로그램의 형태로 문법규칙 안에 절차를 부가한다...
- 분야 :
- 계산언어학
-
그래픽스 언어 graphics language언어에 묻어넣는 수법이 일반적이다. 근원이 되는 언어로서는 Basic을 비롯하여, Fortran, Pascal, C, Ada 등의 범용언어가 이용되는 수가 많은데, 최근에는 Lisp, Prolog, Smalltalk 등도 흔히 쓰인다. 언어와 결합할 뿐만 아니라, 프로그래밍의 종합적인 지원환경으로서, 에디터라든가 디버거 등과 함께 프로그래밍...
- 분야 :
- 프로그램 언어, 패턴 정보처리
-
유형언어 typed language언어이다. 유형언어에 대해, 어셈블리 언어와 같이 어떠한 데이터에 대해서도 임의의 조작을 허용하는 언어를 유형없는 언어(typeless language)라고 한다. 한편, 데이터 유형인 컴파일 때에 결정되는 언어를 강한 유형언어, APL이나 Lisp와 같이 데이터형이 실행 때에 결정되는 언어를 약한 유형언어라고 하는 경우도...
- 분야 :
- 프로그램 언어