Онтология CYC

Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.

Подобные документы

  • Специфика языка представления знаний, характеристика семантического гиперграфа. Структура и предназначение прикладной онтологии, её применение. Определение имен понятий и отношений, описание процедуры на прикладной онтологии, сущность её фрагментов.

    контрольная работа, добавлен 09.01.2016

  • Онтология вин и еды, их сочетание. Возможные приложения. Формальное явное описание понятий в рассматриваемой предметной области. Этапы разработки онтологии. Перечисление важных терминов, иерархии классов. Организация классов в таксономию. Свойства слотов.

    презентация, добавлен 01.09.2013

  • Характеристика методов численного интегрирования. Пример решения задачи приближенного вычисления определенного интеграла. Получение кубатурной формулы для интегрирования функций двух переменных на основе формулы Симпсона, её программная реализация.

    курсовая работа, добавлен 26.12.2016

  • Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Сущность онтологии, языки для ее описания. Специфика некоторых лингвистических ресурсов, применение для конкретной области.

    презентация, добавлен 01.09.2013

  • Нахождение значения формулы при данных аргументах, приближенное нахождение интеграла, работа с переменными, изменение аргументов, вызов справки. Функциональная структура программы и принципы ее построения. Реализация алгоритма распознавания функции.

    курсовая работа, добавлен 18.08.2009

  • Типы онтологий: верхнего уровня, предметных областей, прикладных онтологий. Основные характеристики лексических и лингвистических онтологий. Классификация по цели создания, по содержимому. Онтологии электронной коммерции. Большие и сверхбольшие тезаурусы.

    презентация, добавлен 19.10.2013

  • Принципы стандарта онтологического исследования при проектировании информационных систем. Использование онтологии в Semantiс Web. Перспективы внедрения онтологий в жилищно-коммунальное хозяйство. Процесс построения онтологии, согласно методологии IDEF5.

    статья, добавлен 19.12.2017

  • Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.

    реферат, добавлен 05.10.2014

  • Табличное представление данных. Основные и производные данные. Управление данными с помощью Excel. Сложные формулы и стандартные функции. Форматирование и изменение размеров ячеек. Работа с несколькими рабочими листами. Использование ссылок и имен.

    реферат, добавлен 18.01.2011

  • Системы линейных алгебраических уравнений. Табличные формулы и операции с матрицами. Решение линейных алгебраических систем. Группировка рабочих листов в Microsoft Excel. Матричный способ решения задач оптимизации. Поиск значений аргументов функции.

    методичка, добавлен 06.05.2015

  • Понятие онтологии в информатике как попытки всеобъемлющей и детальной формализации некоторой области знаний с помощью концептуальной схемы. Способы сжатия информации на основе компьютерной онтологии, единицы ее измерения. Рассмотрение некоторых примеров.

    контрольная работа, добавлен 12.06.2013

  • The modern computer technologies. Drawing of clock-pulse generator that from pulse sequence for all programming system. Engineering graphics OrCAD Capture. Projecting and design of principal schemes in electronics, microelectronics and electrotechniques.

    книга, добавлен 11.10.2014

  • Составление алгоритма и программы получения стандартного вида последовательности и рекуррентной формулы, с использованием средства разработки программного обеспечения Microsoft Visual Basic. Создание формы просмотра и обработки полученных результатов.

    лабораторная работа, добавлен 25.11.2012

  • Разработка машино-читаемого словаря (онтологии) для описания области применения и особенностей реализации программных систем, использующих элементы крауд-вычислений. Особенности построения онтологии для описания приложений методом "сверху-вниз".

    статья, добавлен 08.03.2019

  • Лингвистические особенности организации ФИС (формулы изобретения на способ). Возможности переиспользования интерфейса системы автоматического синтеза формулы изобретения для определения запроса к системе автоматического поиска патентных текстов.

    автореферат, добавлен 30.04.2018

  • Основные положения и сущность работы операционной системы Excel, ее особенности и функциональность. Общие сведения о книгах и листах MS Excel. Типы данных, настройки и возможности их использования. Вычисления в Excel, формулы и функции, команды.

    лабораторная работа, добавлен 13.01.2009

  • Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Концептуальное индексирование и спецификация концептуализации. Таксономические отношения. Языки для описания онтологий.

    презентация, добавлен 19.10.2013

  • Описание полуавтоматического метода расширения базовой онтологии для предметной области "радиационная безопасность", основанного на принципах NLP. Особенности решения проблемы неоднозначности слов с помощью словаря синонимов, пути расширения онтологии.

    статья, добавлен 22.01.2017

  • Букридеры как один из современных инструментов обучения. Общая характеристика рынка информациoнных технoлoгий в Рoccии. Знакомство с главными особенностями разработки электронного учебного пособия "Основные математические формулы" средствами Delphi.

    курсовая работа, добавлен 26.02.2020

  • Код макросов "Вставка таблицы" и "Вставка формулы". Оформление рисунков и таблиц в программе Microsoft Word. Создание макроса для вставки формулы в текст. Построение двумерного графика эпициклоиды по параметрическим уравнениям кривой в Microsoft Excel.

    отчет по практике, добавлен 18.02.2019

  • Алгоритм построения дерева-формулы арифметического выражения. Приоритеты операций, величина и степень. Рекурсивная процедура построения FormTree. Текст процедуры DelPar. Визуальная иллюстрация дифференцирования дерева-формулы. Текст программы на С++.

    методичка, добавлен 08.09.2015

  • Рассмотрение основ представления чисел в компьютере. Общая характеристика и история создания электронной таблицы. Ознакомление с версиями Excel для Windows и Windows NT. Типы и форматы данных в программе; ввод формулы, ссылки, функции и диаграммы.

    реферат, добавлен 29.11.2013

  • Internet multimedia: media element such as sound, animation and video. File transfers: downloading (process of transferring the file from remote computer to your computer) and uploading (sending a copy of files from your computer to remote computer).

    лекция, добавлен 15.04.2014

  • The comparison of the computer development in the USA and Ukraine. At the time when the computer science was just uprising this two countries were one of the most noticeably influential. Howard Aiken's contributions to the development of the computer.

    эссе, добавлен 13.09.2011

  • Использование онтологий в сфере искусственного интеллекта. Базовые термины для свойств, относящихся к архитектуре онтологии. Построение графа предметно-ориентированных связей для онтологии компьютерных игр. Свойства определений, онтологических соглашений.

    статья, добавлен 16.01.2018

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.