Недавно я изучил KRL (язык представления знаний) на курсе ИИ и обнаружил, что логика описания — это семейство формальных языков представления знаний для семантической сети. Кроме того, в логике описания более просто и удобно представлять знания, чем в логике предикатов первого порядка.
Кто-нибудь знает о библиотеке Java, доступной для обработки этой логики описания или логики первого порядка?
По крайней мере два OWL-reasoner Pellet и HermiT написаны на Java.
Вы можете представить только какой-то конкретный вид знаний с помощью DL или логики в целом - в основном определения и терминологические знания.
Но вы не можете разумно представить состояние реального мира. Логика не может справиться с неопределенностью и она полностью терпит неудачу, если вы вносите в свою модель только один недостаток, что неизбежно произойдет с более крупными моделями.
Я также нашел увлекательной логику первого порядка, когда узнал о ней. Но реальный мир нельзя смоделировать с помощью логики, кроме как на самом элементарном уровне (законы природы)...
Вы можете найти библиотеку, которая была создана именно для этого здесь:
Код с открытым исходным кодом находится на github, и библиотека не имеет зависимостей — просто импортируйте ее Jar.
