Page 1

Displaying 1 – 9 of 9

Showing per page

The Diamond Tool: a way of effective development and utilization of knowledge

Zdenko Staníček, Filip Procházka (2004)

Kybernetika

This paper presents the Diamond Tool for knowledge management. The main objective of its specification and implementation was to create a universal and easily extendable tool for efficient work with knowledge. One of its extensions is the eTrium technology. The principal idea behind this technology is to represent explicitly the knowledge used by the information system by means of a knowledge agent built on the Diamond Tool – in contrary to current approaches, where knowledge is present implicitly...

Towards a logic of semiotic systems

Constantin Thiopoulos (1992)

Mathématiques et Sciences Humaines

The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category theory.

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Bogumiła Hnatkowska, Zbigniew Huzar (2001)

International Journal of Applied Mathematics and Computer Science

The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.

Currently displaying 1 – 9 of 9

Page 1