IA PEC2 2021-2022 Nota A PDF

Preview

Summary

Inteligencia Artificial PEC 2Problema 1:Tenemos que demostrar para este conjunto de reglas si podemos sacar B mediante nuestra BF0 inicial {G,H}.Ciclo 1: Podríamos aplicar las siguientes reglas: {R3, R5}. Por el criterio de preferencia de las reglas con menor subíndice, aplicamos la regla R3. BF1 = ...

Description

Inteligencia Artificial PEC 2

Problema 1:

Tenemos que demostrar para este conjunto de reglas si podemos sacar B mediante nuestra BF0 inicial {G,H}.

Ciclo 1: Podríamos aplicar las siguientes reglas: {R3, R5}. Por el criterio de preferencia de las reglas con menor subíndice, aplicamos la regla R3. BF1 = {A,G,H}.

Ciclo 2: Podríamos aplicar las siguientes reglas: {R3,R5,R6,R7}. Tras aplicar obstinancia y por el criterio de preferencia de las reglas con menor subíndice, se aplica la regla R5. BF2={A,F,G,H}.

Ciclo 3: Podríamos aplicar las siguientes reglas: {R3,R5,R6,R7,R9}. Tras aplicar obstinancia y por el criterio de preferencia de las reglas con menor subíndice, se aplica la regla R6 y no se modifica la base. BF3={A,F,G,H}.

Ciclo 4: Podríamos aplicar las siguientes reglas: {R3,R5,R6,R7,R9}. Tras aplicar obstinancia y por el criterio de preferencia de las reglas con menor subíndice, se aplica la regla R7. BF4={A,F,G,H,I}.

Ciclo 5: Podríamos aplicar las siguientes reglas: {R3,R4,R5,R6,R7,R9}. Tras aplicar obstinancia y por el criterio de preferencia de las reglas con menor subíndice, se aplica la regla R4. BF5={A,B,F,G,H,I}.

Problema 2:

Nuestro objetivo es L y K. Partimos de una base de hechos BF = {A, ¬D, ¬H, I}. Aplicando encadenamiento hacia atrás tenemos:

Ciclo 1: Conjunto conflicto {R5, R9}. Por regla de preferencia, analizamos primero R5. Elegimos R5 y cambiamos al subjetivo a E y F. Ciclo 1.1: Conjunto conflicto para E: {R2}. Demostramos que A y ¬D son ciertos con lo que obtenemos E. Ciclo 1.1.1: Conjunto conflicto para F: {R4}. Para demostrar {R4} hay que demostrar C y D pero no tenemos reglas que demuestren D con lo que no podemos demostrar F. Si no podemos demostrar F no podemos demostrar L con lo que L no es demostrable.

Ciclo 2: Tratamos de demostrar {R9}. Para ello hay que demostrar J. Ciclo 2.1: Conjunto conflicto para J: {R8}. Podemos demostrar que I es cierto ya que lo tenemos en el BF con lo que J es cierto. Ciclo 3: Volvemos al objetivo K. Como J es cierto, entonces K es cierto.

Problema 3:

Representación gráfica:

Mar mediterráneo: Clase raíz de la jerarquía. Campo miembro: riesgo (valor por defecto: Bajo; valores: Bajo, Medio, Alto). Imperio Púnico: Subclase de Mar mediterráneo. Campos miembros: Paz (valor por defecto: Baja; valores: Alto, Medio, Bajo), Riesgo (valor por defecto: Alto; valores: Alto, Medio, Bajo). Imperio Romano: Subclase de Mar mediterráneo. Campos miembros: Paz (valor por defecto: Alta; valores: Alto, Medio, Bajo), Habitantes (valor por defecto: 10). Imperio Helénico: Subclase de Mar mediterráneo. Campos miembros: Paz (valor por defecto: Baja; valores: Alto, Medio, Bajo), Habitantes (valor por defecto: 3), Riesgo (valor por defecto: Medio; valores: Alto, Medio, Bajo). Hispania: Subclase de Imperio Púnico e Imperio Romano. Campo miembro: Paz (valor por defecto: Baja; valores: Alto, Medio, Bajo). Ilíria: Subclase de Imperio Romano e Imperio Helénico. Cartago: Subclase de Imperio Púnico. Tarraco: Subclase de Hispania. Campo miembro: Habitantes (valor por defecto: 200k).

Roma: Subclase de Imperio Romano. Campo miembro: Habitantes (valor por defecto: 600k). Damastion: Subclase de Ilíria. Atenas: Subclase de Imperio Helénico.

a) Hereda de la clase Mar mediterráneo. Riesgo bajo. b) En este caso hay un conflicto entre Alto (por parte de la subclase Imperio Romano) y Bajo (por parte de Impero Helénico). Como Ilíria hereda el valor de Paz de las dos subclases mencionadas y Damastion hereda de la subclase Ilíria, por Ordenación Topológica elegimos el valor de Paz: Bajo. c) Hereda de la subclase Imperio Helénico. Habitantes: 3...