Укажите ответ на запрос ?- num_legs(centipede,4). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).

X=40
X=4
X=2
yes
no

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194084

Вопрос есть в коллекциях

Укажите определение резолюции с выбирающим правилом:

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194083

Вопрос есть в коллекциях

Формула B следует из формулы A, если:

в любой интерпретации, для которой истинно A, оказывается ложным B
в любой интерпретации, для которой истинно A, оказывается истинным и B
в любой интерпретации, для которой ложно A, оказывается истинным B

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194082

Вопрос есть в коллекциях

Функциональное программирование - это парадигма программирования, ...

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194081

Вопрос есть в коллекциях

Императивное программирование - это парадигма программирования, ...

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194080

Вопрос есть в коллекциях

Методы поиска, которые имеют возможность задавать направление поиска, называются:

информированные
неинформированные
допустимые

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194079

Вопрос есть в коллекциях

В продукционных экспертных системах представление знаний осуществляется с помощью дерева:

"или-не"
"и-не"
"и-или"

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194078

Вопрос есть в коллекциях

При алгоритме поиска решения задачи в глубину:

первым находится необязательно кратчайший путь
первым находится кратчайший путь
можно найти пути решения с циклами

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194077

Вопрос есть в коллекциях

Укажите предикат языка Prolog, который используется для построения перестановок элементов списка:

member
permute
append

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194076

Вопрос есть в коллекциях

Онтологический язык OWL DL соответствует логике:

shif(d)
shoin(d)
shiq(d)

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194075

Вопрос есть в коллекциях

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, !, B. Q :- C.

if
for
while

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194074

Вопрос есть в коллекциях

Укажите метод моделирования искусственного интелекта, основанный на создании множества простых объектов со сложным взаимодействием:

нейрокибернетический
семиотический
генетический
эмерджентный

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194073

Вопрос есть в коллекциях

К какой категории представления знаний относится алгоритмическое представление?

иерархическое представление знаний
процедурное представление знаний
сетевое представление знаний
логическое представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194072

Вопрос есть в коллекциях

Description-logic - это ...

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194071

Вопрос есть в коллекциях

Укажите родительское целевое утверждение в данном примере: C :- P, Q, !, R, S. F :- T. A :- B, C, D.

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194070

Вопрос есть в коллекциях

Укажите результат запроса ?- white(X), not(sweet(X)). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).

no
yes
x=sugar
x=paper

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194069

Вопрос есть в коллекциях

Предикат not(P) в языке программирования Prolog завершается неуспехом, если:

доказательство P неуспешно
удается найти хотя бы одно доказательство P
удается найти все возможные доказательства P

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194068

Вопрос есть в коллекциях

В процессе выполнения программы на Prolog, переменная связывается:

во время унификации
во время завершения программы
при запуске программы

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194067

Вопрос есть в коллекциях

Укажите особенности логических языков программирования:

заложенная в язык возможность возвратов и перебора
отсутствие в языке возможности по представлению списков, деревьев
отсутствие операторов присваивания

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194066

Вопрос есть в коллекциях

Императивные языки программирования оперируют:

данными
пространством поиска решений
состоянием памяти

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194065

Вопрос есть в коллекциях

В весовой функции алгоритма A* переменная h*(X) обозначает:

длина текущего пути от начальной вершины до X
эвристическая функция
длина кратчайшего пути из A в X
длина кратчайшего пути из X в Z

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194064

Вопрос есть в коллекциях

Семантический способ доказательства общезначимости формул основан на попытке:

перебора всех интерпретаций
построения вывода и перебора всех интерпретаций
построения вывода

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194063

Вопрос есть в коллекциях

Простые термы в Prolog делятся на:

структурные термы
константы
переменные

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194062

Вопрос есть в коллекциях

С точки зрения быстродействия вставки элемента в начало:

более эффективно использование списка
у списка и массива одинаковая эффективность
более эффективно использование массива

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194061

Вопрос есть в коллекциях

Укажите, что из перечисленного ниже является форматами записи и передачи данных RDF:

rdf/xml
html
rdf/json
n-triples

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194060

Вопрос есть в коллекциях

Для обозначения объектов, атрибутов и значений в RDF используется:

url
uri
purl

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194059

Вопрос есть в коллекциях

Композиция унификаторов = будет в том случае, если:

это формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti
для всех формул F = G
для всех формул F : F = (F)

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194058

Вопрос есть в коллекциях

Для решения каких основных задач применяются программы искусственного интеллекта?

распознавание образов
машинный перевод
создание объектов искусства и культуры

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194057

Вопрос есть в коллекциях

К какой категории представления знаний относится продукционное представление?

сетевое представление знаний
иерархическое представление знаний
процедурное представление знаний
логическое представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194056

Вопрос есть в коллекциях

Укажите метод моделирования искусственного интелекта, основанный на создании биологической структуры человека и особенностей ее функционирования:

нейрокибернетический
семиотический
генетический
эмерджентный

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194055

Вопрос есть в коллекциях

Кортеж, включающий в себя два непересекающихся множества нетерминальных N и терминальных A символов:

алфавит
язык
грамматика

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194054

Вопрос есть в коллекциях

Алгоритм эвристического поиска с функцией h1(x) называется более информированным по сравнению с алгоритмом с функцией h2(x), если:

для всех вершин графа x имеет место h1(x) меньше h2(x)
для всех вершин графа x имеет место h1(x) больше либо равен h2(x)
для всех вершин графа x имеет место h1(x) не равен h2(x)

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194053

Вопрос есть в коллекциях

Укажите синтаксис Mercury для объявления типа int:

:- type t == T1 * T2
:- type t == T1->T2
:- type t == int
:- type t --> op1(T1); op2(T2)

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194052

Вопрос есть в коллекциях

Каррирование - это ...

преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному
применение функции высшего порядка к аргументу
рассмотрение выражения как функции от некоторого аргумента

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194051

Вопрос есть в коллекциях

Укажите особенность статического контроля типов данных в программе:

не требует жесткой системы типизации
в традиционных языках программирования требует избыточного описания типов в программе
в традиционных языках программирования не требует избыточного описания типов в программе

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194050

Вопрос есть в коллекциях

Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).

X=40
X=4
X=2
yes
no

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194049

Вопрос есть в коллекциях

Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).

x=paper
no
x=sugar
yes

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194048

Вопрос есть в коллекциях

Парадигма программирования, основанная на автоматическом доказательстве теорем, называется:

функциональное программирование
логическое программирование
императивное программирование

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194047

Вопрос есть в коллекциях

Укажите весовую функцию выбора направления поиска для алгоритма А*:

f(X) = g(X)
f*(X) = g*(X) + h*(X)
f(X) = g(X) + h(X)

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194046

Вопрос есть в коллекциях

Укажите особенность императивных языков программирования:

применение функции к аргументам изменяет данные
выполнение операторов изменяет состояние памяти
программа задаёт множество возможных переходов в пространстве поиска

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194045

Вопрос есть в коллекциях

В языках программирования со строгой типизацией данных:

переменные могут принимать значения различной природы
проверяется строгое соответствие типов
тип данных нужен в основном для определения объема памяти

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194044

Вопрос есть в коллекциях

Укажите предикат Prolog, который преобразовывает списки в структурные термы:

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194043

Вопрос есть в коллекциях

Укажите постфиксный оператор языка Prolog:

x!
not x
x + y

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194042

Вопрос есть в коллекциях

Определите, чем является указанное ниже предложение на языке Prolog: studied_languages(X) :- studied(X,english)

правило
факт
внешняя цель

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194041

Вопрос есть в коллекциях

К какой категории представления знаний относятся сценарии?

сетевое представление знаний
логическое представление знаний
иерархическое представление знаний
процедурное представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194040

Вопрос есть в коллекциях

К какой категории представления знаний относятся концептуальные графы?

иерархическое представление знаний
процедурное представление знаний
сетевое представление знаний
логическое представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194039

Вопрос есть в коллекциях

Генетический метод моделирования искусственного интелекта - это ...

метод, основанный на имитации рассуждений и логики человека
метод, основанный на создании биологической структуры человека и особенностей ее функционирования
метод, основанный на создании "самообучающихся" систем
метод, основанный на создании множества простых объектов со сложным взаимодействием

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194038

Вопрос есть в коллекциях

Механизм обратного логического вывода в экспертных системах является:

управляемым логикой
управляемым фактами
управляемым целями

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194037

Вопрос есть в коллекциях

В классической продукционной экспертной системе база знаний представляет собой:

поиск в пространстве состояний множества комбинаций рабочей памяти, переходы в котором задаются правилами
множество пар "атрибут-значение", описывающих состояние решаемой задачи
множество правил "если-то"

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194036

Вопрос есть в коллекциях

Определите формат записи и передачи данных RDF:

php
n-triples
prolog

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194035

Вопрос есть в коллекциях

Для построения онтологий и распределенных хранилищ данных в Semantic Web используется:

f-logic
description logics
html

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194034

Вопрос есть в коллекциях

Онтологический язык для семантических утверждений, разработанный как расширение RDF и RDF-S:

kif
cycl
owl

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194033

Вопрос есть в коллекциях

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

эвристическая функция h(x) будет частично монотонной
эвристическая функция h(x) будет немонотонной
эвристическая функция h(x) будет монотонной

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194032

Вопрос есть в коллекциях

Какой алгоритм поиска учитывает оптимальносить пути с точки зрения эвристики, но не учитывает вес пути?

алгоритм А
жадный алгоритм
алгоритм А*

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194031

Вопрос есть в коллекциях

Укажите синтаксис Mercury для объявления прямой суммы:

:- type t == T1->T2
:- type t --> op1(T1); op2(T2)
:- type t == T1 * T2
:- type t == int

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194030

Вопрос есть в коллекциях

Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y:

cложение
вычитание
построение всех комбинаций
проверка верности суммы

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194029

Вопрос есть в коллекциях

Укажите алгоритм поиска решения задачи, при котором может быть найден путь решения с циклами:

алгоритм поиска в глубину
алгоритм поиска в ширину
алгоритмы поиска в глубину и в ширину

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194028

Вопрос есть в коллекциях

Укажите алгоритм поиска, при котором может быть первым найден кратчайший путь решения задачи:

алгоритм поиска в глубину
алгоритм поиска в ширину
алгоритмы поиска в глубину и в ширину найдут кратчайший путь одновременно

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194027

Вопрос есть в коллекциях

Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в глубину?

соответствующий среднему ветвлению на каждом шаге алгоритма поиска
соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска
соответствующий максимальной длине пути алгоритма поиска

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194026

Вопрос есть в коллекциях

Какой контроль типов данных в программе позволяет устранить большинство логических ошибок до запуска программы?

динамический контроль типов данных
статический контроль типов данных
статический и динамический контроль типов данных

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194025

Вопрос есть в коллекциях

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, B. Q :- not(A), C.

for
while
if

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194024

Вопрос есть в коллекциях

"Зеленые" отсечения - это ...

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194023

Вопрос есть в коллекциях

Декларативная семантическая модель программы на языке Prolog:

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194022

Вопрос есть в коллекциях

Укажите предикат языка Prolog, который используется для удаления элемента из списка:

delete_list
delete
remove

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194021

Вопрос есть в коллекциях

Укажите предикат языка Prolog, который используется для определения суммы элементов списка:

sum
add
length

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194020

Вопрос есть в коллекциях

Укажите верное правило унификации объектов программы Prolog:

свободная переменная не унифицируется
константа унифицируется с такой же константой, разные константы не унифицируются
связанная переменная унифицируется с любым объектом

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194019

Вопрос есть в коллекциях

Применением к формуле или терму F называется:

формула или терм, в которой одно вхождение Xi заменено на соответствующий терм ti
формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti
формула или терм, в которой ни одно из вхождений Xi не заменено на соответствующие термы ti

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194018

Вопрос есть в коллекциях

Дизъюнктом Хорна называется:

дизъюнкция литералов с не более чем одним положительным литералом
дизъюнкция литералов с не менее чем одним положительным литералом
дизъюнкция литералов с не более чем двумя положительными литералами

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194017

Вопрос есть в коллекциях

Укажите определение линейной стратегии резолюции:

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

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194016

Вопрос есть в коллекциях

Алфавит произвольной формальной системы - это ...

счетное множество формул системы
бесконечное множество символов
счетное множество символов

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194015

Вопрос есть в коллекциях

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

формула А следует из формулы В
формула B следует из формулы A
формулы A и B противоречивы

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194014

Вопрос есть в коллекциях

Формула F называется выполнимой, если:

она истинна во всех интерпретациях
она истинна хотя бы в одной интерпретации
она ложна во всех интерпретациях

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194013

Вопрос есть в коллекциях

Укажите императивные языки программирования:

f#
c++
pascal
qlisp
lisp
prolog

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194012

Вопрос есть в коллекциях

Декларативными языками программирования называются:

императивные языки
функциональные языки
логические языки

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194011

Вопрос есть в коллекциях

Укажите язык программирования с нестрогой типизацией:

C#
C++
Prolog

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194010

Вопрос есть в коллекциях

Укажите онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты:

html
f-logic
description logics

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194009

Вопрос есть в коллекциях

Определите, чем является указанное ниже предложение на языке Prolog: studied(vasya,german) :- true

правило
факт
внешняя цель

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194008

Вопрос есть в коллекциях

Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y,!. max(_,Y,Y).

в данном фрагменте нет отсечения
"красное" отсечение
"зеленое" отсечение

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194007

Вопрос есть в коллекциях

Функциональные языки программирования оперируют:

состоянием памяти
данными
пространством поиска решений

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194006

Вопрос есть в коллекциях

Язык логического программирования является:

декларативным
императивным и декларативным
императивным

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194005

Вопрос есть в коллекциях

Правила вывода произвольной формальной системы - это ...

конечное множество отношений между символами алфавита системы
конечное множество отношений между формулами системы
бесконечное множество отношений между формулами системы

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194004

Вопрос есть в коллекциях

Если формула F истинна во всех интерпретациях, то она называется:

выполнимой
достоверной
общезначимой

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194003

Вопрос есть в коллекциях

Дизъюнкция литералов с не более чем одним положительным литералом, называется:

дизъюнкт Гегеля
дизъюнкт Хорна
дизъюнкт Черча

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194002

Вопрос есть в коллекциях

Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y. max(X,Y,Y) :- X<=Y.

"красное" отсечение
в данном фрагменте нет отсечения
"зеленое" отсечение

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194001

Вопрос есть в коллекциях

Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице и отказ возможен:

semidet
failure
det
multi

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1194000

Вопрос есть в коллекциях

Написание компьютерных программ, которые манипулируют другими программами как данными, называется:

логическое программирование
метапрограммирование
объектно-ориентированное программирование

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193999

Вопрос есть в коллекциях

Какой из языков программирования является логическим?

pascal
lisp
qlisp

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193998

Вопрос есть в коллекциях

Во всей программе Prolog одинаковые атомы:

могут соответствовать любому объекту
соответствуют одному и тому же объекту
соответствуют разным объектам

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193997

Вопрос есть в коллекциях

С точки зрения быстродействия реверсирования:

более эффективно использование массива
более эффективно использование списка
у списка и массива одинаковая эффективность

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193996

Вопрос есть в коллекциях

Использование предиката repeat языка программирования Prolog возможно только с:

предикатами, всегда заканчивающимися успехом
предикатами с "побочным эффектом"
предикатами без "побочных эффектов"

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193995

Вопрос есть в коллекциях

Какой встроенный предикат языка Prolog всегда завершается успешно?

true
fail
false

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193994

Вопрос есть в коллекциях

При каком механизме логического вывода в экспертных системах сначала выдвигается гипотеза, а затем проверяется ее истинность?

обратный вывод
прямой вывод
комбинированный вывод

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193993

Вопрос есть в коллекциях

К какой категории представления знаний относится логика предикатов?

процедурное представление знаний
логическое представление знаний
иерархическое представление знаний
сетевое представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193992

Вопрос есть в коллекциях

В классической продукционной экспертной системе процесс логического вывода представляет собой:

множество правил "если-то"
множество пар "атрибут-значение", описывающих состояние решаемой задачи
поиск в пространстве состояний множества комбинаций рабочей памяти, переходы в котором задаются правилами

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

-42%

Вопрос №1193991

Вопрос есть в коллекциях

К какой категории представления знаний относятся тройки "объект-атрибут-значение"?

сетевое представление знаний
иерархическое представление знаний
процедурное представление знаний
логическое представление знаний

Ответ за 11 руб. Подробнее

Ответ верный?

Да Нет

Логическое программирование

Медицина

Любой или несколько предметов

Промышленность, производство

Информатика

Промышленная безопасность

Программирование

История

Английский язык

Эксплуатация опасных производственных объектов

Комплексная химизация нефтегазодобычи

Теория государства и права

Сбросить фильтрОшибка?

Показать быстрые кнопки

Сбросить настройки

Отметить/снять все

Не нашли ответа на свой вопрос?

Добавить ответ

Ведь так и так найдёте ответ для своей учёбы 😉

Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.

Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.

Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.

Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.

Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.

Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.

Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.

Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.

Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.

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

Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.

Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.