- Tytuł:
-
Towards a universal model of action
Pewna propozycja uniwersalnego modelu akcji - Autorzy:
- Winkowski, J.
- Powiązania:
- https://bibliotekanauki.pl/articles/182554.pdf
- Data publikacji:
- 2016
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
action
object
object instance
occurrence of object instance
execution
execution segment
execution fragment
execution structure
lposet
pomset
sequential composition
parallel composition
independent component
prefix order
akcja
obiekt
instancja obiektu
wystąpienie instancji obiektu
wykonanie
segment wykonania
fragment wykonania
struktura wykonań
poset
złożenie szeregowe
złożenie równoległe
niezależna składowa
porządek prefiksowy - Opis:
-
In the paper a model of action is described that is universal in
the sense that it may serve to represent actions of any kind: discrete, continuous,
or partially discrete and partially continuous. The model is founded
on the assumption that an action is executed in a universe of objects. It describes
how the possible executions change the situation of involved objects.
It exploits the fact that executions are represented such that fragments of
executions are represented such that their closed segments admit only trivial
automorphisms. The model has an algebraic strucure and it is a directed
complete partial order.
Praca zawiera opis pewnego modelu akcji, który jest uniwersalny w tym sensie, że może służyć do reprezentowania akcji dowolnego rodzaju: dyskretnych, ciągłych, lub częściowo dyskretnych i częściowo ciągłych. Model ten opiera się na za lożeniu, że akcja jest wykonywana w pewnym środowisku obiektów. Opisuje jak możliwe wykonania akcji zmieniają sytuacje zaangażowanych obiektów. Wykorzystuje fakt, że fragmenty wykonań akcji są reprezentowane tak, że ich ograniczone segmenty mają jedynie trywialne automorfizmy. Model ma pewną strukturę algebraiczną i częściowy porządek przy którym podzbiory skierowane mają kresy górne. - Źródło:
-
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1035; 1-32
0138-0648 - Pojawia się w:
- Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
- Dostawca treści:
- Biblioteka Nauki