期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
人工智能时代法律推理的基本模式--基于可废止逻辑的刻画 被引量:15
1
作者 雷磊 《比较法研究》 CSSCI 北大核心 2022年第1期12-26,共15页
从逻辑学的角度看,法律推理具有非单调性。人工智能时代更清晰地凸显出了与这一特性相应的可废止推理模式的必要性。可废止推理虽未必一定用可废止逻辑来刻画,但这一做法在人工智能的环境下更加合乎目的。法律推理的可废止性源于法律规... 从逻辑学的角度看,法律推理具有非单调性。人工智能时代更清晰地凸显出了与这一特性相应的可废止推理模式的必要性。可废止推理虽未必一定用可废止逻辑来刻画,但这一做法在人工智能的环境下更加合乎目的。法律推理的可废止性源于法律规则的可废止性,法律规则的逻辑形式化要求将其构成要件表征为"有待证明的要素"(P要素)与"未被驳倒的要素"(NR要素)两部分,后者的引入恰当地处理了规则与例外的关系。在此基础上,可以通过引入三类"废止者",即反驳型废止者、截断型废止者和削弱型废止者,来建构可废止法律推理的基本模型。但这同时也显现出了可废止法律推理的智能化限度,核心在于它无法进行司法裁判中必不可少的价值判断。 展开更多
关键词 法律推理 人工智能 可废止逻辑 废止者 基本模型
原文传递
一种支持自治计算的基于可废止逻辑的柔性Agent 被引量:8
2
作者 廖备水 黄华新 高济 《软件学报》 EI CSCD 北大核心 2008年第3期605-620,共16页
以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的... 以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作. 展开更多
关键词 AGENT 自治计算 可废止逻辑 非单调推理 分布式系统管理
下载PDF
面向虚拟组织的政策导向型自治、可控Agent模型 被引量:3
3
作者 胡军 李志昂 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第6期71-76,共6页
针对传统BDI模型在虚拟组织应用中所存在的三点不足,本文提出了政策导向型Agent模型.模型以政策导向为手段,利用政策来约束Agent动机的生成,进而影响其意图与行为的产生,增强Agent的可控性.模型采用了分层政策结构,根据政策的所代表利... 针对传统BDI模型在虚拟组织应用中所存在的三点不足,本文提出了政策导向型Agent模型.模型以政策导向为手段,利用政策来约束Agent动机的生成,进而影响其意图与行为的产生,增强Agent的可控性.模型采用了分层政策结构,根据政策的所代表利益方的不同,将政策划分为组织层政策与个体层政策,以此来解决Agent个体行为与组织整体目标的冲突问题.基于扩展的可废止逻辑框架,政策被表示为Agent的动机(义务、愿望)生成规则,这为模型提供了一个线性计算复杂度的形式化理论.模型在保持Agent一定自治性的同时,增强了Agent在组织级别上的可控性. 展开更多
关键词 AGENT 政策导向 虚拟组织 可废止逻辑 分布式信息系统
下载PDF
Research on Negotiating Agent Development
4
作者 WEI Ding-guo 1,2 , PENG Hong 1 1.Department of Computer Science, South China University of Technology, Guangzhou 510630, Guangdong, China 2.Guangdong Commercial College, Guangzhou 510320,Guangdong, China 《Wuhan University Journal of Natural Sciences》 CAS 2004年第5期633-637,共5页
The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically inserted into an agent sh... The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically inserted into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent. The set of desirable criteria and rules is required to be justified with different context of the application. Key words automatic negotiation - intelligence agent - defeasible logic - state chart CLC number TP 391 Foundation item: Supported by the National Natural Science Foundation of China (60173051)Biography: WEI Ding-guo (1964-), male, Associate professor, research direction: computer network protocal etc. 展开更多
关键词 automatic negotiation intelligence agent defeasible logic state chart
下载PDF
Agent组织中的政策导向型协作模型 被引量:2
5
作者 胡军 李志昂 《计算机研究与发展》 EI CSCD 北大核心 2012年第7期1474-1493,共20页
传统Agent协作模型强调Agent的高度自主性,其自发协作过程完全出于内部的"自私性"动机,难以在模型中表达宏观层面上的引导及系统外部的约束,在应用于开放复杂软件系统时,将面临可信度不能满足要求、计算复杂度高及没有有效的... 传统Agent协作模型强调Agent的高度自主性,其自发协作过程完全出于内部的"自私性"动机,难以在模型中表达宏观层面上的引导及系统外部的约束,在应用于开放复杂软件系统时,将面临可信度不能满足要求、计算复杂度高及没有有效的冲突消解机制这3方面的问题,这阻碍了Agent技术在现实软件系统建模中的应用.采用组织与政策隐喻,提出Agent组织中的政策导向型协作模型,通过组织与政策给予Agent以宏观上的引导与外部的控制,以增强系统的可信度;采用扩展的可废止逻辑框架,对这一协作过程建立一个具有线性计算复杂度的形式化理论;逻辑体系中内置的优先级方式为系统提供了有效的冲突消解机制.并证明了模型所具有的一致性及其他特性,最后通过一个实例对系统作出验证性说明. 展开更多
关键词 协作模型 AGENT组织 政策导向 可废止逻辑 冲突消解
下载PDF
可废止逻辑中论证关系的一点辨析
6
作者 秦波 《重庆理工大学学报(社会科学)》 CAS 2017年第5期16-20,共5页
可废止逻辑具有线性的计算复杂性和有效的规则冲突处理机制,在处理非单调性的推理和论证中具有显著的优势。但在可废止论证关系上,普拉肯(Prakken)、贝克斯(Bex)和萨托(Sartor)等学者采用的先建构完整的论证结构,再通过击败关系来分析... 可废止逻辑具有线性的计算复杂性和有效的规则冲突处理机制,在处理非单调性的推理和论证中具有显著的优势。但在可废止论证关系上,普拉肯(Prakken)、贝克斯(Bex)和萨托(Sartor)等学者采用的先建构完整的论证结构,再通过击败关系来分析论证的方法将会导致一些严重的问题。为避免这样的问题,在可废止逻辑中,应当将论证的建构和论证的评价结合起来分析论证关系。 展开更多
关键词 可废止逻辑 可废止论证 论证关系
下载PDF
作战仿真中作战Agent规则动态变更机制 被引量:1
7
作者 李彪 欧宜成 +1 位作者 孙媛 王文恽 《海军航空工程学院学报》 2012年第5期583-587,共5页
针对传统Agent对知识无法动态维护的问题,利用可废止逻辑对作战Agent进行描述,着重研究作战Agent的命令规则的动态变更机制。结合可废止逻辑中优越关系的良构性和完备性,定义了系统"无冲突性"的概念,给出了规则动态变更后维... 针对传统Agent对知识无法动态维护的问题,利用可废止逻辑对作战Agent进行描述,着重研究作战Agent的命令规则的动态变更机制。结合可废止逻辑中优越关系的良构性和完备性,定义了系统"无冲突性"的概念,给出了规则动态变更后维护系统无冲突性的具体方法,并证明了维护方法的有效性。通过直升机反潜作战仿真实例,说明了基于可废止逻辑的作战Agent规则动态变更机制的可行性。 展开更多
关键词 智能体 作战仿真 可废止逻辑 规则冲突
下载PDF
CLRL:一种语义Web刑法规则语言
8
作者 王星 葛梦阳 +1 位作者 马宗民 陈吉 《小型微型计算机系统》 CSCD 北大核心 2018年第3期572-577,共6页
语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义Web刑法规则语言CLRL(Criminal Law Rule Language).首先,结合刑法规则的特点,构建其元模型以及UML Profi... 语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义Web刑法规则语言CLRL(Criminal Law Rule Language).首先,结合刑法规则的特点,构建其元模型以及UML Profile;然后,结合时间逻辑和Dublin Core标准,定义其元数据,并使用XML Schema对其进行描述;最后,结合模态逻辑、可废止逻辑和模糊集理论来定义CLRL的具体语法和详细语义.本文利用Visual Prolog工具,通过刑法案例推理,实现了语义Web刑法领域知识的模糊和非单调推理.CLRL在表示和推理模糊和非单调规则方面具有较强的能力,为语义Web刑法规则的自动推理奠定了重要基础. 展开更多
关键词 语义WEB 刑法规则 CLRL 可废止逻辑 规则推理
下载PDF
谈判代理开发典型案例的研究
9
作者 魏定国 《现代计算机》 2004年第12期6-11,共6页
本文通过两个典型案例说明一个灵活有效的谈判代理开发方法。使用状态图和可废止逻辑规则说明谈判策略,将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理。由于状态图和可废止逻... 本文通过两个典型案例说明一个灵活有效的谈判代理开发方法。使用状态图和可废止逻辑规则说明谈判策略,将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理。由于状态图和可废止逻辑有很强的适应性,当应用环境发生变化时,只需调整其标准和规则的集合。 展开更多
关键词 代理 状态图 解释器 插入 开发方法 引擎 逻辑规则 谈判策略 废止 应用环境
下载PDF
一种不一致本体的可废止推理系统
10
作者 彭志平 柯文德 史忠植 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第1期40-44,共5页
利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统(简称为DeRS).DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox... 利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统(简称为DeRS).DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质. 展开更多
关键词 语义WEB 本体 不一致性 非单调推理 描述逻辑 可废止逻辑
原文传递
可废除推理研究 被引量:2
11
作者 于斌 林作铨 石纯一 《计算机科学》 CSCD 北大核心 1996年第2期11-16,共6页
非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题。
关键词 人工智能 可废除推理 非单调推理
下载PDF
论法学中的可废止性 被引量:25
12
作者 宋旭光 《法制与社会发展》 CSSCI 北大核心 2019年第2期120-135,共16页
可废止性是当前法学领域的核心概念之一,其所面临的内涵不清、所指繁杂、议题琐碎、理论模型多样等难题亟待厘清。在法学中,什么是可废止性?通过考察它的类型、对象、理论层面及其核心议题等,它最好被定义为:可适用的法律规范在具体情... 可废止性是当前法学领域的核心概念之一,其所面临的内涵不清、所指繁杂、议题琐碎、理论模型多样等难题亟待厘清。在法学中,什么是可废止性?通过考察它的类型、对象、理论层面及其核心议题等,它最好被定义为:可适用的法律规范在具体情境中遭遇例外的可能。在这里,可适用性是规范识别和语义的形式问题,而例外则是一个价值判断问题。正是在这个意义上,可废止主义才被认为是一种反对形式主义与线性演绎主义的理念。 展开更多
关键词 可废止性 非单调性 例外 反形式主义 反演绎主义
原文传递
司法论证的逻辑模式 被引量:3
13
作者 孔红 《政法论丛》 2008年第2期83-89,共7页
逻辑方法是研究司法论证的传统的方法,对分析、评价司法论证起着重要的作用。逻辑学多元化发展的特征首先表明,可以选择多种方式来描述推理并定义推理的正确性,并不期待将人类多种多样的的思维方式归结为单一的标准模式。各种演绎模式... 逻辑方法是研究司法论证的传统的方法,对分析、评价司法论证起着重要的作用。逻辑学多元化发展的特征首先表明,可以选择多种方式来描述推理并定义推理的正确性,并不期待将人类多种多样的的思维方式归结为单一的标准模式。各种演绎模式只能刻画证明性的论证。论辩性的论证过程则需要运用非单调逻辑的工具加以分析。 展开更多
关键词 司法论证 演绎 司法三段论 可废止性 非单调逻辑
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部