Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2 Winkowski J.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: occurrence of object instance

Sortuj według:

Ogranicz wyniki do:

Towards a universal model of action

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2016

Nr 1035

1--32

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.

A Mathematical Model of Action

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2014

Nr 1029

1--44

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 their bounded segments admit only trivial automorphisms. Consequently, the model has an algebraic structure and 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łoż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 wykonania akcji są reprezentowane tak, że ich ograniczone segmenty mają jedynie trywialne automorfizmy. Dzięki temu model ma pewną strukturę algebraiczną i częściowy porządek przy którym podzbiory skierowane mają kresy górne.