ЛОГИКА УСЛОВНО-ЗАВИСИМЫХ ПРЕДИКАТОВ В РЕШАТЕЛЯХ ЗАДАЧ АВТОНОМНЫХ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: ЛОГИКА УСЛОВНО-ЗАВИСИМЫХ ПРЕДИКАТОВ В РЕШАТЕЛЯХ ЗАДАЧ АВТОНОМНЫХ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
Στοιχεία εκδότη: Институт проблем управления им. В. А. Трапезникова РАН, 2020.
Έτος έκδοσης: 2020
Θεματικοί όροι: представление знаний, обработка знаний, автономные интеллектуальные системы, нечеткие семантические сети, планирование поведения, проблемная среда, логика условно-зависимых предикатов
Περιγραφή: Разработана модель представления и обработки знаний автономных интеллектуальных систем безотносительно к конкретной предметной области на основе формул логики условно-зависимых предикатов в сочетании с применением нечетких семантических систем для описания ситуаций проблемной среды. Предложенная модель обеспечивает возможность планирования целенаправленного поведения автономных интеллектуальных систем различного назначения в априори недоопределенных проблемных средах с полиноминальной сложностью решения различных практических задач. Синтезирован субъектно-предикатный условно-зависимый язык логики условно-зависимых предикатов. Доказано условие выполнимости формул предложенной логики, определяющих автоматически построенный план поведения автономной интеллектуальной системы в текущих условиях проблемной среды.
Τύπος εγγράφου: Conference object
Γλώσσα: Russian
DOI: 10.25728/vspu.2019.1936
Αριθμός Καταχώρησης: edsair.doi...........2cf992e57a6577b4de2a0856516519f5
Βάση Δεδομένων: OpenAIRE