Strengthening Agents Strategic Ability with Communication
Authors: Xiaowei Huang, Qingliang Chen, Kaile Su
AAAI 2016 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Several communication operators are proposed to work with an epistemic strategy logic ATLK. The complexity of model checking resulting logics is studied, and surprisingly, we found that the additional expressiveness from the communication operators comes for free. [...] We analyse the complexity of model checking logics presented in the previous sections. The model checking problem is measured over the number of variables Var, the number of local actions Acts, and the number of operators in φ. [...] Theorem 1 Model checking ATLK is NEXP-complete for a multi-agent system of succinct and symbolic representation. [...] Theorem 2 Model checking ATLKtc is NEXP-complete. [...] Theorem 3 Model checking ATLKfc is NEXP-complete. |
| Researcher Affiliation | Academia | Xiaowei Huang Jinan University, China University of Oxford, UK Qingliang Chen Jinan University, Guangzhou 510632, China Kaile Su Jinan University, China IIIS, Griffith University, Australia |
| Pseudocode | No | The paper does not contain any pseudocode or algorithm blocks. It defines logical systems and analyzes their properties. |
| Open Source Code | No | The paper does not provide any concrete access information (e.g., specific repository link, explicit statement of code release) for open-source code related to the methodology described. |
| Open Datasets | No | The paper does not describe any experiments that involve training on a dataset. The examples are illustrative and not part of an empirical evaluation. |
| Dataset Splits | No | The paper does not mention using a validation dataset or specific validation splits. The paper is theoretical. |
| Hardware Specification | No | The paper does not specify any hardware used for running experiments. The paper is theoretical in nature and does not report on empirical experiments. |
| Software Dependencies | No | The paper does not specify any software dependencies with version numbers. The paper focuses on theoretical logical frameworks and complexity analysis. |
| Experiment Setup | No | The paper does not provide details about an experimental setup, such as hyperparameters or training configurations, as it is a theoretical paper focusing on logical frameworks and complexity analysis rather than empirical experiments. |