[인공지능] RBMS 프로그래밍 - 질의에 응답하는 논리프로그램
- 최초 등록일
- 2008.11.18
- 최종 저작일
- 2007.11
- 13페이지/
한컴오피스
- 가격 3,000원
![할인쿠폰받기](/images/v4/document/ico_det_coupon.gif)
소개글
인공지능과목 수강하는 학생들을 위한 과제 입니다.
RBMS로 프로그래밍을 한 것으로, 질의에 응답하는 논리 프로그램입니다.
프로그램 포함되어 있습니다.
과제 점수 만점받았고요, 공부하는데 많은 도움 되셨으면 좋겠습니다.
목차
1. 과제의 주제
2. 문제에 대한 개략적인 해결 방안 제시
3. 세부 문제에 대한 구체적인 해결 방안 제시
1) ModelEntites
2) Ruleflow
3) Ruleset - 9 Rules
4) Function
5) 실험 결과
(1)결과 화면 - 1
(2)결과 화면 - 2
본문내용
1. 과제의 주제
※ 다음의 예를 보시고 질의에 응답하는 논리프로그램을 RBMS를 이용하여 작성하시오.
예) 각 강좌의 강사가 어떤 교수이고 학생들이 어느 강좌에 등록하였는지에 대한 사실(fact)이 논리프로그램에 포함되어 있다고 하자. 이 사실을 이용하여 프로그램은 어떤 특정한 학생을 가르치는 강사가 누구인지를 묻는 질의(query)에 답을 할 수 있다. instructor(p,c)는 교수 p가 강좌 c의 강사임을, enrolled(s,c)는 학생 x가 강좌 c에 등록하였다는 것을 나타내는 술어라고 할 수 있으며, 다음과 같은 fact 지식을 포함하는 데이터베이스를 갖을 수 있다.
[ fact 지식이 포함된 데이터베이스 ]
instructor(chan,math273)
instructor(patel,ee222)
instructor(grossman,cs301)
enrolled(kevin,math273)
enrolled(juana,ee222)
enrolled(juana,cs301)
enrolled(kiko,math273)
enrolled(kiko,cs301)
새로운 술어 “teaches(p,s) : 교수 p가 학생 s를 가르친다."는 논리 rule로 다음과 같이 정의
teaches(P,S) :- instructor(P,C),enrolled(S,C)
facts와 rules를 이용하여 질의에 답할 수 있다.
1. [질의 1] ?enrolled(kevin,math273) [답] yes
2. [질의 2] ?enrolled(X,math273) [답] kevin kiko
설명 : 이유는 시스템은 우선 질의 ?enrolled(X,math273)에서 X에 매치되는 값들을 fact에서 찾기 때문이다.
3. [질의 3] ?teaches(X,juana) [답] patel grossman
참고 자료
없음