Неклассические логические исчисления : учебно - метод. пособие

Герман, О. В.

Неклассические логические исчисления : учебно - метод. пособие

Дата публикации: 2012

Дата публикации в реестре: 2020-03-03T06:55:25Z

Аннотация:

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

Ключевые слова:
учебно-методические пособия, неклассические логики, логические исчисления

Тип: Book