Онтология CYC

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

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

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

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

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

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

  • Назначение электронной таблицы в первую очередь состоит в автоматизации вычислений над данными. Для этого в ячейки таблицы вводятся формулы. Пример вычисления по арифметическим формулам. Правило копирования формул. Арифметические и логические формулы.

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

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

    курсовая работа, добавлен 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

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

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

  • 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

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

    статья, добавлен 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

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

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

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