Autor Tema: Lógica de predicados de primer órden

0 Usuarios y 1 Visitante están viendo este tema.

02 Agosto, 2009, 06:30 pm
Leído 796 veces

niniodinho

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 188
  • Karma: +0/-0
  • Sexo: Masculino
Hola a todos. Tengo dos ejercicios en el cual tengo dudas. El primero se trata de un accidente en el cual están desaparecidas 3 personas(A que conducía, L y C). Se tienen las siguientes hipótesis:
- Vive el conductor.
- Vive A pero no L sólo si vive C.
- Viven A y L si no vive C.
-Si vive L o vive A entonces no vive C.
Suponiendo que las hipótesis son verdades. Quiénes sobrevivieron?
Lo tengo que hacer utilizando resolución, pero no se cómo hacerlo.

El segundo dice que dado el conjunto de cláusulas \( S=B(a),\sim{C(x,y)}\vee D(x), \sim{C(x,y)}\vee B(x), C(b,x), \sim{B(x)}\vee \sim{A(c)} \), a, b, c constantes. Determinar si es satisfacible utilizando Modelos de Herbrand. A mí me dio que sí lo era, pero el segundo inciso me pide dar dos modelos de Herbrand para S. Cómo serían esos modelos?
Gracias por su tiempo