人工智能逻辑 课件 第13章 规范与伦理推理.pptx

第13章规范与伦理推理;第13章规范与伦理推理;道义逻辑的应用领域;13.1规范概念的逻辑刻画;道义模态算子;自动驾驶的推理规则;结合障碍物检测的扩展规则;道义模态算子的作用;决策灵活性;违背规范;例36：传感器误判导致的违规;违约的预防与补救;13.2标准道义逻辑系统;算子的直观理解;定义81：SDL模型;义务算子的语义解释;许可算子的语义解释;持续性条件;D公理;D公理的道义解释;持续性排除义务冲突;持续性的重要意义;义务集合的共同可满足性;规范体系一致性原则;K公理;SDL的局限性;应当蕴涵能行原则;自动驾驶中的可行性要求;13.3应用中的规范性问题与道义逻辑系统的扩展;传统道