实体 Hansson-Lewis

Hansson-Lewis

PulseAugur coverage of Hansson-Lewis — every cluster mentioning Hansson-Lewis across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_11715 · May 1 · 04:00

AI研究人员提出新的可撤销条件义务逻辑

本文在基于偏好的义务逻辑语义基础上，引入了一个新颖的两层语义框架来模拟可撤销条件义务。它整合了非单调推理机制，允许在出现新信息时撤销义务。该框架利用了两种不同的排序：理想性和常态性，以解决先前方法的局限性，并建立了与约束输入/输出（I/O）逻辑的联系。