inference engine
추론엔진? 추론기?
자동추론기 ?
MKLINK
추론,inference
expert_system
knowledge_base 지식베이스
theorem_proving -
정리,theorem 증명,proof
knowledge-based_system (KBS)
REL
지식,knowledge ...
inference engine은, 아주 대충, (이미 알려진) 지식
(이든 정보든 정리든 뭐든)으로부터 (+
추론규칙,inference_rule,
탐색,search,
검색,search 등의 방법을 써서) (아직 알려지지 않은 새로운) 지식을 만들어내는 것에 관심이 있다.