Семантический мыслитель
-
Определение семантического логика
- Семантический логик — это часть программного обеспечения, которая выводит логические следствия из фактов или аксиом.
- Обобщает понятие логического вывода, предоставляя широкий спектр механизмов.
-
Правила вывода
- Правила вывода обычно задаются с использованием языка онтологий и логики описания.
- Часто используются логика предикатов первого порядка и прямая и обратная цепочки для вывода.
-
Примеры вероятностных систем рассуждения
- Существуют вероятностные системы рассуждения, включая неаксиоматические и вероятностные логические сети.
-
Известные области применения
- Приведены примеры семантических анализаторов и программного обеспечения с открытым и закрытым исходным кодом.
- Упомянуты Cyc, KAON2, Cwm, Drools, Evrete, D3web, Flora-2, Jena, OWLSharp, NRules, Prova, DIP, S-LOR и другие.
-
Ссылки и дополнительные ресурсы
- Указаны внешние ссылки, включая доклады и семинары по семантическому логическому анализу.