@article{GLADYSHEV2024_InfComp,title={Reasoning About Group Responsibility for Exceeding Risk Threshold in One-Shot Games},journal={Information and Computation},volume={303},pages={105257},year={2024},issn={0890-5401},doi={https://doi.org/10.1016/j.ic.2024.105257},url={https://www.sciencedirect.com/science/article/pii/S0890540124001226},author={Gladyshev, Maksim and Alechina, Natasha and Dastani, Mehdi and Doder, Dragan},keywords={Responsibility, Coalition logic, Probabilistic logic, Reasoning about risk},}
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
Vitaliy Dolgorukov, Rustam Galimullin, and Maksim Gladyshev
In AAMAS ’24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems 2024
@inproceedings{dolgorukov2024dynamic,title={Dynamic Epistemic Logic of Resource Bounded Information Mining Agents},author={Dolgorukov, Vitaliy and Galimullin, Rustam and Gladyshev, Maksim},year={2024},booktitle={{AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems}},}
2023
Dynamic Causality
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, and Brian Logan
In Proceedings of the 26th European Conference on Artificial Intelligence 2023
@inproceedings{Gladyshev_ECAI2023,title={Dynamic Causality},author={Gladyshev, Maksim and Alechina, Natasha and Dastani, Mehdi and Doder, Dragan and Logan, Brian},booktitle={Proceedings of the 26th European Conference on Artificial Intelligence},pages={867--874},year={2023},doi={10.3233/FAIA230355},url={https://ebooks.iospress.nl/volumearticle/64287},}
Group Responsibility for Exceeding Risk Threshold
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, and Dragan Doder
In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning 2023
@inproceedings{KR2023-32,title={{Group Responsibility for Exceeding Risk Threshold}},author={Gladyshev, Maksim and Alechina, Natasha and Dastani, Mehdi and Doder, Dragan},booktitle={{Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning}},pages={322--332},year={2023},doi={10.24963/kr.2023/32},url={https://doi.org/10.24963/kr.2023/32},}
Dynamics of Causal Dependencies in Multi-agent Settings
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, and Dragan Doder
In this paper we discuss how causal models can be used for modeling multi-agent interaction in complex organizational settings, where agents’ decisions may depend on other agents’ decisions as well as the environment. We demonstrate how to reason about the dynamics of such models using concurrent game structures where agents can change the organisational setting and thereby their decision dependencies. In such concurrent game structure, agents can choose to modify their reactions on other agents’ decisions and on the environment by intervening on their part of a causal model. We propose a generalized notion of interventions in causal models that allow us to model and reason about the dynamics of agents’ dependencies in a multi-agent system. Finally, we discuss how to model uncertainty and reason about agents’ responsibility concerning their dependencies and thereby their choices.
@inproceedings{Gladyshev_EMAS2023,author={Gladyshev, Maksim and Alechina, Natasha and Dastani, Mehdi and Doder, Dragan},editor={Ciortea, Andrei and Dastani, Mehdi and Luo, Jieting},title={Dynamics of Causal Dependencies in Multi-agent Settings},booktitle={Engineering Multi-Agent Systems},year={2023},publisher={Springer Nature Switzerland},address={Cham},pages={95--112},isbn={978-3-031-48539-8},}
Dynamic Epistemic Logic for Budget-Constrained Agents
Vitaliy Dolgorukov, and Maksim Gladyshev
In Dynamic Logic. New Trends and Applications 2023
We present a static (}}\backslashtextsf{EL}_{\backslashtextsf{bc}}}}) and dynamic (}}\backslashtextsf{DEL}_{\backslashtextsf{bc}}}}) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. }}\backslashtextsf{EL}_{\backslashtextsf{bc}}}}extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. }}\backslashtextsf{DEL}_{\backslashtextsf{bc}}}}extends }}\backslashtextsf{EL}_{\backslashtextsf{bc}}}}with dynamic modality “}}[?_i A]\backslashvarphi }}” which reads as “}}\backslashvarphi }} holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for }}\backslashtextsf{EL}_{\backslashtextsf{bc}}}}and }}\backslashtextsf{DEL}_{\backslashtextsf{bc}}}}and show that both logics are decidable.
@inproceedings{10.1007/978-3-031-26622-5_4,author={Dolgorukov, Vitaliy and Gladyshev, Maksim},editor={Areces, Carlos and Costa, Diana},title={Dynamic Epistemic Logic for Budget-Constrained Agents},booktitle={Dynamic Logic. New Trends and Applications},year={2023},publisher={Springer International Publishing},address={Cham},pages={56--72},isbn={978-3-031-26622-5},}