Меню Главная Случайная статья Настройки Обсуждение:Дескрипционная логика Материал из https://ru.wikipedia.org Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. 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 (сущ.) — номинал — концепт вида ${\displaystyle \{a\}}$ domain (of interpretation) — домен (интерпретации): ${\displaystyle \Delta ^{\mathcal {I}}}$ top concept — концепт ${\displaystyle \top }$ (т.е. можно не переводить) bottom concept — концепт ${\displaystyle \bot }$ (т.е. можно не переводить) value restriction — ограничение на значения роли: ${\displaystyle \forall R.C}$ оно же: universal restriction (впрочем, так редко говорят) — ограничение квантором всеобщности existential restriction — экзистенциальное ограничение (ограничение квантором существования): ${\displaystyle \exists R.C}$ оно же: existential role restriction number restriction — ограничение кардинальности роли (ограничение на число значений роли ?): ${\displaystyle ({\leq }n\,R)}$ оно же: unqualified number restriction qualified number restriction — качественное ограничение кардинальности роли ${\displaystyle ({\leq }n\,R.C)}$ cardinality restriction on concepts — ограничение кардинальности для концептов: ${\displaystyle ({\leq }n\,C)}$ Terminological box или terminology (TBox) — терминология, набор терминологических аксиом, TBox Assertional box (ABox) — набор утверждений об индивидах, ABox Role box (RBox) — набор аксиом для ролей, RBox subsumption axiom — аксиома вложенности, или вложения? (концептов, ролей): ${\displaystyle C\sqsubseteq D}$, ${\displaystyle R\sqsubseteq S}$ subsumption problem — проблема (проверки) вложенности (концептов, ролей) complex role inclusion — составная аксиома вложенности ролей: ${\displaystyle R\circ S\sqsubseteq R}$ role disjointness axiom — аксиома непересекаемости ролей concept assertion — утверждение о принадлежности индивида концепту: ${\displaystyle \,C(a)}$ role assertion — утверждение о связи двух индивидов ролью: ${\displaystyle \,R(a,b)}$ concrete domain — конкретный домен — например, в логике ${\displaystyle {\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)[ответить]