{"id":"https://openalex.org/W4398199869","doi":"https://doi.org/10.1109/tcyb.2024.3394316","title":"Declarative Logic-Based Pareto-Optimal Agent Decision Making","display_name":"Declarative Logic-Based Pareto-Optimal Agent Decision Making","publication_year":2024,"publication_date":"2024-05-22","ids":{"openalex":"https://openalex.org/W4398199869","doi":"https://doi.org/10.1109/tcyb.2024.3394316","pmid":"https://pubmed.ncbi.nlm.nih.gov/38776192"},"language":"en","primary_location":{"id":"doi:10.1109/tcyb.2024.3394316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2024.3394316","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Cybernetics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5092346064","display_name":"Tonmoay Deb","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tonmoay Deb","raw_affiliation_strings":["Department of Computer Science, Northwestern University, Evanston, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078611097","display_name":"Mingi Jeong","orcid":"https://orcid.org/0000-0002-9097-6343"},"institutions":[{"id":"https://openalex.org/I107672454","display_name":"Dartmouth College","ror":"https://ror.org/049s0rh22","country_code":"US","type":"education","lineage":["https://openalex.org/I107672454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mingi Jeong","raw_affiliation_strings":["Department of Computer Science, Dartmouth College, Hanover, NH, USA"],"raw_orcid":"https://orcid.org/0000-0002-9097-6343","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Dartmouth College, Hanover, NH, USA","institution_ids":["https://openalex.org/I107672454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039727555","display_name":"Cristian Molinaro","orcid":"https://orcid.org/0000-0003-4103-1084"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cristian Molinaro","raw_affiliation_strings":["DIMES, University of Calabria, Arcavacata, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4103-1084","affiliations":[{"raw_affiliation_string":"DIMES, University of Calabria, Arcavacata, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061876852","display_name":"Andrea Pugliese","orcid":"https://orcid.org/0000-0003-4385-958X"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Pugliese","raw_affiliation_strings":["DIMES, University of Calabria, Arcavacata, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4385-958X","affiliations":[{"raw_affiliation_string":"DIMES, University of Calabria, Arcavacata, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077241133","display_name":"Alberto Quattrini Li","orcid":"https://orcid.org/0000-0002-4094-9793"},"institutions":[{"id":"https://openalex.org/I107672454","display_name":"Dartmouth College","ror":"https://ror.org/049s0rh22","country_code":"US","type":"education","lineage":["https://openalex.org/I107672454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alberto Quattrini Li","raw_affiliation_strings":["Department of Computer Science, Dartmouth College, Hanover, NH, USA"],"raw_orcid":"https://orcid.org/0000-0002-4094-9793","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Dartmouth College, Hanover, NH, USA","institution_ids":["https://openalex.org/I107672454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054636708","display_name":"Eugene Santos","orcid":"https://orcid.org/0000-0003-2923-5113"},"institutions":[{"id":"https://openalex.org/I107672454","display_name":"Dartmouth College","ror":"https://ror.org/049s0rh22","country_code":"US","type":"education","lineage":["https://openalex.org/I107672454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eugene Santos","raw_affiliation_strings":["Thayer School of Engineering, Dartmouth College, Hanover, NH, USA"],"raw_orcid":"https://orcid.org/0000-0003-2923-5113","affiliations":[{"raw_affiliation_string":"Thayer School of Engineering, Dartmouth College, Hanover, NH, USA","institution_ids":["https://openalex.org/I107672454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038645035","display_name":"V. S. Subrahmanian","orcid":"https://orcid.org/0000-0001-7191-0296"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. S. Subrahmanian","raw_affiliation_strings":["Department of Computer Science, Northwestern University, Evanston, IL, USA"],"raw_orcid":"https://orcid.org/0000-0001-7191-0296","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100629118","display_name":"Youzhi Zhang","orcid":"https://orcid.org/0000-0002-2984-734X"},"institutions":[{"id":"https://openalex.org/I4210121405","display_name":"Centre for Artificial Intelligence and Robotics","ror":"https://ror.org/01xnbq218","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210121405","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Youzhi Zhang","raw_affiliation_strings":["Centre for Artificial Intelligence and Robotics and Hong Kong Institute of Science and Innovation, Chinese Academy of Science, Hong Kong, China","Centre for Artificial Intelligence and Robotics and Hong Kong Institute of Science and Innovation, Chinese Academy of Science, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-2984-734X","affiliations":[{"raw_affiliation_string":"Centre for Artificial Intelligence and Robotics and Hong Kong Institute of Science and Innovation, Chinese Academy of Science, Hong Kong, China","institution_ids":["https://openalex.org/I4210121405"]},{"raw_affiliation_string":"Centre for Artificial Intelligence and Robotics and Hong Kong Institute of Science and Innovation, Chinese Academy of Science, Hong Kong, Hong Kong","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05065053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"54","issue":"12","first_page":"7147","last_page":"7162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8007000088691711,"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.8007000088691711,"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/pareto-principle","display_name":"Pareto principle","score":0.660669207572937},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5552852153778076},{"id":"https://openalex.org/keywords/pareto-optimal","display_name":"Pareto optimal","score":0.4806046187877655},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3209439218044281},{"id":"https://openalex.org/keywords/multi-objective-optimization","display_name":"Multi-objective optimization","score":0.27174118161201477},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24077287316322327},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12850117683410645}],"concepts":[{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.660669207572937},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552852153778076},{"id":"https://openalex.org/C2986314615","wikidata":"https://www.wikidata.org/wiki/Q36829","display_name":"Pareto optimal","level":3,"score":0.4806046187877655},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3209439218044281},{"id":"https://openalex.org/C68781425","wikidata":"https://www.wikidata.org/wiki/Q2052203","display_name":"Multi-objective optimization","level":2,"score":0.27174118161201477},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24077287316322327},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12850117683410645}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcyb.2024.3394316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2024.3394316","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Cybernetics","raw_type":"journal-article"},{"id":"pmid:38776192","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/38776192","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on cybernetics","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6664005756","display_name":null,"funder_award_id":"FA9550-20-1-0032","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W89775240","https://openalex.org/W1490214494","https://openalex.org/W1510419772","https://openalex.org/W1529922896","https://openalex.org/W1551909346","https://openalex.org/W1553373771","https://openalex.org/W1556683867","https://openalex.org/W1592819909","https://openalex.org/W1608309740","https://openalex.org/W1964570885","https://openalex.org/W1987578121","https://openalex.org/W2022485595","https://openalex.org/W2026964753","https://openalex.org/W2033831135","https://openalex.org/W2040475127","https://openalex.org/W2068512292","https://openalex.org/W2070196774","https://openalex.org/W2074154477","https://openalex.org/W2086502731","https://openalex.org/W2095109773","https://openalex.org/W2116130489","https://openalex.org/W2130175678","https://openalex.org/W2143381319","https://openalex.org/W2156530142","https://openalex.org/W2158003279","https://openalex.org/W2171707538","https://openalex.org/W2174847907","https://openalex.org/W2294903580","https://openalex.org/W2569836025","https://openalex.org/W3026407107","https://openalex.org/W3100829966","https://openalex.org/W3123270512","https://openalex.org/W3154925836","https://openalex.org/W3169726339","https://openalex.org/W3194758746","https://openalex.org/W3194983738","https://openalex.org/W3203702125","https://openalex.org/W4206756129","https://openalex.org/W4224118916","https://openalex.org/W4226028973","https://openalex.org/W4232308400","https://openalex.org/W4302557773","https://openalex.org/W4323304763","https://openalex.org/W4379011657","https://openalex.org/W6630781396","https://openalex.org/W6796985147","https://openalex.org/W6843015873"],"related_works":["https://openalex.org/W1963790170","https://openalex.org/W2073298047","https://openalex.org/W2033790662","https://openalex.org/W2586328217","https://openalex.org/W2049264236","https://openalex.org/W2080708212","https://openalex.org/W2337862504","https://openalex.org/W2043126582","https://openalex.org/W317165722","https://openalex.org/W2728870795"],"abstract_inverted_index":{"There":[0],"are":[1,127],"many":[2,10,80],"applications":[3],"where":[4],"an":[5,66,113],"autonomous":[6],"agent":[7,67],"can":[8],"perform":[9],"sets":[11],"of":[12,19,46,54,93,145],"actions.":[13],"It":[14],"must":[15],"choose":[16,70],"one":[17,71],"set":[18,50,53,105],"actions":[20,55],"based":[21],"on":[22,26],"some":[23],"behavioral":[24],"constraints":[25,39],"the":[27,44,90,124,143],"agent.":[28],"Past":[29],"work":[30],"has":[31],"used":[32],"deontic":[33],"logic":[34],"to":[35,69,74,84,115,141,153],"declaratively":[36],"express":[37],"such":[38],"in":[40,72,120],"logic,":[41],"and":[42,65,119,148],"developed":[43],"concept":[45,92],"a":[47,52,103,107,117],"feasible":[48],"status":[49,86,104],"(FSS),":[51],"that":[56,100],"satisfy":[57],"these":[58],"constraints.":[59],"However,":[60],"multiple":[61,155],"FSSs":[62,95],"may":[63,78],"exist":[64],"needs":[68],"order":[73],"act.":[75],"As":[76],"there":[77],"be":[79],"different":[81],"objective":[82,125],"functions":[83,126],"evaluate":[85],"sets,":[87],"we":[88,131,138,149],"propose":[89],"novel":[91],"Pareto-optimal":[94,156],"or":[96],"POSS.":[97],"We":[98,111],"show":[99,142],"checking":[101],"if":[102],"is":[106,109],"POSS":[108,118],"co-NP-hard.":[110],"develop":[112,133],"algorithm":[114],"find":[116],"special":[121],"cases":[122],"when":[123],"monotonic":[128],"(or":[129],"anti-monotonic),":[130],"further":[132],"more":[134],"efficient":[135],"algorithms.":[136],"Finally,":[137],"conduct":[139],"experiments":[140],"efficacy":[144],"our":[146],"approach":[147],"discuss":[150],"possible":[151],"ways":[152],"handle":[154],"Status":[157],"Sets.":[158]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}