Temas de “Programación lógica e I.A.”
22.02.2013 • Views
Share Embed Flag

Temas de “Programación lógica e I.A.”

Temas de “Programación lógica e I.A.”

Temas de “Programación lógica e I.A.”

SHOW MORE
SHOW LESS
ePAPER READ
DOWNLOAD ePAPER
ayedd

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

166 Capítulo 7. Razonamiento por <strong>de</strong>fecto y razonamiento abductivo<br />

Programación <strong>lógica</strong> Curso 2004–05<br />

Tema 7: Razonamiento por<br />

<strong>de</strong>fecto y razonamiento<br />

abductivo<br />

José A. Alonso Jiménez<br />

Jose-Antonio.Alonso@cs.us.es<br />

http://www.cs.us.es/∼jalonso<br />

Dpto. <strong>de</strong> Ciencias <strong>de</strong> la Computación e Inteligencia Artificial<br />

Universidad <strong>de</strong> Sevilla<br />

PL 2004–05 CcIa Razonamiento por <strong>de</strong>fecto y razonamiento abductivo 7.1<br />

Razonamiento por <strong>de</strong>fecto<br />

① Ejemplo <strong>de</strong> razonamiento por <strong>de</strong>fecto<br />

El animal_1 es un pájaro<br />

Normalmente, los pájaros vuelan.<br />

Por tanto, el animal_1 vuela.<br />

① Programa P1<br />

✉ Programa P1<br />

pájaro(animal_1).<br />

vuela(X) :pájaro(X),<br />

normal(X).<br />

✉ Mo<strong>de</strong>los <strong>de</strong>l programa P1<br />

{pájaro(animal_1)}<br />

{pájaro(animal_1), vuela(animal_1)}<br />

{pájaro(animal_1), normal(animal_1), vuela(animal_1)}<br />

✉ Consecuencia<br />

P1 |=/= vuela(animal_1)<br />

PL 2004–05 CcIa Razonamiento por <strong>de</strong>fecto y razonamiento abductivo 7.2

logo

productos

Resources

Compañías

Terms of service
Privacy policy
Cookie policy
Cookie settings
Imprint
Change language
Made with love in Switzerland
© 2024 Yumpu.com all rights reserved

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!