Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://elib.belstu.by/handle/123456789/67441| Название: | Построение выводов для противоречивых систем |
| Авторы: | Герман, Олег Витольдович Занько, Д. В. |
| Ключевые слова: | противоречивые системы теория множеств алгебраические операции тождественные преобразования математика |
| Дата публикации: | 2002 |
| Издательство: | БГТУ |
| Библиографическое описание: | Герман, О. В. Построение выводов для противоречивых систем / О. В. Герман, Д. В. Занько // Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика. - 2002. - Вып. 10. - С. 97-102. - Библиогр.: 5 назв. |
| Краткий осмотр (реферат): | В работе построено пропозициональное исчисление формул над некорректными множествами, определение которых дано на основе введенного понятия слабой принадлежности, использующего представление множества в виде внутренности и противоречивой оболочки. Сформулированы понятия слабой истинности, слабой противоречивости и выводимости, даны определения логико-алгебраических операций над некорректными множествами, доказаны основные теоремы: о полноте исчисления и аналог теоремы дедукции для некорректных множеств, лежащий в основе предложенного механизма вывода в исчислении. Работа предназначена для логиков и математиков, специализирующихся в области искусственного интеллекта. |
| URI (Унифицированный идентификатор ресурса): | https://elib.belstu.by/handle/123456789/67441 |
| Располагается в коллекциях: | Труды БГТУ. №6. Физико-математические науки и информатика, 2002 |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Герман, О. В. Построение выводов для противоречивых систем.pdf | 1.79 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.