{"type":"ScholarlyArticle","title":"Reasoning About Causal Knowledge in Nondeterministic Domains","authors":[{"name":"Shakil M. Khan","slug":"shakil-m-khan","given":"Shakil M.","family":"Khan","affiliation":""},{"name":"Yves Lespérance","slug":"yves-lesperance","given":"Yves","family":"Lespérance","affiliation":""},{"name":"Maryam Rostamigiv","slug":"maryam-rostamigiv","given":"Maryam","family":"Rostamigiv","affiliation":""}],"abstract":"Reasoning about causality and agent causal knowledge is critical for effective decision-making and planning in multi-agent contexts. Previous work in the area generally assumes that the domain is deterministic, but in fact many agents operate in nondeterministic domains where the outcome of their actions depends on unpredictable environment reactions. In this paper, we propose a situation calculus-based framework for reasoning about causal knowledge in nondeterministic domains. In such domains, the agent may not know the environment reactions to her actions and their outcomes, and may be uncertain about which actions caused a condition to come about. But she can perform sensing actions to acquire knowledge about the state and use it to gain knowledge about causes. Our formalization recognizes sensing actions as causes of both physical and epistemic effects. We also examine how regression can be used to reason about causal knowledge.","doi":"10.24963/ijcai.2025/507","url":"https://ijcai.org/proceedings/2025/507","pdf":"https://ijcai.org/proceedings/2025/0507.pdf","markdown":"https://ijcai.org/proceedings/2025/507.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/507","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":507,"pages":{"first":4553,"last":4561},"keywords":["Knowledge Representation and Reasoning: KRR: Causality","Knowledge Representation and Reasoning: KRR: Reasoning about actions","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}