ЗНАНИЯ ДЛЯ АРГУМЕНТАЦИИ ПРИ СОПОСТАВЛЕНИИ ПРОСТРАНСТВЕННЫХ СИТУАЦИЙ

Abstract

The traditionally used way to assess the quality of the solution proposed by an intelligentsystem is to explain the course of logical inference. Knowledge about reasoning is used to arguethe choice of a solution option. The sequence of applied rules, the facts used and the confirmedhypotheses are considered arguments that should convince the user of the validity of the formedconclusion. The disadvantage of this method of explanation is that it reflects a formally correct,but devoid of semantic content, course of reasoning. The argumentation of the solution obtained isbased on the tracing protocol, which is essentially no different from debugging information whentracing programs. The argumentation in this case is far from the meaning of the situation. Themeaning is understood as a given set of transformations of the situation that preserve the immutabilityof its perception by a human analyst. Knowledge about the semantic content of situationsshould be presented in a special fashion. In this paper, we consider a representation containing aprecent and its permissible transformations. In this form, spatial situations in geoinformation systemsare described. For argumentation, it is proposed to use special relations between images ofsituations. The concept of the area of applicability of the image is introduced. The mutual arrangement of the spatial-temporal and semantic shell of images and the areas of their applicabilityis considered as a carrier of the relationship. Information about relationships is extracted from thestructure of the cartographic database. The relations of inheritance, aggregation, composition,generalization and association of classes of objects are considered. Knowledge for argumentationis provided by the rules for determining the reliability index of expert conclusion for individualrelationships and their combinations. A method of automatic rule generation is proposed.The relations for comparison of levels of reliability of rules are given.