{"id":"https://openalex.org/W4414360707","doi":"https://doi.org/10.24963/ijcai.2025/15","title":"Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments","display_name":"Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360707","doi":"https://doi.org/10.24963/ijcai.2025/15"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/15","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019701853","display_name":"Wojciech Jamroga","orcid":"https://orcid.org/0000-0001-6340-8845"},"institutions":[{"id":"https://openalex.org/I3019271933","display_name":"Nicolaus Copernicus University","ror":"https://ror.org/0102mm775","country_code":"PL","type":"education","lineage":["https://openalex.org/I3019271933"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"government","lineage":["https://openalex.org/I99542240"]}],"countries":["CZ","PL"],"is_corresponding":true,"raw_author_name":"Wojciech Jamroga","raw_affiliation_strings":["Institute of Computer Science Polish Academy of Sciences","Nicolas Copernicus University, Toru\u0144"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Polish Academy of Sciences","institution_ids":["https://openalex.org/I4210155092","https://openalex.org/I99542240"]},{"raw_affiliation_string":"Nicolas Copernicus University, Toru\u0144","institution_ids":["https://openalex.org/I3019271933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053224455","display_name":"Micha\u0142 Tomasz Godziszewski","orcid":"https://orcid.org/0000-0002-3907-2242"},"institutions":[{"id":"https://openalex.org/I34250744","display_name":"University of \u0141\u00f3d\u017a","ror":"https://ror.org/05cq64r17","country_code":"PL","type":"education","lineage":["https://openalex.org/I34250744"]},{"id":"https://openalex.org/I4210128738","display_name":"Samsung (Poland)","ror":"https://ror.org/0381acm07","country_code":"PL","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210128738"]},{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT","PL"],"is_corresponding":false,"raw_author_name":"Micha\u0142 Tomasz Godziszewski","raw_affiliation_strings":["Samsung AI Center, Warsaw","University of Lodz","Universit\u00e0 degli Studi di Napoli Federico II"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Samsung AI Center, Warsaw","institution_ids":["https://openalex.org/I4210128738"]},{"raw_affiliation_string":"University of Lodz","institution_ids":["https://openalex.org/I34250744"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019701853"],"corresponding_institution_ids":["https://openalex.org/I3019271933","https://openalex.org/I4210155092","https://openalex.org/I99542240"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.276605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"126","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.7556999921798706,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.7556999921798706,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.784600019454956},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.5231000185012817},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5139999985694885},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.47780001163482666},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.44920000433921814},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.42160001397132874},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.40220001339912415},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.3971000015735626},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.38940000534057617}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.784600019454956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.644599974155426},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.5231000185012817},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5139999985694885},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.47780001163482666},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.44920000433921814},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.42160001397132874},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39989998936653137},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3971000015735626},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.38940000534057617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3831000030040741},{"id":"https://openalex.org/C137912672","wikidata":"https://www.wikidata.org/wiki/Q1967096","display_name":"Possibility theory","level":4,"score":0.35839998722076416},{"id":"https://openalex.org/C113839178","wikidata":"https://www.wikidata.org/wiki/Q7631418","display_name":"Subjective logic","level":3,"score":0.3276999890804291},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.26249998807907104},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2623000144958496},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/15","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Multi-agent":[0],"systems":[1,203],"(MAS)":[2],"often":[3,64],"include":[4],"multiple":[5],"layers":[6],"of":[7,26,32,69,89,112,183,189,196,219,226,239,249],"uncertainty.":[8],"One":[9],"source":[10],"comes":[11],"from":[12,23],"agents'":[13,53,184,216],"limited":[14],"ability":[15,54],"to":[16,55,117,127,145,243],"observe":[17],"their":[18,57,129,220,244],"environment,":[19],"while":[20],"another":[21],"arises":[22],"the":[24,30,52,67,110,113,142,149,181,187,215,223,234],"unpredictability":[25],"natural":[27],"events":[28],"and":[29,207,222,236,247],"actions":[31],"other":[33],"agents,":[34,60],"which,":[35],"though":[36],"uncertain,":[37],"can":[38,82],"be":[39,83,155],"estimated":[40],"through":[41],"experiments":[42],"or":[43,71,98,136],"past":[44],"experiences.":[45],"A":[46,122,132,147,153],"central":[47],"focus":[48],"in":[49,139],"MAS":[50],"is":[51,115,144],"achieve":[56,118],"goals.For":[58],"intelligent":[59],"these":[61],"goals":[62],"are":[63],"epistemic,":[65],"involving":[66],"acquisition":[68],"partial":[70,217],"complete":[72],"knowledge":[73,96],"about":[74,121,131,152,192],"a":[75,158,168,190,193],"crucial":[76],"fact":[77],"A.":[78],"Many":[79],"such":[80,163],"properties":[81],"expressed":[84],"using":[85],"PATLK,":[86],"an":[87],"extension":[88],"probabilistic":[90,104,208],"alternating-time":[91],"temporal":[92],"logic":[93,169,179],"(PATL)":[94],"with":[95,103,172,204,241],"operators,":[97],"PATLC":[99],"that":[100],"extends":[101],"PATL":[102,171,240],"beliefs.":[105],"In":[106],"many":[107],"scenarios,":[108],"however,":[109],"goal":[111,143],"players":[114],"not":[116],"high":[119],"confidence":[120],"being":[123],"true,":[124],"but":[125],"rather":[126],"reduce":[128],"uncertainty":[130,151,188],"(be":[133],"it":[134,200],"true":[135],"false).":[137],"Similarly,":[138],"scenarios":[140],"where":[141],"keep":[146],"secret,":[148],"outsiders'":[150],"should":[154],"maintained":[156],"above":[157],"certain":[159],"threshold.":[160],"To":[161],"capture":[162],"properties,":[164],"we":[165,232],"introduce":[166],"PATLH,":[167],"extending":[170],"information-theoretic":[173,237],"modalities":[174],"based":[175],"on":[176],"Shannon":[177],"entropy.The":[178],"enables":[180],"specification":[182],"capabilities":[185],"concerning":[186],"player":[191],"given":[194],"set":[195],"facts.":[197],"We":[198],"define":[199],"over":[201],"multi-agent":[202],"stochastic":[205,224],"transitions":[206],"imperfect":[209],"information,":[210],"capturing":[211],"two":[212],"key":[213],"uncertainties:":[214],"observability":[218],"environment":[221],"nature":[225],"state":[227],"transitions.":[228],"As":[229],"technical":[230],"results,":[231],"compare":[233],"epistemic":[235],"extensions":[238],"respect":[242],"expressiveness,":[245],"succinctness,":[246],"complexity":[248],"model":[250],"checking.":[251]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}