{"id":"https://openalex.org/W4415428603","doi":"https://doi.org/10.3233/faia250981","title":"LLM-ASPIC+: A Neuro-Symbolic Framework for Defeasible Reasoning","display_name":"LLM-ASPIC+: A Neuro-Symbolic Framework for Defeasible Reasoning","publication_year":2025,"publication_date":"2025-10-21","ids":{"openalex":"https://openalex.org/W4415428603","doi":"https://doi.org/10.3233/faia250981"},"language":null,"primary_location":{"id":"doi:10.3233/faia250981","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia250981","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/faia250981","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044188200","display_name":"Xiaotong Fang","orcid":"https://orcid.org/0000-0002-4161-8793"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaotong Fang","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011805208","display_name":"Zhaoqun Li","orcid":"https://orcid.org/0000-0003-3803-8314"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaoqun Li","raw_affiliation_strings":["School of Philosophy, Zhejiang University"],"affiliations":[{"raw_affiliation_string":"School of Philosophy, Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100418433","display_name":"Chen Chen","orcid":"https://orcid.org/0000-0002-3525-9755"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Chen","raw_affiliation_strings":["School of Philosophy, Zhejiang University"],"affiliations":[{"raw_affiliation_string":"School of Philosophy, Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053760579","display_name":"Beishui Liao","orcid":"https://orcid.org/0000-0002-9653-217X"},"institutions":[{"id":"https://openalex.org/I4210123185","display_name":"Zhejiang Lab","ror":"https://ror.org/02m2h7991","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210123185"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]},{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Beishui Liao","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University","School of Philosophy, Zhejiang University","The State Key Lab of Brain-Machine Intelligence, Zhejiang University"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University","institution_ids":["https://openalex.org/I168879160"]},{"raw_affiliation_string":"School of Philosophy, Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"The State Key Lab of Brain-Machine Intelligence, Zhejiang University","institution_ids":["https://openalex.org/I4210123185","https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044188200"],"corresponding_institution_ids":["https://openalex.org/I168879160"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.5074184,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8366000056266785,"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.8366000056266785,"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/T14394","display_name":"Cognitive Science and Education Research","score":0.744700014591217,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.7157999873161316,"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/defeasible-estate","display_name":"Defeasible estate","score":0.7986000180244446},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.791100025177002},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.583299994468689},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.4846000075340271},{"id":"https://openalex.org/keywords/analytic-reasoning","display_name":"Analytic reasoning","score":0.4772000014781952},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.46560001373291016},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.44690001010894775},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.41830000281333923},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.37400001287460327}],"concepts":[{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.7986000180244446},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.791100025177002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.718999981880188},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.583299994468689},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5800999999046326},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.4846000075340271},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.4772000014781952},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.46560001373291016},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.44690001010894775},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.41830000281333923},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37599998712539673},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.37400001287460327},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C192906763","wikidata":"https://www.wikidata.org/wiki/Q3376512","display_name":"Practical reason","level":2,"score":0.349700003862381},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.34209999442100525},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3370000123977661},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.3246999979019165},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.31869998574256897},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.303600013256073},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25699999928474426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia250981","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia250981","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/faia250981","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia250981","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1,15,95,167],"models":[2,168],"(LLMs)":[3],"excel":[4],"at":[5],"complex":[6],"reasoning":[7,65,84,109,137,175],"and":[8,55,76,107,141,157],"achieve":[9],"human-like":[10],"performance":[11],"in":[12,66,122,176],"many":[13],"natural":[14,67,177],"processing":[16],"tasks.":[17],"However,":[18],"they":[19],"still":[20],"struggle":[21],"to":[22,74,115,133],"reason":[23],"effectively":[24,172],"when":[25],"faced":[26],"with":[27,97,152,169],"inconsistent":[28],"or":[29],"contradictory":[30,78],"information.":[31,79],"This":[32],"capability":[33,85],"gap":[34],"raises":[35],"significant":[36],"concerns":[37],"for":[38,105],"real-world":[39],"applications":[40],"where":[41],"reliable":[42],"decision-making":[43],"depends":[44],"on":[45,63,148,155,159],"reconciling":[46],"conflicting":[47],"evidence,":[48],"such":[49],"as":[50],"legal":[51],"analysis,":[52],"medical":[53],"diagnosis,":[54],"commonsense":[56],"reasoning.":[57],"In":[58],"this":[59],"paper,":[60],"we":[61,88],"focus":[62],"defeasible":[64,83,136,142,150,174],"language,":[68],"a":[69,91,128],"task":[70],"that":[71,164],"challenges":[72],"LLMs":[73],"handle":[75],"resolve":[77],"To":[80],"improve":[81],"the":[82],"of":[86],"LLMs,":[87],"propose":[89],"LLM-ASPIC+,":[90],"framework":[92,101],"combining":[93],"neural":[94,166],"understanding":[96],"formal":[98,112,170],"argumentation.":[99],"Our":[100],"harnesses":[102],"LLMs\u2019":[103],"capacity":[104],"grounding":[106],"contextual":[108],"while":[110],"integrating":[111,165],"argumentation":[113,171],"frameworks":[114],"establish":[116],"systematic":[117],"conflict":[118],"resolution":[119],"mechanisms":[120],"lacking":[121],"LLMs.":[123],"We":[124],"also":[125],"create":[126],"MineQA,":[127],"newly":[129],"synthesized":[130],"dataset":[131],"designed":[132],"evaluate":[134],"multi-step":[135,149],"under":[138],"both":[139],"strict":[140],"rules.":[143],"LLM-ASPIC+":[144],"achieves":[145],"state-of-the-art":[146],"results":[147,162],"reasoning,":[151],"87.1%":[153],"accuracy":[154],"BoardGameQA-2":[156],"82.6%":[158],"BoardGameQA-3.":[160],"These":[161],"show":[163],"supports":[173],"language.":[178]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-24T00:00:00"}