Головко, Н. В. К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко> // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ) Рубрики: Философия--Общие вопросы философии Логика--Общие вопросы логики Кл.слова (ненормированные): абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования |
Головко, Н. В. К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко> // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ) Рубрики: Философия--Общие вопросы философии Логика--Общие вопросы логики Кл.слова (ненормированные): абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования |