{"id":"https://openalex.org/W2118203715","doi":"https://doi.org/10.1109/fskd.2010.5569458","title":"State-action pairs reduction for strong cyclic planning via state reachability","display_name":"State-action pairs reduction for strong cyclic planning via state reachability","publication_year":2010,"publication_date":"2010-08-01","ids":{"openalex":"https://openalex.org/W2118203715","doi":"https://doi.org/10.1109/fskd.2010.5569458","mag":"2118203715"},"language":"en","primary_location":{"id":"doi:10.1109/fskd.2010.5569458","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2010.5569458","pdf_url":null,"source":{"id":"https://openalex.org/S4363608217","display_name":"2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery","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/A5100917547","display_name":"Zhonghua Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I4610292","display_name":"Xiangtan University","ror":"https://ror.org/00xsfaz62","country_code":"CN","type":"education","lineage":["https://openalex.org/I4610292"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhong-Hua Wen","raw_affiliation_strings":["College of Information Engineering, Xiangtan University, Xiangtan, China","College of Information Engineering, Xiangtan University, China"],"affiliations":[{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, Xiangtan, China","institution_ids":["https://openalex.org/I4610292"]},{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, China","institution_ids":["https://openalex.org/I4610292"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100672372","display_name":"Jianlin Chen","orcid":"https://orcid.org/0000-0002-4214-7196"},"institutions":[{"id":"https://openalex.org/I4610292","display_name":"Xiangtan University","ror":"https://ror.org/00xsfaz62","country_code":"CN","type":"education","lineage":["https://openalex.org/I4610292"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian-Lin Chen","raw_affiliation_strings":["College of Information Engineering, Xiangtan University, Xiangtan, China","College of Information Engineering, Xiangtan University, China"],"affiliations":[{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, Xiangtan, China","institution_ids":["https://openalex.org/I4610292"]},{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, China","institution_ids":["https://openalex.org/I4610292"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044591893","display_name":"Qing Chang","orcid":"https://orcid.org/0000-0001-7697-4459"},"institutions":[{"id":"https://openalex.org/I4610292","display_name":"Xiangtan University","ror":"https://ror.org/00xsfaz62","country_code":"CN","type":"education","lineage":["https://openalex.org/I4610292"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Chang","raw_affiliation_strings":["College of Information Engineering, Xiangtan University, Xiangtan, China","College of Information Engineering, Xiangtan University, China"],"affiliations":[{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, Xiangtan, China","institution_ids":["https://openalex.org/I4610292"]},{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, China","institution_ids":["https://openalex.org/I4610292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015074174","display_name":"Yulong Hu","orcid":"https://orcid.org/0000-0003-3844-3950"},"institutions":[{"id":"https://openalex.org/I4610292","display_name":"Xiangtan University","ror":"https://ror.org/00xsfaz62","country_code":"CN","type":"education","lineage":["https://openalex.org/I4610292"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu-Long Hu","raw_affiliation_strings":["College of Information Engineering, Xiangtan University, Xiangtan, China","College of Information Engineering, Xiangtan University, China"],"affiliations":[{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, Xiangtan, China","institution_ids":["https://openalex.org/I4610292"]},{"raw_affiliation_string":"College of Information Engineering, Xiangtan University, China","institution_ids":["https://openalex.org/I4610292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100917547"],"corresponding_institution_ids":["https://openalex.org/I4610292"],"apc_list":null,"apc_paid":null,"fwci":0.3574,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62492094,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1917","last_page":"1921"},"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.9983000159263611,"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.9983000159263611,"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/T10142","display_name":"Formal Methods in Verification","score":0.9933000206947327,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9794999957084656,"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/reachability","display_name":"Reachability","score":0.8896231651306152},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8582512140274048},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5730279684066772},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.49979352951049805},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.49648767709732056},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47870922088623047},{"id":"https://openalex.org/keywords/adjacency-matrix","display_name":"Adjacency matrix","score":0.4580684006214142},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.41744983196258545},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40108951926231384},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31688928604125977},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29557907581329346},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19323432445526123},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07017537951469421}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8896231651306152},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8582512140274048},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5730279684066772},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.49979352951049805},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.49648767709732056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47870922088623047},{"id":"https://openalex.org/C180356752","wikidata":"https://www.wikidata.org/wiki/Q727035","display_name":"Adjacency matrix","level":3,"score":0.4580684006214142},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.41744983196258545},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40108951926231384},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31688928604125977},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29557907581329346},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19323432445526123},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07017537951469421},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fskd.2010.5569458","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2010.5569458","pdf_url":null,"source":{"id":"https://openalex.org/S4363608217","display_name":"2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W73802342","https://openalex.org/W145978091","https://openalex.org/W1489183362","https://openalex.org/W1527293087","https://openalex.org/W1530444831","https://openalex.org/W1603524419","https://openalex.org/W1994451575","https://openalex.org/W2010225880","https://openalex.org/W2129975315","https://openalex.org/W6603023546","https://openalex.org/W6605890003","https://openalex.org/W6631696363","https://openalex.org/W6631910770","https://openalex.org/W6636035448","https://openalex.org/W6653228414"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W4376608589","https://openalex.org/W2889071233","https://openalex.org/W2380814829"],"abstract_inverted_index":{"Strong":[0],"cyclic":[1,37,42,59,137,159,178,204,219],"planning":[2,138],"under":[3],"all":[4,172],"state-action":[5,17,30,52,151,165,173],"pairs":[6,18,31,53,152,166,174],"has":[7],"been":[8],"addressed":[9],"in":[10,127,190],"the":[11,14,16,20,90,100,105,117,122,143,184,198,212],"literature.":[12],"Normally,":[13],"more":[15],"are,":[19],"higher":[21],"of":[22,51,64,89,164,214],"complexity":[23],"is.":[24],"In":[25,73],"fact,":[26],"there":[27],"are":[28,33,55,92,139,153,208],"many":[29],"which":[32,54,186],"useless":[34,56,154],"for":[35,57,79,216],"strong":[36,41,58,136,158,177,203,218],"planning.":[38,160,179,220],"Before":[39],"finding":[40],"planning,":[43,60,205],"it":[44,67],"is":[45,68,77,108,125,183,197],"significant":[46,209],"to":[47,62,98,103,115,120,210],"find":[48],"a":[49,80,111,128,162],"set":[50],"and":[61,86,110],"best":[63],"our":[65],"knowledge,":[66],"still":[69],"an":[70],"open":[71],"problem.":[72],"this":[74],"paper,":[75],"hypergraph":[76,91],"defined":[78],"nondeterministic":[81,129,191],"state-transition":[82,130,192],"system,":[83],"adjacency":[84],"matrix":[85,88,102,107,119],"reachability":[87,106,118,124,189],"defined.":[93],"A":[94,194],"method":[95,185],"about":[96,113,135,202],"how":[97,114],"use":[99,116],"adjancey":[101],"count":[104,121],"designed,":[109],"way":[112],"state":[123,144,188],"presented":[126],"system.":[131,193],"Some":[132],"important":[133,200],"conclusions":[134,147,201],"obtained":[140],"by":[141],"using":[142],"reachability.":[145],"These":[146],"tell":[148],"us":[149],"what":[150],"when":[155],"we":[156],"search":[157],"So":[161],"lot":[163],"can":[167],"be":[168],"eliminated":[169],"directly":[170],"from":[171],"before":[175],"searching":[176],"Our":[180],"first":[181],"contribution":[182,196],"finds":[187],"second":[195],"some":[199],"these":[206],"works":[207],"improve":[211],"efficiency":[213],"algorithm":[215],"solving":[217]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}