본문 바로가기

LECTURE

Web Information System 3. Deductive Reasoning Agents 연역적 추론 에이전트??? 연역법(deductive method): 이미 증명된 하나 또는 둘 이상의 명제를 전제로 하여 새로운 명재를 결론으로 이끌어내는 것을 연역(deduction)이라 하며, 이러한 연역적 추리의 방법과 절차를 논리적으로 체계화 한 것 예) 아리스토텔레스의 삼단논법 (간접추리) 모든 사람은 죽는다. A -> B (대전제) 소크라테스는 사람이다. C -> A (소전제) 소크라테스는 죽는다. C -> B (결론) 원문보기 3.0 Intorduce Symbolic AI AI system 구축을 위한 전통적인 방법 주어진 시스템의 환경과 그에 적합한 행동의 symbolic한 representation(묘사, 표현???), 그리고 이 re.. 더보기
Real-time System Real-time system: 논리적인 수행결과 뿐만 아니라 시간적 제약에 의해 시스템의 정확도가 결정되는 시스템 예) 공장 자동화, 해저탐사, 프로세스 제어, 로봇, 군사 응용, 비젼시스템 일반 시스템과의 차이점: task들이 한계시간(deadline)이나 시작 가능시간(release time)과 같은 시간 제약을 가지고 있어 이를 만족시켜야 함. Real-time task / time critical task: 시간적으로 여러가지 제약을 갖는 task periodic task: 일정한 시간간격을 가지고 task 실행 aperiodic task: task가 일어나는 시간간격이 일정하지 않은 task Slack time Real-time Scheduling Static scheduling 시스템에 의해.. 더보기