Введение в рассуждения о знаниях Классификация задач на обоснование знаний Так называемое рассуждение заключается в получении новых знаний или выводов различными методами, и эти знания и выводы удовлетворяют семантике. Его конкретные задачи можно разделить на выполнимость, классификацию и материализацию.
Выполнимость может быть воплощена в онтологии или понятии В онтологии выполнимость онтологии заключается в проверке того, может ли онтология быть удовлетворена, то есть в проверке того, есть ли у онтологии модель. Если онтология неудовлетворительна, возникает несогласованность. Выполнимость концепта — это проверка выполнимости концепта, то есть проверка, существует ли такая модель, что объяснение концепта не является пустым множеством. ——————————————— Заявление об авторских правах: эта статья является оригинальной статьей блоггера CSDN "Pelhans" и соответствует соглашению об авторских правах CC 4.0 BY-SA. Пожалуйста, приложите ссылку на оригинальный источник и это заявление для перепечатки. Оригинальная ссылка:blog.CSDN.net/функция класса PE/искусство…