AIMA_21 Нет Логики

Сообщение послал(а): Владимир (ppp83-237-187-89.pppoe.mtu-net.ru)
Дата: Воскресенье, 12 Марта 2006, at 4:16 p.m.

AIMA_21 Нет Логики
Резюме: для сохранения времени и сил пропустите гл. 7 (и этих замечаний не читайте).

1. Исторически в ИИ был большой период (~ 75-90 гг) интенсивной работы с логикой, т.е. попытка создать интеллект на основе технической реализации логики. В результате, в научном плане он не дал минимально существенных результатов, не говоря уже о масштабах Канта или Фреге.
2. ИИ сильно поляризован по выходу, т.е. он или приносить радикальные результаты, или деградирует до полного паразитизма.
За период 1975-2006 гг было осуществлено количественное наращивание возможностей САПР и протоколов сетей. Никаких концептуальных, инженерных прорывов не было. Для замазывания этого использовался дегенеративный паразитический ИИ.
В этом же направлении действовали силы по кретинизации России, превращению ее в сырьевой бандустан и геноцид русского народа.
В настоящее время горячие области ИИ:
- процессоры (начиная с Pentium I). См. великолепные тексты Криса Касперского [97Т]. Соотвественно каждое новое инженерное решение в области процессоров должно входить в поток ИИ-новостей и интегрироваться в ИИ-карту.
- теория сигнала: символизация контининтуального мира и континиунизация/топологизация/визуализация символьного мира
DARPA.DSO.Focus Areas in Theoretical Mathematics:
The team seeks to extend recent results and plausible conjectures in harmonic analysis involving symmetry groups that arise in physics and their Langlands duals, leading to new mathematical connections with field theory in physics. New representation theory necessary to extend the geometric Langlands conjecture from complex curves to complex surfaces and from compact forms of symmetry groups arising in physics to other real forms is being developed. Homotopical connections to the classical conjectures are also being explored, and exploitation of these mathematical results as new tools for modeling of physical phenomena is being undertaken. [http://www.darpa.mil/dso/thrust/math/fathm.htm]
DARPA.DSO.Topological Data Analysis:
to develop the mathematical concepts and techniques necessary to determine the fundamental geometric structures underlying massive data sets and then develop further tools to exploit that knowledge. [http://www.darpa.mil/dso/thrust/math/tda.htm]

- нейрология;
- нанотехнология.

Возвращаясь к главе 7.
"Процесс формирования логики полностью аналогичен процессам обнаружения решений в задаче поиска." [305]
После таких заявлений, возникает вопрос - А понимают ли авторы, что-нибуль в логике, ИИ!?.
Это заявление полностью блокирует постановку задачи создания/использования логической машины и входа в мир Логики. Логическая машина уже создана это Лисп-машина/среда KEE. Эпоха 75-90 годов показала, что другой машины быть не может. Собственно Prolog-машина - это поисковая, а не логическая маш