Open Access
Access granted
Subscription Access
Vol 44, No 6 (2017)
- Year: 2017
- Articles: 8
- URL: https://journals.rcsi.science/0147-6882/issue/view/10740
Article
On the Class of JSM Reasoning That Uses the Isomorphism of Inductive Inference Rules
Abstract
This paper defines a special class of JSM reasoning whose strategies use the isomorphism of direct products of lattices that represent inductive inference rules. It is shown that the JSM reasoning formed by inductive inferences rules, analogical inference rules, and procedures for abductive acceptance of hypotheses is relationally correct.
387-396
Tools for Automatically Finding and Visualizing Interest Areas in MRI Data to Support Decision Making by Medical Researchers
Abstract
This article gives a detailed description of the techniques developed by the authors for primary and deep processing of magnetic-resonance imaging that are aimed at detecting areas of ischemic lesion in the rat brain. The tools include the techniques for bringing MRI images of different samples to the normalized form (size, shape, and brightness). Another set of tools is associated with the detection of anomalies based on T2 and MDC images using artificial neural networks and specific metrics. It is assumed that the created algorithms and programs will be part of the developed research software system that is oriented to support decision making by medical researchers.
397-405
On the Complexity of the Reduction of Multidimensional Data Models
Abstract
In this paper, decomposition methods for multidimensional data hypercubes of OLAP systems are investigated. Criteria for reducing the computational complexity of the decomposition methods are presented and comparisons are made with the traditional solutions of multidimensional data analysis problems. Examples illustrating the application of these criteria to investigating the dynamics of computational complexity changes for specific types of reduction problems are considered.
406-411
Semantic-Syntactic Analysis for Question Answering and Definition Extraction
Abstract
This paper studies the contribution of semantic and semantic–syntactic analysis to the effectiveness of solving applied text-processing tasks: question answering and extraction of definitions from scientific publications. Methods for solving these problems, which, in addition to morphological and syntactic structures, also use semantic structures of texts, are presented. We carried out the experimental evaluation of these methods and comparison of two approaches to syntactic and semantic analysis: separate and joint semantic–syntactic parsing.
412-423
Causal Inference in Psychological Data in the Case of Aggression
Abstract
We carried out an empirical study of aggression in relation to different personal traits. In this article we present results obtained for different forms of aggression, including results of machine-learning experiments with the AQJSM method. The method distinguishes several classes with different levels of aggression defined with a special form, as well as making causal inferences with AQ preprocessing and the first stage of JSM method of extraction of cause and effect relationships. The proposed method produces acceptable results for both small datasets and big data with incomplete information.
424-429
A Heuristic Algorithm for Isolated Obstacle Detection by a Mobile Robot Based on Ranging Data
Abstract
An algorithm for single isolated obstacle detection by a mobile robot using a range finder is described. The main algorithm block is constructed as a system of production rules that introduce logical relationships that make it possible to determine whether there is an obstacle in the field of normals to the surface. Detected obstacles are plotted on a 2D map. Obstacle mapping methods are discussed.
430-439
The Inverse Bin-Packing Problem Subject to Qualitative Criteria
Abstract
A new formulation of the reverse bin-packing problem is suggested. One distinct feature of the new formulation is that it takes into account of a decision-maker’s preferences for a set of objects that are evaluated by multiple quality criteria. The aspects of this problem are discussed that relate to the theory of multiple criteria decision making. The known methods for solving the classic and the reverse bin-packing problems (the multiple knapsack problem) are reviewed.
440-449
Symbolic Management of the Degree of Information Security by Integer Splitting
Abstract
This paper demonstrates the application of module arithmetic for controlling the level of information security by a new technique referred as integer splitting. The basic definitions and concepts of the method are provided. The mathematical function of arising transformation is described in detail; its properties were studied and the basic theorems were proven that justify the use of splitting in practical applications. An active system was designed and characteristic cases of its operation are considered.
450-454