Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100077447> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2100077447 abstract "In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are able to automatically react to events, by collecting information from outside and internally generating new events. However, the collection of data is often hampered by uncertainty and vagueness that can arise from the imprecision of the monitoring infrastructure, unreliable data sources, and networks. The decision making mechanism used to produce a reaction is also imprecise, and cannot be evaluated in a crisp way. It depends on the evaluation of vague temporal constraints, which are expressed on the collected data by humans. Despite fuzzy logic has been mainly conceived as a mathematical abstraction to express vagueness, no attempt has been made to fuzzify the temporal modalities. Existing fuzzy languages do not allow us to represent temporal properties, such as almost always and soon. Indeed, the semantics of existing fuzzy temporal operators is based on the idea of replacing classical connectives or propositions with their fuzzy counterparts. To overcome these limitations, we propose a temporal framework, FTL (Fuzzy-time Temporal Logic), to express vagueness on time. This framework formally defines a set of fuzzy temporal modalities, which can be customized by choosing a specific semantics for the connectives. The semantics of the language is sound, and the introduced modalities respect a set of expected mutual relations. We also prove that under the assumption that all events are crisp, FTL reduces to LTL. Finally, for some of the possible fuzzy interpretations of the connectives, we identify adequate sets of temporal operators, from which it is possible to derive all the others." @default.
- W2100077447 created "2016-06-24" @default.
- W2100077447 creator A5049622460 @default.
- W2100077447 creator A5053254064 @default.
- W2100077447 creator A5057896873 @default.
- W2100077447 date "2012-03-28" @default.
- W2100077447 modified "2023-09-27" @default.
- W2100077447 title "Fuzzy Time in LTL" @default.
- W2100077447 cites W1955819101 @default.
- W2100077447 cites W1970065917 @default.
- W2100077447 cites W1993804511 @default.
- W2100077447 cites W2024065710 @default.
- W2100077447 cites W2070635799 @default.
- W2100077447 cites W2089160254 @default.
- W2100077447 cites W2096482476 @default.
- W2100077447 cites W2105438026 @default.
- W2100077447 cites W2110182592 @default.
- W2100077447 cites W2140393476 @default.
- W2100077447 cites W2156829619 @default.
- W2100077447 hasPublicationYear "2012" @default.
- W2100077447 type Work @default.
- W2100077447 sameAs 2100077447 @default.
- W2100077447 citedByCount "1" @default.
- W2100077447 countsByYear W21000774472017 @default.
- W2100077447 crossrefType "posted-content" @default.
- W2100077447 hasAuthorship W2100077447A5049622460 @default.
- W2100077447 hasAuthorship W2100077447A5053254064 @default.
- W2100077447 hasAuthorship W2100077447A5057896873 @default.
- W2100077447 hasConcept C111472728 @default.
- W2100077447 hasConcept C124101348 @default.
- W2100077447 hasConcept C124304363 @default.
- W2100077447 hasConcept C138885662 @default.
- W2100077447 hasConcept C148671577 @default.
- W2100077447 hasConcept C154945302 @default.
- W2100077447 hasConcept C17350324 @default.
- W2100077447 hasConcept C177264268 @default.
- W2100077447 hasConcept C184337299 @default.
- W2100077447 hasConcept C199360897 @default.
- W2100077447 hasConcept C25016198 @default.
- W2100077447 hasConcept C2776825360 @default.
- W2100077447 hasConcept C41008148 @default.
- W2100077447 hasConcept C42011625 @default.
- W2100077447 hasConcept C58166 @default.
- W2100077447 hasConcept C80444323 @default.
- W2100077447 hasConceptScore W2100077447C111472728 @default.
- W2100077447 hasConceptScore W2100077447C124101348 @default.
- W2100077447 hasConceptScore W2100077447C124304363 @default.
- W2100077447 hasConceptScore W2100077447C138885662 @default.
- W2100077447 hasConceptScore W2100077447C148671577 @default.
- W2100077447 hasConceptScore W2100077447C154945302 @default.
- W2100077447 hasConceptScore W2100077447C17350324 @default.
- W2100077447 hasConceptScore W2100077447C177264268 @default.
- W2100077447 hasConceptScore W2100077447C184337299 @default.
- W2100077447 hasConceptScore W2100077447C199360897 @default.
- W2100077447 hasConceptScore W2100077447C25016198 @default.
- W2100077447 hasConceptScore W2100077447C2776825360 @default.
- W2100077447 hasConceptScore W2100077447C41008148 @default.
- W2100077447 hasConceptScore W2100077447C42011625 @default.
- W2100077447 hasConceptScore W2100077447C58166 @default.
- W2100077447 hasConceptScore W2100077447C80444323 @default.
- W2100077447 hasLocation W21000774471 @default.
- W2100077447 hasOpenAccess W2100077447 @default.
- W2100077447 hasPrimaryLocation W21000774471 @default.
- W2100077447 hasRelatedWork W104437072 @default.
- W2100077447 hasRelatedWork W122716475 @default.
- W2100077447 hasRelatedWork W129223803 @default.
- W2100077447 hasRelatedWork W1519962008 @default.
- W2100077447 hasRelatedWork W1571783905 @default.
- W2100077447 hasRelatedWork W165507440 @default.
- W2100077447 hasRelatedWork W1897387424 @default.
- W2100077447 hasRelatedWork W1976290087 @default.
- W2100077447 hasRelatedWork W2038270820 @default.
- W2100077447 hasRelatedWork W2109984133 @default.
- W2100077447 hasRelatedWork W2181309497 @default.
- W2100077447 hasRelatedWork W2340396817 @default.
- W2100077447 hasRelatedWork W2468598944 @default.
- W2100077447 hasRelatedWork W2621174156 @default.
- W2100077447 hasRelatedWork W28653841 @default.
- W2100077447 hasRelatedWork W2968624728 @default.
- W2100077447 hasRelatedWork W3007438957 @default.
- W2100077447 hasRelatedWork W3021985953 @default.
- W2100077447 hasRelatedWork W3133762526 @default.
- W2100077447 hasRelatedWork W42846602 @default.
- W2100077447 isParatext "false" @default.
- W2100077447 isRetracted "false" @default.
- W2100077447 magId "2100077447" @default.
- W2100077447 workType "article" @default.