Image Schema Logic (ISL) is a formalism capable of expressing the spatio-temporal properties of image schemas. Its temporal component relies on linear temporal logic (LTL), which is not adequate for measuring and repeating time intervals, a fundamental aspect of rhythm. In this paper, we propose an extension of ISL which can express recurring time intervals of arbitrary length. We showcase its applicability by representing the moonwalk. Our research lays the groundwork for formal dance representation by emphasising the fundamental movement patterns of the moonwalk.
Penaloza, R., Pinkosova, Z. (2023). Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. In Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) (pp.1-10). CEUR-WS.
Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures
Penaloza R.
Primo
;Pinkosova Z.
2023
Abstract
Image Schema Logic (ISL) is a formalism capable of expressing the spatio-temporal properties of image schemas. Its temporal component relies on linear temporal logic (LTL), which is not adequate for measuring and repeating time intervals, a fundamental aspect of rhythm. In this paper, we propose an extension of ISL which can express recurring time intervals of arbitrary length. We showcase its applicability by representing the moonwalk. Our research lays the groundwork for formal dance representation by emphasising the fundamental movement patterns of the moonwalk.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Penaloza-2023-ISD-VoR.pdf
accesso aperto
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Licenza:
Creative Commons
Dimensione
687.35 kB
Formato
Adobe PDF
|
687.35 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
