Онтология CYC

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

Рубрика Программирование, компьютеры и кибернетика
Вид презентация
Язык русский
Дата добавления 19.10.2013
Размер файла 37,8 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.


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

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

    лабораторная работа [39,1 K], добавлен 28.09.2007

  • Формулы. Использование ссылок и имен. Перемещение и копирование формул. Относительные и абсолютные ссылки. Понятие функции. Типы функций. Основным достоинством электронной таблицы Excel является наличие мощного аппарата формул и функций.

    реферат [13,4 K], добавлен 15.02.2003

  • Разработка web-сервиса как услуги, предоставляемой пользователю. Продажа товара (автомобилей) в Интернете, проблема выбора. Онтологии как часть концепции Semantic Web. Применение онтологий, их основные типы и свойства. Особенности реализации онтологии.

    курсовая работа [57,4 K], добавлен 17.04.2012

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

    курсовая работа [2,9 M], добавлен 02.01.2012

  • Теоретические основы построения непараметрической оценки функции дожития (оценка Каплана-Мейера) и вычисления доверительного интервала с использованием формулы Гринвуда. Разработка программы-функции на MATLAB и создание графиков по результатам расчетов.

    контрольная работа [442,9 K], добавлен 17.06.2012

  • Создание множества религиозных понятий и их определение. Преимущества использование платформы Protеgе. Разработка онтологии по предметной области "Буддизм" посредством компьютерной программы Protеgе 4.2.0. Представление онтологии в графическом виде.

    курсовая работа [768,0 K], добавлен 18.08.2013

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

    презентация [481,3 K], добавлен 06.12.2013

  • Математический набор. Запуск Equation Editor. Построение образца формулы. Создание кубического корня. Вставка формулы в подкоренное выражение. Построение формулы в знаменателе. Текстовые эффекты. Печать документов.

    лабораторная работа [320,9 K], добавлен 10.03.2007

  • Коды условий после сравнения. Элементарные трансцендентные функции. Формулы для вычисления тригонометрических функций. Команды управления сопроцессора х87. Формулы для вычисления показательный и гиперболических функций. Инициализация сопроцессора х87.

    контрольная работа [36,0 K], добавлен 01.12.2010

  • Понятие и компоненты онтологии. Назначение и использование рубрикаторов в интернет-системах по товарам. Автоматическая рубрикация по товарам. Фрагмент описания рубрики "Автозапчасти". Проблемы пословного поиска в системе Ontoseek и средства их решения.

    презентация [1,2 M], добавлен 01.09.2013

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