用逻辑与非单调推理，帮自动驾驶设计跨境合规
Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning
- 基于论证理论构建法律推理逻辑框架
- 用自然数偏序表达法规优先级，支持动态调整
- 适用于跨国自动驾驶设计的法律适应性分析
本文聚焦自动驾驶在跨境场景下的法律合规挑战，从设计者视角出发，提供设计过程中的法律推理支持。基于论证理论，提出一种表示基于论证的实践性（规范性）推理基本属性的逻辑系统，并利用自然数的偏序集表达法规优先级。通过法律文本案例分析，验证该推理系统可帮助设计者更灵活地调整设计方案以适应跨境应用，并更清晰理解决策的法律含义。
原文摘要 · Abstract (English)
This paper focuses on the legal compliance challenges of autonomous vehicles in a transnational context. We choose the perspective of designers and try to provide supporting legal reasoning in the design process. Based on argumentation theory, we introduce a logic to represent the basic properties of argument-based practical (normative) reasoning, combined with partial order sets of natural numbers to express priority. Finally, through case analysis of legal texts, we show how the reasoning system we provide can help designers to adapt their design solutions more flexibly in the cross-border application of autonomous vehicles and to more easily understand the legal implications of their decisions.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。