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

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