用真实类型交集建模虚构实体，解决不可存在对象的计算表示难题。
About the Unreal
- 以实际类型交集替代虚设实例，构建非存在实体的结构化表示
- 避免哲学假设与计算冗余，提升系统实用性与效率
- 适合需要处理虚构、模拟或未来场景的应用开发
本文提出一种用于表示不存在或可能永远不存在的实体（如虚构角色、蓝图、仿真和未来情景）的信息框架。批判传统方法中使用‘虚拟实例’或依赖模态逻辑的不足，主张通过实际类型的交集来建模此类情况，而非依赖具体不存在的标识符。该框架基于基础形式本体论及其现实主义立场，强调实用且可实现的解决方案，优于纯粹哲学或形而上的提议。现有方法要么过度承诺形而上假设，要么引入计算效率低下问题，阻碍实际应用。本文通过结构化本体驱动的方法，为处理假设性或不存在实体提供可行且高效的手段。
原文摘要 · Abstract (English)
This paper introduces a framework for representing information about entities that do not exist or may never exist, such as those involving fictional entities, blueprints, simulations, and future scenarios. Traditional approaches that introduce "dummy instances" or rely on modal logic are criticized, and a proposal is defended in which such cases are modeled using the intersections of actual types rather than specific non existent tokens. The paper positions itself within the Basic Formal Ontology and its realist commitments, emphasizing the importance of practical, implementable solutions over purely metaphysical or philosophical proposals, arguing that existing approaches to non existent entities either overcommit to metaphysical assumptions or introduce computational inefficiencies that hinder applications. By developing a structured ontology driven approach to unreal patterns, the paper aims to provide a useful and computationally viable means of handling references to hypothetical or non existent entities.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。