- 제약 조건 만족과 불확실한 지식의 처리
- ㆍ 저자명
- 신양규,Shin. Yang-Kyu
- ㆍ 간행물명
- 한국데이터정보과학회지
- ㆍ 권/호정보
- 1995년|6권 2호|pp.17-27 (11 pages)
- ㆍ 발행정보
- 한국데이터정보과학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
제약 조건 만족의 관점에서 불확실한 지식을 표현하고 처리하는 방법을 제안하였다. 등식이나 부등식은 만족되어야 할 제약 조건들이며, 제약 조건들은 수리 논리식으로 표현될 수 있는데 이들은 주어진 수리 논리식들의 집합에 대한 만족성을 계산하는 제약 조건 해결 프로그램에 의해 답을 얻을 수 있다. 불확실성을 포함한 규칙 기반 시스템들은 확률론의 초보적인 내용을 응용하여 표현되는데, 이 경우 제약 조건 해결 프로그램으로 효율적인 결과를 얻을 수 있다.
We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.