Прологику и ИИ Демо выразительной мощи математики. Эта наука предлагает экстремально компактный способ для&am…
Прологику и ИИ Демо выразительной мощи математики. Эта наука предлагает экстремально компактный способ для представления мыслей. И картинка это подтверждает: всего в двух абзацах определена вся суть аристотелевской логики (силлогистики, Ὄργανον), которая в оригинале занимает несколько книг.Формальная логика развилась к эпохе ЭВМ настолько, что стала основой одних из первых систем ИИ... https://clck.ru/3DSuvD
Автор: Habr все новости об IT