Abstract: This paper presents an ontological model of the knowledge about Bulgarian iconographical artefacts. It also describes content-sensitive services for access, browse, search and group iconographical objects, based on the presented ontology that will be implemented in the multimedia digital library “Virtual encyclopedia of Bulgarian iconography”.

Keywords: Ontology, Bulgarian Iconography, Digital Libraries, Content-sensitive services.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, H.3.7 Digital Libraries – Collection, Dissemination, System issues.

Link:

TOWARDS CONTENT-SENSITIVE ACCESS TO THE ARTEFACTS OF THE BULGARIAN ICONOGRAPHY

Desislava Paneva, Lilia Pavlova-Draganova?, Lubomil Draganov

http://www.foibg.com/ijitk/ijitk-vol02/ijitk02-4-p03.pdf

Abstract: Preserving and presenting the Bulgarian folklore heritage is a long-term commitment of scholars and researchers working in many areas. This article presents ontological model of the Bulgarian folklore knowledge, exploring knowledge technologies for presenting the semantics of the phenomena of our traditional culture. This model is a step to the development of the digital library for the “Bulgarian Folklore Heritage” virtual exposition which is a part of the “Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage” project.

Keywords: Knowledge Technologies, Ontology, Digital Libraries, Bulgarian Folklore, Ethnology.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, H.3.7 Digital Libraries – Collection, Dissemination, System issues.

Link:

USE OF KNOWLEDGE TECHNOLOGIES FOR PRESENTATION OF BULGARIAN FOLKLORE HERITAGE SEMANTICS∗

Detelin Luchev, Desislava Paneva, Konstantin Rangochev

http://www.foibg.com/ijitk/ijitk-vol02/ijitk02-4-p02.pdf

Abstract: In this paper a new double-wavelet neuron architecture obtained by modification of standard wavelet neuron, and its learning algorithm are proposed. The offered architecture allows to improve the approximation properties of wavelet neuron. Double-wavelet neuron and its learning algorithm are examined for forecasting nonstationary chaotic time series.

Keywords: wavelet, double-wavelet neuron, recurrent learning algorithm, forecasting, emulation, analytical activation function.

ACM Classification Keywords: I.2.6 Learning – Connectionism and neural nets

Link:

DOUBLE-WAVELET NEURON BASED ON ANALYTICAL ACTIVATION FUNCTIONS

Yevgeniy Bodyanskiy, Nataliya Lamonova, Olena Vynokurova

http://www.foibg.com/ijita/vol14/ijita14-3-p14.pdf

Abstract: In this article the notion of a mathematical model of domain ontology is introduced. The mathematical apparatus (unenriched logical relationship systems) is essentially used. The representation of various elements of domain ontology in its model is considered. These elements are terms for situation description and situations themselves, knowledge and terms for knowledge description, mathematical terms and constructions, auxiliary terms and ontological agreements. The notion of a domain model is discussed. The notions of a precise ontology and precise conceptualization are introduced. The structures of situations and knowledge and also their properties are considered. Merits and demerits of various classes of the domain ontology models are discussed.

Keywords: Domain ontology, domain ontology model, ontology language specification, kernel of extendable language of applied logic, unenriched logical relationship systems, enriched logical relationship systems, enrichment of logical relationship system.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F.4.1. Mathematical Logic

Link:

MATHEMATICAL MODELS OF DOMAIN ONTOLOGIES1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol14/ijita14-1-p05.pdf

Abstract: Basic types of information resources for the computer knowledge bank on medical diagnostics are presented. They are observation ontology and some examples of observations bases from various fields of medicine. By the observation ontology observation bases can be formed, checked and used in the computer knowledge bank.

Keywords: computer knowledge bank on medical diagnostics, information resources, observation ontology, observations bases, observation group, observation

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods; H.2.8 Database Applications

Link:

FORMING KNOWLEDGE BASES IN THE COMPUTER KNOWLEDGE BANK ON MEDICAL DIAGNOSTICS 1

Mary Chernyakhovskaya

http://www.foibg.com/ijita/vol13/ijita13-4-p11.pdf

Abstract. An ontological representation of buyer interests’ knowledge in process of e-commerce is proposed to use. It makes it more efficient to make a search of the most appropriate sellers via multiagent systems. An algorithm of a comparison of buyer ontology with one of e-shops (the taxonomies) and an e-commerce multiagent system are realised using ontology of information retrieval in distributed environment.

Keywords: ontology, e-commerce, multiagent system.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods

Link:

ONTOLOGICAL APPROACH TO DOMAIN KNOWLEDGE REPRESENTATION FOR INFORMATION RETRIEVAL IN MULTIAGENT SYSTEMS

Anatoly Gladun, Julia Rogushina, Victor Shtonda+

http://www.foibg.com/ijita/vol13/ijita13-4-p10.pdf

Abstract: Building domain ontologies and applying them to different objectives, researchers faced the fact that many ontologies are associated with one another by one or another relations. Therefore, the problem arose to study relations among different ontologies of the same domains as well as of different ones. A formalization of a relation among domain ontologies is the analogous mathematical relation among mathematical models of these ontologies. The article considers the case when domain ontology model is represented by logical relationship system. Relations among domain ontologies give a possibility to reuse one ontology model when another ontology models are worked out and when new intellectual computer system for same or different domain is worked out.

Keywords: Mathematical model of domain ontology, ontologies representing the same conceptualisation, resemblance between ontologies, simplification of ontologies, composition of ontologies, intellectual task solver.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

AN ANALYSIS OF SOME RELATIONS AMONG DOMAIN ONTOLOGIES1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol12/ijita12-1-p12.pdf

Abstract: An effective mathematical method of new knowledge obtaining on the structure of complex objects with required properties is developed. The method comprehensively takes into account information on the properties and relations of primary objects, composing the complex objects. It is based on measurement of distances between the predicate groups with some interpretation of them. The optimal measure for measurement of these distances with the maximal discernibleness of different groups of predicates is constructed. The method is tested on solution of the problem of obtaining of new compound with electro-optical properties.

Keywords: New knowledge, Predicates, Complex objects, Primary objects, Maximal discernibleness.

ACM Classification Keywords: I.2.4 Artificial Intelligence: knowledge representation formalisms and methods.

Link:

NEW KNOWLEDGE OBTAINING IN STRUCTURAL-PREDICATE MODELS OF KNOWLEDGE

Valeriy Koval, Yuriy Kuk

http://www.foibg.com/ijita/vol12/ijita12-1-p10.pdf

Abstract: A mathematical apparatus for domain ontology simulation is described in the series of articles. This article is the second one of the series. It describes a few specialized extensions of the extendable languages of applied logic that was described in the first article of the series. A few examples of some ideas related to domain ontologies and formalization of these ideas using the language are presented.

Keywords: Extendable language of applied logic, ontology language specification, specialized extensions of the extendable language of applied logic.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

A MATHEMATICAL APPARATUS FOR ONTOLOGY SIMULATION. SPECIALIZED EXTENSIONS OF THE EXTENDABLE LANGUAGE OF APPLIED LOGIC1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol12/ijita12-3-p10.pdf

Abstract: A mathematical apparatus for domain ontology simulation will be described in the series of the articles. This article is the first one of the series. The paper is devoted to means for representation of domain models and domain ontology models, so here a logical language is used only as a means for formalizing ideas. The chief requirement to such a language is that it must have such a semantic basis that would allow us to determine the most exact approximation of a set of intended interpretation functions as often as possible. Another requirement closely connected with the foregoing one is that the awkwardness of expressing ideas in such a language must not considerably exceed the complexity of their expressing in natural language. There are two ways to meet the requirements. The first one is to define and fix a wide semantic basis of the language. In this case the semantic basis nonetheless can be insufficient for some applications of the language. Extending applications of the language can lead from time to time to the necessity of further extending its semantic basis, i.e. to the necessity of defining new and new versions of the language. The second way is to make the kernel of the language being as nearer to the semantic basis of the classical language as possible and to allow us to make necessary extensions of the kernel for particular applications. In this article the second way is used to define the extendable language of applied logic. The goal of this article is to define the kernel of the extendable language of applied logic and its standard extension. The standard extension of the language defines elements of the semantic basis that are supposed to be useful practically in all the applications.

Keywords: Extendable language of applied logic, ontology language specification, kernel of extendable language of applied logic, the standard extension of the language of applied logic.

ACM Classification Keywords :I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. AN EXTENDABLE LANGUAGE OF APPLIED LOGIC1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol12/ijita12-2-p07.pdf

Abstract: A mathematical apparatus for domain ontology simulation will be described in the series of the articles The goal of this article is to define unenriched and enriched logical relationship systems that can be considered as mathematical models for domain ontologies. The extendable language of applied logic described in the previous articles of the series is used as the language of representation of these systems.

Keywords: Extendable language of applied logic, ontology language specification, kernel of extendable language of applied logic, unenriched logical relationship systems, enriched logical relationship systems, enrichment of logical relationship system.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. LOGICAL RELATIONSHIP SYSTEMS1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol12/ijita12-4-p07.pdf

Abstract: The article defines the class of domains with complicated structures, gives the definition of multilevel ontologies and determines the method for developing such ontologies.

Keywords: Domains with complicated structures, multilevel ontologies

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

DOMAINS WITH COMPLICATED STRUCTURES AND THEIR ONTOLOGIES1

Irene Artemieva

http://www.foibg.com/ijita/vol15/ijita15-4-p04.pdf

Abstract: The paper is related with the problem of developing autonomous intelligent robots for complex environments. In details it outlines a knowledge-based robot control architecture that combines several techniques in order to supply an ability to adapt and act autonomously in complex environments. The described architecture has been implemented as a robotic system that demonstrates its operation in dynamic environment. Although the robotic system demonstrates a certain level of autonomy, the experiments show that there are situation, in which the developed base architecture should be complemented with additional modules. The last few chapters of the paper describe the experimentation results and the current state of further research towards the developed architecture.

Keywords: Intelligent robots, autonomous intelligent systems, autonomous robots. Artificial intelligence.

ACM Keywords: I.2.4.J – Representations, I.2.6.A – Analogies, I.2.6.E – Induction, I.2.8.G – Plan execution, formation, and generation, I.2.9.A – Autonomous Vehicles

Link:

KNOWLEDGE-BASED ROBOT CONTROL

Agris Nikitenko

http://www.foibg.com/ijita/vol15/ijita15-2-p05.pdf

Abstract: In different fields a conception of granules is applied both as a group of elements defined by internal properties and as something inseparable whole reflecting external properties. Granular computing may be interpreted in terms of abstraction, generalization, clustering, levels of abstraction, levels of detail, and so on. We have proposed to use multialgebraic systems as a mathematical tool for synthesis and analysis of granules and granule structures. The theorem of necessary and sufficient conditions for multialgebraic systems existence has been proved.

Keywords: granular computing, multirelations, multioperations.

ACM Classification Keywords: I.2.4 Knowledge representation formalisms and methods: relation systems.

Link:

MULTIALGEBRAIC SYSTEMS IN INFORMATION GRANULATION

Alexander Kagramanyan, Vladimir Mashtalir, Vladislav Shlyakhov

http://www.foibg.com/ijita/vol15/ijita15-1-p09.pdf

Abstract: The problems of constructing the selfsrtucturized systems of memory of intelligence information processing tools, allowing formation of associative links in the memory, hierarchical organization and classification, generating concepts in the process of the information input, are discussed. The principles and methods for realization of selfstructurized systems on basis of hierarchic network structures of some special class – growing pyramidal network are studied. The algorithms for building, learning and recognition on basis of such type network structures are proposed. The examples of practical application are demonstrated.

Keywords: knowledge discovery, classification, prediction, growing pyramidal networks, concept formation.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods - Semantic networks, F.1.1 Models of Computation - Self-modifying machines (e.g., neural networks)

Link:

SELFSTRUCTURIZED SYSTEMS

Victor Gladun, Vitalii Velychko, Yurii Ivaskiv

http://www.foibg.com/ijita/vol15/ijita15-1-p01.pdf

Abstract: The operating model of knowledge quantum engineering for identification and prognostic decisionmaking in conditions of α-indeterminacy is suggested in the article. The synthesized operating model solves three basic tasks: Аt-task to formalize tk-knowledge; Вt-task to recognize (identify) objects according to observed results; Сt-task to extrapolate (prognosticate) the observed results. Operating derivation of identification and prognostic decisions using authentic different-level algorithmic knowledge quantum (using tRAKZ-method) assumes synthesis of authentic knowledge quantum database (BtkZ) using induction operator as a system of implicative laws, and then using deduction operator according to the observed tk-knowledge and BtkZ a derivation of identification or prognostic decisions in a form of new tk-knowledge.

Keywords: operating model, decision-making object, knowledge quantum database, target feature, method of different-level algorithmic knowledge quantum, implicative law.

ACM Classification Keywords: I.2.3 Deduction and Theorem Proving; I.2.4 Knowledge Representation Formalisms and Methods; I.2.5 Programming Languages and Software

Link:

OPERATING MODEL OF KNOWLEDGE QUANTUM ENGINEERING FOR DECISION-MAKING IN CONDITIONS OF INDETERMINACY

Liudmyla Molodykh, Igor Sirodzha

http://www.foibg.com/ijita/vol14/ijita14-1-p11.pdf

Abstract: The purpose of this paper is to study possibility and probability measures in continuous universes, taking different line to the one proposed and dealt with by other authors. We study the coherence between the probability measure and the possibility measure determined by a function that is both a possibility density and distribution function. For this purpose, we first examine functions that satisfy this condition and then we anlyze the coherence in some notable probability distributions cases.

Keywords: Measure, possibility, probability.

ACM Classification Keywords: I.2.3 Artificial Intelligence: Deduction and Theorem Proving (Uncertainty, “fuzzy” and probabilistic reasoning); I.2.4 Artificial Intelligence: Knowledge Representation Formalisms and Methods (Predicate logic, Representation languages).

Link:

ON THE COHERENCE BETWEEN PROBABILITY AND POSSIBILITY MEASURES1

Elena Castineira, Susana Cubillo, Enric Trillas

http://www.foibg.com/ijita/vol14/ijita14-4-p01.pdf

Abstract. The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to these algorithms using heuristic estimation are proposed. The principles for designing these heuristic functions are thoroughly discussed. The colored clause graphs resolution principle is presented. The comparison of efficiency (on the Steamroller problem) is carried out and the results are presented. The parallel unification algorithm used in the parallel inference procedure is briefly outlined in the final part of the paper.

Keywords: Automated Reasoning, Logical inference

ACM Classification Keywords: I.2.3 Artificial Intelligence: Deduction and Theorem Proving

Link:

THE DEVELOPMENT OF PARALLEL RESOLUTION ALGORITHMS USING THE GRAPH REPRESENTATION

Andrey Averin, Vadim Vagin

http://www.foibg.com/ijita/vol13/ijita13-3-p10.pdf

Abstract. The article presents a new method to estimating usability of a user interface based on its model. The principal features of the method are: creation of an expandable knowledge base of usability defects, detection defects based on the interface model, within the design phase, and information to the developer not only about existence of defects but also advice on their elimination.

Keywords: Ontology, defects, interface model, user interface development

ACM Classification Keywords: I.2.2 Artificial intelligence: automatic programming

Link:

A METHOD OF ESTIMATING USABILITY OF A USER INTERFACE BASED ON ITS MODEL

Valeriya Gribova

http://www.foibg.com/ijita/vol14/ijita14-1-p06.pdf

Abstract. A new method to implementation of dialog based on graphical static scenes using an ontology-based approach to user interface development is proposed. The main idea of the approach is to form necessary to the user interface development and implementation information using ontologies and then based on this high-level specification to generate the user interface.

Keywords: Ontology, interface model, user interface development

ACM Classification Keywords: I.2.2 Artificial intelligence: automatic programming

Link:

DIALOG BASED ON GRAPHICAL STATIC SCENES MANAGED BY AN ONTOLOGY

Valeriya Gribova

http://www.foibg.com/ijita/vol13/ijita13-4-p04.pdf

Abstract. The article presents a new method to automatic generation of help in software. Help generation is realized in the framework of the tool for development and automatic generation of user interfaces based on ontologies. The principal features of the approach are: support for context-sensitive help, automatic generation of help using a task project and an expandable system of help generation.

Keywords: Ontology, task model, context-sensitive help, user interface development

ACM Classification Keywords: I.2.2 Artificial intelligence: automatic programming

Link:

A METHOD OF CONTEXT-SENSITIVE HELP GENERATION USING A TASK PROJECT1

Valeriya Gribova

http://www.foibg.com/ijita/vol15/ijita15-4-p14.pdf

Abstract: The main principles and experience of development of learning integrated expert systems based on the third generation instrumental complex AT-TECHNOLOGY are considered.

Keywords: learning integrated expert systems, problem-oriented methodology, educational process.

ACM Classification Keywords: I.2..1 Artificial Intelligence: Applications and Expert Systems

Link:

OF LEARNING INTEGRATED EXPERT SYSTEMS IN THE EDUCATIONAL PROCESS

Galina Rybina, Victor Rybin

http://www.foibg.com/ijitk/ijitk-vol02/ijitk02-1-p07.pdf

Abstract: Methodology of computer-aided investigation and provision of safety for complex constructions and a prototype of the intelligent applied system, which implements it, are considered. The methodology is determined by the model of the object under scrutiny, by the structure and functions of investigation of safety as well as by a set of research methods. The methods are based on the technologies of object-oriented databases, expert systems and on the mathematical modeling. The intelligent system’s prototype represents component software, which provides for support of decision making in the process of safety investigations and investigation of the cause of failure. Support of decision making is executed by analogy, by determined search for the precedents (cases) with respect to predicted (on the stage of design) and observed (on the stage of exploitation) parameters of the damage, destruction and malfunction of a complex hazardous construction.

Keywords: computer-aided investigations, intelligent system, technical state, safety, construction, malfunction, failure, case-based reasoning.

ACM Classification Keywords: I.2.1 Applications and Expert Systems: Medicine and science, Industrial Automation

Link:

AN INTELLIGENT SYSTEM FOR INVESTIGATIONS AND PROVISION OF SAFETY FOR COMPLEX CONSTRUCTIONS

Alexander Berman, Olga Nikolaychuk, Alexander Yurin, Alexander Pavlov

http://www.foibg.com/ijitk/ijitk-vol02/ijitk02-3-p03.pdf

Annotation: Optimization of design, creation, functioning and accompaniment processes of expert system is the important problem of artificial intelligence theory and decisions making methods techniques. In this paper the approach to its solving with the use of technology, being based on methodology of systems analysis, ontology of subject domain, principles and methods of self-organisation, is offered. The aspects of such approach realization, being based on construction of accordance between the ontology hierarchical structure and sequence of questions in automated systems for examination, are expounded.

Keywords: Expert systems, ontology, self-organisation

ACM Classification Keywords: I.2.1. Application and Expert Systems

Link:

SELF-ORGANIZATION OF FUNCTIONING PROCESS OF EXPERT SYSTEM WITH THE USE OF SUBJECT DOMAIN ONTOLOGY

Elena Netavskaya

http://www.foibg.com/ijitk/ijitk-vol01/ijitk01-3-p05.pdf

Abstract: The biggest threat to any business is a lack of timely and accurate information. Without all the facts, businesses are pressured to make critical decisions and assess risks and opportunities based largely on guesswork, sometimes resulting in financial losses and missed opportunities. The meteoric rise of Databases (DB) appears to confirm the adage that “information is power”, but the stark reality is that information is useless if one has no way to find what one needs to know. It is more accurate perhaps to state that, “the ability to find information is power”. In this paper we show how Instantaneous Database Access System (IDAS) can make a crucial difference by pulling data together and allowing users to summarise information quickly from all areas of a business organisation.

Keywords: data mining, natural language, parsing, SQL-query and production rules

ACM Classification Keywords: I.2.1 Application and Expert Systems – Natural language interface

Link:

INSTANTANEOUS DATABASE ACCESS

Guy Francis, Mark Lishman, Vladimir Lovitskii, Michael Thrasher, David Traynor

http://www.foibg.com/ijita/vol14/ijita14-2-p09.pdf