{"type":"ScholarlyArticle","title":"Data-Informed Knowledge and Strategies (Extended Abstract)","authors":[{"name":"Junli Jiang","slug":"junli-jiang","given":"Junli","family":"Jiang","affiliation":"Southwest University , China"},{"name":"Pavel Naumov","slug":"pavel-naumov","given":"Pavel","family":"Naumov","affiliation":"University of Southampton , United Kingdom"}],"abstract":"The article proposes a new approach to reasoning about knowledge and strategies in multiagent systems. It emphasizes data, not agents, as the source of strategic knowledge. The approach brings together Armstrong's functional dependency expression from database theory, a data-informed knowledge modality based on a recent work by Baltag and van Benthem, and a newly proposed data-informed strategy modality. The main technical result is a sound and complete logical system that describes the interplay between these three logical operators.","doi":"10.24963/ijcai.2023/781","url":"https://ijcai.org/proceedings/2023/781","pdf":"https://ijcai.org/proceedings/2023/0781.pdf","markdown":"https://ijcai.org/proceedings/2023/781.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/781","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Journal Track","track":"Journal Track","number":781,"pages":{"first":6910,"last":6914},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about actions","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief"],"videos":[],"references":[{"position":1,"raw":"[Ahmed et al., 2019] Bilal Ahmed, Asad Waqar Malik, Taimur Hafeez, and Nadeem Ahmed. Services and sim- ulation frameworks for vehicular cloud computing: a con- temporary survey. EURASIP Journal on Wireless Commu- nications and Networking, 2019(1):1-21, 2019.","title":"Services and simulation frameworks for vehicular cloud computing: a contemporary survey","authors":"Bilal Ahmed, Asad Waqar Malik, Taimur Hafeez, Nadeem Ahmed","year":"2019","venue":"EURASIP Journal on Wireless Communications and Networking","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Armstrong, 1974] W. W. Armstrong. Dependency struc- tures of data base relationships. In Information Processing 74 (Proc. IFIP Congress, Stockholm, 1974), pages 580- 583. North-Holland, Amsterdam, 1974.","title":"Dependency structures of data base relationships","authors":"W W Armstrong","year":"1974","venue":"Information Processing","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baltag and van Benthem, 2021] Alexandru Baltag and Jo- han van Benthem. A simple logic of functional depen- dence. Journal of Philosophical Logic, 50:1-67, 2021.","title":"Alexandru Baltag and Johan van Benthem. A simple logic of functional dependence","authors":"Van Baltag, Benthem","year":"2021","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Jiang and Naumov, 2022] Junli Jiang and Pavel Naumov. Data-informed knowledge and strategies. Artificial Intelli- gence, 309:103727, 2022.","title":"Data-informed knowledge and strategies","authors":"Junli Jiang, Pavel Naumov","year":"2022","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Pauly, 2001] Marc Pauly. Logic for Social Software. PhD thesis, Institute for Logic, Language, and Computation, 2001.","title":"Logic for Social Software","authors":"Marc Pauly","year":"2001","venue":"Language, and Computation","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Pauly, 2002] Marc Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149-166, 2002.","title":"A modal logic for coalitional power in games","authors":"Marc Pauly","year":"2002","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Zhu et al., 2021] Yifan Zhu, Alexander Smith, and Kris Hauser. Informative path planning for automatic robotic auscultation. In ICRA 2021 Workshop on Impact of COVID-19 on Medical Robotics and Wearables Research, June 2021.","title":"Informative path planning for automatic robotic auscultation","authors":"Yifan Zhu, Alexander Smith, Kris Hauser","year":"2021","venue":"ICRA 2021 Workshop on Impact of COVID-19 on Medical Robotics and Wearables Research","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}