Partial Awareness
Authors: Joseph Y. Halpern, Evan Piermont2851-2858
AAAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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. |
| Researcher Affiliation | Academia | Joseph Y. Halpern Computer Science Department Cornell University halpern@cs.cornell.edu Evan Piermont Economics Department Royal Holloway, University of London evan.piermont@rhul.ac.uk |
| Pseudocode | No | The paper describes a logical system and its properties but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any information or links regarding open-source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and does not involve training on datasets; therefore, no information about public dataset availability is provided. |
| Dataset Splits | No | The paper is theoretical and does not involve experimental validation on datasets; therefore, no information about dataset splits for validation is provided. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments, thus no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not describe any computational experiments, thus no software dependencies with version numbers are listed. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setups or hyperparameters. |