초록

본 연구는 크게 4개의 과제로 구분되어 있다.
그첫째는 지식처리형 컴퓨터의 추론을 담당하는 추론컴퓨터 구조에 관한 연구로서 논리언어를 효율적으로 수행키 위한 고급 컴퓨터 구조와 데이타 플로우 구조에 적합한 언어를 연구하는 것이다. 둘째로 지식처리형 컴퓨터가 처리할 다량의 데이타를 효율적으로 관리하고 신속한 처리를 수행키 위한 데이타베이스 컴퓨터에 대한 연구이며 셋째로 위에서 설명한 두개의 컴퓨터를 사용하여 실제로 지식정보를 조작, 관리하는 지식 표현 시스템에 관한 것이다.

목차 Contents

• 제1장 지식표현 시스템에 관한 연구...10
• 제1절 서 론...10
• 제2절 PROKB에서의 지식표현 방식과 지식의 처리...11
• 제3절 지식조작 명령어...45
• 제4절 행위지식표현에 관한 조사 및 연구...56
• 참고문헌...72
• 제2장 추론컴퓨터 구조연구...76
• 제1절 서 론...76
• 제2절 논리언어 컴파일러...79
• 제3절 병렬수행 Abstract Machine...94
• 참고문헌...137
• 제3장 데이타베이스 컴퓨터에 관한 연구...139
• 제1절 서 론...139
• 제2절 데이타베이스 컴퓨터의 등장 및 그 정의...140
• 제3절 데이터베이스 컴퓨터의 분류 및 성능비교...143
• 제4절 각국의 데이터베이스 컴퓨터에 대한 연구...155
• 제5절 데이터베이스 컴퓨터 형태분석을 통한 문제점...170
• 제6절 결합연산에 대한 연구...174
• 제7절 데이타베이스 컴퓨터의 연구방향...180
• 제8절 데이터 흐름 개념을 이용한 병렬 추론 모델...184
• 제9절 프롤로그와 관계데이타 베이스 시스템의 연결에 있어 순환법칙 처리방법에 관한 연구...190
• 제10절 결 론...197
• 참고문헌...200
• 제4장 데이타플로우 언어의 설계에 관한 연구...203
• 제1절 서 론...203
• 제2절 데이타 플로우 수행 모델...204
• 제3절 데이타 플로우 언어의 설계...209
• 제4절 설계된 언어의 특징...217
• 제5절 결 론...222
• 참고문헌...223