Representação do Conhecimento

Transcrição

1 Instituto Superior Técnico Licenciatura em Engenharia Informática e de Computadores Campus do Tagus Park Representação do Conhecimento 2 o Teste 17 de Junho de :00h 17:30h Nome: Número: Escreva o seu número em todas as folhas do exame. O tamanho das respostas deve ser limitado ao espaço fornecido para cada questão. O exame tem 6 páginas com 8 perguntas, estando assinalada no princípio de cada pergunta, entre parêntesis, a sua cotação. Boa sorte. 1. (2) Nas Description Logics em geral (DL s) os conceitos genéricos dividem-se em primitivos e definidos. a. (0.5) Como se definem os conceitos primitivos? Os conceitos primitivos definem-se através de condições necessárias. b. (0.5) Como se definem os conceitos definidos? Os conceitos definidos definem-se através de condições necessárias e suficientes. c. (1.0) Dê um exemplo de uma definição de um conceito de cada tipo. Justifique. Por exemplo, se considerarmos o conceito de leão e o definirmos como um mamífero que ruge apenas estamos a fornecer as condições necessárias, mas não suficientes para determinar se um dado mamífero é leão. Visto que os restantes grandes felinos (leopardos, jaguares, etc.) também rugem, neste caso leão estaria definido como um conceito primitivo. Por exemplo, se considerarmos o conceito de Solteiro e o definirmos como um Homem não casado, então estamos a fornecer as condições necessárias e suficientes (qualquer homem não casado é um solteiro). 2. (4.5) Represente graficamente numa DL genérica a seguinte informação: Uma cadeira faz parte do curriculum de um ou mais cursos, é leccionada por um ou mais docentes, tem um ou mais alunos inscritos e tem como pontos de avaliação um ou mais elementos de avaliação. O docente responsável por uma cadeira é um dos docentes dessa cadeira. Os pontos de avaliação de uma cadeira podem incluir zero ou mais testes e zero ou mais projectos. Cada elemento de avaliação pode ter uma nota mínima. Os alunos inscritos numa cadeira têm de realizar os pontos de avaliação da cadeira. cadeira de RC da LEIC-Tagus tem como pontos de avaliação dois testes e um projecto. No caso de usar condições estruturais, explique o seu significado.

2 N o 2 TBOX Coisa Docente Leccionada(1,NIL) diff Cadeira Curriculum(1,NIL) Curso Projecto(0,NIL) Responsável(1,1) Pt o de val o (1,NIL) diff Inscrito(1,NIL) diff Teste(0,NIL) luno Quem El o de valiação Nota Mínima(0,NIL) Nota O Quê Realização BOX RC LEIC-Tagus T1 T2 Proj Realização: significa que Quem tem de realizar O Quê.

3 N o 3 3. (2) Considere a hipótese dos símbolos físicos e a definição do que é um sistema de símbolos físicos. a. (1.5) nalise as DL s em geral e mostre, justificando, se elas podem ou não ser consideradas um sistema de símbolos físicos. Um sistema de símbolos físicos é composto por um conjunto de símbolos, os quais se podem organizar em estruturas. Em cada momento, o sistema contém uma colecção de estruturas. lém disso é composto por um conjunto de procedimentos que manipulam as estruturas gerando novas estruturas. No caso das DL s temos como símbolos os conceitos (genéricos e individuais), os papéis e as condições estruturais. Estes podem ser agrupados/ organizados em estruturas mais complexas: podemos ter hierarquias de conceitos, de papéis e as condições estruturais são associadas a conceitos, relacionando os papéis que os definem entre si. lém disso, existem procedimentos que permitem inferir novo conhecimento: no caso das DL s as operações mais importantes de inferência são a herança, subsumption e ificação. Logo, uma DL pode ser considerada um sistema de símbolos físicos. b. (0.5) Segundo a hipótese dos símbolos físicos, qual a importância da análise que efectuou na alínea anterior? hipótese do sistema de símbolos físicos diz que um sistema de símbolos físicos (de tamanho e complexidade adequadas) é condição necessária e suficiente para produzir sistemas que exibem comportamento inteligente. Logo, dado que mostramos que uma DL pode ser considerada como um sistema de símbolos físicos, (através da hipótese) garantimos que com uma DL podemos construir um sistema que pode exibir comportamento dito inteligente. 4. (1) Existem dois aspectos associados aos conceitos em SNePS: os nós representam conceitos intensionais e o princípio da Unicidade. a. (0.5) O que são conceitos intensionais? Os conceitos intensionais são os conceitos acerca dos quais pretendemos falar. b. (0.5) Dê um exemplo em que um conceito (extensional) pode ser desdobrado em vários conceitos intensionais. Por exemplo, o conceito da estrela da manhã - a última estrela a desaparecer com a alvorada, o conceito da estrela da tarde - a primeira estrela a aparecer com o pôr do sol, são dois conceitos intensionais que correspondem extensionalmente ao planeta Vénus. Em geral, distinguimos diferentes propriedades para a estrela da manhã e a da tarde apesar de elas corresponderem na realidade ao mesmo conceito/objecto da realidade. Logo, apesar de todos estes conceitos corresponderem ao planeta Vénus poderemos querer representá-los como três conceitos diferentes no SNePS.

4 N o 4 5. (4.5) Represente em SNePS a seguinte informação: a) Todas as pessoas têm férias. b) Nem todas as pessoas vão para a praia nas férias. c) Todas as pessoas levam algum equipamento de desporto para férias. d) Os óculos de mergulho são um equipamento de desporto. Se preferir pode representar separadamente cada uma das frases, desde que não seja violado o princípio da unicidade. M1! ant cq P1 forall P2 ag rel obj Pessoa V1 Tem Férias 2 2 min M2! max P3 exists min 0 P4 max 0 P5 ag rel obj compl Pessoa V2 Vai Praia Férias Pessoa P6 V3 ant forall M3! cq P7 P9 exists obj min ag 2 max 2 P8 rel compl Eq o Desp o V4 Leva Férias Óc.Mergulho M4! Eq o Desp o

5 N o 5 6. (2.0) Considere um JTMS: a. (0.5) O que são premissas? Premissas são nós com a justificação vazia (sem antecedentes). b. (0.5) O que são suposições? Suposições são nós acreditados com base em justificações com antecedentes não monótonos não vazios. c. (1.0) Na rede seguinte indique que nós são premissas e que nós são suposições. Caso a rede não contenha nenhuma suposição modifique-a de forma mínima para que passe a existir uma suposição. Explique. Tal como está temos duas premissas, n1 e n2 e nenhuma suposição. solução seria remover a justificação como premissa para o nó n2. Tal teria como consequência que o nó n3 passaria a ser acreditado, passando a ser uma suposição. n1 n2 n3

6 N o 6 7. (2.0) Rotule a rede de dependências que se segue usando um JTMS. Comente o resultado obtido. N n1 n4 n5 N//... N N n3 n2 n6 N N /N/... N//... Podemos começar a rotular por n1 ou n2. Se começarmos a rotular por n1 então obtemos uma rotulação que é estável e está representada dentro de rectângulos. Se começarmos a rotular por n2 então não obtemos uma rotulação estável para os nós n5 e n6 (independentemente de começarmos a rotular por n5 ou n6). 8. (2.0) Rotule a seguinte rede de dependências usando um TMS. Não se esqueça de indicar os nogoods. {} {{}} {{,B}} D F {{,B,C},{C}} {{B}} B E G {{},{B,C}} {{C}} C {{C}} nogoods: {{,B}}