메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1989년도 가을 학술발표논문집 제16권 제2호
발행연도
1989.10
수록면
403 - 406 (4page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
Non-Horn 연역 데이타베이스는 규칙의 머리부에 둘 이상의 리테랄(literal)을 가질 수 있도록 함으로써 불확정성(indefiniteness)을 지원한다. 본 논문에서는 non-Horn 연역 데이타베이스 하에서 불확정적으로 표현된 임의의 정보가 관련 정보의 삽입, 삭제, 변경및 데이타베이스의 제약조건 등에 의해 어떻게 보다 확정적인 정보로 진화(evolution)되는가를 고찰한다. 이를 위하여, 확정및 불확정정보를 표현하기 위한 자료구조를 새로이 설계하고 정보의 진화 개념을 정의하며 해석(interpretation)에 기초한 모델 이론적 접근 방법(model-theoretic approach)을 이용함으로써 형식적으로 이 문제를 해결한다. 또, 유도 부정정보와 가능 정보의 의미(semantics)를 명확히 정의하고 갱신 규칙과 관련하여 원시 정보가 나타내는 의미의 변화없이 이를 처리할 수 있는 방법을 제안한다.

목차

요약

Ⅰ 서론

Ⅱ 기초 개념

Ⅲ 정보의 진화

Ⅳ 갱신 규칙과의 관계

Ⅴ 비교및 평가

Ⅵ 결론및 추후 연구 계획

참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017914637