В работе теоретически обоснован и детально разработан специальный метод минимизации числасостояний и построения минимальной формы обобщенного минимаксного(?оптимистического?) нечеткого автомата, основанный на доказанной ранее теореме о связи максиминных и минимаксных произведений нечетких матриц. Доказано, что от заданного обобщенного минимаксного(?оптимистического?) нечеткого автомата можно перейти к эквивалентному ему обобщенному максиминному (?пессимистическому?) нечеткому автомату, являющемуся дополнением для исходного минимаксного автомата. Также доказано, что если заданные обобщенные минимаксные и максиминные нечеткие автоматы являются дополнениями друг друга, то их минимальные формы имеют одно и тоже число состояний, что позволяет сначала перейти от обобщенного минимаксного нечеткого автомата к эквивалентному ему обобщенному максиминному нечеткому автомату, затем минимизировать известным методом преобразующих матриц полученный обобщенный максиминный нечеткий автомат и, перейдя обратно к его дополнению, получить минимальную форму исходного обобщенного минимаксного (?оптимистического?) нечеткого автомата. В результате разработана процедура и соответствующей ей алгоритм минимизации числа состояний и построения минимальной формы обобщенного минимаксного(?оптимистического?) нечеткого автомата. В заключение работы дан пример применения предложенного специального метода минимизации к заданному обобщенному ?оптимистическому? нечеткому автомату.
展开▼
