3
ответа
Механизм логики первого порядка
Я хотел бы создать приложение, которое может сделать простое обоснование с помощью логики первого порядка. Может любой рекомендовать "механизм", который может принять произвольное число выражений FOL, и позволять запрашивать...
вопрос задан: 22 February 2010 14:29
1
ответ
Протеж: разумник HermiT не будет жаловаться на неудовлетворенное утверждение; Зачем? [Дубликат]
Я был бы благодарен за некоторые объяснения следующему. Я создал онтологию с Protege с классом, который содержит что-то вроде: hasResult точно 1 AccelerationDate в своем SubClass Of ...
вопрос задан: 19 April 2014 21:35
0
ответов
Определение правил для троек AllegroGraph и их применения
Я использую AllegroGraph для хранения таких операторов:
Я хотел бы определить правило для этого элемента, которое гласит: если ...
вопрос задан: 19 January 2012 16:04
0
ответов
Прямая цепочка и обратная цепочка в java
Какой будет лучший подход для реализации прямой цепочки и обратной цепочки для процесса рассуждений в java? Нам была предоставлена база знаний в роговой форме, в которой есть набор утверждений. У меня есть ...
вопрос задан: 23 May 2011 00:32
0
ответов
SQL Server (TSQL) - Возможно ли параллельное выполнение операторов EXEC?
SQL Server 2008 R2 Вот упрощенный пример: EXECUTE sp_executesql N'PRINT '' 1-й '' + convert (varchar, getdate (), 126) WAITFOR DELAY '' 000: 00: 10 '' '
EXECUTE sp_executesql N'PRINT '' 2nd '' + ...
вопрос задан: 31 December 2010 19:21