Формальное описание логического пространства

• Datum: 2008
• Hauptverfasser: Четвериков, Г.Г., Вечирская, И.Д.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2008
• Schlagworte: Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/7165
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Формальное описание логического пространства / Г.Г. Четвериков, И.Д. Вечирская // Штучний інтелект. — 2008. — № 3. — С. 781-789. — Бібліогр.: 16 назв. — рос.

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