Se trata del problema de cómo expresar las precondiciones para las acciones y otros eventos. P. ej., señalar que se necesita tener una orden para volar en un vuelo comercial (este es un problema de calificación fácil de resolver). Otro ejemplo: señalar que se debe estar vestido (sería un caso que no se necesitaría tener en cuenta explicitamente, salvo que surja algun problema especial).
3.nov.2000
Pulsar tecla de vuelta