slide1
Download
Skip this Video
Download Presentation
Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías

Loading in 2 Seconds...

play fullscreen
1 / 20

Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías - PowerPoint PPT Presentation


  • 102 Views
  • Uploaded on

Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías. Lógica Natural de Razonamiento. www.ucbscz.edu.bo. Santa Cruz, Bolivia. Lógica Natural de Razonamiento. Lenguajes de Programación. Lenguaje C, C++. Lenguaje Pascal. Lenguaje Java. Lenguaje ProLog.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías' - lang


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide1

Universidad Católica Boliviana “San Pablo”

Departamento de Ingenierías

Lógica Natural de Razonamiento

www.ucbscz.edu.bo

Santa Cruz, Bolivia.

slide2

Lógica Natural de Razonamiento

Lenguajes de Programación.

  • Lenguaje C, C++.
  • Lenguaje Pascal.
  • Lenguaje Java.
  • Lenguaje ProLog.
  • Otros Lenguajes.......
slide3

Lógica Natural de Razonamiento

Arbol de Conocimiento sobre Familias.

(Arbol Genealógico)

slide4

Lógica Natural de Razonamiento

Conjunto de Personas.

Personas = { juan, juana, claudio, claudia, silvio,

silvia, julio, julia, jose, sandro, sandra,

carlos, carla, jorge }

slide5

Lógica Natural de Razonamiento

SubConjunto de Personas.

Hombres = { juan, claudio, silvio, julio, jose, sandro,

carlos, jorge }

Mujeres = { juana, claudia, silvia, julia, sandra, carla }

slide6

Hombres

Mujeres

Lógica Natural de Razonamiento

Personas

Personas = Hombres U Mujeres

slide7

Lógica Natural de Razonamiento

Programar en ProLog.

Hechos: Enunciados que son siempre verdaderos

(True)

Reglas: Enunciados que pueden ser verdaderos o

Falsos (True or False)

slide8

Lógica Natural de Razonamiento

Ejemplo:

Hechos:

: Los seres humanos son inteligentes

: Sócrates es humano

Regla :Sílos seres humanos son inteligentes y

Sócrates es un ser humano

Entonces

Sócrates es inteligente

slide9

Lógica Natural de Razonamiento

En Prolog

Hecho : humano( socrates ).

Regla : inteligente(X) : - humano(X).

slide10

Lógica Natural de Razonamiento

Para el caso de las familias:

Hechos: hombre( juan ).

hombre( claudio ).

hombre( silvio ).

hombre( julio ).

hombre( jose ).

hombre( sandro ).

hombre( jorge ).

hombre( carlos ).

slide11

Lógica Natural de Razonamiento

Razonamiento Lógico

Mas Hechos:

mujer( juana ).

mujer( claudia ).

mujer( silvia ).

mujer( julia ).

mujer( sandra ).

mujer( carla ).

slide12

Lógica Natural de Razonamiento

Mas Hechos:

  • Escribir como Hecho:
  • matr( juan, juana ).
  • hombre mujer
  • Significado:
  • juan y juana forman una pareja de matrimonio.
  • juan es el esposo de juana.
slide13

Lógica Natural de Razonamiento

Más Hechos:

matr( juan, juana ).

matr( claudio, claudia ).

matr( silvio, silvia ).

matr( julio, julia ).

matr( sandro, sandra ).

matr( carlos, carla ).

slide14

Lógica Natural de Razonamiento

Más Hechos:

Escribir como Hecho:

madre( juana, silvia ).

madre( juana, julio ).

mujer persona

  • Significa:
        • juana es madre de silvia
slide15

Lógica Natural de Razonamiento

Más Hechos:

madre( juana, silvia ).

madre( juana, julio ).

madre( claudia, julia ).

madre( claudia, jose ).

madre( julia, sandro ).

madre( sandra, jorge ).

madre( sandra, carlos ).

slide16

Lógica Natural de Razonamiento

Es TRUE, si ambas proposiciones son True.

Es FALSE, si alguna de las proposiciones es FALSE.

En ProLog el AND se representa con una coma: p, q

slide17

Lógica Natural de Razonamiento

Es FALSE, si ambas proposiciones son FALSE.

Es TRUE, si alguna de las proposiciones es TRUE.

En ProLog el OR se representa con un punto y coma: p; q

slide18

Lógica Natural de Razonamiento

Reglas de Inferencia:

padre ( X, Y ) :- ?

padre ( X, Y ) :- madre(Z, Y), matr(X, Z).

slide19

Lógica Natural de Razonamiento

Reglas de Inferencia:

abuela (X, Y) :- ?

Abuela( X,Y ) :- madre( Z, Y ), madre( X, Z );

padre( Z, Y ), madre( X, Z ).

slide20

Lógica Natural de Razonamiento

Otras Reglas de Inferencia.

persona( X ) :-

hombre( X ); mujer( X ).

abuelo( X, Y ) :-

abuela( Z, Y ), matr( X, Z ).

soltero( X ) :-

hombre( X ), not( matr(X, Y) ).

madre( Z, X ), madre( Z, Y ).

hermanos( X, Y ) :-

ad