Дескриптивная логика

Дескриптивная логика

Дескрипцио́нные ло́гики (англ. Description logics), часто называемые также дескриптивными логиками — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формально обоснованном виде. Изначально дескрипционные логики зародились как расширение фреймовой и сетевой моделей механизмами формальной логики.



Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "Дескриптивная логика" в других словарях:

  • логика социальных наук — Логика социальных наук: Адорно против Поппера     На конгрессе «Логика социальных наук», организованном в Тюбингене Немецким обществом социологии в октябре 1961 г., выступили Поппер и Адорно. Тогда произошло первое столкновение между… …   Западная философия от истоков до наших дней

  • ГУССЕРЛЬ —         (HusserI) Эдмунд (1856 1938) нем. философ, создатель феноменологич. направления. Изучал математику и астрономию в ун те Лейпцига в 1876 78, слушал Вучдта, основавшего в Лейпциге первый ин т эксперимент, психологии. В ун те Берлина в 1878… …   Энциклопедия культурологии

  • ЭФФЕКТИВИЗМ —         направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… …   Философская энциклопедия

  • Список академических дисциплин — Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне …   Википедия

  • Множеств теория —         учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… …   Большая советская энциклопедия

  • Анализ данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… …   Википедия

  • МЕТАФИЗИКА — (от греч. metaphysic то, что после физики) наука о сверхчувственных принципах и началах бытия. В истории философии под М. чаще всего понимается подлинная философия. Термин «М.» впервые введен Андроником Родосским, систематизатором работ… …   Философская энциклопедия

  • ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

  • Методология — (от Метод и... логия (См. ...Логия))         учение о структуре, логической организации, методах и средствах деятельности. М. в этом широком смысле образует необходимый компонент всякой деятельности (См. Деятельность), поскольку последняя… …   Большая советская энциклопедия

  • Гуссерль Э. — Эдмунд Густав Альбрехт Гуссерль Дата и место рождения: 8 апреля, 1859 (Простеёв, Моравия) Дата и место смерти: 26 …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»