{"id":"https://openalex.org/W4245877774","doi":"https://doi.org/10.1017/s1471068420000472","title":"Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +","display_name":"Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +","publication_year":2020,"publication_date":"2020-12-23","ids":{"openalex":"https://openalex.org/W4245877774","doi":"https://doi.org/10.1017/s1471068420000472"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068420000472","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068420000472","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-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/A5065204186","display_name":"Yi Wang","orcid":"https://orcid.org/0000-0002-5394-5548"},"institutions":[{"id":"https://openalex.org/I4210143601","display_name":"Decision Systems (United States)","ror":"https://ror.org/0434dpa13","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143601"]},{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"YI WANG","raw_affiliation_strings":["School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA (e-mails:","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007742055","display_name":"JOOHYUNG LEE","orcid":"https://orcid.org/0000-0002-9569-5575"},"institutions":[{"id":"https://openalex.org/I4210143601","display_name":"Decision Systems (United States)","ror":"https://ror.org/0434dpa13","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143601"]},{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JOOHYUNG LEE","raw_affiliation_strings":["School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA (e-mails:"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA (e-mails:","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065204186"],"corresponding_institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28669725,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"3","first_page":"348","last_page":"371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9988999962806702,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.998199999332428,"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/computer-science","display_name":"Computer science","score":0.7629210352897644},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.7487789392471313},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6907764673233032},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6225935220718384},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.597248911857605},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5618969202041626},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5414472222328186},{"id":"https://openalex.org/keywords/elaboration","display_name":"Elaboration","score":0.4946276843547821},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.48143643140792847},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4608971178531647},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4586198031902313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4213927686214447},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4146794080734253},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4104844033718109},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3716770112514496},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2872813642024994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21870246529579163},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.163689523935318},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08035367727279663},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06262707710266113}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7629210352897644},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.7487789392471313},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6907764673233032},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6225935220718384},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.597248911857605},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5618969202041626},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5414472222328186},{"id":"https://openalex.org/C2779192218","wikidata":"https://www.wikidata.org/wiki/Q16944486","display_name":"Elaboration","level":2,"score":0.4946276843547821},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.48143643140792847},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4608971178531647},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4586198031902313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4213927686214447},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4146794080734253},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4104844033718109},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3716770112514496},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2872813642024994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21870246529579163},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.163689523935318},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08035367727279663},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06262707710266113},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068420000472","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068420000472","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8100000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W121830907","https://openalex.org/W1563950057","https://openalex.org/W1577827016","https://openalex.org/W1605107773","https://openalex.org/W1800801472","https://openalex.org/W1800916125","https://openalex.org/W1864247448","https://openalex.org/W1993512664","https://openalex.org/W2072046078","https://openalex.org/W2076337359","https://openalex.org/W2089730874","https://openalex.org/W2105869173","https://openalex.org/W2151485489","https://openalex.org/W2154393523","https://openalex.org/W2161403060","https://openalex.org/W2171987376","https://openalex.org/W2518731509","https://openalex.org/W2542981480","https://openalex.org/W2963140518","https://openalex.org/W2963702759","https://openalex.org/W2963709735","https://openalex.org/W2963763958","https://openalex.org/W2964103606","https://openalex.org/W6600339963","https://openalex.org/W6605012689","https://openalex.org/W6637046239","https://openalex.org/W6729062642","https://openalex.org/W6751023098","https://openalex.org/W6775686901"],"related_works":["https://openalex.org/W2360463189","https://openalex.org/W2243483294","https://openalex.org/W2737431228","https://openalex.org/W1981626964","https://openalex.org/W3152809308","https://openalex.org/W2022412634","https://openalex.org/W4238533886","https://openalex.org/W2133995770","https://openalex.org/W2067521059","https://openalex.org/W3135310323"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"extend":[2],"probabilistic":[3,38],"action":[4,91,115],"language":[5,42],"$p{\\cal":[6,22,50,88,112],"BC}$":[7,23,51,89,113],"+":[8,24,52,90,114],"with":[9],"the":[10,20,37,47,97,100],"notion":[11],"of":[12,19,36,49,59,99,110],"utility":[13],"in":[14,57,65,71],"decision":[15,61],"theory.":[16],"The":[17,93],"semantics":[18,48],"extended":[21],"can":[25,53,105],"be":[26,55],"defined":[27,56],"as":[28,78,80],"a":[29,33,72,87,111],"shorthand":[30],"notation":[31],"for":[32,68],"decision-theoretic":[34],"extension":[35],"answer":[39],"set":[40],"programming":[41],"LP":[43],"MLN":[44],".":[45],"Alternatively,":[46],"also":[54],"terms":[58],"Markov":[60],"process":[62],"(MDP),":[63],"which":[64,104],"turn":[66],"allows":[67],"representing":[69],"MDP":[70,83,119],"succinct":[73],"and":[74],"elaboration":[75],"tolerant":[76],"way":[77],"well":[79],"leveraging":[81],"an":[82,107,118],"solver":[84],"to":[85,96],"compute":[86],"description.":[92],"idea":[94],"led":[95],"design":[98],"system":[101],"pbcplus2mdp":[102],",":[103],"find":[106],"optimal":[108],"policy":[109],"description":[116],"using":[117],"solver.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}