{"id":"https://openalex.org/W4404756802","doi":"https://doi.org/10.3390/axioms13120832","title":"Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking","display_name":"Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking","publication_year":2024,"publication_date":"2024-11-27","ids":{"openalex":"https://openalex.org/W4404756802","doi":"https://doi.org/10.3390/axioms13120832"},"language":"en","primary_location":{"id":"doi:10.3390/axioms13120832","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms13120832","pdf_url":"https://www.mdpi.com/2075-1680/13/12/832/pdf?version=1732714235","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2075-1680/13/12/832/pdf?version=1732714235","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020419743","display_name":"Xianfeng Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I20616075","display_name":"Qinghai Normal University","ror":"https://ror.org/03az1t892","country_code":"CN","type":"education","lineage":["https://openalex.org/I20616075"]},{"id":"https://openalex.org/I4210101072","display_name":"Shangluo University","ror":"https://ror.org/01a56n213","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210101072"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianfeng Yu","raw_affiliation_strings":["College of Computer Science, Qinghai Normal University, Xining 810008, China","School of Mathematics and Computer Application, Shangluo University, Shangluo 726000, China"],"raw_orcid":"https://orcid.org/0009-0002-3270-5542","affiliations":[{"raw_affiliation_string":"College of Computer Science, Qinghai Normal University, Xining 810008, China","institution_ids":["https://openalex.org/I20616075"]},{"raw_affiliation_string":"School of Mathematics and Computer Application, Shangluo University, Shangluo 726000, China","institution_ids":["https://openalex.org/I4210101072"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115604557","display_name":"Yongming Li","orcid":"https://orcid.org/0000-0001-8038-008X"},"institutions":[{"id":"https://openalex.org/I20616075","display_name":"Qinghai Normal University","ror":"https://ror.org/03az1t892","country_code":"CN","type":"education","lineage":["https://openalex.org/I20616075"]},{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yongming Li","raw_affiliation_strings":["College of Computer Science, Qinghai Normal University, Xining 810008, China","School of Mathematics and Statistics, Shaanxi Normal University, Xi\u2019an 710062, China","School of Mathematics and Statistics, Shaanxi Normal University, Xi'an 710062, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science, Qinghai Normal University, Xining 810008, China","institution_ids":["https://openalex.org/I20616075"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Shaanxi Normal University, Xi\u2019an 710062, China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Shaanxi Normal University, Xi'an 710062, China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020749269","display_name":"Shengling Geng","orcid":"https://orcid.org/0000-0002-9897-3147"},"institutions":[{"id":"https://openalex.org/I20616075","display_name":"Qinghai Normal University","ror":"https://ror.org/03az1t892","country_code":"CN","type":"education","lineage":["https://openalex.org/I20616075"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengling Geng","raw_affiliation_strings":["College of Computer Science, Qinghai Normal University, Xining 810008, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science, Qinghai Normal University, Xining 810008, China","institution_ids":["https://openalex.org/I20616075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101644708","display_name":"Huirong Li","orcid":"https://orcid.org/0000-0002-2675-931X"},"institutions":[{"id":"https://openalex.org/I4210101072","display_name":"Shangluo University","ror":"https://ror.org/01a56n213","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210101072"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huirong Li","raw_affiliation_strings":["School of Mathematics and Computer Application, Shangluo University, Shangluo 726000, China"],"raw_orcid":"https://orcid.org/0000-0002-2675-931X","affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Application, Shangluo University, Shangluo 726000, China","institution_ids":["https://openalex.org/I4210101072"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5115604557"],"corresponding_institution_ids":["https://openalex.org/I20616075","https://openalex.org/I88830068"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1782},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1782},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15632455,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":"12","first_page":"832","last_page":"832"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9649999737739563,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9649999737739563,"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/T11106","display_name":"Data Management and Algorithms","score":0.954800009727478,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9508000016212463,"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/computation-tree-logic","display_name":"Computation tree logic","score":0.7184005379676819},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.690645694732666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6263757348060608},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.613903820514679},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5335358381271362},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4680138826370239},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44182610511779785},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43679285049438477},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32112330198287964},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26487892866134644},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24229943752288818}],"concepts":[{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.7184005379676819},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.690645694732666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6263757348060608},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.613903820514679},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5335358381271362},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4680138826370239},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44182610511779785},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43679285049438477},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32112330198287964},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26487892866134644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24229943752288818},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/axioms13120832","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms13120832","pdf_url":"https://www.mdpi.com/2075-1680/13/12/832/pdf?version=1732714235","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:dd6ba19565664d8aa930a6839f3ece4b","is_oa":false,"landing_page_url":"https://doaj.org/article/dd6ba19565664d8aa930a6839f3ece4b","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms, Vol 13, Iss 12, p 832 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/axioms13120832","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms13120832","pdf_url":"https://www.mdpi.com/2075-1680/13/12/832/pdf?version=1732714235","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.699999988079071,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2919521610","display_name":"\u542b\u4e0d\u786e\u5b9a\u65f6\u6001\u7684\u5b9a\u91cf\u65f6\u5e8f\u903b\u8f91\u53ca\u5176\u68c0\u6d4b\u95ee\u9898\u7814\u7a76","funder_award_id":"12071271","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4328595909","display_name":null,"funder_award_id":"No: 12071271,11671244, 12471437","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6859915961","display_name":null,"funder_award_id":"23JSZ011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7091992599","display_name":null,"funder_award_id":"12471437","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7245836574","display_name":"\u57fa\u4e8e\u4e0d\u786e\u5b9a\u6d4b\u5ea6\u7684\u5b9a\u91cf\u65f6\u5e8f\u903b\u8f91\u7684\u8868\u793a\u4e0e\u53ef\u5224\u5b9a\u6027\u7814\u7a76","funder_award_id":"11671244","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/F4320324822","display_name":"Shangluo University","ror":"https://ror.org/01a56n213"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404756802.pdf","grobid_xml":"https://content.openalex.org/works/W4404756802.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1731318210","https://openalex.org/W2015370791","https://openalex.org/W2034102118","https://openalex.org/W2050687203","https://openalex.org/W2051580064","https://openalex.org/W2054940841","https://openalex.org/W2056186669","https://openalex.org/W2057956383","https://openalex.org/W2059949763","https://openalex.org/W2063502165","https://openalex.org/W2066374160","https://openalex.org/W2072309970","https://openalex.org/W2091188761","https://openalex.org/W2096455207","https://openalex.org/W2136262554","https://openalex.org/W2145554346","https://openalex.org/W2161874107","https://openalex.org/W2168677764","https://openalex.org/W2171480813","https://openalex.org/W2425244199","https://openalex.org/W2604527018","https://openalex.org/W2983005900","https://openalex.org/W3015615481","https://openalex.org/W3026701738","https://openalex.org/W3043182344","https://openalex.org/W3120746423","https://openalex.org/W3136546510","https://openalex.org/W3179132544","https://openalex.org/W3217000788","https://openalex.org/W4403215356","https://openalex.org/W6637172368","https://openalex.org/W6638533193","https://openalex.org/W6790848453"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W1585262231","https://openalex.org/W2103740034","https://openalex.org/W2203774400","https://openalex.org/W2471765219","https://openalex.org/W2350953867","https://openalex.org/W2166027622","https://openalex.org/W2157373800","https://openalex.org/W2612218842","https://openalex.org/W1513903619"],"abstract_inverted_index":{"The":[0,278,310,348],"encapsulation":[1],"of":[2,16,44,60,69,82,131,138,156,170,187,193,197,218,225,232,239,266,281,294,303,316,328,337,342,350,358,374,389,412,425,429,436,454],"particular":[3],"quality":[4,30,101,219],"functions":[5,32,103],"and":[6,33,79,104,150,172,180,325,355,370,376,406,431,443,469,479],"predicates":[7,34,105,227,322],"within":[8,20],"temporal":[9,18,185,212,233,248,304,448],"logic":[10,213],"formulas":[11,305,318,449],"markedly":[12],"enhances":[13],"the":[14,42,67,97,188,194,216,223,230,236,245,264,292,301,314,326,334,351,356,359,367,387,390,402,410,423,426,452,455,467],"representation":[15],"detailed":[17],"characteristics":[19,196,206,280],"a":[21,57,74,93,128,143,152,167,255,339,380],"system.":[22,189],"During":[23],"our":[24],"preliminary":[25],"investigations,":[26],"we":[27,260,378,397],"innovatively":[28],"combined":[29],"constraint":[31,102],"with":[35,49,122,254,274,291,401],"Possibility":[36,107],"Linear":[37,46],"Temporal":[38,47,110,120,272],"Logic":[39,48,111,121,273],"(PoLTL),":[40],"yielding":[41],"conception":[43],"Fuzzy":[45,117,269],"Quality":[50,123,275],"Constraints":[51,124,276],"(QFLTL).":[52],"This":[53,90],"amalgamation":[54],"results":[55],"in":[56,263,285,474],"significant":[58,94],"elevation":[59],"QFLTL\u2019s":[61],"expressivity":[62],"relative":[63],"to":[64,96,116,244,365,439,458],"PoLTL,":[65],"ensuring":[66],"preservation":[68],"informational":[70],"integrity":[71],"whilst":[72],"achieving":[73],"synchronized,":[75],"yet":[76],"selectively":[77],"inclined,":[78],"exact":[80],"consolidation":[81],"path":[83,414],"reachability":[84,415],"specifics":[85],"alongside":[86],"property":[87,419],"satisfaction":[88,231,302,420],"evaluations.":[89],"treatise":[91],"represents":[92],"contribution":[95],"field":[98],"by":[99,162,251],"integrating":[100],"into":[106],"Computation":[108,118,270],"Tree":[109,119,271],"(PoCTL),":[112],"thus":[113],"giving":[114],"rise":[115],"(QFCTL).":[125],"We":[126],"provide":[127],"comprehensive":[129],"definition":[130],"QFCTL\u2019s":[132],"syntax,":[133],"conduct":[134],"an":[135,267],"in-depth":[136,191],"analysis":[137],"its":[139,203],"logical":[140,195,205,237,279],"characteristics,":[141],"outline":[142],"precise":[144],"model":[145],"checking":[146],"algorithm":[147,341,352,360],"for":[148,313,386],"QFCTL,":[149,171],"perform":[151],"meticulous":[153],"complexity":[154,357],"assessment":[155],"said":[157],"algorithm.":[158],"It":[159,287],"is":[160,166,288,330,346,353,361],"illustrated":[161],"examples":[163,463],"that":[164,207,290,450,466],"PoCTL":[165,179],"proper":[168],"subset":[169],"QFCTL":[173,198,240,253,375,405,442,468],"has":[174],"stronger":[175],"expressive":[176,372],"power":[177],"than":[178,308],"can":[181,299,408,445],"characterize":[182,451],"more":[183,241,306],"refined":[184],"properties":[186],"An":[190],"exploration":[192],"was":[199],"carried":[200],"out,":[201],"showing":[202],"unique":[204],"are":[208,283,323,477],"distinct":[209],"from":[210],"other":[211],"systems":[214],"under":[215],"influence":[217],"constraints.":[220],"In":[221,363],"particular,":[222],"introduction":[224],"characteristic":[226,257],"effectively":[228],"classifies":[229],"formulas,":[234],"making":[235],"framework":[238],"complete":[242],"compared":[243,400],"existing":[246,403],"probabilistic":[247],"logic.":[249],"Moreover,":[250],"enriching":[252],"quantitative":[256,295,320],"predicate":[258],"operator,":[259],"innovate,":[261],"culminating":[262],"development":[265],"enhanced":[268],"(QFCTL*).":[277],"QFCTL*":[282,298,317,329,343,407,444,470],"explored":[284],"detail.":[286],"shown":[289],"support":[293],"feature":[296,321],"predicates,":[297],"divide":[300],"delicately":[307],"QFCTL.":[309],"decision":[311],"theorems":[312],"semantics":[315],"containing":[319],"given,":[324],"decidability":[327],"strictly":[331],"proved.":[332],"Through":[333,394],"bounded-depth":[335],"search":[336],"GPKS,":[338],"model-checking":[340,381,392,471],"on":[344],"GPKS":[345],"presented.":[347],"correctness":[349],"proved,":[354],"analyzed.":[362],"order":[364],"prove":[366],"practical":[368],"applications":[369],"strong":[371],"capabilities":[373],"QFCTL*,":[377],"present":[379],"example":[382],"as":[383],"empirical":[384],"evidence":[385],"effectiveness":[388],"proposed":[391,473],"algorithms.":[393],"this":[395,475],"example,":[396],"verify":[398,465],"that,":[399],"PoCTL,":[404],"avoid":[409],"loss":[411],"system":[413,418,456],"information":[416,437],"or":[417],"information,":[421,430],"ensure":[422],"synchronization":[424],"two":[427,434],"types":[428,435],"fuse":[432],"these":[433],"according":[438,457],"weight":[440,459],"preferences.":[441,460],"also":[446,464],"synthesize":[447],"subproperties":[453],"These":[461],"application":[462],"algorithms":[472],"article":[476],"automatic":[478],"effective.":[480]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}