Proposiciones compuestas en Redes de Shapiro
----- Original Message -----
From: [...]
To: intro-ia@dia.uned.es
Sent: Wednesday, May 07, 2003 3:40 PM
Subject: Duda: Redes asociativas
> Buenas tardes,
>
> No sé si ésta es la via adecuada para resolver dudas del temario, pero no
> he encontrado información sobre este tema en ningún sitio, y mi tutor no ha
> sabido ayudarme.
Sí, esta es la vía. También le recomiendo que de vez en cuando visite
la página web de la asignatura:
http://www.ia.uned.es/asignaturas/intro-ia/
Quizá en la sección de preguntas más frecuentes pueda encontrar solución
a alguna de las dudas que le surjan en el futuro. También puede encontrar
exámenes resueltos de otros años, entre otras cosas.
> Les agradecería me pudieran resolver la siguiente duda, o en su caso,
> decirme donde puedo encontrar información al respecto.
>
> En el tema de Redes de Shapiro, solo pone ejemplos de afirmaciones muy
> sencillas; pero dice que también se pueden formar conjunciones,
> disyunciones, implicaciones, etc.
Quizá le resulte de interés visitar las páginas web de Stuart C. Shapiro:
http://www.cs.buffalo.edu/~shapiro/
En el apartado de publicaciones encontrará muchos ejemplos de sus
redes.
> Les agradecería me pudieran enviar algunos ejemplos de este tipo de
> oraciones, ya que no logró adivinar como se realizarían.
Quizá el ejemplo que más le pueda indicar cómo resolvía Shapiro este
tipo de problemas, aparece en su artículo:
http://www.cs.buffalo.edu/~shapiro/Papers/maisha82.pdf
En concreto, en la figura 9 que aparece en la página 181 aparece una
representación de la frase:
"John cree que es más alto que Bill o John cree que no es más alto que
Bill"
Aquí aparece una relación entre dos proposiciones ("o") y una negación ("no") de una proposición. Como
podrá observar en dicho artículo, Shapiro representa estas relaciones mediante los enlaces
"--- REL ---> (XOR)" y
"--- REL ---> (NOT)", respectivamente.