期刊文献+
共找到61篇文章
< 1 2 4 >
每页显示 20 50 100
法律推理基本形式的结构分析 被引量:23
1
作者 雷磊 《法学研究》 CSSCI 北大核心 2009年第4期18-39,共22页
法律推理理论的核心在于结构问题,而对推理基本形式的研究正是围绕这一点展开的。考夫曼的"四分法"模式与阿列克西的"三分法"模式为此提供了很好的出发点。相比之下,后者的分类更为可取,但仍然存在问题。在规范性... 法律推理理论的核心在于结构问题,而对推理基本形式的研究正是围绕这一点展开的。考夫曼的"四分法"模式与阿列克西的"三分法"模式为此提供了很好的出发点。相比之下,后者的分类更为可取,但仍然存在问题。在规范性论证视角下,法律推理的基本形式必然要体现出论辩理性的特点。为此需要划分不同的论证阶段与论证前提来分别对应涵摄、权衡与类比这三种基本形式。它们构成了法律推理之规范性模式的组成部分。 展开更多
关键词 法律推理 涵摄 权衡 类比
原文传递
基于社会性标注的本体学习方法 被引量:14
2
作者 刘凯鹏 方滨兴 《计算机学报》 EI CSCD 北大核心 2010年第10期1823-1834,共12页
由相互协作的用户在社会性标注系统中产生的大量的标注数据可以作为各种语义网应用的数据源.文中提出一种基于社会性标注的本体学习方法来挖掘蕴涵在社会性标注中的语义信息,提出一种隐含包容层次结构来刻画标签空间中潜在的结构,并基... 由相互协作的用户在社会性标注系统中产生的大量的标注数据可以作为各种语义网应用的数据源.文中提出一种基于社会性标注的本体学习方法来挖掘蕴涵在社会性标注中的语义信息,提出一种隐含包容层次结构来刻画标签空间中潜在的结构,并基于此模型推导出本体学习算法.首先利用集合论的方法确定标签之间的包容关系,并将其表示为标签包容关系图.在将此图转化为层次关系时,为解决包容关系的不一致性,提出一种基于随机游走的标签普遍性排序方法.最后提出一种自顶向下的凝聚式层次聚类算法来生成概念层次结构.在实际社会性标注系统中采集的数据集上进行的实验表明,与目前的代表性方法相比,文中提出的方法在性能上有明显的提高. 展开更多
关键词 社会性标注 本体学习 包容关系 随机游走 凝聚式层次聚类
下载PDF
从概念涵摄到类型归属——司法三段论适用模式的转型 被引量:11
3
作者 聂长建 《西北师大学报(社会科学版)》 CSSCI 北大核心 2011年第4期127-132,共6页
对司法三段论的非难源自把司法三段论和三段论混为一谈,三段论只有一个形式维度,司法三段论则有形式和内容两个维度,对司法三段论的形式主义指责是错误的。作为司法三段论大前提的法律规范不具有普遍性,三段论的涵摄模式不适用于司法三... 对司法三段论的非难源自把司法三段论和三段论混为一谈,三段论只有一个形式维度,司法三段论则有形式和内容两个维度,对司法三段论的形式主义指责是错误的。作为司法三段论大前提的法律规范不具有普遍性,三段论的涵摄模式不适用于司法三段论。司法三段论的适用模式是类型归属,这是一个价值判断的过程,运用了法律论证、法律解释等法律方法,因而司法三段论不等于机械司法;但是如果错误地适用涵摄模式,则会导致机械司法。 展开更多
关键词 司法三段论 涵摄 归属 概念 类型
下载PDF
“本法另有规定的,依照规定”的单向适用:限缩视角的考察
4
作者 赖隹文 《四川警察学院学报》 2023年第4期21-28,共8页
“本法另有规定的,依照规定”对普通罪名的除斥适用具有前置条件,行为需双重符合普通罪名与特别罪名。衡量该符合性的标准是,行为至少应符合特别罪名的罪质,否则无从产生除斥普通罪名适用的效果。罪质的符合是构成要件轮廓与实行行为类... “本法另有规定的,依照规定”对普通罪名的除斥适用具有前置条件,行为需双重符合普通罪名与特别罪名。衡量该符合性的标准是,行为至少应符合特别罪名的罪质,否则无从产生除斥普通罪名适用的效果。罪质的符合是构成要件轮廓与实行行为类型的满足,而不能仅是构成要件的形式符合或外观相似。而且,对罪质的判断必须坚持从大前提到小前提的涵摄次序,不可混淆罪质的形式判断与实质判断,进而单向适用特别罪名,否则会造成刑法评价的不当失衡。 展开更多
关键词 法条竞合 双重符合 罪质 罪量 涵摄
下载PDF
论刑法中的包摄错误
5
作者 徐凯 解永照 《山西警官高等专科学校学报》 2010年第3期38-41,共4页
包摄错误是指行为人对于构成要件要素理解错误,误认为自己所为行为不能为刑法所包摄。从法律效果上来讲,包摄错误不构成事实错误,但是有可能构成禁止错误。反面包摄错误作为幻觉犯的形态之一,不构成犯罪。
关键词 包摄错误 发生机理 反面包摄错误 法律效果
下载PDF
Real Time Behavior-Based Control on a Mobile Robot
6
作者 Koota Muzyamba 钱晋武 +1 位作者 沈林勇 章亚男 《Journal of Shanghai University(English Edition)》 CAS 2003年第3期280-284,共5页
This paper discusses and compares some common architectures used inautonomous mobile robotics. Then it describes a behavior-based autonomous mobile robot that wasimplemented successfully in the Robotics Lab of the Dep... This paper discusses and compares some common architectures used inautonomous mobile robotics. Then it describes a behavior-based autonomous mobile robot that wasimplemented successfully in the Robotics Lab of the Department of Precision Mechanical Engineering.Fuzzy controller was used to implement the emergency behavior, the behaviors arbitration wasimplemented using the subsumption architecture. In an unknown dynamic indoor environment, the robotachieved real-time obstacle avoidance properties that are cruel for mobile robotics. 展开更多
关键词 subsumption architecture mobile robot behavior-based control
下载PDF
Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances
7
作者 KANG Da-zhou LU Jian-jiang +2 位作者 XU Bao-wen WANG Peng ZHOU Jin 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期68-72,共5页
This paper proposes a checking method based on mutual instances and discusses three key problems in the method: how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instan... This paper proposes a checking method based on mutual instances and discusses three key problems in the method: how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instances. It provides the checking based on the weighted mutual instances considering fault tolerance, gives a way to partition the large-scale mutual instances, and proposes a process greatly reducing the manual annotation work to get more mutual instances. Intension annotation that improves the checking method is also discussed. The method is practical and effective to check subsumption relations between concept queries in different ontologies based on mutual instances. 展开更多
关键词 ONTOLOGY concept query subsumption checking mutual instance
下载PDF
拉伦茨裁判方法之系统分析 被引量:1
8
作者 周兴生 《西南政法大学学报》 2005年第3期3-7,共5页
拉伦茨方法论体系的基础是欧洲传统的“名判”逻辑技术,其目标是达到个案的公平判决。当作为裁判依据的总体法与条法不足时,法官可“续造法”。所续造的“法”不是条法,而仅是为达到公判而对诸条法的自主运用,它应该有“现行法”的拘束... 拉伦茨方法论体系的基础是欧洲传统的“名判”逻辑技术,其目标是达到个案的公平判决。当作为裁判依据的总体法与条法不足时,法官可“续造法”。所续造的“法”不是条法,而仅是为达到公判而对诸条法的自主运用,它应该有“现行法”的拘束力。为使体系内自主运用条法成为可能,本来不足的体系内“条法库”由审判员以诸种技术补足。介于法律准则之间的或宪法内条法的不谐则依赖“法益衡量”技术解决。因片面突出法官的自主地位,拉伦茨方法论在本质上是现代法治社会一种尚需调制的折衷系统。 展开更多
关键词 原省 个案公平 法官自主 缺调制 拉伦茨方法论体系 司法官 :审判员
下载PDF
P3DX机器人自主控制体系结构研究 被引量:1
9
作者 胡矿 《曲靖师范学院学报》 2010年第3期74-78,共5页
在移动机器人自主控制程序开发当中经常会遇到以下三个困难:(1)多数机器人的处理器性能不高,运算能力有限,运行稍复杂的控制程序就显得很吃力.(2)大部分机器人控制程序是使用低级程序语言开发的,存在很大局限性.(3)人工智能理论至今仍... 在移动机器人自主控制程序开发当中经常会遇到以下三个困难:(1)多数机器人的处理器性能不高,运算能力有限,运行稍复杂的控制程序就显得很吃力.(2)大部分机器人控制程序是使用低级程序语言开发的,存在很大局限性.(3)人工智能理论至今仍然没有取得突破,利用人工智能实现机器人的自主控制仍然有很多问题有待解决.基于以上三点,利用高性能的P3DX工程型室内移动机器人作为平台,用Java语言开发了模仿昆虫智力的包容式自主控制体系结构,为开发高可靠性的机器人自主控制程序提供了支持. 展开更多
关键词 包容式体系结构 P3DX机器人 JAVA
下载PDF
论法官的经验思维 被引量:1
10
作者 房伟 《宁波大学学报(人文科学版)》 2012年第2期111-115,共5页
作为法官裁决的思维方式,逻辑思维偏于僵硬、呆板,不能使司法活动适应复杂多变的社会现实和客观情况。因此,在坚持以司法三段论为裁判的框架形式前提下,法官在寻找大前提、确定小前提、大小前提之间的连接等各阶段,都需要借助经验思维... 作为法官裁决的思维方式,逻辑思维偏于僵硬、呆板,不能使司法活动适应复杂多变的社会现实和客观情况。因此,在坚持以司法三段论为裁判的框架形式前提下,法官在寻找大前提、确定小前提、大小前提之间的连接等各阶段,都需要借助经验思维。逻辑思维和经验思维的共同作用,始能达成司法正义。 展开更多
关键词 司法三段论 法律 事实 涵摄 经验思维
下载PDF
论拉伦茨氏裁判方法的实质 被引量:1
11
作者 周兴生 《西安石油大学学报(社会科学版)》 2005年第3期77-82,共6页
使用传统的判案理论系统分析了拉伦茨氏的方法论体系。指出,拉伦茨氏方法论的基础是欧洲传统“名判”逻辑,其设定目标乃个案公决。拉伦茨氏强调了法官“续造法”的权力。所续造的“法”不是条法,而是曾经自主运用诸条法的模式,它理应有... 使用传统的判案理论系统分析了拉伦茨氏的方法论体系。指出,拉伦茨氏方法论的基础是欧洲传统“名判”逻辑,其设定目标乃个案公决。拉伦茨氏强调了法官“续造法”的权力。所续造的“法”不是条法,而是曾经自主运用诸条法的模式,它理应有“现行法”的拘束力。“条法库”的缺漏由审判员以法律运用技术补足。诸准则之不谐或与宪法条法的不谐需赖“法益衡量”调谐。分析结论是,拉伦茨氏片面突出法官的自主地位,其方法论在本质上是现代法治社会一种尚需调制的折衷系统。 展开更多
关键词 裁判方法 方法论体系 系统分析 法律运用 法治社会 “法” 拘束力 审判员 传统 法官 自主 判案 权力 法益 法条
下载PDF
子包含技术用于查询优化
12
作者 王新军 洪晓光 王海洋 《系统仿真学报》 CAS CSCD 2001年第6期746-749,共4页
目前在面向对象的数据库中,查询优化多集中于调整代数表达式和物理访问数据库的内容上,而语义查询优化由于其层次复杂性而受到限制。本文构造了一种OODB模式,并建立相应的视图及查询模型,确定它们之间的子包含关系,以达到查询... 目前在面向对象的数据库中,查询优化多集中于调整代数表达式和物理访问数据库的内容上,而语义查询优化由于其层次复杂性而受到限制。本文构造了一种OODB模式,并建立相应的视图及查询模型,确定它们之间的子包含关系,以达到查询优化的目的。 展开更多
关键词 面向对象 数据训 子包含技术 查询优化
下载PDF
多值特征结构描述(英文)
13
作者 于江生 程民德 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第5期589-601,共13页
提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与 Rounds Kasper和 Dawar Shanker 的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑... 提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与 Rounds Kasper和 Dawar Shanker 的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义,并为该逻辑提供了一个充分且完备的证明系统。最后,证明了最小不相容特征描述逻辑的可满足性问题是 N 展开更多
关键词 信念格 有限自动机 蕴涵 特征和 多值特征结构
下载PDF
Emergence in cyber-physical systems:potential and risk
14
作者 Shmuel TYSZBEROWICZ David FAITELSON 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2020年第11期1554-1566,共13页
Cyber-physical systems(CPSs)are distributed assemblages of computing,communicating,and physical components that sense their environment,algorithmically assess the incoming information,and affect their physical environ... Cyber-physical systems(CPSs)are distributed assemblages of computing,communicating,and physical components that sense their environment,algorithmically assess the incoming information,and affect their physical environment.Thus,they share a common structure with other complex adaptive systems,and therefore share both the possible benefits and the probable harmful effects of emergent phenomena.Emergence is an often unexpected pattern that arises from the interactions among the individual system components and the environment.In this paper we focus on three major problems concerning emergence in the context of CPSs:how to successfully exploit emergence,how to avoid its detrimental effects in a single CPS,and how to avoid harmful emergence that arises due to unexpected interaction among several independently developed CPSs that are operating in the same environment.We review the state of the research with regard to these problems and outline several approaches that could be used to address them. 展开更多
关键词 Cyber-physical systems Emergent behavior Complex adaptive systems STIGMERGY subsumption Digital twins
原文传递
Web服务语义安全供求策略研究
15
作者 贺正求 吴礼发 +2 位作者 张海粟 李华波 赖海光 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第1期116-122,共7页
目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果。为此,提出了基于语义思想来表示和匹配Web服务安全供求策略的方法。通过构造一个一般性的安全本体,提出... 目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果。为此,提出了基于语义思想来表示和匹配Web服务安全供求策略的方法。通过构造一个一般性的安全本体,提出了Web服务语义安全供求策略的定义方法和匹配算法,将策略的匹配问题转化成语义概念的包含推理问题。理论分析和实验结果表明,本文提出的方法能使策略内容包含必要的语义信息,可有效提高匹配结果的准确性,克服句法级方法存在的不足,同时也能在一定程度上简化策略的定义与管理,从而为Web服务环境下的安全供求策略表示与匹配问题提供了一个更为有效的解决方案。 展开更多
关键词 WEB服务 安全策略 语义 包含推理
下载PDF
为涵摄模式辩护 被引量:40
16
作者 雷磊 《中外法学》 CSSCI 北大核心 2016年第5期1206-1233,共28页
法律论证的涵摄模式在晚近的法律理论中遭到了猛烈批评。涵摄模式的怀疑论反对将涵摄模式视为法律适用的基本模式,认为它无法准确地概括法律适用的真实过程,在法律适用中也不占核心地位,至多只是一种起到"演示"功能的正确性... 法律论证的涵摄模式在晚近的法律理论中遭到了猛烈批评。涵摄模式的怀疑论反对将涵摄模式视为法律适用的基本模式,认为它无法准确地概括法律适用的真实过程,在法律适用中也不占核心地位,至多只是一种起到"演示"功能的正确性控制机制。在区分法的发现与法的证立以及内部证成与外部证成的基础上可知,涵摄模式是法律论证的一种基本模式。确切地说,它是内部证成的逻辑形式。一方面,涵摄模式是一种理性的论证模式,具有合乎逻辑的结构,即简单情形中的司法三段论与复杂情形中的演绎模式。另一方面,涵摄模式通常显现为法律拘束的要求,同时构成了平等对待以及法的安定性的必要条件。因此,涵摄是一种承载着法治价值之不可替代的方法论模式。 展开更多
关键词 涵摄模式 内部证成 司法三段论 演绎 法律拘束
原文传递
逻辑涵摄与后果考量:法律论证的二阶构造 被引量:26
17
作者 王彬 《南开学报(哲学社会科学版)》 CSSCI 北大核心 2020年第2期33-43,共11页
根据法律论证的结构理论,法律适用的结构可以被区分为内部证成和外部证成。基于法律的不确定性、未完成性和可辩驳性,逻辑涵摄作为内部证成无法成为法律适用的全部过程,而必须以外部证成的完成为前提。后果考量作为外部证成,为实质价值... 根据法律论证的结构理论,法律适用的结构可以被区分为内部证成和外部证成。基于法律的不确定性、未完成性和可辩驳性,逻辑涵摄作为内部证成无法成为法律适用的全部过程,而必须以外部证成的完成为前提。后果考量作为外部证成,为实质价值判断提供思维方法,能够弥补形式正义的局限性,但是必须经受逻辑一致性和连贯性的制约。 展开更多
关键词 逻辑涵摄 后果考量 法律论证 内部证成 外部证成
原文传递
移动机器人条件反射能力的实现 被引量:2
18
作者 顾冬雷 陈卫东 席裕庚 《机器人》 EI CSCD 北大核心 2001年第2期123-126,共4页
Brooks的包容体系结构中 ,移动机器人控制器各个行为之间的关系是固定不变的 ,可以看作实现了机器人的非条件反射能力 ,因此控制系统没有适应性 .本文提出了条件反射能力的实现方法 ,该方法能够和包容体系结构紧密结合 ,增强移动机器人... Brooks的包容体系结构中 ,移动机器人控制器各个行为之间的关系是固定不变的 ,可以看作实现了机器人的非条件反射能力 ,因此控制系统没有适应性 .本文提出了条件反射能力的实现方法 ,该方法能够和包容体系结构紧密结合 ,增强移动机器人的适应能力 .实验证明该方法是可行的 . 展开更多
关键词 移动机器人 包容体系结构 条件反射 鲁棒性 传感器
下载PDF
移动的受众商品:无线世界的数字劳动 被引量:16
19
作者 文森特.曼泽罗尔 姚建华 徐偲骕 《开放时代》 CSSCI 北大核心 2017年第3期181-191,共11页
在互联网驱动的移动设备(Internet-enabled mobile devices,IMDs)普及的今天,本文重新审视了达拉斯·斯麦兹的理论成果。在一个连接无处不在的时代,斯麦兹对于受众"工作"开创性的分析提供了一个历史连续体,使我们得以在... 在互联网驱动的移动设备(Internet-enabled mobile devices,IMDs)普及的今天,本文重新审视了达拉斯·斯麦兹的理论成果。在一个连接无处不在的时代,斯麦兹对于受众"工作"开创性的分析提供了一个历史连续体,使我们得以在日常生活中理解IMDs的大量出现。沿着斯麦兹的分析路径,本文认为,IMDs所保证和支持的有偿的与无酬的数字劳动的扩张,促成了传播的总体动员、认知与协作能力——这些能力处于"信息资本主义"积累策略的核心。因此,全球范围内对IMDs快速的接纳和使用成了这种动员和吸纳的有机组成部分。斯麦兹强调传播及其相关技术在对当代政治经济学批判分析中的核心作用,本文与这一立场相一致,并通过反思斯麦兹的受众商品理论来详述数字劳动的理念,而受众商品理论是IMDs技术和社会变迁的中心原则。 展开更多
关键词 受众商品 数字劳动 实际吸纳 意识产业 产消者商品
原文传递
概念涵摄与规则适用:一个概念与逻辑的分析 被引量:13
20
作者 陈坤 《法制与社会发展》 CSSCI 北大核心 2017年第5期148-162,共15页
在理论探讨与裁判实务中,人们经常会不自觉地将概念涵摄与规则适用在概念或逻辑上等同起来。这既不利于清晰地阐明司法推理的不同环节及其逻辑顺序,也会给本就质疑司法推理客观性的人们留下口实。概念涵摄与规则适用在概念上是有区别的... 在理论探讨与裁判实务中,人们经常会不自觉地将概念涵摄与规则适用在概念或逻辑上等同起来。这既不利于清晰地阐明司法推理的不同环节及其逻辑顺序,也会给本就质疑司法推理客观性的人们留下口实。概念涵摄与规则适用在概念上是有区别的,在逻辑上是不等值的。它们之间存在规范性的联系,即概念涵摄的成立给规则适用提供了推定的理由,这种理由在性质上既不同于初显的理由,也不同于终局的理由。对概念涵摄与规则适用之间区别与联系的澄清,有助于我们思考相关的法理学问题,特别是,它能够使我们在足够清晰的概念基础上谈论法律难题与司法推理的客观性。 展开更多
关键词 概念涵摄 规则适用 推定的理由 法律难题 司法推理的客观性
原文传递
上一页 1 2 4 下一页 到第
使用帮助 返回顶部