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.