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

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

message: Необходимо договориться о руссификации терминологии. Вот список (для согласования) основных англоязычных терминов и их русскоязычных эквивалентов:
* 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 — ограничение кардинальности роли (ограничение на число значений роли ?): ({\le}n\,R)
* оно же: unqualified number restriction
* qualified number restriction — качественное ограничение кардинальности роли ({\le}n\,R.C)
* cardinality restriction on concepts — ограничение кардинальности для концептов:  ({\le}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 (сущ.) — это скорее объект. ,   РоманСузи (обс.) 07:46, 28 июня 2023 (UTC)
thread_title:  Перевод терминов 

message: Предлагаю в качестве основного перевода "Description Logic" и названия статьи термин "Описательная логика" по ряду причин.
* Во-первых, это будет по-русски и сразу отпадают споры о "дескрипционной или дескриптивной"
* Во-вторых, именно такой вариант перевода приводится в одном из самых авторитетных учебников по ИИ: С. Рассел, П. Норвиг "Искусственный интеллект. Современный подход". М;СПб;Киев, 2006 
* В-третьих, этот вариант распространен лишь немного менее чем "дескрипционная" (если верить Яндексу)  Savchenko Andrey 20:30, 15 февраля 2011 (UTC)
replies: text: * Поставил наравне + перенаправление. Тем не менее, ДЛ - хорошее сокращение. РоманСузи 18:10, 11 августа 2012 (UTC)

text: * "Дескрипционная логика" - АИ ищутся с трудом... РоманСузи 14:55, 21 октября 2012 (UTC)
thread_title:  Русификация термина