{"id":"https://openalex.org/W4394564736","doi":"https://doi.org/10.1109/iske60036.2023.10481258","title":"Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning","display_name":"Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning","publication_year":2023,"publication_date":"2023-11-17","ids":{"openalex":"https://openalex.org/W4394564736","doi":"https://doi.org/10.1109/iske60036.2023.10481258"},"language":"en","primary_location":{"id":"doi:10.1109/iske60036.2023.10481258","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iske60036.2023.10481258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","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/A5101602039","display_name":"Jian Zhong","orcid":"https://orcid.org/0000-0001-5406-9159"},"institutions":[{"id":"https://openalex.org/I102345215","display_name":"Xihua University","ror":"https://ror.org/04gwtvf26","country_code":"CN","type":"education","lineage":["https://openalex.org/I102345215"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Zhong","raw_affiliation_strings":["School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I102345215"]},{"raw_affiliation_string":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China","institution_ids":["https://openalex.org/I102345215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104670570","display_name":"Peiyao Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I102345215","display_name":"Xihua University","ror":"https://ror.org/04gwtvf26","country_code":"CN","type":"education","lineage":["https://openalex.org/I102345215"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peiyao Liu","raw_affiliation_strings":["School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I102345215"]},{"raw_affiliation_string":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China","institution_ids":["https://openalex.org/I102345215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101938920","display_name":"Shuwei Chen","orcid":"https://orcid.org/0009-0005-3182-1914"},"institutions":[{"id":"https://openalex.org/I102345215","display_name":"Xihua University","ror":"https://ror.org/04gwtvf26","country_code":"CN","type":"education","lineage":["https://openalex.org/I102345215"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuwei Chen","raw_affiliation_strings":["School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I102345215"]},{"raw_affiliation_string":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, School of Computer and Software Engineering, Xihua University, Chengdu, China","institution_ids":["https://openalex.org/I102345215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102345215"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2663296,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"426","last_page":"430"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14225","display_name":"Advanced Sensor and Control Systems","score":0.36469998955726624,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14225","display_name":"Advanced Sensor and Control Systems","score":0.36469998955726624,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14011","display_name":"Elevator Systems and Control","score":0.3278000056743622,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.7245787978172302},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6440995931625366},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6192603707313538},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5544502139091492},{"id":"https://openalex.org/keywords/contradiction","display_name":"Contradiction","score":0.5526262521743774},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.458679735660553},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.33069533109664917},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22934386134147644}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7245787978172302},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6440995931625366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6192603707313538},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5544502139091492},{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.5526262521743774},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.458679735660553},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33069533109664917},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22934386134147644},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iske60036.2023.10481258","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iske60036.2023.10481258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G290929947","display_name":null,"funder_award_id":"61976130","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W8060374","https://openalex.org/W1510333080","https://openalex.org/W1768814311","https://openalex.org/W1866311776","https://openalex.org/W2023035194","https://openalex.org/W2094658556","https://openalex.org/W2100738443","https://openalex.org/W2155836586","https://openalex.org/W2477695542","https://openalex.org/W2808325100","https://openalex.org/W2884604011","https://openalex.org/W2888440038","https://openalex.org/W2969934262","https://openalex.org/W2981815722","https://openalex.org/W3032312132","https://openalex.org/W3038615574","https://openalex.org/W3100626325","https://openalex.org/W3137794529","https://openalex.org/W3146695734","https://openalex.org/W3185228372","https://openalex.org/W4205702789","https://openalex.org/W4206624293","https://openalex.org/W4311144833","https://openalex.org/W4313479320","https://openalex.org/W6753528226"],"related_works":["https://openalex.org/W2381825231","https://openalex.org/W2377933838","https://openalex.org/W2348916262","https://openalex.org/W4210310594","https://openalex.org/W2330422317","https://openalex.org/W2354224618","https://openalex.org/W2354172502","https://openalex.org/W2391836570","https://openalex.org/W2361796009","https://openalex.org/W2392027916"],"abstract_inverted_index":{"Machine":[0],"learning":[1,14,71],"has":[2,20],"been":[3],"a":[4,22,34,81],"prominent":[5],"research":[6],"focus":[7],"in":[8,25],"recent":[9],"years,":[10],"and":[11,39,79],"integrating":[12],"machine":[13],"methods":[15],"into":[16],"automated":[17],"theorem":[18,26,104],"provers":[19],"become":[21],"current":[23],"trend":[24],"proving":[27],"research.":[28],"Standard":[29],"contradiction":[30,49,76],"separation":[31,50,77],"rule":[32,51],"is":[33,52],"newly":[35],"proposed":[36],"multi-clause,":[37],"dynamic,":[38],"synergized":[40],"deductive":[41,84],"inference":[42],"rule.":[43],"The":[44],"key":[45],"aspect":[46],"of":[47,75,102],"standard":[48],"how":[53],"to":[54,60],"plan":[55,62],"deduction":[56,64,78],"paths.":[57],"In":[58],"order":[59],"better":[61],"the":[63,69,73,99,103],"path,":[65],"this":[66,95],"paper":[67],"explores":[68],"dynamic":[70],"within":[72],"process":[74],"introduces":[80],"novel":[82],"active":[83],"heuristic":[85],"algorithm":[86,97],"based":[87],"on":[88],"reinforcement":[89],"learning.":[90],"Experimental":[91],"results":[92],"demonstrate":[93],"that":[94],"new":[96],"enhances":[98],"reasoning":[100],"capability":[101],"prover":[105],"Prover9.":[106]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}