SlideShare ist ein Scribd-Unternehmen logo
1 von 17
REPUBLICA BOLIVARIANA DE VENEZUELA
     UNIVERSIDAD FERMIN TORO
     FACULTAD DE INGENIERIA
     CABUDARE – EDO. LARA




 Metodologías de 
Representación del 
  Conocimiento 


       Jesús Camacho
       C.I. 10.307.677
     Prof. Edecio Freitez
Representación del Conocimiento
             en Inteligencia Artificial



Representar el conocimiento en Inteligencia Artificial
es el proceso de transformación de éste a un dominio
o un lenguaje simbólico para ser procesado en un
computador.
Metodologías Representación del
               Conocimiento en Inteligencia Artificial

                                             Metodologías




             Declarativas                    Estructurales                     Procedurales




Separación entre conocimiento y         Estructuración del conocimiento.        Unión entre el conocimiento y la
estructura de control lógica:           propiedades inferenciales: herencia,    estructura de control.
expresiones declarativas (fbf),         transitividad, asociatividad.           orden dependiente,
sistemas de producción: (bh, rp, ec),                                           procedimientos y funciones.
                                        redes semánticas, frames.
prolog
METODOLOGIA ESTRUCTURAL
                          
                              Red Semántica

      Esta forma ha sido muy utilizada en IA para representar el
    conocimiento y por tanto existen una gran diversificación de
    técnicas.
                          Elementos Básicos:

    Estructuras de datos en nodos, que representan conceptos,
    unidas por arcos que representan las relaciones entre los
    conceptos.

    Un conjunto de procedimientos de inferencia que operan sobre las
    estructuras de datos.
Tipos de Redes Semánticas
   Redes IS-A: Es una jerarquía taxonómica
    cuya espina dorsal está constituida por un
    sistema de enlaces de herencia entre los
    objetos o conceptos de representación,
    conocidos como nodos

   Grafos conceptuales: Los arcos no están
    etiquetados, y los nodos son de dos tipos:
    *Nodos de concepto, que pueden representar
    tanto una entidad como un estado o proceso.
    *Nodos de relación, que indican cómo se
Tipos de Redes Semánticas

   Esquemas de marcos: Es una estructura de
    datos compleja que representa una situación
    estereotipada,
Ejemplos de Red Semántica:
METODOLOGIA ESTRUCTURAL
                           
                               Frames

Son una estructura de datos compleja que representa una situación
 estereotipada, en la que se organizar el conocimiento como una
 colección de características comunes al concepto, objeto,
 situación o sujeto.
METODOLOGIA ESTRUCTURAL
              
                  Frames – Características Principales

    Precisión : se precisan los objetos, las relaciones entre objetos y
    sus propiedades; en ausencia de evidencia contraria se usan
    valores por omisión

    Activación dinámica de procesos (Triggering): se pueden adjuntar
    procedimientos a un marco o alguno de sus componentes y ser
    llamados y ejecutados automáticamente tras la comprobación de
    cambio de alguna propiedad o valor (p. ej. if-needed, if-added)

    Herencia por defecto no-monotónica: los marcos están
    conceptualmente relacionados, permitiendo que atributos de
    objetos sean heredados de otros objetos predecesores en la
    jerarquía

    Modularidad: la base de conocimiento está organizada en
    componentes claramente diferenciados
Ejemplos Frames:

Frame:                    Silla
Pertenece a:              muebles
Subconjuntos posibles     Pupitre, silla de tijera
Material                  Madera, metal, plástico
Cantidad de patas(base)   1,2,3,4


                                         marco_perro
                                         descripción: caracterización básica de
                                         un perro
                                         Dueño      : Jesus Camacho
                                         fecha      : 30/05/2012
                                         Raza       : Cocker
                                         Edad        : 8 años
                                         Tipo_de     : mamífero
                                          Conducta : Jugueton, no muerde
METODOLOGIA ESTRUCTURAL
                   Reglas de Producción o Inferencia

   Los sistemas basados en reglas son los más comúnmente utilizados. Su
simplicidad y similitud con el razonamiento humano, han contribuido para su
popularidad en diferentes dominios. Las reglas son un importante
paradigma de representación del conocimiento.
                              Ejemplo de reglas:

                                       SI
                           el problema no me sale Y
                             es la hora de consulta
                                  ENTONCES
                              consultar al profesor

                                       SI
                         la luz del semáforo es verde Y
                           no hay peatones cruzando
                                   ENTONCES
                               Continúa la marcha
METODOLOGIA ESTRUCTURAL
                      Reglas de Producción o Inferencia

    INFERENCIAS:

    Razonamiento hacia adelante (de abajo a arriba)

    Razonamiento hacia atr ́s (de arriba a abajo)
METODOLOGIA ESTRUCTURAL
                     Reglas de Producción o Inferencia

Reglas: formalismo mas común de representar el conocimiento en un SBC.

Reglas si ... entonces ...

Interpretaciones:

Si condición P entonces conclusión C

Si ocurre S entonces acción A

Ventajas del formalismo de reglas:

Modulares, Conocimiento incremental, Conocimiento modificable, Permiten
explicaciones al usuario.
METODOLOGÍA DECLARATIVA

                                       Lógica
Lenguaje de representación que nos permite expresar y razonar con sentencias que sor
verdaderas o falsas.

Toda lógica que sea usada como mecanismo de representación deber constar de 3
elementos:
1. Una sintaxis, que explica cómo construir los elementos del lenguaje de
representación (oraciones lógicas).

2. Una semántica, que asocia los elementos del lenguaje con los elementos reales del
dominio → asocia una interpretación (significado) a los símbolos.

3. Un conjunto de reglas de inferencia, que permiten inferir conocimiento nuevo a partir
del ya existente
METODOLOGÍA DECLARATIVA

                               Lógica Proposicional
       SINTAXIS

ELEMENTOS
 ́
Atomos
• constantes lógicas: verdadero(V), falso(F)
• proposiciones lógicas: (strings de caracteres)

Ejemplos:
 p, q, r, ...
encima mesa libro
juan es mortal

Conectivas lógicas
• ”^” (y): conjunción lógica
  p ^ q , juan es hombre ^ juan es mortal
• ”v” (o): disyunción lógica
     P v q , juan trabaja banco v juan estudia informatica
• ”→” (implica): implicación
     No significa relaci ́n causal (no ’’antecedente implica consecuente’’)
METODOLOGÍA DECLARATIVA

                                 Lógica de Predicados

                                           Lenguaje:

Símbolos de predicado (P,Q,...), representan una relación en un dominio P(t1, ....., tn) ,
n ≥ 0(ti: términos)
(Proposiciones atómicas: símbolos de predicado 0-arios.)

Variables ( x, y, z ).
Símbolos de función (f, g, h ): f(t1, ....., tn) , n∈ (f:Dn → D).
Símbolos de función 0-arios =constantes.
Conectivas lógicas: ¬ ^ v → ↔
Cuantificador universal ∀, Cuantificador existencial ∃.
∀ x: "para todo x"      ∃ x: "existe un x"
Un conjunto de símbolos auxiliares: ( { , etc.
GRACIAS!

Weitere ähnliche Inhalte

Was ist angesagt?

Representacion del conocimiento inteligencia artificial
Representacion del conocimiento inteligencia artificialRepresentacion del conocimiento inteligencia artificial
Representacion del conocimiento inteligencia artificialwillyparedes4
 
metodos de busqueda en inteligencia artificial
metodos de busqueda en inteligencia artificialmetodos de busqueda en inteligencia artificial
metodos de busqueda en inteligencia artificialNoraVelasquez4
 
Modelo Entidad Relación
Modelo Entidad RelaciónModelo Entidad Relación
Modelo Entidad Relaciónjosecuartas
 
Tipos de búsqueda en Inteligencia Artificial
Tipos de búsqueda en Inteligencia ArtificialTipos de búsqueda en Inteligencia Artificial
Tipos de búsqueda en Inteligencia ArtificialJuank Grifin
 
Representacion del conocimiento
Representacion del conocimientoRepresentacion del conocimiento
Representacion del conocimientoAnibal Parra
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosRosviannis Barreiro
 
Sistemas basados en conocimiento
Sistemas basados en conocimientoSistemas basados en conocimiento
Sistemas basados en conocimientoHugo Banda
 
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?¿Cómo realizar entrevistas eficaces para obtener requisitos de software?
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?Software Guru
 
Funciones de la capa de enlace
Funciones de la capa de enlaceFunciones de la capa de enlace
Funciones de la capa de enlacecleiver_antonio
 
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdfDiego Yacelga Ortiz
 
Reglas de producción
Reglas de producciónReglas de producción
Reglas de producciónsolesito1237
 
Bases de Datos Semanticas
Bases de Datos SemanticasBases de Datos Semanticas
Bases de Datos SemanticasErik Guerrero
 

Was ist angesagt? (20)

Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
Representacion del conocimiento inteligencia artificial
Representacion del conocimiento inteligencia artificialRepresentacion del conocimiento inteligencia artificial
Representacion del conocimiento inteligencia artificial
 
Metodología CommonKADS
Metodología CommonKADSMetodología CommonKADS
Metodología CommonKADS
 
metodos de busqueda en inteligencia artificial
metodos de busqueda en inteligencia artificialmetodos de busqueda en inteligencia artificial
metodos de busqueda en inteligencia artificial
 
Modelo Entidad Relación
Modelo Entidad RelaciónModelo Entidad Relación
Modelo Entidad Relación
 
Tipos de búsqueda en Inteligencia Artificial
Tipos de búsqueda en Inteligencia ArtificialTipos de búsqueda en Inteligencia Artificial
Tipos de búsqueda en Inteligencia Artificial
 
Representacion del conocimiento
Representacion del conocimientoRepresentacion del conocimiento
Representacion del conocimiento
 
Ejemplo dfd
Ejemplo dfdEjemplo dfd
Ejemplo dfd
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Sistemas basados en conocimiento
Sistemas basados en conocimientoSistemas basados en conocimiento
Sistemas basados en conocimiento
 
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?¿Cómo realizar entrevistas eficaces para obtener requisitos de software?
¿Cómo realizar entrevistas eficaces para obtener requisitos de software?
 
Funciones de la capa de enlace
Funciones de la capa de enlaceFunciones de la capa de enlace
Funciones de la capa de enlace
 
Agentes Lógicos
Agentes LógicosAgentes Lógicos
Agentes Lógicos
 
Base de Dato Oracle
Base de Dato OracleBase de Dato Oracle
Base de Dato Oracle
 
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf
234632213 sistema-experto-para-el-diagnostico-de-fallas-de-computadora-pdf
 
Reglas de producción
Reglas de producciónReglas de producción
Reglas de producción
 
Reglasproduccion
ReglasproduccionReglasproduccion
Reglasproduccion
 
Frames
FramesFrames
Frames
 
Tabla de símbolos
Tabla de símbolosTabla de símbolos
Tabla de símbolos
 
Bases de Datos Semanticas
Bases de Datos SemanticasBases de Datos Semanticas
Bases de Datos Semanticas
 

Ähnlich wie Metodologías RC Inteligencia Artificial

Metodologia conocimiento-linda
Metodologia conocimiento-lindaMetodologia conocimiento-linda
Metodologia conocimiento-lindalindabarcam
 
3 . Representación del conocimiento y razonamiento
3 . Representación del conocimiento y razonamiento3 . Representación del conocimiento y razonamiento
3 . Representación del conocimiento y razonamientoHumberto Chalate Jorge
 
El conocimiento en inteligencia artificial
El conocimiento en inteligencia artificialEl conocimiento en inteligencia artificial
El conocimiento en inteligencia artificialEmilio Ardila
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del Conocimientodansua07
 
Inteligencia artificial
Inteligencia artificialInteligencia artificial
Inteligencia artificialpichiponte
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del ConocimientoHernán Salazar
 
Sistemas de informacion hecho en power point
Sistemas de informacion hecho en power pointSistemas de informacion hecho en power point
Sistemas de informacion hecho en power pointDavsar Natera Sarti
 
Mecanismos de conocimiento en I.A
Mecanismos de conocimiento en I.AMecanismos de conocimiento en I.A
Mecanismos de conocimiento en I.Abetzabethperez2
 
Representación del conocimiento.pptx2
Representación del conocimiento.pptx2Representación del conocimiento.pptx2
Representación del conocimiento.pptx2Gina Herrera
 
4. repres e infer parte1
4. repres e infer parte14. repres e infer parte1
4. repres e infer parte1norma8avila
 
Unidad III exposicion
Unidad III exposicionUnidad III exposicion
Unidad III exposicionVictor Manu-l
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del ConocimientoAlva_Ruiz
 
Representación del conocimiento. IA
Representación del conocimiento. IARepresentación del conocimiento. IA
Representación del conocimiento. IAAndrespvzla
 
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...yosoyarual
 
CONCEPTOS BASICOS DE LA INFORMATICA
CONCEPTOS BASICOS DE LA INFORMATICACONCEPTOS BASICOS DE LA INFORMATICA
CONCEPTOS BASICOS DE LA INFORMATICAdavid smith
 

Ähnlich wie Metodologías RC Inteligencia Artificial (20)

Metodologia conocimiento-linda
Metodologia conocimiento-lindaMetodologia conocimiento-linda
Metodologia conocimiento-linda
 
3 . Representación del conocimiento y razonamiento
3 . Representación del conocimiento y razonamiento3 . Representación del conocimiento y razonamiento
3 . Representación del conocimiento y razonamiento
 
El conocimiento en inteligencia artificial
El conocimiento en inteligencia artificialEl conocimiento en inteligencia artificial
El conocimiento en inteligencia artificial
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del Conocimiento
 
Inteligencia artificial
Inteligencia artificialInteligencia artificial
Inteligencia artificial
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del Conocimiento
 
Sistemas de informacion hecho en power point
Sistemas de informacion hecho en power pointSistemas de informacion hecho en power point
Sistemas de informacion hecho en power point
 
Cuadro comparativo
Cuadro comparativoCuadro comparativo
Cuadro comparativo
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del Conocimiento
 
Mecanismos de conocimiento en I.A
Mecanismos de conocimiento en I.AMecanismos de conocimiento en I.A
Mecanismos de conocimiento en I.A
 
Ia
IaIa
Ia
 
Representación del conocimiento.pptx2
Representación del conocimiento.pptx2Representación del conocimiento.pptx2
Representación del conocimiento.pptx2
 
4. repres e infer parte1
4. repres e infer parte14. repres e infer parte1
4. repres e infer parte1
 
Cap 3
Cap 3Cap 3
Cap 3
 
Lingüística e inteligencia artificial
Lingüística e inteligencia artificialLingüística e inteligencia artificial
Lingüística e inteligencia artificial
 
Unidad III exposicion
Unidad III exposicionUnidad III exposicion
Unidad III exposicion
 
Representación del Conocimiento
Representación del ConocimientoRepresentación del Conocimiento
Representación del Conocimiento
 
Representación del conocimiento. IA
Representación del conocimiento. IARepresentación del conocimiento. IA
Representación del conocimiento. IA
 
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...
Organizadores Graficos: Red Conceptual, Diagrama UVE, Diagrama de Causa y Efe...
 
CONCEPTOS BASICOS DE LA INFORMATICA
CONCEPTOS BASICOS DE LA INFORMATICACONCEPTOS BASICOS DE LA INFORMATICA
CONCEPTOS BASICOS DE LA INFORMATICA
 

Mehr von equipoUFTsis2

Ejercicios resonancia
Ejercicios resonanciaEjercicios resonancia
Ejercicios resonanciaequipoUFTsis2
 
Prototipo registro y consulta de notas
Prototipo registro y consulta de notasPrototipo registro y consulta de notas
Prototipo registro y consulta de notasequipoUFTsis2
 
Diseño inicial del sistema
Diseño inicial del sistemaDiseño inicial del sistema
Diseño inicial del sistemaequipoUFTsis2
 
Bd normalizada sist2
Bd normalizada sist2Bd normalizada sist2
Bd normalizada sist2equipoUFTsis2
 
Auditoría de Sistemas
Auditoría de SistemasAuditoría de Sistemas
Auditoría de SistemasequipoUFTsis2
 

Mehr von equipoUFTsis2 (9)

Transformadores
TransformadoresTransformadores
Transformadores
 
Ejercicios resonancia
Ejercicios resonanciaEjercicios resonancia
Ejercicios resonancia
 
Prototipo registro y consulta de notas
Prototipo registro y consulta de notasPrototipo registro y consulta de notas
Prototipo registro y consulta de notas
 
Diseño inicial del sistema
Diseño inicial del sistemaDiseño inicial del sistema
Diseño inicial del sistema
 
Bd normalizada sist2
Bd normalizada sist2Bd normalizada sist2
Bd normalizada sist2
 
Auditoría de Sistemas
Auditoría de SistemasAuditoría de Sistemas
Auditoría de Sistemas
 
Prototipo
PrototipoPrototipo
Prototipo
 
Bd normalizada
Bd normalizadaBd normalizada
Bd normalizada
 
Diseño de sistema
Diseño de sistemaDiseño de sistema
Diseño de sistema
 

Metodologías RC Inteligencia Artificial

  • 1. REPUBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD FERMIN TORO FACULTAD DE INGENIERIA CABUDARE – EDO. LARA Metodologías de  Representación del  Conocimiento  Jesús Camacho C.I. 10.307.677 Prof. Edecio Freitez
  • 2. Representación del Conocimiento en Inteligencia Artificial Representar el conocimiento en Inteligencia Artificial es el proceso de transformación de éste a un dominio o un lenguaje simbólico para ser procesado en un computador.
  • 3. Metodologías Representación del Conocimiento en Inteligencia Artificial Metodologías Declarativas Estructurales Procedurales Separación entre conocimiento y Estructuración del conocimiento. Unión entre el conocimiento y la estructura de control lógica: propiedades inferenciales: herencia, estructura de control. expresiones declarativas (fbf), transitividad, asociatividad. orden dependiente, sistemas de producción: (bh, rp, ec), procedimientos y funciones. redes semánticas, frames. prolog
  • 4. METODOLOGIA ESTRUCTURAL  Red Semántica Esta forma ha sido muy utilizada en IA para representar el conocimiento y por tanto existen una gran diversificación de técnicas. Elementos Básicos:  Estructuras de datos en nodos, que representan conceptos, unidas por arcos que representan las relaciones entre los conceptos.  Un conjunto de procedimientos de inferencia que operan sobre las estructuras de datos.
  • 5. Tipos de Redes Semánticas  Redes IS-A: Es una jerarquía taxonómica cuya espina dorsal está constituida por un sistema de enlaces de herencia entre los objetos o conceptos de representación, conocidos como nodos  Grafos conceptuales: Los arcos no están etiquetados, y los nodos son de dos tipos: *Nodos de concepto, que pueden representar tanto una entidad como un estado o proceso. *Nodos de relación, que indican cómo se
  • 6. Tipos de Redes Semánticas  Esquemas de marcos: Es una estructura de datos compleja que representa una situación estereotipada,
  • 7. Ejemplos de Red Semántica:
  • 8. METODOLOGIA ESTRUCTURAL  Frames Son una estructura de datos compleja que representa una situación estereotipada, en la que se organizar el conocimiento como una colección de características comunes al concepto, objeto, situación o sujeto.
  • 9. METODOLOGIA ESTRUCTURAL  Frames – Características Principales  Precisión : se precisan los objetos, las relaciones entre objetos y sus propiedades; en ausencia de evidencia contraria se usan valores por omisión  Activación dinámica de procesos (Triggering): se pueden adjuntar procedimientos a un marco o alguno de sus componentes y ser llamados y ejecutados automáticamente tras la comprobación de cambio de alguna propiedad o valor (p. ej. if-needed, if-added)  Herencia por defecto no-monotónica: los marcos están conceptualmente relacionados, permitiendo que atributos de objetos sean heredados de otros objetos predecesores en la jerarquía  Modularidad: la base de conocimiento está organizada en componentes claramente diferenciados
  • 10. Ejemplos Frames: Frame: Silla Pertenece a: muebles Subconjuntos posibles Pupitre, silla de tijera Material Madera, metal, plástico Cantidad de patas(base) 1,2,3,4 marco_perro descripción: caracterización básica de un perro Dueño : Jesus Camacho fecha : 30/05/2012 Raza : Cocker Edad : 8 años Tipo_de : mamífero Conducta : Jugueton, no muerde
  • 11. METODOLOGIA ESTRUCTURAL Reglas de Producción o Inferencia Los sistemas basados en reglas son los más comúnmente utilizados. Su simplicidad y similitud con el razonamiento humano, han contribuido para su popularidad en diferentes dominios. Las reglas son un importante paradigma de representación del conocimiento. Ejemplo de reglas: SI el problema no me sale Y es la hora de consulta ENTONCES consultar al profesor SI la luz del semáforo es verde Y no hay peatones cruzando ENTONCES Continúa la marcha
  • 12. METODOLOGIA ESTRUCTURAL Reglas de Producción o Inferencia INFERENCIAS:  Razonamiento hacia adelante (de abajo a arriba)  Razonamiento hacia atr ́s (de arriba a abajo)
  • 13. METODOLOGIA ESTRUCTURAL Reglas de Producción o Inferencia Reglas: formalismo mas común de representar el conocimiento en un SBC. Reglas si ... entonces ... Interpretaciones: Si condición P entonces conclusión C Si ocurre S entonces acción A Ventajas del formalismo de reglas: Modulares, Conocimiento incremental, Conocimiento modificable, Permiten explicaciones al usuario.
  • 14. METODOLOGÍA DECLARATIVA Lógica Lenguaje de representación que nos permite expresar y razonar con sentencias que sor verdaderas o falsas. Toda lógica que sea usada como mecanismo de representación deber constar de 3 elementos: 1. Una sintaxis, que explica cómo construir los elementos del lenguaje de representación (oraciones lógicas). 2. Una semántica, que asocia los elementos del lenguaje con los elementos reales del dominio → asocia una interpretación (significado) a los símbolos. 3. Un conjunto de reglas de inferencia, que permiten inferir conocimiento nuevo a partir del ya existente
  • 15. METODOLOGÍA DECLARATIVA Lógica Proposicional SINTAXIS ELEMENTOS ́ Atomos • constantes lógicas: verdadero(V), falso(F) • proposiciones lógicas: (strings de caracteres) Ejemplos: p, q, r, ... encima mesa libro juan es mortal Conectivas lógicas • ”^” (y): conjunción lógica p ^ q , juan es hombre ^ juan es mortal • ”v” (o): disyunción lógica P v q , juan trabaja banco v juan estudia informatica • ”→” (implica): implicación No significa relaci ́n causal (no ’’antecedente implica consecuente’’)
  • 16. METODOLOGÍA DECLARATIVA Lógica de Predicados Lenguaje: Símbolos de predicado (P,Q,...), representan una relación en un dominio P(t1, ....., tn) , n ≥ 0(ti: términos) (Proposiciones atómicas: símbolos de predicado 0-arios.) Variables ( x, y, z ). Símbolos de función (f, g, h ): f(t1, ....., tn) , n∈ (f:Dn → D). Símbolos de función 0-arios =constantes. Conectivas lógicas: ¬ ^ v → ↔ Cuantificador universal ∀, Cuantificador existencial ∃. ∀ x: "para todo x" ∃ x: "existe un x" Un conjunto de símbolos auxiliares: ( { , etc.