hipótesis o suposición de mundo cerrado (closed world assumption, CWA)
Definición: Si una aseveración acerca de no-A puede ser inferida a partir de un programa P, entonces A no puede ser una consecuencia lógica de P. Se trata de una regla para la deducción de información negativa de un programa. Si un sistema P carece de conocimientos sobre una demanda o pregunta A, A es falsa y no-A es verdadera. La regla CWA es consistente para programas definidos pero podría ser inconsistentes para programas normales y/o generales. Se pueden construir agentes que actúen en un ambiente sin saber que otros agentes podrían estar deshaciendo lo que ellos hacen: actuarían en un mundo cerrado. Tambien sería cerrado aquel mundo donde nuestro agente ni compite ni tiene recursos escasos a su alrededor. Suele ser una regla estándar para inferir información negativa no-A de un programa lógico P.
19.may.2000
Pulsar tecla de vuelta
Glosario de Bioingeniería del Conocimiento - Carlos von der Becke.