Please use this identifier to cite or link to this item:
https://elib.belstu.by/handle/123456789/67441| Title: | Построение выводов для противоречивых систем |
| Authors: | Герман, Олег Витольдович Занько, Д. В. |
| Keywords: | противоречивые системы теория множеств алгебраические операции тождественные преобразования математика |
| Issue Date: | 2002 |
| Publisher: | БГТУ |
| Citation: | Герман, О. В. Построение выводов для противоречивых систем / О. В. Герман, Д. В. Занько // Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика. - 2002. - Вып. 10. - С. 97-102. - Библиогр.: 5 назв. |
| Abstract: | В работе построено пропозициональное исчисление формул над некорректными множествами, определение которых дано на основе введенного понятия слабой принадлежности, использующего представление множества в виде внутренности и противоречивой оболочки. Сформулированы понятия слабой истинности, слабой противоречивости и выводимости, даны определения логико-алгебраических операций над некорректными множествами, доказаны основные теоремы: о полноте исчисления и аналог теоремы дедукции для некорректных множеств, лежащий в основе предложенного механизма вывода в исчислении. Работа предназначена для логиков и математиков, специализирующихся в области искусственного интеллекта. |
| URI: | https://elib.belstu.by/handle/123456789/67441 |
| Appears in Collections: | Труды БГТУ. №6. Физико-математические науки и информатика, 2002 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Герман, О. В. Построение выводов для противоречивых систем.pdf | 1.79 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.