Моделирование знаний и микротеории по Дугласу Ленэту

Дуглас Ленэт (Ленат) начал проект «CYC», название которого было образовано от слова «Encyclopedia» и произносилось как «цик»…

Задача проекта – компьютерное моделирование повседневных знаний человека (которые мы обычно воспринимаем как сами собой разумеющиеся...)

«Дуглас Ленат описал свою цель в одном из интервью: создать всеобъемлющую «энциклопедию здравого смысла», список всех утверждений, которые мы считаем очевидными и которые дают возможность ориентироваться в повседневной жизни.

Вот примеры подобных «очевидных» правил:

- Ничто не может находиться в двух местах одновременно.
- Смерть нежелательна.
- Животные не любят боли.
- Время движется с одной скоростью для всех.
- Когда идёт дождь, люди мокнут.
- Сладкое вкусно.

Ленат уже набрал 10 млн. подобных утверждений и надеется собрать 100 млн.».

Коротков А.В., Послесловие к матрице: виртуальные миры и искусственная жизнь, М., «Деловая культура»; «Альпина Бизнес Букс», 2005 г., с. 54.


База знаний «CYC», состоит из микротеорий, коллекции концепций и фактов  принадлежащих одной конкретной области знаний. В отличие от базы знаний системы в целом, любая микротеория должна быть свободной от противоречий.


Компьютерные экспертные системы производства «ТРИЗ-ШАНС»  http://www.triz-chance.ru/4software.html