Abstract
This paper is aimed at the engineering evaluating of 3 wellknown temporal logic systems: of the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some alternative fuzzy extension of LTL – called a Fuzzy-Time Temporal Logic as a system suitable for an explicit rendering of a fuzzy nature of time. We intend to formulate and defend the thesis – on a base of a behavior of robot in the block world – that chosen systems are only partially capable of satisfying typical requirements of engineers.
Author supplied keywords
Cite
CITATION STYLE
Jobczyk, K., Ligeza, A., & Kluza, K. (2016). Selected temporal logic systems: An attempt at engineering evaluation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9692, pp. 219–229). Springer Verlag. https://doi.org/10.1007/978-3-319-39378-0_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
