{"id":"https://openalex.org/W7137802047","doi":"https://doi.org/10.1609/aaai.v40i3.37155","title":"NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework","display_name":"NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7137802047","doi":"https://doi.org/10.1609/aaai.v40i3.37155"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v40i3.37155","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i3.37155","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v40i3.37155","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5129705646","display_name":"Zihao Deng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zihao Deng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129715885","display_name":"Yijia Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yijia Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129702217","display_name":"Renrui Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Renrui Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025706580","display_name":"Peijun Ye","orcid":"https://orcid.org/0000-0001-9987-9016"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peijun Ye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"3","first_page":"1766","last_page":"1773"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.10090000182390213,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.10090000182390213,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.08299999684095383,"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/T10709","display_name":"Social Robot Interaction and HRI","score":0.08160000294446945,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6559000015258789},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.5820000171661377},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4875999987125397},{"id":"https://openalex.org/keywords/cognitive-model","display_name":"Cognitive model","score":0.4634000062942505},{"id":"https://openalex.org/keywords/rational-analysis","display_name":"Rational analysis","score":0.3905999958515167},{"id":"https://openalex.org/keywords/natural-language-understanding","display_name":"Natural language understanding","score":0.35010001063346863},{"id":"https://openalex.org/keywords/cognitive-robotics","display_name":"Cognitive robotics","score":0.33629998564720154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7649000287055969},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6559000015258789},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.612500011920929},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.5820000171661377},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4875999987125397},{"id":"https://openalex.org/C161407221","wikidata":"https://www.wikidata.org/wiki/Q4382939","display_name":"Cognitive model","level":3,"score":0.4634000062942505},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.42640000581741333},{"id":"https://openalex.org/C191301653","wikidata":"https://www.wikidata.org/wiki/Q17051876","display_name":"Rational analysis","level":3,"score":0.3905999958515167},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.35010001063346863},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3474000096321106},{"id":"https://openalex.org/C192327766","wikidata":"https://www.wikidata.org/wiki/Q1038799","display_name":"Cognitive robotics","level":3,"score":0.33629998564720154},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.3312000036239624},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C2776946740","wikidata":"https://www.wikidata.org/wiki/Q358652","display_name":"Deliberation","level":3,"score":0.29019999504089355},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.257999986410141}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1609/aaai.v40i3.37155","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i3.37155","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:ojs.aaai.org:article/37155","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/37155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i3.37155","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i3.37155","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.624008059501648}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Cognitive":[0],"computing":[1],"models":[2],"offer":[3],"a":[4,26,75,109,197],"formal":[5],"and":[6,13,90,115,147,153,188],"interpretable":[7],"way":[8],"to":[9,122,200],"characterize":[10],"human's":[11],"deliberation":[12],"decision-making,":[14],"yet":[15],"their":[16],"development":[17],"remains":[18],"labor-intensive.":[19],"In":[20],"this":[21],"paper,":[22],"we":[23],"propose":[24],"NL2CA,":[25],"novel":[27,198],"method":[28,56,128],"for":[29],"auto-formalizing":[30],"cognitive":[31,102,110,118,155,190,204],"decision-making":[32],"rules":[33,98],"from":[34,42,162,192],"natural":[35],"language":[36,78],"descriptions":[37],"of":[38,172],"human":[39,62,163],"experience.":[40],"Different":[41],"most":[43],"related":[44],"work":[45],"that":[46,183],"exploits":[47],"either":[48],"pure":[49],"manual":[50],"or":[51],"human-guided":[52],"interactive":[53],"modeling,":[54],"our":[55,138],"is":[57,112,129],"fully":[58],"automated":[59],"without":[60,150],"any":[61],"intervention.":[63],"The":[64],"approach":[65],"first":[66],"translates":[67],"text":[68],"into":[69,95],"Linear":[70],"Temporal":[71],"Logic":[72],"(LTL)":[73],"using":[74],"fine-tuned":[76],"large":[77],"model":[79],"(LLM),":[80],"then":[81],"refines":[82],"the":[83,93,106,123,168],"logic":[84],"via":[85],"an":[86],"unsupervised":[87],"Critic":[88],"Tree,":[89],"finally":[91],"transforms":[92],"output":[94],"executable":[96],"production":[97],"compatible":[99],"with":[100],"symbolic":[101,203],"frameworks.":[103],"Based":[104],"on":[105],"resulted":[107],"rules,":[108],"agent":[111],"further":[113],"constructed":[114,161],"optimized":[116],"through":[117],"reinforcement":[119],"learning":[120],"according":[121],"real-world":[124],"behavioral":[125],"data.":[126],"Our":[127],"validated":[130],"in":[131,176],"two":[132],"domains:":[133],"(1)":[134],"NL-to-LTL":[135],"translation,":[136],"where":[137,158],"CriticNL2LTL":[139],"module":[140],"achieves":[141],"consistent":[142],"performance":[143],"across":[144],"both":[145],"expert":[146],"large-scale":[148],"benchmarks":[149],"human-in-the-loop":[151],"feedbacks,":[152],"(2)":[154],"driving":[156],"simulation,":[157],"agents":[159],"automatically":[160,201],"interviews":[164],"have":[165],"successfully":[166],"learned":[167],"diverse":[169],"decision":[170],"patterns":[171],"about":[173],"70":[174],"trials":[175],"different":[177],"critical":[178],"scenarios.":[179],"Experimental":[180],"results":[181],"demonstrate":[182],"NL2CA":[184],"enables":[185],"scalable,":[186],"interpretable,":[187],"human-aligned":[189],"modeling":[191],"unstructured":[193],"textual":[194],"data,":[195],"offering":[196],"paradigm":[199],"design":[202],"agents.":[205]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-03-18T00:00:00"}