(구)정보과학회 논문지
Current Result Document :
| 한글제목(Korean Title) |
다중치 논리를 위한 한정 추론 |
| 영문제목(English Title) |
A Relevant Entailment for Multivalued Logics |
| 저자(Author) |
김민구
Minkoo Kim
|
| 원문수록처(Citation) |
VOL 19 NO. 02 PP. 0225 ~ 0233 (1992. 03) |
한글내용
(Korean Abstract) |
불확실한 지식을 표현하기 위하여 참과 거짓의 중간 값들을 갖는 다중치 논리 이론들이 많이 연구되어 오고 있다. 이러한 다중치 논리들은 일반적으로 전통적인 논리의 확대 이론으로 개발되어 왔다. 따라서, 이러한 다중치 논리에서 사용하는 인훠런스 방법도 기존의 논리에서 사용하는 모더스 포넨스(Modus Ponens)를 그대로 사용하므로 바람직하지 못한 추론 결과를 종종 보여주고 있다. 본 논문에서는 이러한 현상을 밝히고, 다중치 논리를 이용할 때 적합한 추론 방식을 의미론적 제약과 논리 이론을 결합하여 제안하였다.
|
영문내용
(English Abstract) |
Multivalued logics have been developed in an attempt to encode uncertain facts with some intermidiate truth values. Although multivalued logics can be considered as extensions of classical logic, their inference mechanisms. Just as modus ponens reveal more irrelevant properties than the inference mechanisim of classical logic. We argue that having those irrelevant properties is not a problem of multivalued logic, but is a problem of the use of the same implication as used in classical logic. For this argument, we show that the use of material implication in multivalued logic produces implausible results in many examples of default reasoning, and propose a suitable notion of entailment for multivalued inference.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
