Онтология CYC
Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | презентация |
| Язык | русский |
| Дата добавления | 19.10.2013 |
| Размер файла | 37,8 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Вычисления в 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
