逻辑算子
逻辑学中的基本符号或运算符
逻辑算子是现代逻辑与
分析哲学
中的基础性元素,用于构建形式化系统的推理框架。其研究不仅涉及逻辑学自身发展,还与规范性、理性等哲学问题紧密相关。在人工智能司法领域,逻辑算子与霍菲尔德权利分析理论结合,通过符号化法律概念(如“义务”“禁止”)构建推理模型,推动法律语言向机器语言的转化,例如2023年提出的A-Hohfeld系统尝试。学术研究层面,2021年
国家社科基金重大项目
“逻辑词汇的历史演进与哲学问题研究”将逻辑算子作为核心议题,探讨其历史演进与跨学科价值。
在人工智能司法中的应用
结合霍菲尔德权利分析理论,逻辑算子为法律关系的符号化提供基础,例如:
学术研究与理论发展
2021年国家社科基金重大项目围绕逻辑算子的历史演进展开,重点包括:
参考资料
韦洁|论霍菲尔德权利分析理论与道义逻辑在人工智能司法中的应用
.百家号.2023-07-01
逻辑词汇和人类理性及规范性 ——国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”开题论证会召开
.华东师范大学.2021-07-02
最新修订时间:2025-10-16 09:59
条目作者
小编
资深百科编辑
目录
概述
在人工智能司法中的应用
学术研究与理论发展
参考资料
Copyright©2024
闽ICP备2024072939号-1