Ограничения выразительности в Cyc или аналогичных проектах на базе знаний?

Question

Каковы пределы выразительности в Cyc или аналогичных базе знаний проектов.

Существуют ли определенные понятия, которые нельзя выразить? Есть ли проект, который может выразить любую концепцию?

Я еще не понимаю синтаксис Cyc, но вот один пример:

 (forAll ?CAT 
  (implies 
    (isa ?CAT DomesticCat) 
    (eatsWillingly ?CAT Meat)))

(я думаю, что это значит: домашние кошки - это кошки, а кошки охотно едят мясо!)

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

Например, это понятие:

«Как кто-то может упасть так далеко, не осознавая этого».

Существует ли какой-либо язык представления знаний, который может полностью представлять это утверждение?

Но мой настоящий вопрос ... есть ли какой-либо язык представления знаний, который может выразить любое понятие Насколько я знаю, пока нет ни одного проекта (будь то цикл, wordnet, пролог или что-то еще), который бы представлял все виды концепций. Но я не знаю Cyc достаточно хорошо, чтобы сказать это наверняка.

Answer 1

Вышеприведенное утверждение фактически означает только «все домашние кошки охотно едят мясо».Переменная - это просто переменная (несмотря на ее имя).

Что касается выразительности CycL, то, в принципе, можно выразить практически все, что касается языка n-го порядка (но локально редко превышает второй порядок).и полностью расширяемый.Всегда можно создать необходимый словарный запас и «наполнить» его необходимой семантикой, чтобы выразить даже вопрос «Как кто-то может упасть так далеко, не осознавая этого?».Тем не менее, хлеб с маслом проекта Cyc является логическим выводом, основанным на этих представлениях.С этой целью все может быть допустимо, но не все вещи полезны.Таким образом, создание базы знаний с достаточным запасом слов и правил, чтобы рассуждать о том, что общественные деятели падают из благодати (например), может занять некоторое время и потребовать значительно больше, чем просто представление этого единственного утверждения.

Кроме того, оно того стоитотмечая, что CycL задуман как язык, способный представлять понятия , с которыми мы участвуем в речи, но не обязательно способом, аналогичным тому, как мы говорим о них.Так "Как кто-то может упасть так далеко, не осознавая этого?"скорее всего, не будет представлен в CycL со всем его метафорическим багажом.Скорее всего, можно использовать словарь, включающий социальную позицию (или пространственную, если вопрос подразумевается буквально), и словарь, включающий осознание индивидом своей социальной (пространственной) ситуации.Это может быть достигнуто в CycL.Кроме того, Cyc мог бы дать удовлетворительный объяснительный ответ на такой вопрос (при условии наличия правильных правил и т. Д.).

Answer 2

Знание - это многогранная тема, и, как я помню, старая изречение это что-то вроде «иметь знание тела, вам нужно тело, чтобы рассуждать о нем».

Что это означает, что так много наши знания не могут быть выражены в логических терминах, но требуют междисциплинарного подхода.

Если вы хотите приблизиться к чему-то практическому в области естественного языка, вы можете учиться (т.е. читать документы, установите и играйте с) Попытка .Это «контролируемый английский» язык с некоторыми соображениями, которые вы можете изучать.

Ограниченный язык, активно развивающийся как средство представления знаний, делает его очень интересной технологией для использования.