法律规则表达测试工具.exe是由大赛组委会发布的一款轻量级的桌面程序,用于测试法律规则是否能被正确解析与执行。它支持:
读取图谱 JSON 和任务节点 JSON
调用外部大模型进行语义理解
自动化条件匹配与逻辑推理
(1)图谱 JSON 文件
图谱json内容示例
{
"案由": "危险驾驶罪",
"法律法规": [
{
"名称": "中华人民共和国刑法",
"颁布时间": "",
"生效时间": "",
"第几条": "第一百三十三条之一",
"第几款": "",
"原文": "在道路上驾驶机动车,有下列情形之一的,处拘役,并处罚金:(一)追逐竞驶,情节恶劣的;(二)醉酒驾驶机动车的;(三)从事校车业务或者旅客运输,严重超过额定乘员载客,或者严重超过规定时速行驶的;(四)违反危险化学品安全管理规定运输危险化学品,危及公共安全的。机动车所有人、管理人对前款第三项、第四项行为负有直接责任的,依照前款的规定处罚。有前两款行为,同时构成其他犯罪的,依照处罚较重的规定定罪处罚。"
},
{
"名称": "最高人民法院关于常见犯罪的量刑指导意见(二)(试行)",
"颁布时间": "",
"生效时间": "",
"第几条": "一、八种常见犯罪的量刑(一) 危险驾驶罪",
"第几款": "",
"原文": "1.构成危险驾驶罪的,可以在一个月至二个月拘役幅度内确定量刑起点。2.在量刑起点的基础上,可以根据危险驾驶行为等其他影响犯罪构成的犯罪事实增加刑罚量,确定基准刑。3.对于醉酒驾驶机动车的被告人,应当综合考虑被告人的醉酒程度、机动车类型、车辆行驶道路、行车速度、是否造成实际损害以及认罪悔罪等情况,准确定罪量刑。对于情节显著轻微危害不大的,不予定罪处罚;犯罪情节轻微不需要判处刑罚的,可以免予刑事处罚。"
},
{
"名称": "最高人民法院、最高人民检察院、公安部、司法部关于办理醉酒危险驾驶刑事案件的意见",
"颁布时间": "",
"生效时间": "",
"第几条": "第十五条",
"第几款": "",
"原文": "对被告人判处罚金,应当根据醉驾行为、实际损害后果等犯罪情节,综合考虑被告人缴纳罚金的能力,确定与主刑相适应的罚金数额。起刑点一般不应低于道路交通安全法规定的饮酒后驾驶机动车相应情形的罚款数额;每增加一个月拘役,增加一千元至五千元罚金。"
}
],
"规则": [
{
"类型": "逻辑运算",
"计算方式": ">=",
"条件": [
"血液酒精含量",
"80"
],
"结果": "血液酒精含量大于80mg/100ml"
},
{
"类型": "逻辑运算",
"计算方式": "与",
"条件": [
"在道路上驾驶机动车",
"血液酒精含量大于80mg/100ml"
],
"结果": "构成醉酒型危险驾驶罪"
},
{
"类型": "条件判断",
"输入": [
"刑期起点初始值",
"构成醉酒型危险驾驶罪",
"存在从重处罚情节"
],
"条件": {
"一级条件": "构成醉酒型危险驾驶罪",
"二级条件": "存在从重处罚情节"
},
"计算": {
"一级条件成立": {
"二级条件不成立": "刑期起点初始值+0",
"二级条件成立": "刑期起点初始值+60"
},
"一级条件不成立": [
"0"
]
},
"结果": "刑期起点"
},
{
"类型": "算术运算",
"算术规则": [
"(血液酒精含量-80)/30*15+刑期起点"
],
"结果": "宣告的刑期天数"
},
{
"类型": "算术运算",
"算术规则": [
"罚金数额初始值+(血液酒精含量-80)/30*15/30*1000"
],
"结果": "宣告罚金数额_下限"
},
{
"类型": "算术运算",
"算术规则": [
"罚金数额初始值+(血液酒精含量-80)/30*15/30*5000"
],
"结果": "宣告罚金数额_上限"
},
{
"类型": "逻辑运算",
"计算方式": "或",
"条件": [
"在高速公路、学校周边、居民区、繁华路段等人流车流密集的特殊路段或早晚高峰时段醉酒驾驶",
"驾驶载有乘客的营运客车、校车、中型以上客车、重型载货汽车、危险品运输车、工程运输车等特殊车辆时醉酒驾驶",
"存在无证驾驶、驾驶证被吊销、驾驶与准驾车型不符或使用伪造、变造驾驶证等驾驶资质问题",
"驾驶安全装置不全、安全机件失灵、拼装、已达报废标准的机动车,或悬挂伪造、变造号牌、使用伪造、变造行驶证的机动车(被告人无认识可能性除外)",
"在醉酒驾驶的同时,存在严重超员(客运超额定乘员20%)、严重超载(货运超核定载质量30%)、严重超速(超规定时速50%)、不按信号灯驾驶、逆向行驶等严重交通违法行为",
"醉酒驾驶发生非单方事故,造成他人轻微伤以上伤害或较大财产损失,且负事故全部或主要责任",
"在发生交通事故后为逃避法律追究而逃逸,但尚未构成其他犯罪",
"采取冲卡、绕卡,找人顶包、指使他人作伪证,驾车或弃车逃逸,拒绝打开车门车窗,不配合吹气式酒精测试、不配合抽取血样,遭遇检查时大量饮水/饮酒,或以暴力、威胁手段拒绝、阻碍检查(未达到构成其他犯罪的严重程度)",
"在诉讼期间拒不到案、逃跑,或严重违反取保候审规定",
"2年内因酒驾被查获或受行政处罚,或5年内因危险驾驶被定罪或作相对不起诉",
"血液酒精含量达到或超过200mg/100mL,且辨认、控制能力明显削弱"
],
"结果": "存在从重处罚情节"
}
],
"节点": [
{
"名称": "在道路上驾驶机动车",
"提示词": "根据输入的事实,回答被告或犯罪嫌疑人或行为主体是否在道路上驾驶机动车",
"类型": "逻辑"
},
{
"名称": "血液酒精含量",
"提示词": "根据输入的事实,回答机动车驾驶人在造成的交通事故中驾驶时血液酒精含量是多少mg/100ml",
"类型": "数值"
},
{
"名称": "罚金数额初始值",
"提示词": "根据输入的事实,根据醉驾行为、实际损害后果等犯罪情节,综合考虑被告人缴纳罚金的能力,回答给出与主刑相适应的罚金数额初始值为多少元。",
"类型": "数值"
},
{
"名称": "刑期起点初始值",
"提示词": "刑期起点初始值为多少",
"类型": "数值"
}
]
}
(2)任务节点 JSON 文件
节点json内容示例
{
"任务节点": ["宣告的刑期天数"],
"区间任务节点上限(均为数字类型节点)":"宣告罚金数额_上限",
"区间任务节点下限(均为数字类型节点)":"宣告罚金数额_下限"
}
测试用例如下:
1月1日20时28分,张某饮酒后驾驶小型汽车行驶至环城路路口时,被执勤民警当场查获。民警先用酒精检测棒对其初检,仪器报警提示其涉嫌酒驾,随后将张某带至武当山交管大队,使用呼气式酒精检测仪进行检测,结果显示其体内乙醇含量为24mg/100ml。
步骤二:调用大模型
以DeepSeek为例,需先登录其API开放平台(https://platform.deepseek.com),完成账号注册与实名认证后,创建API密钥。由于DeepSeek 目前未提供免费调用额度,使用前需为账户充值(本次测试仅消耗约0.02元)。获取密钥后,将其连同模型地址(https://api.deepseek.com)和模型名称(deepseek-chat)一并填入测试工具的对应字段,即可启用大模型进行法律文本理解与推理。
注意:API 密钥不要泄露,请妥善保管!
| |
|---|
| https://api.deepseek.com |
| deepseek-chat |
| 填入你的 DeepSeek API Key(可在官网申请)
|
下载链接
腾讯微云:https://share.weiyun.com/c4UdsQuQ
密码:rpdmxm
同学们可以根据自己的设备选择win或mac版的测试工具
智慧法治研究所
laiwlab@scu.edu.cn