Обсуждение:Дескрипционная логика

Проект «Информационные технологии» (уровень 1, важность средняя)

Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении.

I

Уровень статьи по шкале оценок проекта: полная

Средняя

Важность статьи для проекта «Информационные технологии»: средняя

Проект «Математика» (уровень 1)

Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.

I

Уровень статьи по шкале оценок проекта: полная

UntitledПравить

Последнее сообщение: 13 лет назад1 сообщение1 человек в обсуждении

Термин Description Logic более точно следует переводить как дескрипционная логика (как вариант: логика дескрипций). Чтобы отличать от похожего термина Descriptive set theory — дескриптивная теория множеств. Для сравнения: дескриптивная психология (descriptive), дескриптивная лингвистика (тоже descriptive). Но: опционный контракт (option contract), транскрипционные факторы или факторы транскрипции (transcription factor), проскрипционные списки и т.д. Maestro 13:18, 28 мая 2009 (UTC)Ответить[ответить]

Перевод терминовПравить

Последнее сообщение: 10 лет назад2 сообщения2 человека в обсуждении

Необходимо договориться о руссификации терминологии. Вот список (для согласования) основных англоязычных терминов и их русскоязычных эквивалентов:

description logic — дескрипционная логика
knowledge base — база знаний
reasoning — логический анализ (?)
reasoner — ~~анализатор (?), классификатор (?),~~ механизм рассуждений или блок рассуждений (РоманСузи 05:06, 2 ноября 2012 (UTC))Ответить[ответить]

concept — конце́пт
role — роль
individual (сущ.) — индивид
atomic concept, concept name — атомарный концепт
atomic role, role name — атомарная роль
individual name — имя индивида (не индивидуальное имя)
nominal (сущ.) — номинал — концепт вида $\text{[math]}$ $\text{[math]}$ $\{a\}$

domain (of interpretation) — домен (интерпретации): $\text{[math]}$ $\text{[math]}$ $\Delta ^{\mathcal {I}}$

top concept — концепт $\text{[math]}$ $\text{[math]}$ $\top$ (т.е. можно не переводить)
bottom concept — концепт $\text{[math]}$ $\text{[math]}$ $\bot$ (т.е. можно не переводить)

value restriction — ограничение на значения роли: $\text{[math]}$ $\text{[math]}$ $\forall R.C$
оно же: universal restriction (впрочем, так редко говорят) — ограничение квантором всеобщности
existential restriction — экзистенциальное ограничение (ограничение квантором существования): $\text{[math]}$ $\text{[math]}$ $\exists R.C$
оно же: existential role restriction

number restriction — ограничение кардинальности роли (ограничение на число значений роли ?): $\text{[math]}$ $\text{[math]}$ $({\leq }n\,R)$
оно же: unqualified number restriction
qualified number restriction — качественное ограничение кардинальности роли $\text{[math]}$ $\text{[math]}$ $({\leq }n\,R.C)$

cardinality restriction on concepts — ограничение кардинальности для концептов: $\text{[math]}$ $\text{[math]}$ $({\leq }n\,C)$

Terminological box или terminology (TBox) — терминология, набор терминологических аксиом, TBox
Assertional box (ABox) — набор утверждений об индивидах, ABox
Role box (RBox) — набор аксиом для ролей, RBox

subsumption axiom — аксиома вложенности, или вложения? (концептов, ролей): $\text{[math]}$ $\text{[math]}$ $C\sqsubseteq D$ , $\text{[math]}$ $\text{[math]}$ $R\sqsubseteq S$
subsumption problem — проблема (проверки) вложенности (концептов, ролей)
complex role inclusion — составная аксиома вложенности ролей: $\text{[math]}$ $\text{[math]}$ $R\circ S\sqsubseteq R$
role disjointness axiom — аксиома непересекаемости ролей

concept assertion — утверждение о принадлежности индивида концепту: $\text{[math]}$ $\text{[math]}$ $\,C(a)$
role assertion — утверждение о связи двух индивидов ролью: $\text{[math]}$ $\text{[math]}$ $\,R(a,b)$
concrete domain — конкретный домен — например, в логике $\text{[math]}$ $\text{[math]}$ ${\mathcal {SHIQ}}(D)$
en:datatype property (in OWL) — конкретное свойство? Mary hasAge 17

TBox consistency — совместимость TBox (или совместность? или лучше непротиворечивость?)
query answering — ответ на запросы (или отвечание? как говорят в БД?)

unique name assumption — предположение об уникальности имён (или соглашение)
open world assumption — предположение об открытости мира
closed world assumption — предположение о замкнутости мира

finite model property — cвойство конечности моделей
tree model property — cвойство древовидности моделей

tableau algorithm — табло-алгоритм
tableau method — табло-метод
tableau (мн. tableaux) — табло (структура, построенная табло-алгоритмом)

Maestro 10:52, 17 июня 2009 (UTC)Ответить[ответить]

Русификация терминаПравить

Последнее сообщение: 10 лет назад2 сообщения1 человек в обсуждении

Предлагаю в качестве основного перевода "Description Logic" и названия статьи термин "Описательная логика" по ряду причин.

Во-первых, это будет по-русски и сразу отпадают споры о "дескрипционной или дескриптивной"
Во-вторых, именно такой вариант перевода приводится в одном из самых авторитетных учебников по ИИ: С. Рассел, П. Норвиг "Искусственный интеллект. Современный подход". М;СПб;Киев, 2006
В-третьих, этот вариант распространен лишь немного менее чем "дескрипционная" (если верить Яндексу) Savchenko Andrey 20:30, 15 февраля 2011 (UTC)

Поставил наравне + перенаправление. Тем не менее, ДЛ - хорошее сокращение. РоманСузи 18:10, 11 августа 2012 (UTC)Ответить[ответить]
"Дескрипционная логика" - АИ ищутся с трудом... РоманСузи 14:55, 21 октября 2012 (UTC)Ответить[ответить]

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