Artificial Intelligence
-
Modus Ponens is sound but incomplete.카테고리 없음 2007. 7. 2. 11:54
Russell의 'Artificial Intelligence: A Modern Approach'에 나온 예제다. Modus Ponens는 First-Order Logic 문장들에 대해 Sound하지만 Incomplete한 추론을 한다. P → Q ⌉P → R Q → S R → S Complete한 추론 규칙이라면 S를 유도해내야 한다. P 또는 ⌉P 중 하나는 반드시 참일 것이기 때문이다. 하지만, Modus Ponens는 못한다. -_-
-
기계학습 적용의 문제점카테고리 없음 2004. 1. 26. 15:09
좀 더 똑똑하고 다채로운 모습을 보여주는 소프트웨어를 만들어보라고 한다면 나는 쉽사리 기계 학습을 활용한 시스템을 떠올리게 된다. 경험을 통해 개성을 발달시키고 특정한 주위 환경에 적절히 대응하려면 학습은 필요 불가결한 요소다. 그런데, 기계 학습은 그 환상적인 장점만큼 문제점을 많이 가지고 있다. 아니, 본디 기계학습으로 이루고자 했던 목표를 만족시킬 만 한 방법론이 아직 없다는 것이 큰 문제이다. 아래는 기계학습을 활용하는데 있어 발생하는 문제점을 나열해 놓은 것이다. 기계학습 시스템이 잘못된 내용을 학습하기 쉽다. 잘못 학습한 시스템은 전혀 사용자가 원치 않는 반응을 하게 될 것이다.기계학습 기법은 원하는 결과를 성취하기 위해 조율하거나 변경하기가 어려울 수 있다. 예를 들어, 다양한 학습 상황에 ..
-
Situation Calculus...카테고리 없음 2004. 1. 26. 15:07
상황 계산법(Situation Calculus)은 시간에 따라 변화하는 세계를 표현하기 위한 지식 표현법의 하나이다. 상황 계산법에서는 어떤 사실이 참이 되는 상황, 또는 - 반대로 - 어떤 상황을 묘사하기 위해 필요한 사실들을 기술하는 방법 및 이들의 변화 과정 속에서 추론을 수행하는 방법이 무엇인지를 연구한다. [1]에 따르면, 상황 계산법은 "시간에 따른 변화를 추론하기 위해 매카시(John McCarthy)가 개발한 일차 술어 논리 이론"이다. 다음 문단은 매카시의 논문 [2]에서 발췌한 것이다. One of the basic entities in our theory is the situation. Intuitively, a situation is the complete state of affai..