Beschrijving
Rabota poswqschena izucheniü wozmozhnostej primeneniq sistemy podderzhki istinnosti, osnowannoj na predpolozheniqh (ATMS) w reshenii zadachi diagnostiki. V texte raboty osweschena kak teoreticheskaq storona ATMS kak sistemy podderzhki logicheskogo wywoda, tak i wozmozhnost’ ee prakticheskogo primeneniq, a takzhe priweden primer ispol’zowaniq ATMS kak sostawlqüschej chasti sistemy diagnostiki slozhnyh integral’nyh sistem. Krome ätogo wyqwleny preimuschestwa ispol’zowaniq ATMS w sistemah diagnostiki, razrabotan opytnyj obrazec programmnogo modulq, osuschestwlqüschij diagnostiku s ispol’zowaniem ATMS, oznacheny dal’nejshie naprawleniq issledowaniq.
