Abstract
Many applications in Artificial Intelligence and Data Bases deal with (domain and/or goal-dependent) temporal patterns that repeat regularly over time ( periodicities). Hence the need for formal languages that allow users to define periodicities. Among proposals in the literature, symbolic languages are sets of operators for compositional and incremental definition. We propose a new methodology for designing symbolic languages, based on a preliminary analysis of the required expressiveness. The analysis is guided by a classification of the periodicities according to expressiveness properties that are mutually independent. Each of the properties will be then paired with a language operator such that the addition of that operator to a language adds the capability of defining all periodicities having the corresponding property. A modular family of languages with well-defined expressiveness is the result of this process. Moreover, in this paper we instantiate the general methodology by identifying a specific set of properties which we also use in order to classify the expressiveness of different symbolic approaches in the literature.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.