檢索結果 - "логико-математические основы"
在您的搜尋 主題建議
在您的搜尋 主題建議
- исчисление высказываний 2
- исчисление предикатов 2
- логико-математические основы 2
- метод резолюций 2
- модели представления знаний 2
- предикатная форма 2
- приобретение знаний 2
- продукционная модель 2
- работа с онтологиями 2
- формализация знаний 2
- автоматические методы построения онтологий 1
- ассоциативная модель 1
- ассоциативная модель знаний 1
- вероятностные рассуждения 1
- вывод в условиях неопределенности 1
- данные 1
- доказательство в исчислении высказываний 1
- доказательство в исчислении предикатов 1
- доказательство в логике 1
- знания 1
- иерархичность поля знаний 1
- информация 1
- логическая форма 1
- метод резолюций в исчислении высказываний 1
- метод резолюций в исчислении предикатов 1
- методы инженерии знаний 1
- методы построения онтологий 1
- моделирование поля знаний 1
- нейронная форма 1
- нечеткая лингвистическая переменная 1
-
1
-
2