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

Укажите определение языка над некоторым алфавитом A:

 (1) некоторое множество цепочек в этом алфавите 

Некоторое множество цепочек  в алфавите А называется:

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

Грамматика G=<N,A,R,s> — это кортеж, включающий в себя:

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

Кортеж, включающий в себя множество R правил вида a →​ b, где :

Укажите верное утверждение:

 (1) грамматика G=<N,A,R,s> — это некоторое множество цепочек в алфавите 

 (2) грамматика G=<N,A,R,s> — это кортеж, включающий в себя выделенный начальный символ  

Как называется кортеж, включающий в себя выделенный начальный символ ?

Что должен включать в себя кортеж, называемый грамматикой G=<N,A,R,s>?

 (1) некоторое множество цепочек в алфавите 

 (2) множество R правил вида a →​ b, где  

 (3) некоторое множество цепочек в алфавите 

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

F-logic - это ... 

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

Грамматика называется регулярной, если:

 (1) все правила грамматики имеют вид α →​ a либо α →​ , где ,  

 (2) все правила имеют вид α →​ , где  

 (3) для всех правил α →​ выполняется  

Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α →​ a либо α →​ , где , ?

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

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

Description-logic - это ... 

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

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

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

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

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

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

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

В модели представления данных RDF информация представляется на основе триплетов:

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

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

Конъюнкция в Description logics обозначается:

 (1)  

 (2)  

 (3)  

Дизъюнкция в Description logics обозначается:

 (1)  

 (2)  

 (3)  

Отрицание в Description logics обозначается:

 (1)  

 (2)  

 (3)  

Грамматика называется контекстно-свободной, если 

 (1) все правила грамматики имеют вид α →​ a либо α →​ , где ,  

 (2) все правила имеют вид α →​ , где  

 (3) для всех правил α →​ выполняется  

Как называется грамматика в классификации по Хомскому, если все правила имеют вид α →​ , где ?

Грамматика называется рекурсивно-перечислимой, если:

 (1) все правила грамматики имеют вид α →​ a либо α →​ , где ,  

 (2) все правила имеют вид α →​ , где  

 (3) для всех правил α →​ выполняется  

Грамматика называется контекстно-зависимой, если:

 (1) все правила грамматики имеют вид α →​ a либо α →​ , где ,  

 (2) все правила имеют вид α →​ , где  

 (3) для всех правил α →​ выполняется  

Как называется грамматика в классификации по Хомскому, если для всех правил α →​  выполняется ?

Как называется грамматика в классификации по Хомскому, если она задается правилами общего вида?