{"id":"https://openalex.org/W4417034264","doi":"https://doi.org/10.48550/arxiv.2512.03931","title":"Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties","display_name":"Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties","publication_year":2025,"publication_date":"2025-12-03","ids":{"openalex":"https://openalex.org/W4417034264","doi":"https://doi.org/10.48550/arxiv.2512.03931"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2512.03931","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.03931","pdf_url":"https://arxiv.org/pdf/2512.03931","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2512.03931","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017655400","display_name":"Vineel Tummala","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tummala, Vineel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5022062603","display_name":"Daniela Inclezan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Inclezan, Daniela","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017655400"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9352999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9352999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.05739999935030937,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.0010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.604200005531311},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5644999742507935},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.47380000352859497},{"id":"https://openalex.org/keywords/authorization","display_name":"Authorization","score":0.46939998865127563},{"id":"https://openalex.org/keywords/obligation","display_name":"Obligation","score":0.38909998536109924},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.3880000114440918},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.38600000739097595}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.697700023651123},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.604200005531311},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5644999742507935},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.47380000352859497},{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.46939998865127563},{"id":"https://openalex.org/C2778447849","wikidata":"https://www.wikidata.org/wiki/Q2648051","display_name":"Obligation","level":2,"score":0.38909998536109924},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.38600000739097595},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35339999198913574},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3411000072956085},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3370000123977661},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C123587114","wikidata":"https://www.wikidata.org/wiki/Q2101508","display_name":"Policy analysis","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2512.03931","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.03931","pdf_url":"https://arxiv.org/pdf/2512.03931","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2512.03931","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.03931","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2512.03931","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.03931","pdf_url":"https://arxiv.org/pdf/2512.03931","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4417034264.pdf","grobid_xml":"https://content.openalex.org/works/W4417034264.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3],"logic":[4],"programming-based":[5],"framework":[6,59,158],"for":[7,17,79,91,148,179],"policy-aware":[8],"autonomous":[9,181],"agents":[10],"that":[11,156,162],"can":[12,50],"reason":[13],"about":[14],"potential":[15,178],"penalties":[16,72],"non-compliance":[18],"and":[19,62,65,73,94,102,111,141,183,191],"act":[20],"accordingly.":[21],"While":[22],"prior":[23],"work":[24,108],"has":[25],"primarily":[26],"focused":[27],"on":[28,106],"ensuring":[29],"compliance,":[30],"our":[31,85,157],"approach":[32],"considers":[33],"scenarios":[34],"where":[35],"deviating":[36],"from":[37,135],"policies":[38],"may":[39],"be":[40],"necessary":[41],"to":[42,70,82,117,146],"achieve":[43],"high-stakes":[44],"goals.":[45],"Additionally,":[46],"modeling":[47],"non-compliant":[48,120],"behavior":[49],"assist":[51],"policymakers":[52],"by":[53,97],"simulating":[54],"realistic":[55],"human":[56],"decision-making.":[57],"Our":[58],"extends":[60],"Gelfond":[61],"Lobo's":[63],"Authorization":[64],"Obligation":[66],"Policy":[67],"Language":[68],"(AOPL)":[69],"incorporate":[71],"integrates":[74],"Answer":[75],"Set":[76],"Programming":[77,195],"(ASP)":[78],"reasoning.":[80],"Compared":[81],"previous":[83],"approaches,":[84],"method":[86],"ensures":[87],"well-formed":[88],"policies,":[89],"accounts":[90],"policy":[92,185],"priorities,":[93],"enhances":[95],"explainability":[96],"explicitly":[98],"identifying":[99],"rule":[100],"violations":[101],"their":[103],"consequences.":[104],"Building":[105],"the":[107,136],"of":[109,193],"Harders":[110],"Inclezan,":[112],"we":[113,130],"introduce":[114],"penalty-based":[115],"reasoning":[116],"distinguish":[118],"between":[119],"plans,":[121],"prioritizing":[122],"those":[123],"with":[124],"minimal":[125],"repercussions.":[126],"To":[127],"support":[128],"this,":[129],"develop":[131],"an":[132],"automated":[133],"translation":[134],"extended":[137],"AOPL":[138],"into":[139],"ASP":[140],"refine":[142],"ASP-based":[143],"planning":[144],"algorithms":[145],"account":[147],"incurred":[149],"penalties.":[150],"Experiments":[151],"in":[152,167,189],"two":[153],"domains":[154],"demonstrate":[155],"generates":[159],"higher-quality":[160],"plans":[161],"avoid":[163],"harmful":[164],"actions":[165],"while,":[166],"some":[168],"cases,":[169],"also":[170],"improving":[171],"computational":[172],"efficiency.":[173],"These":[174],"findings":[175],"underscore":[176],"its":[177],"enhancing":[180],"decision-making":[182],"informing":[184],"refinement.":[186],"Under":[187],"consideration":[188],"Theory":[190],"Practice":[192],"Logic":[194],"(TPLP).":[196]},"counts_by_year":[],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-12-05T00:00:00"}