ISSN 2071-8594

Российская академия наук

Главный редактор

Г.С. Осипов

В.Б. Мелехин "Логика условно-зависимых рассуждений: представление знаний и правила вывода умозаключений"

Аннотация.

Раскрыто содержание различных форм мышления интеллектуального робота, позволяющих эффективным образом организовать планирование его целенаправленного поведения в различных условиях проблемной среды. Разработана одна из составляющих понятийного мышления интеллектуального робота, связанная с организацией вывода общезначимых умозаключений в произвольной предметной области для пополнения его знаний в процессе планирования целенаправленного поведения. Предложено исчисление условно-зависимых предикатов, обеспечивающее вывод общезначимых умозаключений в произвольной предметной области путем выделения в ней монотонных участков вывода. Построены различные правила вывода общезначимых умозаключений. Обозначены перспективы дальнейшего развития предложенного подхода, связанного с организацией вывода общезначимых умозаключений, которое сводится к построению многоярусных схем вывода, позволяющих формировать цепочки взаимосвязанных рассуждений, обеспечивающих планирование поведения и принятия решений интеллектуального робота в сложных проблемных средах.

Ключевые слова:

интеллектуальный робот, виды мышления, проблемная среда, логика условно-зависимых рассуждений, участок монотонного вывода, правила вывода умозаключений.

Стр. 65-74.

Полная версия статьи в формате pdf.

REFERENCES

1. Poddyakov N.N. Myshlenie doshkolnika. – M.: Pedagogika, 1977. – 277 s.
2. Melekhin V.B. Algoritmy samoobucheniya integralnogo robota v slozhnykh sredakh // Kibernetika. 1986. №1. - S. 102 – 108.
3. Bershteyn L.S., Melekhin V.B. Planirovanie povedeniya intellektualnogo robota. M.: Energoatomizdat, 1994. - 240 c.
4. Litvintseva L.V. Stsenarii. V kn.: Iskusstvennyy intellekt. – V 3-kh kn. Kn. 2. Modeli i metody/ Pod red. D.A. Pospelova. – M.: Radio i svyaz, 1990. –S. 56- 76.
5. Bershteyn L.S., Melekhin V.B. Struktura protsedurnogo predstavleniya znaniy integralnogo robota. 2. Freym mikroprogrammy povedeniya// Izv. AN SSSR. Tekhnich.
kibernetika. 1988. №5. S. 190-194.
6. Vagin V.N., Golovina Ye.Yu., Zagoryanskaya A.A., Fomina M.V. Dostovernyy i pravdopodobnyy vyvod v intellektualnykh sistemakh. – M.: Fizmatlit, 2004. -367 s.
7. Chen Ch., Li R. Matematicheskaya logika i avtomaticheskoe dokazatelstvo teorem. – M.: Nauka, 1983. -360 s.
8. Bershteyn L.S., Melekhin V.B. Struktura predstavleniya deklarativnykh znaniy integralnogo robota //Upravlyayushchie sistemy i mashiny. 1990. № 6. C. 75-83.
9. Bershteyn L.S., Melekhin V.B. Struktura protsedurnogo predstavleniya znaniy integralnogo robota. 1. Rasplyvchatye semanticheskie seti // Izv. AN SSSR. Tekhnich. kibernetika. 1988. № 6. S. 119-124.