论不存在事物的阐释
人工智能
2025-11-13 v3
摘要
本文提出了一种用于表示不存在或可能永远不存在的实体信息的框架，例如涉及虚构实体、蓝图、模拟和未来情景的情形。传统方法引入“虚拟实例”或依赖于模态逻辑受到批评，我们捍卫了一种通过实际类型之间的交集来建模此类情形的方案，而非依赖于具体的不存在令牌。该论文立足于基本形式本体论及其现实主义承诺，强调在实用、可实现的解决方案方面，而非纯粹形而上学或哲学方案的重要性，论者认为，现有方法要么对形而上学假设过度承诺，要么引入计算效率低下，阻碍实际应用。通过发展一种以结构化本体为驱动的 unreal 模式方法，本文旨在提供一种实用且计算可行的手段，用于处理对假设性或不存在实体的引用。
引用
@article{arxiv.2506.06284,
title = {About the Unreal},
author = {John Beverley and Jim Logan and Barry Smith},
journal= {arXiv preprint arXiv:2506.06284},
year = {2025}
}