《對話法律 法律證成和論證的對話模型》的目標是建模一種刻畫法律證成的對話式模型,作者將它稱為“對話法律”?!秾υ挿?法律證成和論證的對話模型》從證成的結果和過程的哲學討論開始,認為作為結果的證成難以刻畫法律證成的可廢止性和法律的開放性,也無法繞開明希豪森三重困境,因而必須要轉向對話的視角來研究作為過程的法律證成。對話法律的理論模型包括兩個部分:一是對話框架和一般規(guī)則;二是在此基礎上添加的富有法律意味的交流的特殊規(guī)則。在作者看來,對話法律綜合了理性論辯和對話式理性論辯兩種進路,它具備兩重功能:作為分析性模型,它有助于一般意義上*好地洞察法律證成;作為規(guī)范性模型,它為人們應當如何進行法律證成提供指引。值得強調的是,《對話法律 法律證成和論證的對話模型》的研究與其他人工智能與法研究不同的是,它在建構一種對話法律的模型基礎上,還應用邏輯程序語言(Prolog)實現(xiàn)了這種模型,增強了對話法律運用于真實案例的可實現(xiàn)性?!秾υ挿?法律證成和論證的對話模型》與法律方法論、法律邏輯、人工智能與法以及法律信息學相關,適合這些領域的目標讀者。同時,《對話法律 法律證成和論證的對話模型》還適用于對邏輯程序及其應用感興趣的讀者。