Almost Separable Data Aggregation by Layers of Formal Neurons

Information extraction or knowledge discovery from large data sets should be linked to data aggregation process. Data aggregation process can result in a new data representation with decreased number of objects of a given set. A deterministic approach to separable data aggregation means a lesser number of objects without mixing of objects from different categories. A statistical approach is less restrictive and allows for almost separable data aggregation with a low level of mixing of objects from different categories. Layers of formal neurons can be designed for the purpose of data aggregation both in the case of deterministic and statistical approach. The proposed designing method is based on minimization of the of the convex and piecewise linear (CPL) criterion functions.

Formal Definition of Artificial Intelligence

* This publication is partially supported by the KT-DigiCult-Bg project.

Formal Definition of the Concept “Infos”

The concept INFOS is very important for understanding the information phenomena. Because of this, it is basic for the General Information Theory. The more precise formal definition of this concept is given in the paper.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 2. A Formal Description of Cause-and-effect Relations

This article is the continuation of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of interrelations between terms of knowledge and reality in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

Symmetric and Asymmetric Gaps in Some Fields of Formal Power Series

2000 Mathematics Subject Classification: 03E04, 12J15, 12J25.

Formal Specification of Relational Model of Data in Z-Notation

Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.

Social - Oriented Applications of the Folklore Heritage for the Needs of the Non-formal Learning and Cultural Tourisms

The report presents a description of the most popular digital folklore archives in the world. Specifications for designing and developing web-based social-oriented applications in the field of education and cultural tourism are formulated on the basis of comparative analysis. A project for structuring and categorizing the content is presented. A website for accessing the digital folklore archive is designed and implemented.