레플리
글 수 220

인공지능 이론 문제 질문

조회 수 351 추천 수 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
제목 글쓴이 날짜 조회 수sort
카톡 대화를 학습하는 AI 아바타 챗봇 - 레플리 file 깊은바다 2024-01-17 306
RSS 기능을 활성화해주실 수 있을까요? [2] revirth 2017-11-28 80
그래픽카드 질문 입니다. [1] 맛동산 2018-02-21 82
디지털이란 무엇일까요? [1] 하이루 2018-05-23 83
음성 데이터셋 정보를 한 번에 탐색 할 수 있는 아카이브를 만들었습니다! (SODA) file ODA 2023-06-14 86
질문 올립니다~~ ^^ [3] kajun 2017-11-07 89
안녕하세요 [1] jyk12 2018-08-14 93
안녕하세요~ 궁금하게있어요 [1] 챗봇딥러닝가자 2019-01-31 95
안녕하세요! 눈팅만 하다가 가입합니다. [1] Dope 2019-03-22 96
안녕하세요 가입인사 겸 질문이 있습니다. [1] mldp 2018-03-29 98
안녕하세요, 가입 인사 겸 질문 올립니다. [2] 칼슘 2019-03-22 98
딥러닝 관련 질문 (CPU -> GPU 설정 변환후, keras-tuner 돌릴때 error 발생) J814 2023-06-14 100
[마감임박] 스마트농업 AI 경진대회 시상식 및 포럼 사전등록 진행 중 file GOAT 2024-02-07 101
안녕하세요! 가입인사 드립니다. [1] EdenGloria 2019-07-22 102
ChatScript 관련 궁금한 것이 있습니다. [3] ranma 2018-02-23 104
요즘 부대 도서관에 인공지능 책이 자주 들어와서 좋네요. [1] NeuroWhAI 2018-02-24 105