1 / 11

Correção dos exercícios de engenharia do conhecimento em Prolog

Correção dos exercícios de engenharia do conhecimento em Prolog. Jacques Robin, DI-UFPE www.di.ufpe.br/~jr. Estudo de caso: a terrível novela Requisitos em Inglês. 1. A soap opera is a TV show whose characters include a husband, a wife and a mailman such that:

cleantha
Download Presentation

Correção dos exercícios de engenharia do conhecimento em Prolog

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Correção dos exercícios de engenharia do conhecimento em Prolog Jacques Robin, DI-UFPE www.di.ufpe.br/~jr

  2. Estudo de caso: a terrível novelaRequisitos em Inglês 1. A soap opera is a TV show whose characters include a husband, a wife and a mailman such that: 2. the wife and the mailman blackmail each other 3. everybody is either alcoholic, drug addict or gay 4. Dick is gay, Jane is alcoholic and Harry is a drug addict 5. the wife is always an alcoholic and the long-lost sister of her husband 6. the husband is always called Dick and the lover of the mailman 7. the long-lost sister of any gay is called either Jane or Cleopatra 8. Harry is the lover of every gay 9. Jane blackmails every drug addicted lover of Dick 10. soap operas are invariably terrible! 0.Who are the characters of a terrible TV show?

  3. Correção do exercício 1: A terrível novela em L1

  4. tvShow(Cast,Qual) :- soapOpera(Cast,Qual). soapOpera([dick,W,M],terrible) :- soapCast([dick,W,M]), blackmail(W,M), alcoholic(W), longLostSister(W,dick), lover(M,dick). soapCast([]). soapCast([H|T]) :- soapChar(H), soapCast(T). soapChar(C) :- alcoholic(C). soapChar(C) :- drugAddict(C). soapChar(C) :- gay(C). gay(dick). alcoholic(jane). drugAddict(harry). lover(Harry,G) :- gay(G). longLostSister(jane,G) :- gay(G). longLostSister(cleopatra,G) :- gay(G). blackmail(jane,M) :- lover(M,dick), drugAddict(M). ?-tvShow(Cast,terrible). Cast = [dick,jane,harry]. Correção do exercício 2:A terrível novela em Prolog

  5. Estudo de caso: o banco de dados acadêmicoRequisitos em Inglês 1. Bob is 40 and is the manager of the CS department. 2. His assistants are John and Sally. 3. Mary’s highest degree is an MS. 4. She works at the CS department and is friend to Bob and Sally. 5. Every faculty is a midaged person who writes article, makes in the average $50,000 a year and owns a degree of some kind, typically a PhD. 6. A faculty’s boss is both a faculty and a manager. 7. Every person has a name, friends who must be persons, and children who also must be persons. 8. Every employee is affiliated to some department, has a boss who is also na employee and joint work on reports with other employees. 9. Every department has a manager who is an employee and assistants who are both employees and students 10. A boss is an employee who is the manager of another employee of the same department. 11. A joint work is a paper that is written by two faculties 0a: Who are the midaged employees of the CS department and who are their boss? 0b: Who published jointly with Mary in the Journal of the ACM? 0c: Where did Mary published joint work with Phil?

  6. person(bob). age(bob,40). works(bob,cs,faculty). manager(cs,bob). dept(cs). works(john,cs,assistant). study(john,cs). works(sally,cs,assistant). study(sally,cs). hiDeg(mary,ms). works(mary,cs,faculty). friends(mary,bob). friends(mary,sally). works(phil,cs,faculty). degree(phd). degree(ms). journal(jacm). conf(cacm). article(flogic,[john,sally,mary,bob],jacm). article(florid,[phil,mary,bob],cacm). Correção do exercício 3:O banco de dados acadêmico em Prolog1/ fatos ground

  7. hiDeg(F,phd) :- works(F,_,faculty), not hiDeg(F,ms). salary(P,5000) :- works(F,_,faculty), not salary(F,_). midaged(F) :- age(F,A), !, integer(A), A >= 30, A =< 60. midaged(F) :- works(F,_,faculty). works(B,D,faculty) :- manager(D,B), works(E,D,faculty), !. activity(F,paperWriting) :- works(F,_,faculty). person(P2) :- friends(P1,P2), person(P1). person(C) :- parent(A,C), person(A). person(P) :- study(P,D), dept(D). person(P) :- works(P,_,D), dept(D). works(S,D,assistant) :- study(S,D), dept(D), works(S,D,_), !. works(M,D,_) :- manager(M,D). boss(B,E) :- manager(D,B), works(E,D,_). jointWork(W,F1,F2,P) :- works(F1,_,faculty), works(F2,_,faculty), F1 \= F2, report(W,Fl,P), member(F1,Fl), member(F2,Fl). member(H,[H|T]). member(X,[H|T]) :- member(X,T). report(T,Al,J) :- article(T,Al,J), journal(J). report(T,Al,C) :- article(T,Al,C), conf(C). report(T,Al,D) :- techrep(T,Al,D), dept(D). Correção do exercício 3:O banco de dados acadêmico em Prolog2/ regras de dedução

  8. midagedWorkerOf(E,D) :- works(E,D,_), midaged(E). bossOfMidagedWorkerOf(B,D) :- midagedWorkerOf(E,D), boss(B,E). ? setof(E,midagedWorkerOf(E,cs),Le), setof(B,bossOfMidagedWorkerOf(B,cs),Lb). E = _20, Le = [bob,mary], B = _51, Lb = [bob]; no. ? setof(F,jointWork(_,F,mary,jacm),Lf). F = _20, Lf = [bob]; no. ? setof(P,jointWork(_,phil,mary,P),Lp). P = _20, Lp = [cacm]; no Correção do exercício 3:O banco de dados acadêmico em Prolog3/ consultas

  9. Correção do exercício 4:O banco de dados acadêmico em L11/ formulas ground

  10. Correção do exercício 4:O banco de dados acadêmico em L12/ formulas quantificadas

  11. Correção do exercício 4:O banco de dados acadêmico em L13/ consultas

More Related