{"id":"https://openalex.org/W4402351524","doi":"https://doi.org/10.1109/ijcnn60899.2024.10650138","title":"ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning","display_name":"ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning","publication_year":2024,"publication_date":"2024-06-30","ids":{"openalex":"https://openalex.org/W4402351524","doi":"https://doi.org/10.1109/ijcnn60899.2024.10650138"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn60899.2024.10650138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn60899.2024.10650138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Joint Conference on Neural Networks (IJCNN)","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/A5101473707","display_name":"Zhongsheng Wang","orcid":"https://orcid.org/0000-0001-8366-8660"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Zhongsheng Wang","raw_affiliation_strings":["University of Auckland,School of Computer Science,Auckland,New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Auckland,School of Computer Science,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083914998","display_name":"Jiamou Liu","orcid":"https://orcid.org/0000-0002-0824-0899"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jiamou Liu","raw_affiliation_strings":["University of Auckland,School of Computer Science,Auckland,New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Auckland,School of Computer Science,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111259497","display_name":"Qiming Bao","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Qiming Bao","raw_affiliation_strings":["University of Auckland,School of Computer Science,Auckland,New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Auckland,School of Computer Science,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111259498","display_name":"Hongfei Rong","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Hongfei Rong","raw_affiliation_strings":["University of Auckland,School of Computer Science,Auckland,New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Auckland,School of Computer Science,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100749004","display_name":"Jingfeng Zhang","orcid":"https://orcid.org/0000-0003-3491-8074"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jingfeng Zhang","raw_affiliation_strings":["University of Auckland,School of Computer Science,Auckland,New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Auckland,School of Computer Science,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101473707"],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":1.8185,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87436718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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.9987999796867371,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9983999729156494,"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.9961000084877014,"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.7286953330039978},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6669936776161194},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6416493654251099},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.45778146386146545},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3369942605495453},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.32518333196640015}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7286953330039978},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6669936776161194},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6416493654251099},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.45778146386146545},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3369942605495453},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.32518333196640015}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ijcnn60899.2024.10650138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn60899.2024.10650138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Joint Conference on Neural Networks (IJCNN)","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":35,"referenced_works":["https://openalex.org/W2121984483","https://openalex.org/W3034942609","https://openalex.org/W3160638507","https://openalex.org/W4221143046","https://openalex.org/W4221161695","https://openalex.org/W4225108562","https://openalex.org/W4281250694","https://openalex.org/W4281557260","https://openalex.org/W4292779060","https://openalex.org/W4293998609","https://openalex.org/W4313304293","https://openalex.org/W4365205411","https://openalex.org/W4366460267","https://openalex.org/W4366850543","https://openalex.org/W4379933140","https://openalex.org/W4384561707","https://openalex.org/W4384918448","https://openalex.org/W4385570924","https://openalex.org/W4385571689","https://openalex.org/W4385573102","https://openalex.org/W4389519818","https://openalex.org/W4390874280","https://openalex.org/W6778883912","https://openalex.org/W6809646742","https://openalex.org/W6810162553","https://openalex.org/W6810730852","https://openalex.org/W6838865847","https://openalex.org/W6838954895","https://openalex.org/W6842811955","https://openalex.org/W6848283410","https://openalex.org/W6851560035","https://openalex.org/W6851884503","https://openalex.org/W6852568216","https://openalex.org/W6853360578","https://openalex.org/W6854866820"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W3204019825","https://openalex.org/W1560895966"],"abstract_inverted_index":{"Large":[0],"language":[1,73,110],"models":[2],"(LLMs)":[3],"such":[4],"as":[5,80],"ChatGPT":[6],"and":[7,27,35,83,114,117,145],"GPT-4":[8],"have":[9],"demonstrated":[10],"impressive":[11],"capabilities":[12,139],"in":[13,25,61,85],"various":[14],"generative":[15],"tasks.":[16],"However,":[17],"their":[18],"performance":[19,58],"is":[20],"often":[21],"hampered":[22],"by":[23,66],"limitations":[24],"accessing":[26],"leveraging":[28],"long-term":[29],"memory,":[30],"leading":[31],"to":[32,121],"specific":[33],"vulnerabilities":[34],"biases,":[36],"especially":[37],"during":[38],"long":[39],"interactions.":[40],"This":[41,106],"paper":[42],"introduces":[43],"ChatLogic,":[44],"an":[45,103],"innovative":[46],"framework":[47,133],"specifically":[48],"targeted":[49],"at":[50,149],"LLM":[51],"reasoning":[52,64,125,138],"tasks":[53,65],"that":[54,130],"can":[55],"enhance":[56,122],"the":[57,72,131,136],"of":[59,95,140],"LLMs":[60],"multi-step":[62,123,137],"deductive":[63,124],"integrating":[67],"logic":[68,97],"programming.":[69],"In":[70],"Chat-Logic,":[71],"model":[74],"plays":[75],"a":[76,81,92],"central":[77],"role,":[78],"acting":[79],"controller":[82],"participating":[84],"every":[86],"system":[87],"operation":[88],"stage.":[89],"We":[90],"propose":[91],"novel":[93],"method":[94],"converting":[96],"problems":[98],"into":[99],"symbolic":[100,119],"integration":[101],"with":[102],"inference":[104],"engine.":[105],"approach":[107],"leverages":[108],"large":[109],"models\u2019":[111],"situational":[112],"understanding":[113],"imitation":[115],"skills":[116],"uses":[118],"memory":[120],"capabilities.":[126],"Our":[127],"results":[128],"show":[129],"ChatLogic":[132],"significantly":[134],"improves":[135],"LLMs.":[141],"The":[142],"source":[143],"code":[144],"data":[146],"are":[147],"available":[148],"https://github.com/Strong-AI-Lab/ChatLogic.":[150]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}