INFOPOWER

1. Logic이란? - 기존의 지식으로부터 새로운 지식을 추출하기 위해 수학적 연역법(deduction)을 이용함으로써, 지식 표현과 추론에 이론적인 기초를 제공 - 이미 True로 알려져 있는 사실로부터 새로운 사실을 유도함 - 새로운 사실 또한 True라는 것을 증명하는 방법을 통해 질문에 대한 대답이나 문제에 대한 해를 유도할 수 있게 됨. * 인공지능에서 주로 이용하는 논리 - Propositional Logic - Predicate Logic(First-Order Logic) - 이 Logic들은 지식 표현 방법이 간단하면서도 강력한 추론방법을 제공하는 수단 * Syntax and Semantics ▶ Syntax - Rules for constructing legal sentences in ..