В соответствии с двумя парадигмами искусственного интеллекта — эксперта и ученика — исследуются возможности построения моделей дедуктивного и индуктивного мышления человека на базе языка логического вывода ПРОЛОГ. Если моделирование дедуктивного мышления изучено достаточно и является основной целью данного языка, то модель индуктивного мышления, т. е. формирования новых знаний, предлагается впервые. Суть ее в следующем. По базе знаний, состоящей из фактов и правил, строятся все возможные дедуктивные цепочки логического вывода. В них обнаруживаются и выделяются законченные, желательно повторяющиеся, конструкции. Связанные переменные заменяются их абстрактным представлением для формирования обобщенного вида выделенной конструкции. Так создаются гипотезы об описании новых понятий. Этим гипотетическим понятиям присваиваются имена, и они становятся новыми правилами, дополняющими базу знаний. Одновременно описание новых правил дополняет понятийную логическую нейронную сеть для возможности работы с нечеткими данными. Практика успешного, непротиворечивого применения новых правил должна утвердить их высокую достоверность. Ключевые слова: парадигмы искусственного интеллекта, дедуктивное и индуктивное мышление, логическая нейронная сеть, ПРОЛОГ, логические цепочки
