http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
남상애(Sang Ae Nam),신홍철(Hong Chell Shin) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
인공 지능 연구에 있어서 표준 논리 체제에서는 타당한 추론 만을 염두에 두기 때문에 정확한 형식적 기준에 장애가 되는 요소 (가능성, 시간 개념, 정도, 믿음)들은 배제해 버리므로 인간 사고와는 거리가 생기게 된다. L.E.J.Brouwer는 인간 사고에 기여하는 논리 체제는 직관 주의 논리라고 주장한다. 본 논문에서는 L.E.J.Brouwer의 주장에 따른 직관 술어 논리 체제에 대한 형식과 의미를 토포스라 불리는 카테고리로 분석하고 끝으로 fuzzy 논리와 대응시켜 fuzzy subset에 대한 fuzzy subobject에서의 진리치를 구하는 방법을 제시한다.
한상희(Sang-Hee Han),신홍철(Hong-Chell Shin) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
Dana Scott의 D∞ 구조를 타입 (type) 체계로 도입하여 타입할당의 형식론(formal theory of type assignment)을 만들었고 타입할당의 형식론에서의 소거법칙(elimination rule)을 거의 일반화 시켰으며 함수적 프로그래밍(functional programming)이나 Montague 의미론에서 활용할 수 있는 타입 구조의 모델인 필터모델(filter model)을 구성하였다.
토포스 구조를 통한 형이론에 입각한 유형 언어의 문장 완전성 척도화
이향일(HYANG IL LEE),남상애(SANG AE NAM),신홍철(HONG CHELL SHIN) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
본 논문은 일차 술어 논리의 확장인 고계 논리 [1]이면서 몬테규 문법[8] 기초를 둔 L type(Higher-Order type-theoretic language)언어를 다룬다. L type 모델은 완전 부분 순서 집합(Complete Partial Ordered Set)을 순환 다양형적(recursive and polymorphic)방정식의 꼴로 구성하여 이 집합 상에서 부분 동치 관계(Partial equivalence relation) 취하여 이것이 토포스 구조를 이룸을 보이고 이 토포스 구조를 이용하여 문장 생성의 완전성에 대한 척도화가 가능해지고 이는 불완전한 지식 추론에 도움을 줄 여지가 있음을 제시하여 준다.