智能聊天系统Verbot基于XML的知识表示

Verbot是一种基于XML和.NET技术的智能聊天系统,集成了自然语言、人工智能、语音合成及人脸动画等技术。Verbot知识库文件采用了XML描述方法,其知识库结构以树形结构为基础,并且增加了虚拟子规则等功能,同时,Verbot也使用了多种变量类型、通识符、系统默认规则等.

诉讼契约之研究

诉讼契约系诉讼行为之一种，在民事诉讼法中，有部分系为法所明文承认之类型；但对於非为法所明定之诉讼契约是否亦应承认其合法性之问题，在民事诉讼法之学理及实务发展上，甚具争议性。此一问题之存在，并非仅在我国民事诉讼法发生，实则，其在民事诉讼法学有高度发展之国家，亦有类似之经验。 在我国，就诉讼契约之研究，除部分教科书约略提及其重点之外，学者有直接对於部分具体诉讼契约类型进行研究者，例如仲裁监定契约、仲裁契约、证据契约、国际管辖权之合意及示范诉讼契约等；另亦有自程序选择权论出发，而赋予诉讼契约之另一观察角度者。学者之前开研究，对於诉讼契约制度之发展，具有重大影响，应值重视。 虽如此，本文认为对於此一议题之基本论，在我国似尚未有进行完整之系统分析者，就此似仍有补充之实益。爲此，本文拟藉助德国学理及实务之发展经验，对於诉讼契约相关问题加以探讨，其中着重在对诉讼契约之本质论、种类、合法性及效力之评估，并试图对於其合法性之界限为较具体之说明。此外，对於国内目前新近实务发展，尤其对於争点协议所导致之理论争议，加以评估，期能提供国内对於此一问题之研究素材。

论结果客观归责中的溯责禁止

溯责禁止是一种在特殊犯罪类型中排除结果溯责于前行为人的规范性、技术性规则,具有教义学和刑事政策上的要求和根据,其理论体系呈现出"兴起于限制因果关系、活跃于客观归责论语境,以及目前创新于构成要件界限和答责排除事由"的演变轨迹。宜根据所介入的行为因素为标准分为第三人行为介入和被害人行为介入两大类探讨结果在客观上的归责问题。在溯责禁止的适用层面,应该以归责关联性为判断总基准,考察因果关联性和意志自由关联性两项前提条件,以风险实现关联性为核心标准,以规范目的关联性为补充规则。