大模型对齐与安全

A Logic of Inability

无法能力的逻辑

Shanxia Wang

专题命中 其他安全 ：safety(abstract)

AI总结 本文提出一种扩展的联盟逻辑，引入明确的无法能力算子，用于研究能力的模态概念，证明了其正确性、完备性和保守性，并分析了其模态行为。

Comments Preliminary draft, comments and feedback are welcome

Crowd Dynamics in Historical Perspective: Reframing the Amritsar Massacre through Agent-Based Modelling and Social Psychology

从历史视角看人群动态：通过基于代理建模和社会心理学重新审视阿姆利则大屠杀

Mohcine Chraibi, Krisztina Konya, Ezel Üsten

专题命中 其他安全 ：safety(abstract)

AI总结 本文通过基于代理建模和社会心理学重新审视阿姆利则大屠杀，揭示人群作为现象的物理与社会心理动态，指出即使在保守的物理假设下，模拟结果仍高于官方死亡人数，强调跨学科建模对历史责任和当前人群安全的重要性。

Comments 28 pages, 5 figures