Информационная система "Конференции"

Abstracts

Applications of logic in computer science

Conceptual System Theory by Karl Erich Wolff is a mathematical system theory based on ideas and methods of Formal Concept Analysis. An important task of Conceptual System Theory is to describe the basis concept of System Theory as 'system', 'object', 'state', 'situation', 'event', 'time', 'space' ect in a mathematical way. For this purpose was being created more general conceptions. In that frame find the basic concepts of system theory a natural place. Furthermore it will be found new concepts, allowing to refine System Theory.

First, we consider in details the basic definitions of Conceptual System Theory as 'conceptual time system', 'conceptual time system with actual objects and time relations' and 'conceptual semantic system'

These definitions are examples of fibering structures in the categories of many-sorted coalgebras. On the other side, the most important examples and constructs of coalgebras can be expressed in the frame of Conceptual System Theory. Second, we will give crash introduction to Universal Coalgebra and consider some connections between Conceptual System Theory and Universal Coalgebra.

Finally, we investigated some structural algebraically properties of congruence relations, congruence classes, bisimulations and transitions of 'conceptual time systems' and 'conceptual time systems with actual objects and time relations'.

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home