《法律权力-服从关系与住宅建筑的原子化真实本体建模》

### 《法律权力 - 服从关系与住宅建筑的原子化真实本体建模》 #### 法律权力 - 服从关系相关探讨 在法律领域，存在一些明确考虑权力的研究方法。 - **RuleML 倡议**：RuleML 计划通过引入“授权规则”来区分法律权力和许可的概念。不过到目前为止，权力和相关的服从关系尚未被纳入 LegalRuleML 中，该规范中包含了相关的构成性规则概念。 - **Symboleo 语言**：这是一种用于合同的形式化规范语言，合同由义务和权力集合组成。其权力概念定义为一方创建、更改、暂停或消除法律地位的权利，但权力的相关地位（服从）在 Symboleo 中并不明确。而在 UFO - L 中，使用法律关系者模式可以在实例层面指出谁违反了法律权力 - 服从关系。例如，若玛丽不服从维多利亚市征收 IPTU 税的权力，该市可通过强制手段让玛丽服从，实施行政制裁或对她提起法律诉讼。 - **Nòmos2**：将权力定义为在法律系统中对另一主体产生改变的法律能力，另一方会承担相应责任，但相关法律地位不明确。 - **FIBO6**：将法律权力简化为法律能力，即执行某些行动或拥有某些权利以及具备相应资源的能力，这与 UFO - L 中法律许可的定义有重叠。 在此基础上，提出了法律权力 - 服从关系者模式，该模式主要由权力持有者和服从持有者组成，是法律主体在法律关系中扮演的一组角色。与以往的法律关系不同，这种法律关系表明行动持有者通过制度性行动改变、创建或消除服从持有者的法律地位。 为了证明该模式的适用性，对征税的法律权力及衍生的法律关系进行了建模。例如，在财产税法规定 65 岁以上业主免税的情况下，可以表示对 65 岁以下玛丽的房产征收财产税；在紧急情况下，也能为一组业主的房产应用一系列法律许可，且不会给法律系统带来不一致性。只有通过法律关系的三元表示（即明确表示各方和相关对象），才能对这些情况进行正确建模。若使用一元道义运算符，可能会导致表示不明确和不一致的问题。 #### 住宅建筑的原子化真实本体建模 在虚拟环境创建中，内容通常手动创建，耗时且需专业知识，但能满足特定要求。在模拟现实场景的虚拟环境中，背景元素往往缺乏足够的关注。 目前，程序内容生成（PCG）方法用于创建背景元素以增加场景的真实感，但存在一些问题。PCG 方法要么过于简单，只提供基本组件；要么过于复杂，使用时需要大量配置，且在不同领域的可移植性较差。语义方法与 PCG 方法结合的提议，依赖的 PCG 方法较为原始，未考虑语义模型中的所有对象和关系。 ##### 相关研究方法 - **形状语法和立面生成**：形状语法是一