对话法律 法律证成和论证的对话模型

本书是作者1998年博士论文的扩展版，作者为刻画法律证成而发展了一种对话模型——对话法律（DiaLaw），进一步还基于逻辑程序（Prolog）实现了该对话模型。本书的目的是为了人工智能在法律领域中的应用提供哲学基础和实现方法的参考。本书的核心观点是，法律证成应当被建模为一种程序性、对话式模型，这种模型不仅包含作为结果的论证，还包含了作为过程的论证，甚至还包括论证的修辞和心理学等层面。