{"id":"https://openalex.org/W4406213781","doi":"https://doi.org/10.1007/s44196-024-00726-y","title":"A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule","display_name":"A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule","publication_year":2025,"publication_date":"2025-01-09","ids":{"openalex":"https://openalex.org/W4406213781","doi":"https://doi.org/10.1007/s44196-024-00726-y"},"language":"en","primary_location":{"id":"doi:10.1007/s44196-024-00726-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44196-024-00726-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44196-024-00726-y.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computational Intelligence Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/s44196-024-00726-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107002493","display_name":"Hailin Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I4510145","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252","country_code":"CN","type":"education","lineage":["https://openalex.org/I4510145"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hailin Guo","raw_affiliation_strings":["Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]},{"raw_affiliation_string":"School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100609407","display_name":"Feng Cao","orcid":"https://orcid.org/0000-0001-5276-0026"},"institutions":[{"id":"https://openalex.org/I4510145","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252","country_code":"CN","type":"education","lineage":["https://openalex.org/I4510145"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Feng Cao","raw_affiliation_strings":["Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]},{"raw_affiliation_string":"School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937321","display_name":"Jianbing Yi","orcid":"https://orcid.org/0000-0003-4327-3036"},"institutions":[{"id":"https://openalex.org/I4510145","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252","country_code":"CN","type":"education","lineage":["https://openalex.org/I4510145"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianbing Yi","raw_affiliation_strings":["Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangxi Province Key Laboratory of Multidimensional Intelligent Perception and Control, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]},{"raw_affiliation_string":"School of Information Engineering, Jiangxi University of Science and Technology, No. 1958 Hakka Avenue, Ganzhou, 341000, Jiangxi, China","institution_ids":["https://openalex.org/I4510145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048656618","display_name":"Guanfeng Wu","orcid":"https://orcid.org/0000-0001-8449-974X"},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guanfeng Wu","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University, No. 999 Xi\u2019an Road, Chengdu, 611756, Sichuan, China","School of Mathematics, Southwest Jiaotong University, No. 999 Xi'an Road, Chengdu, 611756, Sichuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University, No. 999 Xi\u2019an Road, Chengdu, 611756, Sichuan, China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University, No. 999 Xi'an Road, Chengdu, 611756, Sichuan, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044162704","display_name":"Weicai Li","orcid":"https://orcid.org/0000-0001-5119-8844"},"institutions":[{"id":"https://openalex.org/I183006215","display_name":"Shijiazhuang University","ror":"https://ror.org/028rmam09","country_code":"CN","type":"education","lineage":["https://openalex.org/I183006215"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weicai Li","raw_affiliation_strings":["Department of Mathematics, Shijiazhuang University, No. 288 Zhufeng Street, Shijiazhuang, 050035, Heibei, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Shijiazhuang University, No. 288 Zhufeng Street, Shijiazhuang, 050035, Heibei, China","institution_ids":["https://openalex.org/I183006215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100609407"],"corresponding_institution_ids":["https://openalex.org/I4510145"],"apc_list":{"value":1390,"currency":"GBP","value_usd":1704},"apc_paid":{"value":1390,"currency":"GBP","value_usd":1704},"fwci":1.0768,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.7589331,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"18","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9926000237464905,"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/contradiction","display_name":"Contradiction","score":0.6881999969482422},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.5890377759933472},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5510787963867188},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5359407663345337},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47934871912002563},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.4375636577606201},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37227919697761536},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3526903986930847},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3324742317199707},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10252204537391663},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0714435875415802}],"concepts":[{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.6881999969482422},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.5890377759933472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5510787963867188},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5359407663345337},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47934871912002563},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.4375636577606201},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37227919697761536},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3526903986930847},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3324742317199707},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10252204537391663},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0714435875415802}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s44196-024-00726-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44196-024-00726-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44196-024-00726-y.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computational Intelligence Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:aa53f69c7763462c8b228c6dc16dccbc","is_oa":true,"landing_page_url":"https://doaj.org/article/aa53f69c7763462c8b228c6dc16dccbc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Computational Intelligence Systems, Vol 18, Iss 1, Pp 1-15 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s44196-024-00726-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44196-024-00726-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44196-024-00726-y.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computational Intelligence Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G5720509236","display_name":null,"funder_award_id":"62366017","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7151211518","display_name":null,"funder_award_id":"62106206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324981","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406213781.pdf","grobid_xml":"https://content.openalex.org/works/W4406213781.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W8060374","https://openalex.org/W1513576223","https://openalex.org/W1936712172","https://openalex.org/W2008211212","https://openalex.org/W2100738443","https://openalex.org/W2460200316","https://openalex.org/W2494123147","https://openalex.org/W2500818946","https://openalex.org/W2583369873","https://openalex.org/W2588018425","https://openalex.org/W2608781458","https://openalex.org/W2798349943","https://openalex.org/W2808325100","https://openalex.org/W2904573932","https://openalex.org/W2917421790","https://openalex.org/W2943910961","https://openalex.org/W2952307256","https://openalex.org/W2953479278","https://openalex.org/W2969992190","https://openalex.org/W2989271208","https://openalex.org/W3023603017","https://openalex.org/W3038142530","https://openalex.org/W3038732795","https://openalex.org/W3047945658","https://openalex.org/W3137794529","https://openalex.org/W3155295210","https://openalex.org/W3177030003","https://openalex.org/W3212503723","https://openalex.org/W4311144833","https://openalex.org/W4313479320","https://openalex.org/W4318456864","https://openalex.org/W4389009209","https://openalex.org/W4392247142","https://openalex.org/W4400223246"],"related_works":["https://openalex.org/W3203330043","https://openalex.org/W2119264717","https://openalex.org/W102683223","https://openalex.org/W2710049634","https://openalex.org/W1559068841","https://openalex.org/W2047356095","https://openalex.org/W1984225148","https://openalex.org/W2547621624","https://openalex.org/W146952150","https://openalex.org/W2166081410"],"abstract_inverted_index":{"Automated":[0],"reasoning,":[1],"a":[2,55,66,140,202],"significant":[3],"field":[4],"within":[5],"artificial":[6],"intelligence,":[7],"has":[8,197],"attracted":[9],"increased":[10],"attention":[11],"in":[12,31,49,98,134],"recent":[13],"years":[14],"due":[15],"to":[16,79,102,138,154,163],"the":[17,38,75,114,151,156,164,174,186,189,207],"rising":[18],"demand":[19],"for":[20,104],"trustworthy":[21],"AI.":[22],"Binary":[23],"resolution,":[24],"among":[25],"other":[26],"inference":[27],"rules,":[28],"is":[29,147],"crucial":[30],"automated":[32,90],"reasoning":[33,91,179],"of":[34,58,181,204],"first-order":[35],"logic,":[36],"including":[37],"new":[39],"conflict":[40,69,130,182],"resolution":[41,44,85,131],"method.":[42,184],"Conflict":[43],"processes":[45],"only":[46],"two":[47],"clauses":[48,97,109],"each":[50,99],"deduction":[51,70,100,117,176,183],"step":[52,101],"and":[53,93,106,129,144,159,196],"eliminates":[54],"complementary":[56],"pairs":[57],"literals":[59],"from":[60,206],"input":[61,126],"clauses.":[62,127],"This":[63,83],"paper":[64],"proposes":[65],"contradiction":[67,76],"separation":[68,77],"(CSCD)":[71],"method":[72],"based":[73],"on":[74],"rule":[78],"address":[80],"these":[81],"limitations.":[82],"novel":[84],"methodology,":[86],"together":[87],"with":[88,124,188,201],"its":[89,145,194],"theory":[92],"method,":[94],"handles":[95],"several":[96],"seek":[103],"conflicts":[105,120],"generates":[107],"learnt":[108],"through":[110],"synergized":[111],"deduction.":[112],"Thus,":[113],"approach":[115,177],"improves":[116,178,193],"by":[118],"detecting":[119],"more":[121],"effectively,":[122],"especially":[123],"lengthier":[125],"CSCD":[128,142,152,175,191],"are":[132],"analyzed":[133],"detail,":[135],"then":[136],"how":[137],"create":[139],"practical":[141],"algorithm":[143,153,192],"implementation":[146],"summarized.":[148],"We":[149],"tested":[150],"solve":[155],"CASC-26":[157],"problems":[158,200],"also":[160],"applied":[161],"it":[162],"current":[165],"leading":[166],"ATP":[167],"system":[168],"(Eprover).":[169],"Experimental":[170],"results":[171],"show":[172],"that":[173],"capability":[180],"Additionally,":[185],"Eprover":[187],"proposed":[190],"performance":[195],"solved":[198],"various":[199],"rating":[203],"1":[205],"benchmark":[208],"database":[209],"TPTP.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}