A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS

In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems. Then, we study their relationships and find that...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Symmetry (Basel) Jg. 14; H. 11; S. 2278
Hauptverfasser: Li, Zhaokai, Ma, Zhanyou, Li, Xia, Gao, Yingnan
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Basel MDPI AG 01.11.2022
Schlagworte:
Algorithms
Artificial intelligence
Baldness
Fuzzy logic
Fuzzy sets
Markov analysis
Polynomials
Symmetry
ISSN:2073-8994, 2073-8994
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems. Then, we study their relationships and find that a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems have symmetry. Finally, we give a polynomial time algorithm based on this symmetry to convert a multi-properties objective reachability problem to a multi-objective sets reachability problem. In addition, an illustrative example is listed to express some possible application methods based on our work.
AbstractList In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems. Then, we study their relationships and find that a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems have symmetry. Finally, we give a polynomial time algorithm based on this symmetry to convert a multi-properties objective reachability problem to a multi-objective sets reachability problem. In addition, an illustrative example is listed to express some possible application methods based on our work.
Author Gao, Yingnan
Ma, Zhanyou
Li, Xia
Li, Zhaokai
Author_xml – sequence: 1
  givenname: Zhaokai
  orcidid: 0000-0002-5350-956X
  surname: Li
  fullname: Li, Zhaokai
– sequence: 2
  givenname: Zhanyou
  surname: Ma
  fullname: Ma, Zhanyou
– sequence: 3
  givenname: Xia
  surname: Li
  fullname: Li, Xia
– sequence: 4
  givenname: Yingnan
  surname: Gao
  fullname: Gao, Yingnan
BookMark eNp1kE9Lw0AQxRepYK09-QUWPEp0_2Sz2WMptootFavnsElmbUqarbvbQvDLm9KCvTgwzDD85j1416jX2AYQuqXkgXNFHn27oTGljMn0AvUZkTxKlYp7Z_sVGnq_Jl0JIuKE9NHPCM8hrGyJx7bZgwtV84XnuzpU0Zuz28MBPF7kayhCtQf8DrpY6byqq9Dijshr2Hgc7OnnD1xC8P_QtvPBk9flDbo0uvYwPM0B-pw8fYyfo9li-jIezaKCiSREyhQlEbnQpmTGcMNSIhlNmGZSCE0AVBqLssg5UCm7LpmSXMiYl4KYNEn4AN0ddbfOfu_Ah2xtd67pLDMmeSxFIlPVUfdHqnDWewcm27pqo12bUZIdAs7OAua_X0FwoQ
Cites_doi 10.1007/978-94-010-0646-0
10.1016/j.fss.2014.03.009
10.1109/TRO.2009.2030225
10.2168/LMCS-4(4:8)2008
10.1016/S0019-9958(65)90241-X
10.1007/978-3-319-63387-9_7
10.1007/s10489-021-02989-w
10.1007/s10489-021-02216-6
10.3390/sym14081667
10.1016/j.artint.2021.103499
10.1007/s10817-020-09574-9
10.1007/s10700-022-09390-3
10.7551/mitpress/3926.001.0001
10.1609/icaps.v26i1.13773
10.1109/TCST.2018.2877621
10.1109/TFUZZ.2012.2232298
10.3390/sym13010133
10.1609/aaai.v31i1.11058
10.1016/j.fss.2014.07.008
10.1109/ACCESS.2022.3197611
10.1016/j.ins.2016.10.030
10.3390/sym11030382
10.1007/s10489-018-1292-1
10.1007/s10489-020-01796-z
10.1109/TFUZZ.2020.2988848
10.3390/sym14091785
ContentType Journal Article
Copyright 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID AAYXX
CITATION
7SC
7SR
7U5
8BQ
8FD
8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
H8D
HCIFZ
JG9
JQ2
L6V
L7M
L~C
L~D
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.3390/sym14112278
DatabaseName CrossRef
Computer and Information Systems Abstracts
Engineered Materials Abstracts
Solid State and Superconductivity Abstracts
METADEX
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Materials Science & Engineering
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
Aerospace Database
SciTech Premium Collection
Materials Research Database
ProQuest Computer Science Collection
ProQuest Engineering Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Engineering Database
ProQuest Central Premium
ProQuest One Academic
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
DatabaseTitle CrossRef
Publicly Available Content Database
Materials Research Database
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
Aerospace Database
Engineered Materials Abstracts
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Engineering Collection
Engineering Database
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
METADEX
Computer and Information Systems Abstracts Professional
ProQuest One Academic UKI Edition
Materials Science & Engineering Collection
Solid State and Superconductivity Abstracts
ProQuest One Academic
ProQuest One Academic (New)
DatabaseTitleList Publicly Available Content Database
CrossRef
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Sciences (General)
EISSN 2073-8994
ExternalDocumentID 10_3390_sym14112278
GroupedDBID 5VS
8FE
8FG
AADQD
AAYXX
ABDBF
ABJCF
ACUHS
ADBBV
ADMLS
AFFHD
AFKRA
AFZYC
ALMA_UNASSIGNED_HOLDINGS
AMVHM
BCNDV
BENPR
BGLVJ
CCPQU
CITATION
E3Z
ESX
GX1
HCIFZ
IAO
ITC
J9A
KQ8
L6V
M7S
MODMG
M~E
OK1
PHGZM
PHGZT
PIMPY
PQGLB
PROAC
PTHSS
TR2
TUS
7SC
7SR
7U5
8BQ
8FD
ABUWG
AZQEC
DWQXO
H8D
JG9
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQQKQ
PQUKI
PRINS
ID FETCH-LOGICAL-c256t-9fcd05b5afd2ff3f28072162a2755a0ee9845dcb3e177e17d29735743d50f8663
IEDL.DBID M7S
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000881601000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2073-8994
IngestDate Fri Jul 25 12:11:36 EDT 2025
Sat Nov 29 07:15:41 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 11
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c256t-9fcd05b5afd2ff3f28072162a2755a0ee9845dcb3e177e17d29735743d50f8663
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-5350-956X
OpenAccessLink https://www.proquest.com/docview/2734756789?pq-origsite=%requestingapplication%
PQID 2734756789
PQPubID 2032326
ParticipantIDs proquest_journals_2734756789
crossref_primary_10_3390_sym14112278
PublicationCentury 2000
PublicationDate 2022-11-01
PublicationDateYYYYMMDD 2022-11-01
PublicationDate_xml – month: 11
  year: 2022
  text: 2022-11-01
  day: 01
PublicationDecade 2020
PublicationPlace Basel
PublicationPlace_xml – name: Basel
PublicationTitle Symmetry (Basel)
PublicationYear 2022
Publisher MDPI AG
Publisher_xml – name: MDPI AG
References Li (ref_24) 2021; 29
Chatterjee (ref_9) 2021; 297
ref_14
ref_12
ref_11
Fainekos (ref_13) 2009; 25
ref_10
ref_31
Li (ref_25) 2013; 21
Li (ref_32) 2015; 262
Chen (ref_30) 2022; 10
ref_19
ref_18
Zadeh (ref_5) 1965; 8
Khan (ref_23) 2022; 52
Li (ref_26) 2017; 377
ref_22
Zhang (ref_15) 2019; 49
ref_21
Pan (ref_28) 2015; 262
ref_1
Yang (ref_16) 2020; 50
ref_3
ref_2
ref_29
Hartmanns (ref_20) 2020; 64
ref_8
ref_4
ref_7
Rawlings (ref_27) 2020; 28
ref_6
Xue (ref_17) 2021; 51
References_xml – ident: ref_6
  doi: 10.1007/978-94-010-0646-0
– ident: ref_7
– volume: 262
  start-page: 44
  year: 2015
  ident: ref_32
  article-title: Computation tree logic model checking based on possibility measures
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2014.03.009
– volume: 25
  start-page: 1370
  year: 2009
  ident: ref_13
  article-title: Temporal-logic-based reactive mission and motion planning
  publication-title: IEEE Trans. Robot.
  doi: 10.1109/TRO.2009.2030225
– ident: ref_22
  doi: 10.2168/LMCS-4(4:8)2008
– volume: 8
  start-page: 338
  year: 1965
  ident: ref_5
  article-title: Fuzzy sets
  publication-title: Inf. Cont.
  doi: 10.1016/S0019-9958(65)90241-X
– ident: ref_21
  doi: 10.1007/978-3-319-63387-9_7
– volume: 52
  start-page: 11755
  year: 2022
  ident: ref_23
  article-title: Multi-objective generalized traveling salesman problem: A decomposition approach
  publication-title: Appl. Intell.
  doi: 10.1007/s10489-021-02989-w
– volume: 51
  start-page: 6224
  year: 2021
  ident: ref_17
  article-title: Decision making under measure-based granular uncertainty with intuitionistic fuzzy sets
  publication-title: Appl. Intell.
  doi: 10.1007/s10489-021-02216-6
– ident: ref_14
– ident: ref_2
  doi: 10.3390/sym14081667
– ident: ref_18
– volume: 297
  start-page: 103499
  year: 2021
  ident: ref_9
  article-title: Algorithms and conditional lower bounds for planning problems
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2021.103499
– volume: 64
  start-page: 1483
  year: 2020
  ident: ref_20
  article-title: Multi-cost Bounded Tradeoff Analysis in MDP
  publication-title: J. Autom. Reason.
  doi: 10.1007/s10817-020-09574-9
– ident: ref_29
  doi: 10.1007/s10700-022-09390-3
– ident: ref_19
  doi: 10.7551/mitpress/3926.001.0001
– ident: ref_11
  doi: 10.1609/icaps.v26i1.13773
– volume: 28
  start-page: 644
  year: 2020
  ident: ref_27
  article-title: Supervisory control of labeled transition systems subject to multiple reachability requirements via symbolic model checking
  publication-title: IEEE Trans. Control Syst. Technol.
  doi: 10.1109/TCST.2018.2877621
– volume: 21
  start-page: 842
  year: 2013
  ident: ref_25
  article-title: Model checking of linear-time properties based on possibility measure
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2012.2232298
– ident: ref_3
  doi: 10.3390/sym13010133
– ident: ref_8
– ident: ref_12
  doi: 10.1609/aaai.v31i1.11058
– volume: 262
  start-page: 60
  year: 2015
  ident: ref_28
  article-title: Model checking fuzzy computation tree logic
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2014.07.008
– volume: 10
  start-page: 84384
  year: 2022
  ident: ref_30
  article-title: Upper Bounded Minimal Solution of the Max-Min Fuzzy Relation Inequality System
  publication-title: IEEE Access.
  doi: 10.1109/ACCESS.2022.3197611
– volume: 377
  start-page: 51
  year: 2017
  ident: ref_26
  article-title: Model checking of linear-time properties in multi-valued systems
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2016.10.030
– ident: ref_31
– ident: ref_4
  doi: 10.3390/sym11030382
– ident: ref_10
– volume: 49
  start-page: 837
  year: 2019
  ident: ref_15
  article-title: Programming model-based method for ranking objects from group decision-making with interval-valued hesitant fuzzy preference relations
  publication-title: Appl. Intell.
  doi: 10.1007/s10489-018-1292-1
– volume: 50
  start-page: 4342
  year: 2020
  ident: ref_16
  article-title: A novel additive consistency for intuitionistic fuzzy preference relations in group decision-making
  publication-title: Appl. Intell.
  doi: 10.1007/s10489-020-01796-z
– volume: 29
  start-page: 1899
  year: 2021
  ident: ref_24
  article-title: Possibilistic fuzzy linear temporal logic and its model checking
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2020.2988848
– ident: ref_1
  doi: 10.3390/sym14091785
SSID ssj0000505460
Score 2.2475295
Snippet In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems...
SourceID proquest
crossref
SourceType Aggregation Database
Index Database
StartPage 2278
SubjectTerms Algorithms
Artificial intelligence
Baldness
Fuzzy logic
Fuzzy sets
Markov analysis
Polynomials
Symmetry
Title A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS
URI https://www.proquest.com/docview/2734756789
Volume 14
WOSCitedRecordID wos000881601000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2073-8994
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000505460
  issn: 2073-8994
  databaseCode: M~E
  dateStart: 20080101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 2073-8994
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000505460
  issn: 2073-8994
  databaseCode: M7S
  dateStart: 20090301
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 2073-8994
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000505460
  issn: 2073-8994
  databaseCode: BENPR
  dateStart: 20090301
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Publicly Available Content Database
  customDbUrl:
  eissn: 2073-8994
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000505460
  issn: 2073-8994
  databaseCode: PIMPY
  dateStart: 20090301
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/publiccontent
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8JAEJ4oePDi24gi2QMHPTT0tX2cDBKIRsEG1OCp6WPXaCIgrSbExN_uznYRPOjFQ3top82mszs7M535PoB6TB3XSpwUO3NFgBL5qeaJfUljVuJyxmyHyS7--2u31_OGQz9QCbdMlVXObaI01Ok4wRx5A2FYXPFizz-bvGrIGoV_VxWFxiqUESXBkKV7g-8cC7K02Y5etOVZIrpvZLMXwxYuhom0assb0U87LDeXzuZ_h7UFG8qtJM1iHmzDChvtwLZauBk5UejSp7vw0SRdyRpNWlhwjiACj0S24WoBJuaniLBKbuLnwhKSPpZbFmDeMxIU9DMZycfqmYXggOXZL9JYJko6V4M9uOu0b1sXmmJg0BLhCuWaz5NUpzGNeGpybnGEzjENx4xMl9JIZ8z3bJomscUM1xVHikxYVDglKdW5J5yZfSiNxiN2AMTiQht6pGNMbPu240XiqwlxR5gUhKCpQH2ujnBSAG2EIkBBrYVLWqtAda6HUK22LFwo4fDv20ewbmL7guwlrEIpn76xY1hL3vOnbFqD8nm7F_RrchLh-bMtrgWX3eDhC_DR0z8
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3JTsMwEB2VRYILUBZRVh9AgkPU1NkPCCGgatVSKlpQbyGJHQQSbWkCqOKf-EZmsrAc4NYDh5xi--AZzXjsee8B7PmGaWmBKQiZiwWK5wjFxrykSC2wQil1UyYo_pum1WrZvZ7TLsB7joWhtso8JiaBWgwCuiMvEw2LhQvbzvHwSSHVKHpdzSU0UrdoyPErlmzRUf0M7bvPefW8e1pTMlUBJcD0HitOGAjV8A0vFDwMtZDoYHjF5B63DMNTpXRs3RCBr8mKZeEnSN3JwEQrDDW0MUHjulMwg8cI7iStgp3POx1ShdNNNYUBapqjlqPxY0XHIw0nGbfvie9n3E-SWXXxv23DEixkx2Z2kvp5EQqyvwzFLDBF7CBjzz5cgbcTdpGoYrNTaqgnkoQ7lsCMlTY9PIyIQZZd-g9ppGdX1E6akpWPWTuV14lYPMjmfA3syDj6ZTS1wbJqo7MK1xPZhDWY7g_6ch2YFqL1VU-lml93dNP20Eo43MSQSRQ7JdjLze8OUyIRFwsw8hL3m5eUYCu3u5tFk8j9MvrG3793Ya7WvWi6zXqrsQnznKAaCW5yC6bj0bPchtngJb6PRjuJ4zK4nbSLfAAyrCqH
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V25TsNAEB2FBCEabsQRYAuQoLDirO8CoSghIkoIFpegMo69i0AigdiAIv6Mr2PGB0cBXQoKV15vsfs8b4-Z9wC2e4ZpaYEZUmUublB8J1Rs5CVFaIElhdBNkVTxX3asbte-unLcArzntTCUVpnHxCRQh4OAzsgrJMNiYce2U5FZWoTbaB48PinkIEU3rbmdRgqRthi94vYt2m81cK53OG8entePlMxhQAmQ6mPFkUGoGj3DlyGXUpMkDcOrJve5ZRi-KoRj60YY9DRRtSx8QnJ6MpB0Q0OVNpI19jsBJVyS67wIJbd17F5_nvCQR5xuqmlRoKY5aiUaPVR1XOBwMnX7ToM_WSChtubsfx6UOZjJFtSslv4B81AQ_QWYz0JWxHYzXe29RXirsePEL5vVKdWe5BNuWVKArLh0JTEkbVl20rtPOYCdUqJpKmM-Ym5qvBOxeJB989XwTMTRL60pQZY122dLcDGWQViGYn_QFyvANIlIUH2VTgN0RzdtH2cMm5sYTEl8ZxW2cyh4j6nEiIdbM0KM9w0xq1DOMeBlcSbyvgCw9vfrLZhCZHidVre9DtOcajiSgsoyFOPhs9iAyeAlvouGmxmKGdyMGyMflUo0vQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Method+Converting+Multi-Properties+Objective+Reachability+Problems+to+Multi-Objective+Sets+Reachability+Problems+over+FKS&rft.jtitle=Symmetry+%28Basel%29&rft.au=Li%2C+Zhaokai&rft.au=Ma%2C+Zhanyou&rft.au=Li%2C+Xia&rft.au=Gao%2C+Yingnan&rft.date=2022-11-01&rft.issn=2073-8994&rft.eissn=2073-8994&rft.volume=14&rft.issue=11&rft.spage=2278&rft_id=info:doi/10.3390%2Fsym14112278&rft.externalDBID=n%2Fa&rft.externalDocID=10_3390_sym14112278
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2073-8994&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2073-8994&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2073-8994&client=summon