PDC Homepage
Home » Products » Purchase

Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia

Volume 11, Issue 2, Mayo 1996

Julia Barragan
Pages 91-103

A Type-Logic Approach to Refinement

Beyond any doubt the pragmatical-based improvements introduced in the rules of inference during the process of refinement of a legal expert system may be efficient but they hardly will be capable to provide a point of reference for a more general correctness measure. During the refinement of KBSLEX the debate of the Theory of Legal Argument has contributed to illuminate the point suggesting that the modeling of legal reasoning and legal decision making should be grounded on a logical approach but without limiting itself to the tools of the classical logic.