Abstract Action theory may be regarded as a theoretical foundation of AI, because it provides in logically coherent way the principles performing actions by agents. But, more importantly, action offers formal ontology mainly based on set-theoretic constructs. This isolates various types structured entities: atomic, sequential, compound, ordered, situational etc., and is solid non-removable any ...

We define the decomposition property for partial actions of discrete groups on C⁎-algebras. Decomposable systems appear naturally in practice, and many commonly occurring can be decomposed into with property. For instance, any action a finite group is an iterated extension decomposable systems. Partial are always globalizable amenable, regardless acting group, their globalization explicitly des...