Última modificación de este documento: 20001206 miércoles por Rodrigo "Alley'Gator" Hunrichse, [email protected]

[estás en ramos/tccinf.htm]
[la dirección oficial es ramos/tccinf.htm]
[pagina.de/alleygator] [esta página sin frames] [submit to altavista (infórmale a altavista la versión oficial de esta página)] [traducir este documento]

Informe de Tópicos en Ciencias de Computación, Semestre 2000-II, por Rodrigo Hunrichse

Objectos:

Platos:

P = {plato₁, plato₂, plato₃, plato₄, plato₅, vacio₁, vacio₂, vacio3 }

Representa los platos. Se usa vacio₁...₃ para representar el fondo de torre. Se considera para todos los efectos como de mayor diametro que los demas. Se consideran del mismo di�metro entre s�.

Torres

T = {torre₁, torre₂, torre₃ }

Que representa las torres. Son pilas. Si bien se nombran de izquierda a derecha, el orden no importa, excepto que hay que diferenciarlas de alg�n modo.

Acciones

mover (x, t)

Mover plato x al tope de la torre t.

Fluentes

mayorque (x,y)

Es verdadero cuando el plato x es mayor (en di�metro) que el plato y.

menorque (x,y)

Es verdadero cuando el plato x es menor (en di�metro) que el plato y.

bajo (x, y, s)

El plato x est� debajo del plato y, en la situaci�n s.

sobre (x, y, s)

El plato x est� sobre el plato y, en la situaci�n s.

tope (x, t, s)

el plato x es el �nico que est� al tope de la torre t, en la situaci�n s., por lo tanto puede ser movido

Axiomas

Un plato no puede estar sobre dos platos distintos al mismo tiempo, el plato vacio₁...₃ es el �nico que no est� sobre otro plato.

(Paratodo y, z, s) (Existe x) sobre(x, y, s) ^ sobre(x, z, s) -> (y = z) ^ (x <> vacio₁) ^ (x <> vacio₃) ^ (x <> vacio₃) Un plato vac�o, s�lo puede estar al comienzo de una torre.

Un plato no puede estar sobre otro menor (en di�metro)

S�lo los platos vac�o pueden estar al comienzo de una torre.

Los platos vac�os se consideran del mismo di�metro.

Axioma de nombres �nicos de objetos

{ (plato₁ <> plato₂) ^ (plato₁ <> plato₃) ^ (plato₁ <> plato₄) ^ (plato₁ <> plato₅) ^ (plato₂ <> plato₃) ^ (plato₂ <> plato₄) ^ (plato₂ <> plato₅) ^ (plato₃ <> plato₄) ^ (plato₃ <> plato₅) ^ (plato₄ <> plato₅) ^ (plato₁ <> vacio₁) ^ (plato₁ <> vacio₂) ^ (plato₁ <> vacio₃) ^ (plato₂ <> vacio₁) ^ (plato₂ <> vacio₂) ^ (plato₂ <> vacio₃) ^ (plato₃ <> vacio₁) ^ (plato₃ <> vacio₂) ^ (plato₃ <> vacio₃) ^ (plato₄ <> vacio₁) ^ (plato₄ <> vacio₂) ^ (plato₄ <> vacio₃) ^ (plato₅ <> vacio₁) ^ (plato₅ <> vacio₂) ^ (plato₅ <> vacio₃) ^ (vacio₁ <> vacio₂) ^ (vacio₁ <> vacio₃) ^ (vacio₂ <> vacio₃)

Axioma de nombres �nicos de fluentes

Axioma de nombres �nicos de acciones

Axiomas de precondici�n

Al mover un plato, �ste deb�a estar en el tope de alguna torre, y no ser un disco vac�o.

Axiomas de efecto

Despu�s de mover un plato, �ste deb�a estar en el tope de alguna torre en la situaci�n inmediatamente anterior, y no see un disco vac�o, adem�s, el disco que qued� debajo del primer plato, deb�a estar al tope de otra pila en la situaci�n inmediatamente anterior.

Al mover un plato, el plato que ahora est� debajo del movido deja de estar al tope de una torre en la situaci�n inmediatamente siguiente..

Al mover un plato, el plato que estaba debajo del movido queda al tope de una torre en la situaci�n inmediatamente siguiente.

No pueden estar los tres platos al tope de las torres.

Última modificación de este documento: 20001206 miércoles por Rodrigo "Alley'Gator" Hunrichse.
Comentarios y sugerencias por e-mail a [email protected]

[volver a asignaturas tomadas por Rodrigo Hunrichse] [volver al pagina.de/alleygator]
Copyright © 1997,1998,1999,2000 (o anterior) by Rodrigo "Alley'Gator" Hunrichse.