{"id":"https://openalex.org/W4409325863","doi":"https://doi.org/10.1109/mis.2025.3544943","title":"NeuroSymbolic Knowledge-Grounded Planning and Reasoning in Artificial Intelligence Systems","display_name":"NeuroSymbolic Knowledge-Grounded Planning and Reasoning in Artificial Intelligence Systems","publication_year":2025,"publication_date":"2025-03-01","ids":{"openalex":"https://openalex.org/W4409325863","doi":"https://doi.org/10.1109/mis.2025.3544943"},"language":"en","primary_location":{"id":"doi:10.1109/mis.2025.3544943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2025.3544943","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"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 Intelligent Systems","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/A5028772801","display_name":"Amit Sheth","orcid":null},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amit Sheth","raw_affiliation_strings":["Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA"],"raw_orcid":"https://orcid.org/0000-0002-0021-5293","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110741656","display_name":"Vedant Khandelwal","orcid":null},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vedant Khandelwal","raw_affiliation_strings":["Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050105172","display_name":"Kaushik Roy","orcid":"https://orcid.org/0000-0001-6610-7845"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaushik Roy","raw_affiliation_strings":["Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA"],"raw_orcid":"https://orcid.org/0000-0001-6610-7845","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066581184","display_name":"Vishal Pallagani","orcid":"https://orcid.org/0000-0003-0497-3638"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vishal Pallagani","raw_affiliation_strings":["Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA"],"raw_orcid":"https://orcid.org/0000-0003-0497-3638","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037845683","display_name":"M.P. Chakraborty","orcid":"https://orcid.org/0009-0007-1928-2502"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Megha Chakraborty","raw_affiliation_strings":["Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA"],"raw_orcid":"https://orcid.org/0009-0007-1928-2502","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Institute of South Carolina, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5028772801"],"corresponding_institution_ids":["https://openalex.org/I155781252"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03042191,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"2","first_page":"27","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9157000184059143,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9157000184059143,"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.7639951705932617},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5775426030158997},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.4984149932861328},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.49084407091140747},{"id":"https://openalex.org/keywords/intelligent-decision-support-system","display_name":"Intelligent decision support system","score":0.464876651763916},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.44156718254089355},{"id":"https://openalex.org/keywords/artificial-intelligence-situated-approach","display_name":"Artificial intelligence, situated approach","score":0.4343471825122833},{"id":"https://openalex.org/keywords/marketing-and-artificial-intelligence","display_name":"Marketing and artificial intelligence","score":0.42218518257141113},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.41592922806739807},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.38998204469680786},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.3252530097961426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7639951705932617},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5775426030158997},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.4984149932861328},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.49084407091140747},{"id":"https://openalex.org/C56397880","wikidata":"https://www.wikidata.org/wiki/Q6044094","display_name":"Intelligent decision support system","level":2,"score":0.464876651763916},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.44156718254089355},{"id":"https://openalex.org/C207453521","wikidata":"https://www.wikidata.org/wiki/Q4801079","display_name":"Artificial intelligence, situated approach","level":2,"score":0.4343471825122833},{"id":"https://openalex.org/C44464901","wikidata":"https://www.wikidata.org/wiki/Q6770893","display_name":"Marketing and artificial intelligence","level":3,"score":0.42218518257141113},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.41592922806739807},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.38998204469680786},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3252530097961426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mis.2025.3544943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2025.3544943","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"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 Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7738225208","display_name":null,"funder_award_id":"2119654","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8838989091","display_name":null,"funder_award_id":"2335967","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1529533208","https://openalex.org/W2300469216","https://openalex.org/W2907492528","https://openalex.org/W3003265726","https://openalex.org/W3010336026","https://openalex.org/W4205692067","https://openalex.org/W4401043273","https://openalex.org/W4406779522","https://openalex.org/W6731801563","https://openalex.org/W6755207826","https://openalex.org/W6778883912","https://openalex.org/W6809646742","https://openalex.org/W6850936240"],"related_works":["https://openalex.org/W2948768737","https://openalex.org/W4380608672","https://openalex.org/W1595853162","https://openalex.org/W2379618148","https://openalex.org/W3197417615","https://openalex.org/W1515534187","https://openalex.org/W2344025603","https://openalex.org/W2085317820","https://openalex.org/W1600041364","https://openalex.org/W3176436404"],"abstract_inverted_index":{"Decision-support":[0],"systems":[1],"in":[2,87,106],"AI-assisted":[3],"health":[4,88],"care":[5,89],"require":[6],"robust,":[7],"interpretable,":[8],"and":[9,33,53,80,90,101,109],"user-centric":[10],"processes":[11],"that":[12,44,73],"effectively":[13],"handle":[14],"natural":[15],"language":[16,20,99],"inputs.":[17],"While":[18],"large":[19],"models":[21],"(LLMs)":[22],"excel":[23],"at":[24],"generating":[25],"coherent":[26],"text,":[27],"they":[28],"struggle":[29],"with":[30,47,69,129],"complex":[31],"reasoning":[32],"multistep":[34],"planning":[35,55],"tasks.":[36],"In":[37],"response,":[38],"we":[39],"propose":[40],"a":[41,117],"neurosymbolic":[42],"framework":[43,115],"integrates":[45],"LLMs":[46,61],"symbolic":[48],"knowledge":[49],"graphs,":[50],"graph-based":[51],"reasoners,":[52],"constraint-aware":[54],"modules.":[56],"This":[57],"hybrid":[58],"approach":[59,133],"leverages":[60],"for":[62,121,143],"initial":[63],"plan":[64],"formulation":[65],"while":[66],"refining":[67],"outcomes":[68],"structured,":[70],"domain-specific":[71],"representations":[72],"enforce":[74],"safety":[75],"standards,":[76],"ensure":[77],"regulatory":[78],"compliance,":[79],"maintain":[81],"logical":[82],"consistency.":[83],"Demonstrated":[84],"through":[85],"examples":[86],"manufacturing,":[91],"our":[92,132],"method":[93],"bridges":[94],"the":[95,135],"gap":[96],"between":[97],"unstructured":[98],"generation":[100],"formal":[102,130],"reasoning,":[103],"enhancing":[104],"reliability":[105],"high-stakes":[107],"applications":[108],"supporting":[110],"dynamic,":[111],"context-aware":[112],"decision-making.":[113],"The":[114],"offers":[116],"scalable,":[118],"trustworthy":[119],"solution":[120],"complex,":[122],"constraint-driven":[123],"environments.":[124],"By":[125],"combining":[126],"generative":[127],"creativity":[128],"logic,":[131],"addresses":[134],"key":[136],"limitations":[137],"of":[138],"LLMs,":[139],"making":[140],"it":[141],"suitable":[142],"diverse,":[144],"high-impact":[145],"domains.":[146]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}