Sistema Diagnostiki S Ispol'zovaniem Sistemy Podderzhki Istinnosti

Rabota posvyashchena izucheniyu vozmozhnostey primeneniya sistemy podderzhki istinnosti, osnovannoy na predpolozheniyakh (ATMS) v reshenii zadachi diagnostiki. V tekste raboty osveshchena kak teoreticheskaya storona ATMS kak sistemy podderzhki logicheskogo vyvoda, tak i vozmozhnost' ee prakticheskogo primeneniya, a takzhe priveden primer ispol'zovaniya ATMS kak sostavlyayushchey chasti sistemy diagnostiki slozhnykh integral'nykh sistem. Krome etogo vyyavleny preimushchestva ispol'zovaniya ATMS v sistemakh diagnostiki, razrabotan opytnyy obrazets programmnogo modulya, osushchestvlyayushchiy diagnostiku s ispol'zovaniem ATMS, oznacheny dal'neyshie napravleniya issledovaniya.