24.07.2013 Views

00-1-Introduccion a AI.pdf - Departamento de Ciencias e Ingeniería ...

00-1-Introduccion a AI.pdf - Departamento de Ciencias e Ingeniería ...

00-1-Introduccion a AI.pdf - Departamento de Ciencias e Ingeniería ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Razonamiento<br />

El Razonamiento permite obtener información que se<br />

encuentra t explícita lí it en KB o que se hhalla ll iimplícita lí it en<br />

KB.<br />

El siguiente sig iente es un n ejemplo <strong>de</strong> base <strong>de</strong> conocimiento<br />

expresada en términos <strong>de</strong>l lenguaje <strong>de</strong> la Lógica<br />

Proposicional:<br />

KB = { a, a → b }<br />

Si suponemos que su mecanismo <strong>de</strong> inferencia se<br />

basa en Modus Ponens po<strong>de</strong>mos ver que:<br />

KB a (trivial ( y explícitamente)<br />

p )<br />

KB a → b (trivial y explícitamente)<br />

KB b (por (p aplicación p <strong>de</strong> Modus Ponens) )<br />

95

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

Saved successfully!

Ooh no, something went wrong!