Онтология CYC
Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.
Подобные документы
- 76. CASE-технологии
Современные методы и средства проектирования информационных систем, основанные на использовании CASE-технологии (Computer Aided Software/System Engineering), их общая характеристика и классификация. Описание программных продуктов Computer Associates.
реферат, добавлен 24.10.2009 Обзор особенностей электронных табличных процессоров Microsoft Excel, Lotus, Quattro Pro и SuperCalc. Функции и интерфейс этих программ, а также приемы работы с ними: оформление рабочих листов (шрифт, цвета, числовые данные, формулы), таблиц, диаграмм.
реферат, добавлен 28.01.2014Проблема интеграции программного обеспечения инженера: Computer Aided Modeling, Computer Aided Engineering, Computer Aided Design. Объемное конструирование и геометрическое моделирование. Системы разработки рабочих чертежей инженерных конструкций.
реферат, добавлен 10.05.2015Современные способы расчета погашения кредита. Выплата основного долга с помощью дифференцированного платежа. Формулы расчета аннуитетного кредита (с помощью финансовых функций Microsoft Excel). Погашения кредита с постоянными суммарными выплатами.
лабораторная работа, добавлен 23.05.2015Practical acquaintance with the capabilities, configuration of firewalls. Information security in computer systems. Identify and control applications. The addition of security devices. Regular inspections of all users, regardless of location or device.
лабораторная работа, добавлен 17.03.2016Исследование понятия онтологии, которая активно используются в качестве средства структурирования и представления информации в системах управления знаниями. Рассмотрение методов решения проблем связанных с поиском и получением корпоративной информации.
статья, добавлен 17.01.2018Типы данных и основные операции, выполняемые в Microsoft Excel. Абсолютные и относительные ссылки. Математические, статистические, логические и текстовые функции Microsoft Excel: описание, примеры применения. Функции даты и времени, ссылки и массивы.
курсовая работа, добавлен 27.11.2009Анализ технологий создания Интернет-порталов. Моделирование непроцедурных знаний. Изучение взаимодействия интеллектуальных систем между собой и человеком. Формирование онтологии предметной области социальной группы. Управление доступом к словарям.
статья, добавлен 19.01.2018Онтологическая модель поисковой системы. Алгоритм нахождения набора документов, который удовлетворяет запросу пользователя, на основе грубых множеств Павлака. Определение точности аппроксимации. Структура онтологии семантического проектного репозитория.
статья, добавлен 18.01.2018Familiarity with the basics of computer science and computer security. CompTIA Security + as an international, independent of vendor certification for information security professionals. General characteristics of the functions of the data-link layer.
книга, добавлен 08.03.2014Решение задач автоматического определения временной референции события. Разбор дневниковой записи с точки зрения возможности временной референции событий. Системы разметок временных маркеров. Элементы в нарративной структуре, описанной Румельхартом.
аттестационная работа, добавлен 27.08.2016Рассмотрение алгоритма поиска оптимальной комбинации символов с максимальным значением целевой функции, а также формулы для определения ее значения. Описание структурной схемы основных этапов алгоритма пчелиных колоний, приведение примера его работы.
статья, добавлен 29.07.2017Понятие пространства имен в программе. Размещение значка приложения на System Tray. Рассмотрение интерфейса средства для создания и управления ярлыками. Добавление пунктов в системное контекстное меню. Основные константы, определяющие специальные папки.
лекция, добавлен 14.03.2014Операторы языка C++ в соответствии с приоритетами. Использование специальных символов при описании константы. Понятие, область действия и реализации CPP файла. Правила применения UNC-имен. Понятие и структура реестра операционной системы Windows.
реферат, добавлен 24.01.2011The computer graphics is one of the popular directions of use of the personal computer. Benefits of the program Corel Draw. Importing files of different formats. Standard window interface. Tools for drawing lines. Change the shape and color of objects.
презентация, добавлен 08.03.2017Характеристика пространственных отношений для организации диалогового управления когнитивными мобильными роботами. Особенности гранулярной онтологии пространства, метаонтология грануляции информации. Сущность мереологии, мереотопологии и мерономии.
статья, добавлен 18.01.2018Disclosure mechanisms that will help to identify lines with Romanian chromatic words on the basis of computer technology, as the first stage in developing the dictionary of poetic meanings of colors. Cooperation of linguists and computer specialists.
статья, добавлен 23.02.2016This history on key moments of evolution electronic digital computer: the transformation of the computer from a specialized scientific instrument to a commercial product; the beginning of personal computing and the spread of networking after 1980s.
книга, добавлен 25.11.2013Learning English for working with the computer and other information technology. Working with computer programs, discussion of problems and project planning. Use for intermediate level students and above. Using software: useful verbs, the control panel.
учебное пособие, добавлен 28.05.2015Basic directions in the design of the interface. The interaction between human and computer. Introduction to user preferences, as to the operation of the computer system. The principles used to create virtual navigation for the operating system.
презентация, добавлен 28.12.2013Арифметические операции и их особенности в языке С. Основные типы данных, операции и выражения. Константы с плавающей точкой. Базовые типы переменных в C. Сложение и вычитание числовых значений из указателей. Операции над структурами и объединениями.
шпаргалка, добавлен 23.06.2011Оперативная память ПК: адреса, функции, блоки, размещение объектов. Типы данных, их взаимодействие с Турбо Паскаль. Указатели: типизированные, нетипизированные. Значения, константы, значки, их использование в программе. Процедуры, обращения к ним.
реферат, добавлен 13.05.2009Alan Mathison Turning - an English computer scientist, mathematician, cryptanalyst. He was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm, computation with the Turing machine.
презентация, добавлен 29.03.2016Stages of development and analysis of the effectiveness of the mechanism, which will help identify the line with Romanian chromatic words on the basis of computer technology as the first phase of development of the dictionary meanings of poetic colors.
статья, добавлен 23.02.2016The study of the sequence of stages of reconstruction of graphical images on a computer using decoding dual vectors of the tuple. Decoding code values in software components. Ways of coding information. Methods of the decrypting computer codes cost.
статья, добавлен 25.03.2016