레플리
글 수 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
가입 인사 드립니다. [1] 야발자 2019-11-08 9577
페이스북 챗봇 질문있습니다. [1] 챗봇알기 2017-11-06 5876
가상화폐가 실물화폐를 대체할 수 있을까 file [1] 깊은바다 2018-07-16 2477
카카오 Kogpt 파인튜닝. [3] 영화관람권익보장 2022-11-12 2448
간단한 덧셈을 학습 시키고 싶습니다. [3] 거북이 2019-08-18 1884
카카오톡 '나는 원숭이다' 해킹 사건의 전말 깊은바다 2020-05-23 1787
Dialogflow와 카카오톡 연결 [2] Neocom 2018-07-09 1664
안녕하세요. 잘부탁드려요~!!! [1] jungjunn 2022-03-31 1568
카카오톡 오픈빌더 스킬부분 질문입니다. [4] 정진태 2019-05-08 1342
word2vec 질문입니다. [1] 노력하는돌 2021-09-13 1152
안녕하세요. 제가 속해있는 회사에서 딥러닝 엔지니어를 채용합니다. 깊은바다 2021-08-02 1047
kaggle 사이트 관련 [1] gat 2022-06-21 1022
챗봇 빌더와 챗봇 모델을 사용하여 직접 개발하는 방법의 차이점은 무엇인가요? [1] 에이아이 2022-06-17 888
카카오톡 오픈채팅방 문의 [1] 외계공룡 2022-06-19 882
[질문드립니다] 전이학습 개념 관련 [2] 테리웁스 2022-08-23 834