期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到712篇文章
< 1 2 36 >
每页显示 20 50 100
Property Study of Daily Consecutive Penalty Provision in Environment Laws of Taiwan Region
1
作者 Jiang Fengyu 《Meteorological and Environmental Research》 CAS 2015年第8期22-26,共5页
For the person violating prevention and control measures or has caused pollution, environment laws all set penalty provision. Moreover, for the person still does not improve within limited period, there is daily conse... For the person violating prevention and control measures or has caused pollution, environment laws all set penalty provision. Moreover, for the person still does not improve within limited period, there is daily consecutive penalty provision. For that legal properties of these daily consecutive penalty provisions are administrative order penalty or administrative execution penalty,judicial practice in Taiwan always has different views. The target of "daily consecutive penalty' is compelling doers to fulfill their obligations or improve illegal state by continuously increasing property burden of obligor. The emphasis is fulfilling future responsibility or improving future,but not punishing the past violations. To realize the target of com- pelling obligor to improve,we should take administrative compulsory execution means. So, for the property of daily consecutive penalty,we should cleady position daily consecutive penalty as administrative execution penalty,and not only its penalty target has difference with administrative order penalty, but also made way and law enforcement focus are different from administrative order penalty. 展开更多
关键词 Environment punishment Consecutive penalty Administrative compulsion execution penalty Order penalty China
下载PDF
基于Internet的软件协同开发系统设计与实现 被引量:3
2
作者 刘波 《计算机工程》 CAS CSCD 北大核心 2001年第5期100-101,149,共3页
基于的软件协同开发是一种计算机支持的协同工作。介绍了利用技术设计和实现基于的软件协同开发系InternetWinsock2Internet统。它是为了在上建立协同开发软件的集成功能环境,方便群体讨论、远程存取文件和远程调试程序,便于对整个开发... 基于的软件协同开发是一种计算机支持的协同工作。介绍了利用技术设计和实现基于的软件协同开发系InternetWinsock2Internet统。它是为了在上建立协同开发软件的集成功能环境,方便群体讨论、远程存取文件和远程调试程序,便于对整个开发过程实施监Internet控,提高软件开发效率。 展开更多
关键词 软件协同开发系统 CSCW inTERNET 组播 协同控制
下载PDF
关于建立普遍意义的附条件程序出罪制度的思考 被引量:1
3
作者 黄京平 《北京联合大学学报(人文社会科学版)》 CSSCI 2024年第3期28-40,共13页
程序出罪的规模化现象,使我国不附条件不起诉欠缺正当性或正当性不足的特征突显。这必然影响规模化程序出罪的持久性、稳定性,也会形成轻微犯罪治理质效逐渐劣化的趋势。司法规范实际确定了具有相当普遍意义的附条件程序出罪规则,及时... 程序出罪的规模化现象,使我国不附条件不起诉欠缺正当性或正当性不足的特征突显。这必然影响规模化程序出罪的持久性、稳定性,也会形成轻微犯罪治理质效逐渐劣化的趋势。司法规范实际确定了具有相当普遍意义的附条件程序出罪规则,及时弥补了立法的缺陷,修正了规模化程序出罪正当性不足的偏差,也为建立普遍意义的附条件程序出罪制度积累了经验。普遍意义的附条件程序出罪制度,应由附条件不启动刑事追诉程序和附条件终止刑事追诉程序构成,具体包含附条件不予立案、附条件撤销案件、附条件不起诉几种具体的程序出罪方式。以不同等级的附条件不起诉取代酌定不起诉、情节显著轻微不起诉,是建立普遍意义附条件不起诉的关键。 展开更多
关键词 附条件 程序出罪 不予立案 撤销案件 不起诉 刑罚替代措施 分层出罪 犯罪分层
下载PDF
兴奋剂违规处罚程序与仲裁程序的衔接研究
4
作者 宋彬龄 张迪生 《武汉体育学院学报》 CSSCI 北大核心 2024年第11期40-46,共7页
运用逻辑分析法、比较分析法等方法,深入探讨了我国在体育仲裁制度建立后,兴奋剂处罚程序与仲裁程序的衔接障碍,并提出了相应的衔接方案。研究发现,当前兴奋剂处罚权形式主体和实质主体的分离,使反兴奋剂中心可否成为兴奋剂仲裁案件的... 运用逻辑分析法、比较分析法等方法,深入探讨了我国在体育仲裁制度建立后,兴奋剂处罚程序与仲裁程序的衔接障碍,并提出了相应的衔接方案。研究发现,当前兴奋剂处罚权形式主体和实质主体的分离,使反兴奋剂中心可否成为兴奋剂仲裁案件的被告或共同被告存在问题,处罚单位在体育仲裁中的程序地位也不清晰,对于处罚单位可否在体育仲裁中指控反兴奋剂中心也存在疑问。研究认为,要理顺程序则有必要消解兴奋剂处罚权主体的分离现象,从长远来看,我国应顺应国际发展的大趋势,将处罚单位的权力完全让渡给反兴奋剂中心行使,但鉴于目前的法律障碍,可采取由处罚单位拥有处罚权,处罚委员会为其提供咨询建议,由反兴奋剂中心行使程序监督权的过渡方案。 展开更多
关键词 兴奋剂违规 体育仲裁 处罚程序 程序衔接
下载PDF
我国执行回转的制度反思与程序重构——兼评《强制执行法(草案)》第91至94条
5
作者 王次宝 陈晓红 《山东科技大学学报(社会科学版)》 2024年第2期45-53,103,共10页
在《民事强制执行法》进入单独立法倒计时之际,全面审视与反思执行回转制度正当其时。作为一项移植于苏联的特色制度,我国的执行回转具有减轻当事人诉累、快速恢复原状、兼顾效率与公平等多重价值,但同时也存在背离审执分离与处分原则... 在《民事强制执行法》进入单独立法倒计时之际,全面审视与反思执行回转制度正当其时。作为一项移植于苏联的特色制度,我国的执行回转具有减轻当事人诉累、快速恢复原状、兼顾效率与公平等多重价值,但同时也存在背离审执分离与处分原则、缺乏体系建构与程序衔接等诸多问题。执行回转不属于执行救济,也不应内嵌于执行程序之中,而应定性为一种“简略式审判程序”,参照非讼程序原理进行设计。新的执行回转制度应该以判决的形式判定是否回转及其具体内容,取消法院依职权启动的路径,严格限定当事人的范围,适当扩大回转标的的范围,有效细化具体程序规则,理顺与执行程序、另诉程序、破产程序、国家赔偿程序等周边程序的关系。 展开更多
关键词 执行回转 执行依据 内嵌式执行救济 简略式审判程序 强制执行法
下载PDF
《档案行政处罚程序规定》的主要内容和时代意义及相关问题探讨
6
作者 王英玮 车向芝 《北京档案》 北大核心 2024年第9期28-32,共5页
《档案行政处罚程序规定》(国家档案局令第20号)的发布与实施,是我国档案治理体系建设的一项重要成就。本文介绍和说明了其主要内容,分析了其主要特点和时代意义,探讨了如何按照档案治理的本质要求进一步规范档案主管部门行政处罚行为... 《档案行政处罚程序规定》(国家档案局令第20号)的发布与实施,是我国档案治理体系建设的一项重要成就。本文介绍和说明了其主要内容,分析了其主要特点和时代意义,探讨了如何按照档案治理的本质要求进一步规范档案主管部门行政处罚行为的问题。 展开更多
关键词 档案部门规章 档案行政处罚 档案行政处罚程序
下载PDF
网暴犯罪刑事程序法治理的特征、缺陷及其完善 被引量:3
7
作者 王仲羊 《新疆社会科学》 CSSCI 2024年第1期117-125,166,共10页
《惩治网暴犯罪指导意见》引入了网暴犯罪治理的刑事程序法视角。通过协助取证的案前延伸,扩大解释公诉条件,优先使用公诉程序,该规范凸显网暴犯罪治理中的职权主导特征。然而,网暴犯罪的职权治理并不完备,可能不当限制被害人的诉权,也... 《惩治网暴犯罪指导意见》引入了网暴犯罪治理的刑事程序法视角。通过协助取证的案前延伸,扩大解释公诉条件,优先使用公诉程序,该规范凸显网暴犯罪治理中的职权主导特征。然而,网暴犯罪的职权治理并不完备,可能不当限制被害人的诉权,也未兼顾网络服务提供者的利益。因此,在职权治理方面,应明确协助取证的程序要件,降低自诉立案的门槛;在诉权治理方面,应保障被害人前、中、后三个阶段的程序选择权;在平台治理方面,应加强国家机关与第三方网络平台的合作,积极推进网暴合规业务。 展开更多
关键词 网络暴力犯罪 刑事诉讼 《惩治网暴犯罪指导意见》 自诉转公诉
下载PDF
人权保障视角下的治安管理处罚程序创新与优化
8
作者 陈辉 《人权法学》 2024年第4期76-91,152,153,共18页
2023年9月1日公布的《中华人民共和国治安管理处罚法(修订草案)》对现行《中华人民共和国治安管理处罚法》作出了较大幅度的修改,其中涉及“处罚程序”章节的修改合计29处,主要修改内容包括以“立案”取代“受理”等7个方面。这对治安... 2023年9月1日公布的《中华人民共和国治安管理处罚法(修订草案)》对现行《中华人民共和国治安管理处罚法》作出了较大幅度的修改,其中涉及“处罚程序”章节的修改合计29处,主要修改内容包括以“立案”取代“受理”等7个方面。这对治安管理处罚程序的规则优化和体系完善具有积极的推动作用,应予以充分肯定。从良法善治的标准看,《中华人民共和国治安管理处罚法(修订草案)》在基本权利保障规范、正当程序原则条款设计、控权机制优化等方面还需要进一步改进:一是应将行政拘留纳入听证范围,并将集体讨论作为处十日以上行政拘留决定的必经程序;二是需要明确集体讨论程序的启动程序、参加人员构成、讨论形式及效力等内容;三是继续优化行政程序控权机制,明确和扩大程序条款的规范效力,赋予当事人必要的拒绝权。 展开更多
关键词 《治安管理处罚法 (修订草案)》 行政处罚 处罚程序 程序控 权机制
下载PDF
父母体罚与儿童执行功能的关系:一项3年的追踪研究
9
作者 牛骅 王美芳 《心理发展与教育》 CSSCI 北大核心 2024年第4期479-487,共9页
为考察父母体罚与儿童日常执行功能、执行功能任务水平之间的关系,揭示长期父母体罚可能存在的累积效应。本研究采用连续3年追踪研究设计,以亲子冲突解决策略量表、执行功能行为评定量表和威斯康星卡片分类测验为工具对710名三、四年级... 为考察父母体罚与儿童日常执行功能、执行功能任务水平之间的关系,揭示长期父母体罚可能存在的累积效应。本研究采用连续3年追踪研究设计,以亲子冲突解决策略量表、执行功能行为评定量表和威斯康星卡片分类测验为工具对710名三、四年级小学生及其父母双亲进行测查。结果发现:(1)父母体罚初始水平越高、随时间下降越慢,儿童日常执行功能问题越多,父母体罚对儿童日常执行功能的影响均存在累积效应;(2)父母体罚初始水平越高,儿童执行功能任务水平越差,但父母体罚的发展变化不能预测儿童执行功能任务水平,父母体罚对儿童执行功能任务水平的影响不存在累积效应。研究结果表明长期父母体罚对儿童日常认知功能的消极影响存在累积效应。 展开更多
关键词 父母体罚 儿童执行功能 累积效应
下载PDF
民事终结本次执行程序的制度嬗变与程序完善
10
作者 王翠敏 王晓静 《南华大学学报(社会科学版)》 2024年第2期95-103,共9页
民事终结本次执行程序源于法院执行实践,是法院为无可供执行财产或财产无法强制执行案件设置的一种暂时性退出机制,该制度形成之初强调“清理积案”的工具功能而忽视了自身的系统性构建,以2015年施行《中华人民共和国民事诉讼法》解释... 民事终结本次执行程序源于法院执行实践,是法院为无可供执行财产或财产无法强制执行案件设置的一种暂时性退出机制,该制度形成之初强调“清理积案”的工具功能而忽视了自身的系统性构建,以2015年施行《中华人民共和国民事诉讼法》解释为分界点,该制度在经历了碎片化、内部体系化、外部体系化的阶段后,逐渐演化为重要的执行监管手段。2022年《中华人民共和国民事强制执行法(草案)》中进一步明晰了其适用条件和效力,但该制度仍面临着财产查明倚重职权调查、财产报告“违法过剩”引起制度空转、穷尽财产调查措施、可供执行财产认定标准有待明确、异化为“准结案”等现实问题。基于实务中存在的问题,文章明确制度设计理念、科学设定法院与执行当事人间的权利义务分工,提出终结本次执行程序的优化设想,以期提高司法执行的工作质效。 展开更多
关键词 终结本次执行程序 制度嬗变 程序完善
下载PDF
控方撤回认罪认罚:比较考察与类型规制
11
作者 郭烁 《交大法学》 CSSCI 北大核心 2024年第2期5-18,共14页
现有关于认罪认罚案件反悔与撤回的研究大多聚焦于被追诉人面向,鲜有涉及控方撤回。但控方撤回在实践中业已呈现出一定混乱局面,应当予以重视。通过考察比较法可知,美国辩诉交易视阈下原则上允许控方在被告人认罪答辩前撤回诉辩协议,认... 现有关于认罪认罚案件反悔与撤回的研究大多聚焦于被追诉人面向,鲜有涉及控方撤回。但控方撤回在实践中业已呈现出一定混乱局面,应当予以重视。通过考察比较法可知,美国辩诉交易视阈下原则上允许控方在被告人认罪答辩前撤回诉辩协议,认罪答辩后撤回则须基于特殊情形,其体现出的审慎、克制的撤回思路值得借鉴。实体事由上,被追诉人反悔、法院告知调整量刑建议与被追诉人无悔罪表现皆非控方撤回情形,检察机关只能基于新的事实和证据撤回认罪认罚从宽,该新的事实为自然事实,且应厘定为“新的定罪事实”。程序运行上,若控方合法撤回则应给予被追诉人选择权,并贯彻“供述失权”原则;若控方非法撤回应给予其程序性制裁,并坚持特定履行原则;同时协调公诉变更与控方撤回,只允许补充起诉情形下撤回认罪认罚。从实体和程序两个层面进行规制,可以将控方撤回认罪认罚限制在合理、适当的范围之内。 展开更多
关键词 认罪认罚 控方撤回 辩诉交易 实体事由 程序规制
下载PDF
利益衡平视角下终本执行与个人破产制度的衔接
12
作者 黄茂醌 《河南财经政法大学学报》 CSSCI 2024年第5期112-122,共11页
终本执行与个人破产能否有效衔接,事关《民事强制执行法(草案)》的进一步优化以及个人破产制度的最终订立。个人破产案件因其“高负面性”“弱清偿性”以及审理的复杂性,使法院、债权人、债务人等主体更偏爱适用终本执行,而人为地规避... 终本执行与个人破产能否有效衔接,事关《民事强制执行法(草案)》的进一步优化以及个人破产制度的最终订立。个人破产案件因其“高负面性”“弱清偿性”以及审理的复杂性,使法院、债权人、债务人等主体更偏爱适用终本执行,而人为地规避适用个人破产制度,导致终本执行转个人破产程序难以启动。当下,两者的并行和交织状态已成现实,为实现两者在发挥各自制度功能的基础上更好地形成制度合力,应基于利益衡平视角,做到以下四点:一是赋予当事人终本执行转破产的程序选择权;二是加强法院依职权终本执行转个人破产的法定释明义务;三是基于终本执行主体的利益考量确定自由财产范围;四是基于终本执行已有的配套制度制定破产免责制度。 展开更多
关键词 终本执行 个人破产 利益衡平 衔接路径
下载PDF
没收财产刑执行困境及破解——以N市近3年财产刑执行案件为分析样本
13
作者 杜开林 刘晓健 《犯罪研究》 2024年第1期100-106,共7页
“没收个人全部财产”的财产判项,因缺乏具体的、明确的数额,实践中一些法院多以“1元”执行立案,导致没收财产刑出现“假执行到位”现象。执行结案方式缺乏统一标准,致使罚金刑和没收财产刑陷入“孰轻孰重”的执行困境,同时也是对财产... “没收个人全部财产”的财产判项,因缺乏具体的、明确的数额,实践中一些法院多以“1元”执行立案,导致没收财产刑出现“假执行到位”现象。执行结案方式缺乏统一标准,致使罚金刑和没收财产刑陷入“孰轻孰重”的执行困境,同时也是对财产刑执行“失权性原则”的冲击。当没收财产刑从立案到结案均出现困境时,应从没收财产刑自身属性到程序适配性进行思考。没收财产刑有其自身刑罚逻辑,将其作为附加刑机械适用,会导致其“最严厉的财产处罚”属性受到冲击,但不能因为没收财产刑的执行效果不好或部分替代可能性而将其摒弃。没收财产刑的执行价值,需要一套完备的审执模式予以护航,从审判源头入手统一好法律适用、配套好执行启动程序与统一好执行结案方式,因而其未来走向仍值得期待。 展开更多
关键词 没收财产刑 执行困境 执行启动程序 执行结案方式
下载PDF
案外人执行异议之诉检视与重构——从一则被执行人配偶主张所有权排除执行案例切入
14
作者 黎陈靥 《西部学刊》 2024年第8期85-88,共4页
我国诉讼裁判遵循以实体法要件构成的独立法律事实为审理对象,实行“一法律事实一诉”,加之,妨害民事执行的强制措施长期处于“虚无”,导致案外人、特别是与被执行人有关联关系的案外人对所有权排除执行的执行异议之诉的滥用,成为被执... 我国诉讼裁判遵循以实体法要件构成的独立法律事实为审理对象,实行“一法律事实一诉”,加之,妨害民事执行的强制措施长期处于“虚无”,导致案外人、特别是与被执行人有关联关系的案外人对所有权排除执行的执行异议之诉的滥用,成为被执行人中断或拖延执行、逃避债务的“主流手段”。建议以民事强制执行法立法为契机解决此种现象诱发的“执行难”问题:(一)重塑案外人执行异议之诉的制度目的;(二)废止前置程序;(三)设立专业化的执异审判庭,并强化法官释明权的行使;(四)增加诉讼成本和加大法律责任的适用力度以制约异议诉权的任意行使。 展开更多
关键词 执行异议之诉 案外人 前置程序 释明权 强制措施
下载PDF
刑事一体化视野下“两卡”型帮信罪的治理路径研究
15
作者 “帮助信息网络犯罪活动罪的打击与治理”课题组 《河南警察学院学报》 2024年第5期44-53,共10页
从刑事一体化视角考察,帮助信息网络犯罪活动罪的急剧扩张适用主要是因为,在政策落实上因片面适用“从严从重”而易突破成文法;在犯罪认定上因割裂了实质与形式要件而降低入罪门槛;在行刑界分上多以“量”为标准而阻碍了案件分流至行政... 从刑事一体化视角考察,帮助信息网络犯罪活动罪的急剧扩张适用主要是因为,在政策落实上因片面适用“从严从重”而易突破成文法;在犯罪认定上因割裂了实质与形式要件而降低入罪门槛;在行刑界分上多以“量”为标准而阻碍了案件分流至行政处罚;在犯罪预防上因相关措施缺乏针对性而难以使民众产生抑制动机即预防效果不佳。由此,刑事一体化下的“两卡”型帮信罪治理路径,既要严格贯彻“宽严相济”刑事政策,又要坚持形式与实质相统一等原则,予以基于罪刑法定原则的既合理又合法的定罪处刑与刑行分流分治,积极采取多维源头治理有效遏制“两卡”型帮信行为的滋生。 展开更多
关键词 帮信罪 刑事政策 刑法适用 行刑界分 犯罪预防 治理路径
下载PDF
比较法视野下我国刑事速裁程序的本土化发展研究
16
作者 陈在上 任逸飞 《山东警察学院学报》 2024年第1期22-32,共11页
在推进轻罪治理体系现代化背景下,刑事速裁程序能够提升诉讼效率、缓解办案压力、保障被追诉人权利,但其本土化发展方向与完善路径还有待明确。基于对两大法系刑事速裁程序的比较,我国刑事速裁程序在发展方向上需保持现有开庭审理模式,... 在推进轻罪治理体系现代化背景下,刑事速裁程序能够提升诉讼效率、缓解办案压力、保障被追诉人权利,但其本土化发展方向与完善路径还有待明确。基于对两大法系刑事速裁程序的比较,我国刑事速裁程序在发展方向上需保持现有开庭审理模式,应追求公正与效率的动态价值平衡,并立足实现实体真实与案件分流的功能定位。在具体路径上,需关注审前阶段的权利保障及程序速率,重视庭审阶段对被告人认罪认罚自愿性与真实性的审查,并强调现有配套制度的更新。 展开更多
关键词 刑事速裁程序 认罪认罚 诉讼价值 审理模式 繁简分流
下载PDF
Forty Years of Reform and Opening Up:The Birth and Development of China's Criminal Justice System
17
作者 BIAN Jianlin XIE Shu 《Frontiers of Law in China-Selected Publications from Chinese Universities》 2019年第1期73-85,共13页
The Third Plenary Session of the 11 th Central Committee of the Communist Party of China held in 1978 marked the initiation of the policy of reform and opening up in China,beginning a new chapter in the construction o... The Third Plenary Session of the 11 th Central Committee of the Communist Party of China held in 1978 marked the initiation of the policy of reform and opening up in China,beginning a new chapter in the construction of a socialist legal system.The first Chinese criminal procedure law was promulgated the following year and was revised twice in 1996 and 2012.Although remarkable progress has been made,the level of the rule of law in China's criminal procedure must still be improved to meet the goal of modernizing the criminal rule of law. 展开更多
关键词 reform and OPENinG up CRIMinAL procedure LITIGATION systems trial-centered leniency for CONFESSION and acceptance of punishment
原文传递
“特色学校”校园足球政策执行力评价指标体系研究 被引量:13
18
作者 戴狄夫 金育强 +1 位作者 李先雄 张宇 《武汉体育学院学报》 CSSCI 北大核心 2021年第5期93-100,共8页
运用文献资料法、专家访谈法、德尔菲法、层次分析法、数理统计法等研究方法,界定了校园足球政策执行力的相关概念,并依照条件—方式—结果的逻辑框架,以科学性、全面性、可操作性为原则,围绕执行能力、执行资源、执行流程、执行成效构... 运用文献资料法、专家访谈法、德尔菲法、层次分析法、数理统计法等研究方法,界定了校园足球政策执行力的相关概念,并依照条件—方式—结果的逻辑框架,以科学性、全面性、可操作性为原则,围绕执行能力、执行资源、执行流程、执行成效构建了包含4个一级指标、9个二级指标、26个三级指标以及64个四级指标的校园足球政策执行力评价指标体系。最后,运用层次分析法确定了各个指标的相对权重,并对计算方法作了详细说明。 展开更多
关键词 校园足球 特色学校 政策执行力 执行能力 执行资源 执行流程 执行成效 评价指标体系
下载PDF
行刑一体化与刑罚执行权的新配置 被引量:11
19
作者 韩玉胜 沈玉忠 《河北学刊》 CSSCI 北大核心 2008年第1期162-166,共5页
尽管行刑是刑罚运用过程的最后环节,但是,行刑效果如何则直接关系到刑罚目的能否最终实现。科学合理地配置刑罚执行权将有助于行刑效率的提高与刑罚运行机制的完备。通过对当代中国刑罚执行权的现实考察,不难发现,中国现行刑罚执行权配... 尽管行刑是刑罚运用过程的最后环节,但是,行刑效果如何则直接关系到刑罚目的能否最终实现。科学合理地配置刑罚执行权将有助于行刑效率的提高与刑罚运行机制的完备。通过对当代中国刑罚执行权的现实考察,不难发现,中国现行刑罚执行权配置并不科学合理,存在着行刑权过于分散、相互之间彼此抵牾之处,这严重地影响了刑罚功能的发挥。因此,树立行刑一体化的理念,科学地配置刑罚执行权,乃是中国刑法理论界与实务界共同努力的方向和目标。 展开更多
关键词 行刑一体化 刑罚执行权 定性分析 科学配置
下载PDF
一类扩展的动态描述逻辑 被引量:23
20
作者 常亮 史忠植 +1 位作者 陈立民 牛温佳 《软件学报》 EI CSCD 北大核心 2010年第1期1-13,共13页
作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻... 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持. 展开更多
关键词 动态描述逻辑 动作推理 动作的执行过程 表判定算法 语义WEB服务
下载PDF
上一页 1 2 36 下一页 到第
使用帮助 返回顶部