{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/analyzing-intentional-behavior-in-autonomous","title":"Analyzing Intentional Behavior in Autonomous Agents under Uncertainty","arxiv_id":"2307.01532","date":"2023-07-04","proceeding":null,"authors":["Filip Cano Córdoba","Samuel Judson","Timos Antonopoulos","Katrine Bjørner","Nicholas Shoemaker","Scott J. Shapiro","Ruzica Piskac","Bettina Könighofer"],"abstract":"Principled accountability for autonomous decision-making in uncertain environments requires distinguishing intentional outcomes from negligent designs from actual accidents. We propose analyzing the behavior of autonomous agents through a quantitative measure of the evidence of intentional behavior. We model an uncertain environment as a Markov Decision Process (MDP). For a given scenario, we rely on probabilistic model checking to compute the ability of the agent to influence reaching a certain event. We call this the scope of agency. We say that there is evidence of intentional behavior if the scope of agency is high and the decisions of the agent are close to being optimal for reaching the event. Our method applies counterfactual reasoning to automatically generate relevant scenarios that can be analyzed to increase the confidence of our assessment. In a case study, we show how our method can distinguish between 'intentional' and 'accidental' traffic collisions.","url_abs":"https://arxiv.org/abs/2307.01532v1","url_pdf":"https://arxiv.org/pdf/2307.01532v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"analyzing-intentional-behavior-in-autonomous","repo_url":"https://github.com/filipcano/intentional-autonomous-agents","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[{"task_slug":"counterfactual-reasoning","task_name":"Counterfactual Reasoning"},{"task_slug":"decision-making","task_name":"Decision Making"},{"task_slug":null,"task_name":"counterfactual"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2307.01532","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2307.01532"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"deterministic:regex_extraction","url":"https://github.com/filipcano/intentional-autonomous-agents","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"unverified":7},"by_repo_kind":{"official":{"samples":7,"ran":0,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"c4b6a3bae5230a18","entry":"analyse_one_trace","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"countefactual_evaluation_paper.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/countefactual_evaluation_paper.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"c4b6a3bae5230a18"}},{"code_sha256_prefix":"4de8122eb0e8e45d","entry":"getProbs","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"graph_generator.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/graph_generator.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"4de8122eb0e8e45d"}},{"code_sha256_prefix":"3debc495183a56a9","entry":"load_path","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"prism_runner.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/prism_runner.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"3debc495183a56a9"}},{"code_sha256_prefix":"fabcfb1183832b3f","entry":"main","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"trace_convert.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/trace_convert.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"fabcfb1183832b3f"}},{"code_sha256_prefix":"a6512c6633e70d0f","entry":"nice_parenthesis","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"strat_generator.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/strat_generator.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"a6512c6633e70d0f"}},{"code_sha256_prefix":"91f9c84fada454a4","entry":"parse_params_from_str","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"graph_generator.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/graph_generator.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"91f9c84fada454a4"}},{"code_sha256_prefix":"d069c757969daeea","entry":"within_range","repo":"filipcano/intentional-autonomous-agents","repo_kind":"official","path":"prism_runner.py","file_url":"https://github.com/filipcano/intentional-autonomous-agents/blob/HEAD/prism_runner.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d069c757969daeea"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}