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

Slides:

Advertisements

Similar presentations

© Pure Revenue LTDA A Vision for Combating Fraud in the Competitive Environment of Brazil CFCA Conference Rio de Janeiro April 29, 2005.

Advertisements

In ENGLISH, the use of conjunctions in compound sentences will NEVER utilize the subjunctive. Ill take my umbrella in case it rains.

PRESENT SIMPLE.

VHDL Coding Style MO801/MC912.

VERB THERE TO BE(PRESENT TENSE)

POR Y PARA ¿Cuándo usamos por y para? Tenemos que memorizar los usos.

First Order Logic Logic is a mathematical attempt to formalize the way we think. First-order predicate calculus was created in an attempt to mechanize.

First-Order Logic.

Self Adjusted Data Structures. Self-adjusting Structures Consider the following AVL Tree

Revisão 7ª série 1º trimestre Professora: Daiane Winter Componente Curricular: Inglês.

I work – he works You watch – he watches They study – she studies

(use and form).  We use it to compare people or things. Usa-se para comparar pessoas ou coisas. e.g. – That t-shirt is cheaper than this one.

 In ENGLISH, the use of conjunctions in compound sentences will NEVER utilize the subjunctive.  I’ll take my umbrella in case it rains.

PAST PERFECT X PAST PERFECT CONTINUOUS Andressa Ribeiro do Amaral.

No outono de 1982, nos EUA iniciou-se o Marriage Ministries lnternational, através do casal Mike e Marilyn Phillipps, que, depois de se reconciliarem,

Correção de exercícios das pp. 152, 153, 81 e 82 Teacher Carol 9◦ ano.

THE DEFINITION OF MARRIAGE & LOVE DICTIONARY OXFORD ADVANCED LEARNER’S ENGLISH-ENGLISH DICTIONARY.

1. An Overview of Prolog.

Inference in first-order logic Chapter 9. Outline Reducing first-order inference to propositional inference Unification Generalized Modus Ponens Forward.

Family Communication Map. Boundaries Boundaries are rules for interaction. They help govern who is in and who is out of the family. It also helps determine.

India on TV soap and real India A Índia novela da TV e a Índia Real

05.1 Epidemiologia do tabagismo nos profissionais de saúde Muitos dados disponíveis permitem concluir que, na U.E., os profissionais de saúde fumam menos.

Some Thoughts to Consider 7 What is the difference between Knowledge Engineering and Programming? What is the difference between Knowledge Engineering.

1/03/09 De 89 à 98. 1/03/09 De 89 à 98 1/03/09 De 89 à 98.

Problems of young people. 1.Alcohol 2.Drugs 3.Violence.

FEP 114 – Aula 3b. Objetivo: Determinar o intervalo de temperatura em que os calorímetros utilizados podem ser considerados ideais. Determinar o calor.

DABPMaio 2009 Cálculo de uma poligonal Universidade do Algarve Instituto Superior de Engenharia Licenciatura em Engenharia Topográfica Disciplina de Topografia.

Conjunctions that always require the subjunctive 2009.

Microeconomics 2 Answers to the first 17 questions on the Second Specimen Examination Paper (the remaining 10 answers are elsewhere)

Subjunctive with Conjunctions

Multiplying and Dividing Integers

Ideas for Topics Critical Research Study Unit 2734.

DEDUCTIVE DATABASE.

Ponte sobre o rio Paraná

Alcohol Information By ABDUL GHAFFARR ABBASI Being smart, strong, or experienced cannot prevent addiction.

Database Architecture Course Orientation & Context.

Soap Operas Soap Operas Level 4.

What is accounting? UNEB/Campus XIX Inglês Técnico

Human Sexuality Personal and Community Health Spring 2007.

Chapter 1. Please answer the questions on the sheet I just gave you. In 5 minuets I will collect them. These will be graded so answer the questions fully.

. Homer is 36yrs old He is married to a lovely wife called Marge and has three children. He loves to eat doughnuts.

1 Chaining in First Order Logic CS 171/271 (Chapter 9, continued) Some text and images in these slides were drawn from Russel & Norvig’s published material.

O HOMEM QUASE PERFEITO Imagina UM HOMEM INCRIVELMENTE GATO.

 Not if you agreed or disagreed, but WHY!  Reasoning behind our morality changes throughout our lifetime  Stage theorists (yes another one!)  Work.

王彥筑李雪微楊雅惠徐詩媛.

What Does The Generic Viagra Look Like Cheap Sildenafil No Prescription what is a large seller viagra or cialis how to stop headache after viagra share.

。 33 投资环境 3 开阔视野提升竞争力。 3 嘉峪关市概况。 3 。 3 嘉峪关是一座新兴的工业旅游城市，因关得名，因企设市，是长城文化与丝路文化交汇点，是全国唯一一座以长城关隘命名的城市。嘉峪关关城位于祁连山、黑山之间。 1965 年建市，下辖雄关区、镜铁区、长城区，全市总面积 2935.

Sistemas Operativos Introdução. Sistema Operativo - definição De maneira menos informal podemos definir Sistema Operativo, como sendo o Software fundamental.

COMPONENTES BÁSICOS DE UM COMPUTADOR Processador – Memória – Bus/Barramento – Periféricos.

Ser Diretor de Turma Sessão 6 O MEU… é o TEU!. ENQUADRAMENTO: Atividade desenvolvida em articulação com o professor titular de turma/professor bibliotecário/professor.

 An illustrated story to help children understand and cope with the problem of alcoholism or other drug addiction in the family.

HCA - 10º ANO: A CULTURA DA ÁGORA ESCULTURA GREGA: ESTATUÁRIA PROF. PEDRO XAVIER ESAAA.

The Subjunctive With Conjunctions

HW: Copy the Kinship symbols and kin type association for your notes

The World’s Wife The World’s Wife is the name of a collection of poems written by Carol Ann Duffy, originally published in The poems are all narrations.

Kolb's Learning Styles and Experiential Learning Model

Liste todos os “símiles” usados pelos autores de LD para o Hyracotherium,indicando pelo menos uma página em que cada um deles é citado FOX TERRIERPÁG.

Example of Knowledge Base

CONSTRUCTION MANAGEMENT

STARTER TASK: If you are female:

Challenges of Adolescence

Reality Television.

Evolution of Humans Describe what is going on in this rendering?

Índice Interacção radiação - matéria na atmosfera Aveiro 2008.

Conjunciones de Propósito con Subjuntivo

Classical Civ. Quiz (Athens)

MOÇAMBIQUE –BEIRA angariação de material escolar Vamos ajudar os jovens estudantes da Beira, a cidade devastada pelo ciclone IDAI Contribui com lápis,

1. What animal 2. Male or Female ? 4. Male or Female? Why? Why?

PUC por um Semestre - PIUES Termoquímica Calor de reação.

Presentation transcript:

Correção dos exercícios de engenharia do conhecimento em FLORID Jacques Robin, DI-UFPE

Estudo de caso: West é criminoso? Requisitos em Inglês 1. Para um americano, é criminoso vender armas a uma nação hostil aos EUA 2. Nono tem pelo menos um míssil 3. Nono comprou todos seus mísseis de West 4. Um míssil é um tipo de arma 5. Toda as nações inimigas dos EUA são consideradas hostis 6. West é americano 7. Nono é os EUA são nações 8. Nono é um inimigo dos EUA 0. Será que West é criminoso?

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: 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?

Parte comum as 2 BDDs: ontologia geral situation::entity. event::situation. action::event. happening::event. relation::situation. object::entity. physObj::object. artefact::physObj. liveBeing::physObj. org::object. quality::entity. quantity::entity. place::entity. time::entity.

West é criminoso? em FLORID Instâncias e Regras % Instancias (BD extensional): m1:missile. usa:nation. criminal:ethical_level. nono:nation[enemies ->> usa]. west:person [nationalities ->> usa; acts ->> transact[seller -> west; buyer -> nono; bought ->> m1]]. % Deduction rules (BD intencional): transact[seller => S; buyer => B] :- S:person, B:person. transact[seller => S; buyer => B] :- S:person, B:nation. transact[seller => S; buyer => B] :- S:nation, B:person. transact[seller => S; buyer => B] :- S:nation, B:nation. N:nation[hostile -> yes] :- N[enemies ->> usa]. P:person[ethics -> criminal] :- P[nationalities ->> usa; acts ->> transact[seller -> P; buyer -> N:nation[hostile -> yes]; bought ->> W:weapon]].

West é criminoso? em FLORID Hierarquia de classes e Consultas % Class hierarchy % A/ General ontology ?- % B/ Domain-specific ontology transact::action[bought =>> artefact]. person::liveBeing[nationalities =>> nation; acts =>> action; ethics => ethical_level]. weapon::artefact. missile::weapon. ethical_level::quality. nation::place[enemies =>> nation]. % Debug set-up ?- "trigger", "dump")[]. ?- sys.theOM.eqTraceOn[]. % Queries ?- sys.eval[]. ?- west[ethics -> criminal]. true. ?- west[ethics -> C]. C/criminal. true ?- west[A -> V].

A terrível novela em FLORID: hierarquia de classes e instâncias % Class hierarchy % A/ General ontology ?- % B/ Domain-specific ontology person::liveBeing [name => string; sex => sex; addictions =>> addictiveSub; lover =>> person; blackmails => person; sexOrient =>> sexOrient; longLostSister => person[sex => female]]. addictiveSub::artefact. org::object. tvShow::org[rating => rating]. sex::quality. sexOrient::quality. rating::quality. % Instances: male:sex. female:sex. gay:sexOrient. straight:sexOrient. terrible:rating. alcohol:addictiveSub. drugs:addictiveSub. % 4. Dick is gay, Jane is alcoholic and % Harry is a drug addict dick:person[name -> "dick"; sex -> male; sexOrient ->> gay]. jane:person[name -> "jane"; sex -> female; addictions ->> alcohol]. harry:person[name -> "harry"; sex -> male; addictions ->> drugs]. soap1:tvShow[husband -> dick; wife -> jane; mailman -> harry].

A terrível novela em FLORID: regras, estratificações e consultas 1 ?- sys.strat.doIt[]. ?- P:person[name -> N; sex -> S; sexOrient ->> O; addictions ->> A]. ?- P:person[name -> N; sex -> S; addictions ->> A]. ?- P:person[name -> N; sex -> S; sexOrient ->> A]. % Rules: % 3. everybody is either alcoholic, drug addict or gay P:soapChar :- P:person[addictions ->> drugs]. P:soapChar :- P:person[addictions ->> alcohol]. P:soapChar :- P:person[sexOrient ->> gay]. ?- sys.strat.doIt[]. ?- P:soapChar[name -> N]. % 7. the long-lost sister of any gay is called either Jane or Cleopatra G[longLostSister -> S] :- G:person[sexOrient ->> gay], S:person[name -> "jane"]. G[longLostSister -> S] :- G:person[sexOrient ->> gay], S:person[name -> "cleopatra"]. % 8. Harry is the lover of every gay harry[lover ->> G] :- G:person[sexOrient ->> gay]. ?- sys.strat.doIt[]. ?- P[name -> N; longLostSister -> Q[name - > S]]. ?- harry[lover ->> G[name -> N]].

A terrível novela em FLORID: regras, estratificações e consultas 2 % Common sense: lover relation is symmetric P:person[lover ->> Q] :- Q:person[lover ->> P]. ?- sys.strat.doIt[]. ?- dick[lover ->> G[name -> N]]. % 9. Jane blackmails every drug addicted lover of Dick jane[blackmails -> P] :- P:person[addictions ->> drugs], dick[lover ->> P]. ?- sys.strat.doIt[]. ?- jane[blackmails -> P[name -> N]]. ?- sys.strat.doIt[]. ?- S:tvShow[]. % 1. A soap opera is a TV show whose characters include % a husband, a wife and a mailman: S:soapOpera :- S:tvShow [mailman -> M:soapChar[sex -> male]; wife -> W:soapChar[sex -> female; % 2. the wife blackmails the mailman blackmails -> M; % 5a. the wife is always an alcoholic... addictions ->> alcohol]; % 5b. long-lost sister of her husband husband -> H:soapChar[longLostSister -> W; sex -> male; % 6a. the husband is always called Dick... name -> "dick"; % 6b. and the lover of the mailman lover ->> M]].

A terrível novela em FLORID: regras, estratificações e consultas 3 sys.strat.doIt[]. ?- S:tvShow[mailman -> M; wife -> W; husband -> H]. ?- S:soapOpera. S[cast ->> M] :- S:soapOpera[mailman -> M]. S[cast ->> W] :- S:soapOpera[wife -> W]. S[cast ->> H] :- S:soapOpera[husband -> H]. ?- sys.strat.doIt[]. ?- S:soapOpera[cast ->> C]. % 10. soap operas are invariably terrible S[rating -> terrible] :- S:soapOpera. ?- ?- ?- sys.strat.doIt[]. ?- S:tvShow[rating -> terrible]. % Final queries % 0. Who are the characters of a terrible TV show? ?- S:tvShow[rating -> terrible; cast ->> C]. ?- S:tvShow[rating -> terrible; cast ->> C; husband -> H; wife -> W; mailman -> N].