|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Логика суждений существования как средство представления знаний и автоматической проверки умозаключенийдоклад на конференции
- Автор: Маркин В.И.
- Международная Конференция : XII Международная научная конференция «Интеллектуальные системы и компьютерные науки»
- Даты проведения конференции: 29 ноября - 3 декабря 2021
- Дата доклада: 2 декабря 2021
- Тип доклада: Устный
- Докладчик: Маркин В.И.
- Место проведения: Москва, МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
Строится формальная система, предназначенная для логического анализа суждений существования. В ее языке содержится неопределенно-местная константа существования, простые формулы образуются сочленением этой константы с произвольной конечной последовательностью общих терминов. Предлагается аналитико-табличный вариант этой логики, формулируется разрешающая процедура.
- Добавил в систему: Маркин Владимир Ильич