글 수 78

인공지능 이론 문제 질문

조회 수 70 추천 수 0 2018.04.07 22:54:26


안녕하세요.

인공지능 수업을 듣는 학생입니다.

다름아니라.. 학교에서 과제가 나왔는데 잘 안 풀리네요ㅠㅠ

정답을 바라는게 아니고,, 해결 방안이라도 제시해 주시면 감사하겠습니다ㅜㅜ

과제 질문 같은게 문제가 된다면 바로 삭제하겠습니다.

 

다음 영어 문장들을 first-order predicate logic formulas로 쓰고, Refutation Resolution 방법을 써서

질문을 증명하시오. 반드시 formulas를 쓰기 전에 Ontology를 정의하시오. (10점)

Everyone is married with someone who loves.

Everyone does not hit someone who loves.

John is married with Mary.

Bill loves Mary.

Mary hit either John or Bill.

Did Mary hit Bill?

 

엮인글 :

깊은바다

2018.04.08 03:45:51
*.68.247.188

(1) X (marry(X, Y)=>love(X, Y))

(2) X (love(X, Y)=>¬hit(X, Y))

(3) marry(John, Mary)

(4) marry(Mary, John)

(5) love(Bill, Mary)

(6) hit(Mary, John) ∨ hit(Mary, Bill)

 

marry(Mary, John) by (4)

love(Mary, John) by (1)

¬hit(Mary, John) by (2)

hit(Mary, John) is false

hit(Mary, Bill) is true by (6)

 

정확하진 않지만 위와 비슷한 방식이지 않을까요. 온톨로지는 어떻게 정의하라는 건지 잘 모르겠네요.

 

그런데 요즘도 인공지능 수업에서 논리식을 이렇게 자세히 배우나요? 지금은 거의 사용되지 않을텐데요. 수업 과목도 머신러닝이나 딥러닝에 집중하는게 더 좋을지 모르겠네요^^;

List of Articles
번호 제목 글쓴이 날짜 조회 수
78 가입인사와 질문입니다! [5] machine 2018-05-05 53
77 [질문] bothub 빌더를 이용한 챗봇 제작시 DB구축은 어떻게 해야하나요? [2] 하이루 2018-05-04 36
76 NeuroWhAI님, Seq2seq 디코딩 문제 해결하셨나요? file [3] 깊은바다 2018-04-30 37
75 [질문] Attention이 무엇인가요? [2] NeuroWhAI 2018-04-17 60
74 서버 이전을 하였습니다 [2] 깊은바다 2018-04-12 68
» 인공지능 이론 문제 질문 [1] Jessica 2018-04-07 70
72 TensorFlow.js [1] NeuroWhAI 2018-03-31 78
71 Jukedeck : 인공지능 음악 [1] NeuroWhAI 2018-03-31 43
70 안녕하십니까. 강화학습을 통한 장애물 탐지 [3] yu 2018-03-29 52
69 안녕하세요 가입인사 겸 질문이 있습니다. [1] mldp 2018-03-29 34
68 수학잘하는 능력은 필수일까요? [4] AIdogfoot 2018-03-20 96
67 챗봇 만드는 방식에 대해 간단하게 궁금한 점이 있습니다 [1] 찐만두 2018-03-19 70
66 인공지능개발자를 꿈꾸고있습니다 [6] AIdogfoot 2018-03-18 83
65 Google Colaboratory 소개 및 설명 [1] NeuroWhAI 2018-03-10 69
64 혹시 여기 전부 대학생들만 있으시나요? [5] 맛동산 2018-02-27 142