期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
结合道义逻辑的人工智能论辩系统法律推理
1
作者
余喆
卢一苇
伯克哈特·谢弗
《逻辑学研究》
2025年第2期62-74,共13页
形式论辩是一种可以在知识不一致情境下实现推理的非单调推理手段。在底层知识的表示上,通常可以根据需求灵活采用不同的逻辑形式。在已有的法律推理系统,例如法律本体、法律知识图谱或法律专家系统中,智能化的法律推理往往依托于经典...
形式论辩是一种可以在知识不一致情境下实现推理的非单调推理手段。在底层知识的表示上,通常可以根据需求灵活采用不同的逻辑形式。在已有的法律推理系统,例如法律本体、法律知识图谱或法律专家系统中,智能化的法律推理往往依托于经典逻辑语言实现。这导致这些法律知识库的推理无法反映出法律推理中的不确定性、不一致性、辩证性等特征,并限制了它们在法律任务中的实际应用。因此,本文结合了道义逻辑与形式论辩,刻画基于法律语义下的规范推理。这一尝试旨在通过引入新的推理功能与表达方式更好地包含法律推理的底层原则,并为之后更复杂的法律应用打下基础。考虑到AI可解释问题,本文还基于所提出的论辩系统给出了一个关于解释的形式定义。
展开更多
关键词
形式论辩
道义逻辑
规范推理
可解释人工智能
非单调推理
在线阅读
下载PDF
职称材料
题名
结合道义逻辑的人工智能论辩系统法律推理
1
作者
余喆
卢一苇
伯克哈特·谢弗
机构
中山大学逻辑与认知研究所暨哲学系
爱丁堡大学法学院
出处
《逻辑学研究》
2025年第2期62-74,共13页
基金
国家社会科学基金重大项目“汉译逻辑术语本土化与中国逻辑学话语体系建设研究”(21&ZD065)。
文摘
形式论辩是一种可以在知识不一致情境下实现推理的非单调推理手段。在底层知识的表示上,通常可以根据需求灵活采用不同的逻辑形式。在已有的法律推理系统,例如法律本体、法律知识图谱或法律专家系统中,智能化的法律推理往往依托于经典逻辑语言实现。这导致这些法律知识库的推理无法反映出法律推理中的不确定性、不一致性、辩证性等特征,并限制了它们在法律任务中的实际应用。因此,本文结合了道义逻辑与形式论辩,刻画基于法律语义下的规范推理。这一尝试旨在通过引入新的推理功能与表达方式更好地包含法律推理的底层原则,并为之后更复杂的法律应用打下基础。考虑到AI可解释问题,本文还基于所提出的论辩系统给出了一个关于解释的形式定义。
关键词
形式论辩
道义逻辑
规范推理
可解释人工智能
非单调推理
分类号
B81 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
结合道义逻辑的人工智能论辩系统法律推理
余喆
卢一苇
伯克哈特·谢弗
《逻辑学研究》
2025
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
