部分意识
Partial Awareness
摘要：
我们开发了一种模态逻辑来捕获部分意识。该逻辑有三个构建块：对象、属性和概念。属性是对象上的一元谓词;概念是属性的布尔组合。如果一个主体意识到了一个概念，但不知道定义它的属性，我们就认为她部分地意识到了这个概念，这种逻辑允许对对象和属性进行量化，这样主体就可以对自己的不意识进行推理。然后，我们将逻辑应用于合同，我们将其视为句法对象，根据公式的真实性决定结果。我们发现，当代理不知道一些相关的属性，引用的概念，代理只有部分知道，可以提高福利。
英文摘要：
We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts are Boolean combinations of properties. We take an agent to be partially aware of a concept if she is aware of the concept without being aware of the properties that define it. The logic allows for quantification over objects and properties, so that the agent can reason about her own unawareness. We then apply the logic to contracts, which we view as syntactic objects that dictate outcomes based on the truth of formulas. We show that when agents are unaware of some relevant properties, referencing concepts that agents are only partially aware of can improve welfare.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
