레플리
글 수 221

인공지능 이론 문제 질문

조회 수 433 추천 수 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 로봇 등장 깊은바다 2016-03-26 649
해당 기술에 대해 궁금합니다. 아까그분 2022-06-14 639
개인 신분으로 연구 데이터(human3.6m)에 대한 접근 YONGS 2020-06-10 639
Dialogflow 질문입니다. [2] HELATHLAB 2019-02-22 635
파일을 AI를 통해 자동 분류가 가능할까요? [1] ghghgh 2021-01-10 621
일상대화 챗봇 기반 메타버스 플랫폼을 만드실 백엔드 개발자 모집 깊은바다 2022-01-12 605
딥러닝으로 빵의 가격을 자동으로 계산하는 인공지능 깊은바다 2019-01-06 605
메타버스+초거대AI 서비스 기획 공모전 file [1] 깊은바다 2023-08-16 589
[질문]학습과정에서의 Ram [2] 삽질만하네 2020-09-12 582
Dialogflow로 이미지 불러오기가 가능할까요? [2] 재앤더플루이드 2021-01-06 580
외국인 인공지능 개발 분야 국내 취업이 어려울까요? [2] 삼바 2021-02-15 557
질문) 텐서플로우로 구글의 인셉션 모델을 만들고 있습니다. [2] 딥린이 2018-08-17 554
안녕하세요 처음으로 만들어본 챗봇 공유해봅니다. [1] KimYH 2023-01-18 551
케라스로 만든 코드를 C++에서 쓸 수 있나요? [2] 거북이 2019-11-26 551
안녕하세요 이제야 이런 곳을 알았네요 [1] 스펙터 2024-10-23 542