Existe un método de razonamiento no-monótono denominado circunscripción que minimiza predicados y algunas veces dominios. Las referencias son [McC77], [McC80] y [McC86]. A partir de la circunscripción se ha abierto un abanico de variantes, muchas discutidas en [Lif94]
3.nov.2000
Pulsar tecla de vuelta