Vol 43, No 5-6 (2016)

Traditional linguistic–logical models in intelligent medical systems do not provide an exact match between the cognitive representation of an expert and the linguistic representation in a knowledge base, with regard to holistic visual images of diseases that meet certain definitions. The appearance of a patient is often important in medical diagnostics, in particular in hereditary diseases. However, we should note that there are no elaborated methods and tools to support special models that make it possible to use knowledge presented in verbal and figurative forms within the same formalism. Current national and foreign research and development in this field are mostly aimed at solving specific problems focused on a particular side of the problem. Clinical genetics is an area where the creation of systems based on a combination of verbalized and figurative knowledge can provide a qualitatively new level of diagnostics. Awareness of these factors results in the fact that the developed countries have become highly interested in medical-image analysis in recent years. However, these developments are not focused on the use of expert knowledge. One possible solution could be to construct a hybrid linguistic–image framework or ontological models that integrate qualitative and visual–image indicators for the formal description of diagnostically important clinical manifestations of diseases.

We present a simulation of the behavior of a homogeneous group of robots in an environment with obstacles. The problems of 2D flight of robots to different target objects were considered. The questions of the mutual dependence between local control rules and global adaptive group behavior and the synthesis of group control were studied and an analysis of the controllability of the group targets in environment with obstacles was performed. The results of the simulation are presented and examples of the operation of the simulation program are given.

Active Logic is a conceptual system with principles that are satisfied by reasoning formalisms that are contradiction-tolerant and allow for matching of the reasoning outcomes with moments of time. This paper proposes an approach to building an argumentation semantics for one of such formalisms built on the basis of the logic programming principles. Meanwhile, the concept of granulation of time is applied, with the latter being construed as an external entity that is not dependent on the internal structure of the logic program. The specifics of Active Logic with time granulation demanded a considerable modification of the proposed system of argumentation in comparison to other systems of the type that are available.