{"id":"https://openalex.org/W2270216314","doi":"https://doi.org/10.1080/18756891.2015.1129580","title":"\u03b1-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems","display_name":"\u03b1-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2270216314","doi":"https://doi.org/10.1080/18756891.2015.1129580","mag":"2270216314"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1129580","pdf_url":"https://download.atlantis-press.com/article/25868666.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://download.atlantis-press.com/article/25868666.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036424879","display_name":"Weitao Xu","orcid":"https://orcid.org/0000-0001-9741-5912"},"institutions":[{"id":"https://openalex.org/I36152291","display_name":"Henan University of Technology","ror":"https://ror.org/05sbgwt55","country_code":"CN","type":"education","lineage":["https://openalex.org/I36152291"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weitao Xu","raw_affiliation_strings":["College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com"],"affiliations":[{"raw_affiliation_string":"College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com","institution_ids":["https://openalex.org/I36152291"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009833007","display_name":"Wenqiang Zhang","orcid":"https://orcid.org/0000-0002-8214-0693"},"institutions":[{"id":"https://openalex.org/I36152291","display_name":"Henan University of Technology","ror":"https://ror.org/05sbgwt55","country_code":"CN","type":"education","lineage":["https://openalex.org/I36152291"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenqiang Zhang","raw_affiliation_strings":["College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com"],"affiliations":[{"raw_affiliation_string":"College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com","institution_ids":["https://openalex.org/I36152291"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040628272","display_name":"Dexian Zhang","orcid":"https://orcid.org/0000-0002-9958-0791"},"institutions":[{"id":"https://openalex.org/I36152291","display_name":"Henan University of Technology","ror":"https://ror.org/05sbgwt55","country_code":"CN","type":"education","lineage":["https://openalex.org/I36152291"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dexian Zhang","raw_affiliation_strings":["College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com"],"affiliations":[{"raw_affiliation_string":"College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China E-mail: wqzhang@haut.edu.cn, zdxzzit@hotmail.com","institution_ids":["https://openalex.org/I36152291"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014490044","display_name":"Yang Xu","orcid":"https://orcid.org/0000-0002-0958-8547"},"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":"Yang Xu","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China E-mail: xuyang@home.swjtu.edu.cn, xdpan1@163.com"],"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China E-mail: xuyang@home.swjtu.edu.cn, xdpan1@163.com","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060677915","display_name":"Xiaodong Pan","orcid":"https://orcid.org/0000-0002-0740-0600"},"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":"Xiaodong Pan","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China E-mail: xuyang@home.swjtu.edu.cn, xdpan1@163.com"],"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China E-mail: xuyang@home.swjtu.edu.cn, xdpan1@163.com","institution_ids":["https://openalex.org/I4800084"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1390,"currency":"GBP","value_usd":1704,"provenance":"doaj"},"apc_paid":{"value":1390,"currency":"GBP","value_usd":1704,"provenance":"doaj"},"fwci":1.028,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":4,"citation_normalized_percentile":{"value":0.6,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":"8","issue":"Supplement 1","first_page":"75","last_page":"75"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9997,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9973,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9956,"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/horn-clause","display_name":"Horn clause","score":0.72958434},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.6335132}],"concepts":[{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.72958434},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.6335132},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.60068965},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4390257},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42853582},{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.4119141},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3580503},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3233336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29321513},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.26206207},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24435616},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07193756},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1129580","pdf_url":"https://download.atlantis-press.com/article/25868666.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1129580","pdf_url":"https://download.atlantis-press.com/article/25868666.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions","score":0.8}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1514729613","https://openalex.org/W1516153826","https://openalex.org/W1530765221","https://openalex.org/W1546970449","https://openalex.org/W1891361924","https://openalex.org/W1978196270","https://openalex.org/W1982312515","https://openalex.org/W2049403762","https://openalex.org/W2084272226","https://openalex.org/W2100738443","https://openalex.org/W2104119803","https://openalex.org/W2165569445","https://openalex.org/W2223298233","https://openalex.org/W2301363727","https://openalex.org/W2331458326","https://openalex.org/W2498912203"],"related_works":["https://openalex.org/W328089188","https://openalex.org/W2600034178","https://openalex.org/W2542670467","https://openalex.org/W2404351495","https://openalex.org/W2372612917","https://openalex.org/W2064560955","https://openalex.org/W1991403408","https://openalex.org/W1808107509","https://openalex.org/W1599544148","https://openalex.org/W1521840795"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"an":[3,84,110,114],"\u03b1-resolution":[4,52,76,85],"method":[5],"for":[6,87,101,112],"a":[7,69,80,88,99],"set":[8,89],"of":[9,30,53,90,120],"lattice-valued":[10,17,31,36,55,91,105],"Horn":[11,32,37,43,56,92],"generalized":[12,33,38,44,57,93],"clauses":[13,58,94],"is":[14,59],"established":[15],"in":[16,48,61,68,95,104,117],"propositional":[18],"logic":[19,107],"system":[20,108,116],"L":[21,49,62,96],"P(X)":[22],"based":[23],"on":[24],"lattice":[25],"implication":[26],"algebra.Firstly,":[27],"the":[28,51,65,118],"notions":[29],"clause,":[34],"normal":[35],"clause":[39,45],"and":[40,78,109],"unit":[41],"latticevalued":[42],"are":[46],"given":[47],"P(X).Then,":[50],"two":[54],"represented":[60],"P(X).It":[63,97],"indicates":[64],"reasoning":[66,103],"rules":[67],"resolution":[70],"process,":[71],"which":[72],"aims":[73],"at":[74],"deleting":[75],"literals":[77],"obtaining":[79],"resolvent.Finally,":[81],"we":[82],"build":[83],"algorithm":[86],"provides":[98],"foundation":[100],"automated":[102],"first-order":[106],"application":[111],"designing":[113],"inference":[115],"field":[119],"intelligent":[121],"decision":[122],"support.":[123]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2270216314","counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2024-12-15T18:59:42.371029","created_date":"2016-06-24"}