Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Система искусственного интеллекта
Кривцов Виктор Николаевич
Тема доклада:
· 
Интеллект
· разум
· 
Сознание
· Рассудок
Рассказывать будет Гуров Дмитрий Александрович
Н.О. Лосский «Логика»
Д. ван Дален «Логика и структура» как найти: VictorKrivtsov.itbuben.ru пароль: 2011
Логика времени. (посмотреть)
Исчисление высказываний
Формула.
1) Любое атомарное высказывание является атомарной формулой
2) Если А и В формулы, то …
3) Ложь – это формула (атомарная)
4) Слово К – формула в том и только том случае (iff), если К может быть полученов результате конечного числа применений пунктов 1 – 3.
Доказательство формулы.
Дома. Преподаватель говорит, что доказать нельзя. Попробовать доказать *
*
Более простая формула.
Правила вывода.
Построение вывода.
Сформулированное правило – исчисление высказываний, несформулированное правило – логика высказывания. Каждому высказыванию присваивается истинность значения – Семантика. Интуицинийское исчисление (конструктивное) высказывание – классическое удаление RAA. Имеются глубокие основания для производа такого удаления. Закон исключенного третьего не является универсальным законом. Была произведена большая критика этого закона. Отказ от правила RAA.
Брауэр – теорема неподвижной точки. Прославился в области топологии.
СPC – классическое исчисление высказываний
Тавтология – высказывание истинно при любом вычислении.
* А выводимо в том и только том случае, если А – тавтология теорема о полноте). (отмечено розовым шрифтом со звездочкой)
IPC.
1) Если высказывание выводимо интуиционистски, то А – тавтология
Сформулировать теоретическую модель крипке.
| <== предыдущая | | | следующая ==> |
| Глава 34. Экстремальная свадьба | | | Не смешно |
Date: 2015-08-06; view: 285; Нарушение авторских прав; Помощь в написании работы --> СЮДА... |