DSpace Collection: Volume 10 Number 2
http://hdl.handle.net/10525/903
The Collection's search engineSearch the Channelsearch
http://sci-gems.math.bas.bg/jspui/simple-search
Intellectual Communications and Contemporarly Technologies Alternatives of the Science Libraries
http://hdl.handle.net/10525/942
Title: Intellectual Communications and Contemporarly Technologies Alternatives of the Science Libraries<br/><br/>Authors: Varbanova-Dencheva, K.<br/><br/>Abstract: (Summary of: Varbanova-Dencheva, K. Intellectual communications and contemporarly technologies. Alternatives of the science libraries. Sofia, Marin Drinov academic publishing house. 2003, 114p. ) The new technologies and the globalization are the factors which have brought essential changes in human society and its environment. The unceasing dynamic changes imposed new strategies for survival and prosperity of institutions and people in the new conditions. The spheres with greatest potential for achieving competition priority are compatible to the fastness of research results implementation in each field of human activity. The extended knowledge requires narrower specialization as well as interdisciplinarity to solve the arising problems. The new research fields and trends are a synthesis of science and high technologies determined by the new discoveries. The present study aims at finding answers to the questions about the place of science library in the dynamic restructuring of research environment. The necessity of transformation of the scientific library’s genetically set functions from a guardian of the achieved knowledge to an active participant in the creation of new knowledge is a natural consequence of the processes and tendencies of the social medium. The priorities of Europe and USA for intensive creation of knowledge economics are at the first place and this requires intensification of that research an integral part of which are the new communications realized at a new technological level.On OBDD Transformations Representing Finite State Automata
http://hdl.handle.net/10525/941
Title: On OBDD Transformations Representing Finite State Automata<br/><br/>Authors: Kryvyy, Sergey; Grzywacz, Wioletta<br/><br/>Abstract: We present OBDD transformation problem representing finite labeled transition systems corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a minimized transition system for this congruence relation.Planning of Intellectual Robot Actions in Real Time
http://hdl.handle.net/10525/940
Title: Planning of Intellectual Robot Actions in Real Time<br/><br/>Authors: Romanenko, Nadezhda<br/><br/>Abstract: In article the mathematical model of the mobile robot actions planning at recognition of situations in extreme conditions of functioning is offered. The purpose of work is reduced to formation of a concrete plan of the robot actions by extrapolation of a situation and its concrete definition with the account a priori unpredictable features of current conditions.A Planning Model with Resources in e-Learning
http://hdl.handle.net/10525/939
Title: A Planning Model with Resources in e-Learning<br/><br/>Authors: Totkov, George; Somova, Elena<br/><br/>Abstract: This work proposes a model for planning of education based on resources and layers. Each learning material or concept is determined by certain characteristics: a layer and a list of resources and resource values. Models of studied subject domain, learner, information and verification unit, learning material, plan of education and education have been defined. The plan of education can be conventional, statical, author’s and dynamic. Algorithms for course generation, dynamic plan generation and carrying out education are presented. The proposed model for planning of education based on resources and layers has been included in the system PeU.Managing Interval Resources in Automated Planning
http://hdl.handle.net/10525/938
Title: Managing Interval Resources in Automated Planning<br/><br/>Authors: Poggioni, Valentina; Milani, Alfredo; Baioletti, Marco<br/><br/>Abstract: In this paper RDPPLan, a model for planning with quantitative resources specified as numerical intervals, is presented. Nearly all existing models of planning with resources require to specify exact values for updating resources modified by actions execution. In other words these models cannot deal with more realistic situations in which the resources quantities are not completely known but are bounded by intervals. The RDPPlan model allow to manage domains more tailored to real world, where preconditions and effects over quantitative resources can be specified by intervals of values, in addition mixed logical/quantitative and pure numerical goals can be posed. RDPPlan is based on non directional search over a planning graph, like DPPlan, from which it derives, it uses propagation rules which have been appropriately extended to the management of resource intervals. The propagation rules extended with resources must verify invariant properties over the planning graph which have been proven by the authors and guarantee the correctness of the approach. An implementation of the RDPPlan model is described with search strategies specifically developed for interval resources.Towartds Computer-aided Editing of Scientific and Technical Texts
http://hdl.handle.net/10525/937
Title: Towartds Computer-aided Editing of Scientific and Technical Texts<br/><br/>Authors: Bolshakova, Elena<br/><br/>Abstract: The paper discusses facilities of computer systems for editing scientific and technical texts, which partially automate functions of human editor and thus help the writer to improve text quality. Two experimental systems LINAR and CONUT developed in 90s to control the quality of Russian scientific and technical texts are briefly described; and general principles for designing more powerful editing systems are pointed out. Features of an editing system being now under development are outlined, primarily the underlying linguistic knowledge base and procedures controlling the text.Paronyms for Accelerated Correction of Semantic Errors
http://hdl.handle.net/10525/936
Title: Paronyms for Accelerated Correction of Semantic Errors<br/><br/>Authors: Bolshakov, Igor; Gelbukh, Alexander<br/><br/>Abstract: The errors usually made by authors during text preparation are classified. The notion of semantic errors is elaborated, and malapropisms are pointed among them as “similar” to the intended word but essentially distorting the meaning of the text. For whatever method of malapropism correction, we propose to beforehand compile dictionaries of paronyms, i.e. of words similar to each other in letters, sounds or morphs. The proposed classification of errors and paronyms is illustrated by English and Russian examples being valid for many languages. Specific dictionaries of literal and morphemic paronyms are compiled for Russian. It is shown that literal paronyms drastically cut down (up to 360 times) the search of correction candidates, while morphemic paronyms permit to correct errors not studied so far and characteristic for foreigners.<br/><br/>Description: * Work done under partial support of Mexican Government (CONACyT, SNI), IPN (CGPI, COFAA) and Korean Government (KIPA Professorship for Visiting Faculty Positions). The second author is currently on Sabbatical leave at Chung-Ang University.ROC Curves within the Framework of Neural Network Assembly Memory Model: Some Analytic Results
http://hdl.handle.net/10525/935
Title: ROC Curves within the Framework of Neural Network Assembly Memory Model: Some Analytic Results<br/><br/>Authors: Gopych, Petro<br/><br/>Abstract: On the basis of convolutional (Hamming) version of recent Neural Network Assembly Memory Model (NNAMM) for intact two-layer autoassociative Hopfield network optimal receiver operating characteristics (ROCs) have been derived analytically. A method of taking into account explicitly a priori probabilities of alternative hypotheses on the structure of information initiating memory trace retrieval and modified ROCs (mROCs, a posteriori probabilities of correct recall vs. false alarm probability) are introduced. The comparison of empirical and calculated ROCs (or mROCs) demonstrates that they coincide quantitatively and in this way intensities of cues used in appropriate experiments may be estimated. It has been found that basic ROC properties which are one of experimental findings underpinning dual-process models of recognition memory can be explained within our one-factor NNAMM.Multi-Agent Security System based on Neural Network Model of User's Behavior
http://hdl.handle.net/10525/934
Title: Multi-Agent Security System based on Neural Network Model of User's Behavior<br/><br/>Authors: Kussul, Natalia; Shelestov, Andrey; Sidorenko, Anton; Pasechnik, Vladimir; Skakun, Sergey; Veremeyenko, Natalia; Levchenko, Yuri<br/><br/>Abstract: It is proposed an agent approach for creation of intelligent intrusion detection system. The system allows detecting known type of attacks and anomalies in user activity and computer system behavior. The system includes different types of intelligent agents. The most important one is user agent based on neural network model of user behavior. Proposed approach is verified by experiments in real Intranet of Institute of Physics and Technologies of National Technical University of Ukraine "Kiev Polytechnic Institute”.Applications of the Sufficiency Principle in Acceleration of Neural Networks Trainig
http://hdl.handle.net/10525/933
Title: Applications of the Sufficiency Principle in Acceleration of Neural Networks Trainig<br/><br/>Authors: Krissilov, Victor; Krissilov, Anatoly; Oleshko, Dmitry<br/><br/>Abstract: One of the problems in AI tasks solving by neurocomputing methods is a considerable training time. This problem especially appears when it is needed to reach high quality in forecast reliability or pattern recognition. Some formalised ways for increasing of networks’ training speed without loosing of precision are proposed here. The offered approaches are based on the Sufficiency Principle, which is formal representation of the aim of a concrete task and conditions (limitations) of their solving [1]. This is development of the concept that includes the formal aims’ description to the context of such AI tasks as classification, pattern recognition, estimation etc.Intellect Sensing of Neural Network that Trained to Classify Complex Signals
http://hdl.handle.net/10525/932
Title: Intellect Sensing of Neural Network that Trained to Classify Complex Signals<br/><br/>Authors: Reznik, A.; Galinskaya, A.<br/><br/>Abstract: An experimental comparison of information features used by neural network is performed. The sensing method was used. Suboptimal classifier agreeable to the gaussian model of the training data was used as a probe. Neural nets with architectures of perceptron and feedforward net with one hidden layer were used. The experiments were carried out with spatial ultrasonic data, which are used for car’s passenger safety system neural controller learning. In this paper we show that a neural network doesn’t fully make use of gaussian components, which are first two moment coefficients of probability distribution. On the contrary, the network can find more complicated regularities inside data vectors and thus shows better results than suboptimal classifier. The parallel connection of suboptimal classifier improves work of modular neural network whereas its connection to the network input improves the specialization effect during training.Neural Approach in Multi-Agent Routing for Static Telecommunication Networks
http://hdl.handle.net/10525/931
Title: Neural Approach in Multi-Agent Routing for Static Telecommunication Networks<br/><br/>Authors: Timofeev, Adil; Syrtsev, Alexey<br/><br/>Abstract: The problem of multi-agent routing in static telecommunication networks with fixed configuration is considered. The problem is formulated in two ways: for centralized routing schema with the coordinator-agent (global routing) and for distributed routing schema with independent agents (local routing). For both schemas appropriate Hopfield neural networks (HNN) are constructed.Knowledge Presentation and Reasoning with Loglinear Models
http://hdl.handle.net/10525/930
Title: Knowledge Presentation and Reasoning with Loglinear Models<br/><br/>Authors: Noncheva, Veska; Marques, Nuno<br/><br/>Abstract: Our approach for knowledge presentation is based on the idea of expert system shell. At first we will build a graph shell of both possible dependencies and possible actions. Then, reasoning by means of Loglinear models, we will activate some nodes and some directed links. In this way a Bayesian network and networks presenting loglinear models are generated.Knowledge Learning Technology for Intelligent Tutoring Systems
http://hdl.handle.net/10525/929
Title: Knowledge Learning Technology for Intelligent Tutoring Systems<br/><br/>Authors: Taran, Tatyana; Sirota, Sergiy<br/><br/>Abstract: In this work we suggest the technology of creation of intelligent tutoring systems which are oriented to teach knowledge. It is supposed the acquisition of expert’s knowledge by using of the Formal Concept Analysis method, then construction the test questions which are used for verification of the pupil's knowledge with the expert’s knowledge. Then the further tutoring strategy is generated by the results of this verification.A Proposed Structure of Knowledge-Based Hybrid Intelligent Systems for Sophisticated Environments
http://hdl.handle.net/10525/928
Title: A Proposed Structure of Knowledge-Based Hybrid Intelligent Systems for Sophisticated Environments<br/><br/>Authors: Nikitenko, Agris<br/><br/>Abstract: The paper deals with a problem of intelligent system’s design for complex environments. There is discussed a possibility to integrate several technologies into one basic structure. One possible structure is proposed in order to form a basis for intelligent system that would be able to operate in complex environments. The basic elements of the proposed structure have found their implemented in software system. This software system is shortly presented in the paper. The most important results of experiments are outlined and discussed at the end of the paper. Some possible directions of further research are sketched.Analogical Reasoning Techniques in Intelligent Counterterrorism Systems
http://hdl.handle.net/10525/927
Title: Analogical Reasoning Techniques in Intelligent Counterterrorism Systems<br/><br/>Authors: Markman, Arthur; Rachkovskij, Dmitri; Misuno, Ivan; Revunova, Elena<br/><br/>Abstract: The paper develops a set of ideas and techniques supporting analogical reasoning throughout the life-cycle of terrorist acts. Implementation of these ideas and techniques can enhance the intellectual level of computer-based systems for a wide range of personnel dealing with various aspects of the problem of terrorism and its effects. The method combines techniques of structure-sensitive distributed representations in the framework of Associative-Projective Neural Networks, and knowledge obtained through the progress in analogical reasoning, in particular the Structure Mapping Theory. The impact of these analogical reasoning tools on the efforts to minimize the effects of terrorist acts on civilian population is expected by facilitating knowledge acquisition and formation of terrorism-related knowledge bases, as well as supporting the processes of analysis, decision making, and reasoning with those knowledge bases for users at various levels of expertise before, during, and after terrorist acts.