precondición

(redireccionado de precondiciones)
Traducciones

precondición

SFprecondition
Ejemplos ?
La especificación de estados de meta. Un conjunto de acciones, para cada una de las cuales se incluyen: Precondiciones. Postcondiciones.
La función de transición puede definirse, asumiendo que las acciones siempre pueden ser ejecutadas pero no tienen efecto si sus precondiciones no se cumplen, como: La función operatorname sucesor puede extenderse para secuencias de acciones mediante ecuaciones recursivas:: operatorname sucesor (C,) = C: operatorname sucesor (C,a_1,a_2, ldots,a_n)= operatorname sucesor (operatorname sucesor (C,a_1),a_2, ldots,a_n) Un plan para una instancia de STRIPS es una secuencia de acciones cuya ejecución ordenada produce un estado que satisface las condiciones de meta, a partir del estado inicial.
Reemplazando x por el término x ∧ b, la propiedad de modularidad puede expresarse por medio de la siguiente ecuación, que deberá cumplirse sin más precondiciones::(x ∧ b) ∨ (a ∧ b) = (x ∧ b) ∨ a ∧ b.
La dependencia entre las acciones se proporciona en forma de red (Network). La descomposición se aplica en cumplimiento de unas precondiciones según una jerarquía.
Los análisis y sistemas de clasificación de los factores humanos distinguen entre los "errores activos" de actos inseguros y los "errores latentes" de precondiciones para actos inseguros, supervisión insegura y algunas influencias de organización.
Hay 2 tipos de precondiciones para actos inseguros: los que relacionan el estado interno de la persona operadora y los que relacionan las formas de trabajar de la persona operadora.
Los trasfondos se manifiestan como contenidos, que forman parte de las precondiciones para el funcionamiento de contenidos intencionales...
Estas ideas fueron perfeccionadas por Hoare dando lugar al método axiomático (precondiciones E/S) donde introdujo la idea de "invariante".
Las dos precondiciones importantes son, primero, el interés recíproco de los interlocutores y, segundo, ceder la palabra a los que no la tienen, procurando que éstos articulen sus argumentos a base de la lógica que Wimmer considera una precondición necesaria de un filosofar legítimo.
De acuerdo a Renate Mayntz, todas las grandes ciencias comparten un interés en las precondiciones necesarias para obtener un cierto fin social que es percibido como deseable.
Y éstos dos (factores externos e internos), en combinación, están reflejados en las características estéticas definidas por los diferentes grupos sociales de manera arbitraria. Así, en términos físicos y estructurales, las precondiciones para definir una melodía son: Tiene que ser una sucesión de notas.
Actualmente el CMP establece sus metas enmarcadas en: acciones contra las guerras imperialistas, contra la ocupación extranjera de naciones y países soberanos; por la prohibición de todas las armas de destrucción masiva; la abolición de las bases militares extranjeras; el desarme universal bajo un control internacional eficaz; la eliminación de todas las formas de colonialismo, neocolonialismo, racismo, sexismo y otras formas de discriminación; el respeto al derecho de los pueblos a la soberanía y la independencia, como precondiciones esenciales para el establecimiento de la paz...