Конференции ИВТ СО РАН

Abstracts

The questions of the vector logic proving software workout are considered in the paper. This software is intended for experimental research of VTF-logics proving.

The VTF-logics is special class of logic based on vector representation of truth. According to it truth is represented by vector where both components take meaning of interval [0, 1]. Both components are defined constructively, i.e. each of them is formed by its set of evidence. As a result if we have neither true evidence nor false evidence this vector takes the meaning <0; 0> (Uncertainty). On the other hand if the reasons are convincing to both truthfulness and lie the vector is <1; 1> (Contradiction). Strict truthfulness and strict lie are represented by <1;0> and <0;1> respectively.

The questions of logical proving in these logics were considered in the previous papers of the author and discussed at the different conferences. This paper is devoted to discussing of relative techniques practical realization in the software. The software is worked out especially for testing of theoretical statements, based on this proving. In fact, this software is a shell for working out of simplest expert and consulting systems for deficit and contradictory data.

The paper discusses the special features of representing data and knowledge in this software, as well as the dialogue and interface organization problems and other questions.

Note. Abstracts are published in author's edition

Comments

[Home] [Conference]

© 1996-2000, Institute of computational Techologies SB RAS, Novosibirsk
© 1996-2000, Siberian Branch of Russian Academy of Science, Novosibirsk