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 ...
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