Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 1987.07b
- /
- Pages.1038-1041
- /
- 1987
A STUDY ON NON-MONOTONIC REASONING SYSTEM
비단조 논리를 이용한 추론 범위 확장에 관한 연구
- Lee, Kang-Heuy (DEPT. OF ELECTRO. ENG. CHUNG-ANG UNIV.) ;
- Cha, Kuk-Chan (DEPT. OF ELECTRO. ENG. CHUNG-ANG UNIV.) ;
- Choi, Jong-Soo (DEPT. OF ELECTRO. ENG. CHUNG-ANG UNIV.)
- Published : 1987.07.03
Abstract
Non-monotonic logic is one in which the introduction of new axioms can eliminate old theorems. Such logic is very important in modeling the beliefs of the systems which, in the presence of complete information, must make and subsequently revise assumptions in light of new observations. In the present paper, we suggest that the formal systems, such as Reiter's default logic could be the useful implement for the specification and description of non-monotonic systems. WE develop a theory of inheritance network in order to illustrate the benefits of this theory.
Keywords