S
Да, что то вроде того
Size: a a a
2021 June 30
S
Простое описание мира фактами
S
Хотя бы базовое
IK
Вот простым оно вряд-ли будет... Ну, вот тут список примеров есть: https://ru.xcv.wiki/wiki/Ontology_(information_science)#Published_examples
S
Спасибо большое
A
1. Мир есть все то, что происходит.
1.1. Мир есть совокупность фактов, а не вещей.
1.11. Мир определен фактами и тем, что это все факты.
1.12. Потому что совокупность всех фактов определяет как все то, что имеет место, так и все то, что не имеет места.
1.13. Факты в логическом пространстве суть мир.
сомневаюсь что все просто, с учётом того что кто это придумал потом сильно переобулся
SМ
Просто в прологе факты дают возможность для логического вывода
SМ
Тип А сын Б , Б брат С, тогда С дядя А
SМ
Видимо факты нужны чтобы построить цепочки подобные
SМ
С рекурсией и обходом дерева фактов
SМ
И лог выводом
S
Да, я просто думала раз Prolog существует давно то должны быть готовые базы знаний для описания реального мира
SМ
А гугл не дает?
S
Но находила только какие то узко тематические вещи
SМ
А вам пролог обязательно?
SМ
VM
пролог -- это вроде декларативный ЯП, не?
S
Нет любой язык
S
В идеале Python
VM
про подобный яп и "солвер" с другими ссылками на смежные темы как раз на днях читал https://github.com/catseye/Samovar
