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

Untitled

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

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

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

• 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 (сущ.) — номинал — концепт вида $\{a\}$

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

• top concept — концепт $\top$ (т.е. можно не переводить)
• bottom concept — концепт $\bot$ (т.е. можно не переводить)

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

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

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

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

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

• concept assertion — утверждение о принадлежности индивида концепту: $\,C(a)$
• role assertion — утверждение о связи двух индивидов ролью: $\,R(a,b)$
• concrete domain — конкретный домен — например, в логике ${\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)

• • individual (сущ.) — это скорее объект. [1], [2] РоманСузи (обс.) 07:46, 28 июня 2023 (UTC)

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

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

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

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