Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

New OSTIS Logic

В данной презентации мы расскажем вам о необыкновенной системе, которая толкнет этот мир к новым высокотехичным технологиям.

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of New OSTIS Logic

Вот так примерно выглядит наша ситем на деле OSTIS Logic Характеристика системы Диалог База знаний Тестовый сборник вопросов к БЗ Какие модификации имеет язык SСL?
Ответ: язык SCL имеет следующие модификации: линейная - SCLg (Semantic Code Logic graphical), графическая - SCLs (Semantic Code Logic string).

Какие объекты принадлежат классу логические операции?
Ответ: объекты конъюнкция, дизъюнкция, отрицание, импликация принадлежат классу логических операций.

Какие синонимы есть у понятия фиктивная переменная?
Ответ: у понятия фиктивная переменная есть следующие синонимы: несущественная переменная, dummy variable Информационно-
поисковые
операции и интеллектуальный решатель задач Задачи разработка форм и языков внешнего представления информации в ИСС;
разработка вида пользовательского интерфейса и системы; элементарных пользовательских действий и пользовательских команд
разработка структуры и ключевых узлов базы знаний пользовательского интерфейса ИСС;
разработка функциональных компонент пользовательского интерфейса ИСС;
разработка демонстрационного примера возможностей пользовательского интерфейса ИСС. Формы представления Естественный язык
Графическая иллюстрация
Язык TeX
Язык логики исчисления предикатов
SCL
Язык логических формул
SCg - конструкция Структура главного меню
пользовательского интерфейса Ввод-вывод
Просмотр БЗ
Редактирование БЗ
Справка
Логика Онтология Для удобства
демонстрации
мы помещали вопрос в
отдельные .gwf файлы,
но можно задать
этот же вопрос и так К примеру Закон дистрибутивности
Замена эквиваленций и импликаций на конъюнкции, дизъюнкцию и отрицание
Построение КНФ
Закон де Моргана
Логический вывод методом резолюций К примеру К примеру Таблица истинности
СКНФ
СДНФ
Логический вывод в логике предикатов Планируется Но всё-таки как работает логический вывод? В теории На практике Приведение к КНФ
Поиск противоречий Замена эквиваленции Определение: предикат - это характеристическая функция некоторого отношения, которая характеризует каждую связку декартова произведения истинностью в случае, если эта связка принадлежит отношению и ложностью, если не принадлежит.
Синонимы: predicat
Разбиение множества: тождественно-истинный предикат, тождественно-ложный предикат.
Пример: Сократ – человек. Предикат Замена импликации Поиск противоречий построить таблицу истинности
построение СДНФ
скларимизация Но хотелось бы: Определение: определение понятия* - отношение, связывающее понятие с содержанием данного понятия.
Синонимы: definition of the concept
Пример: Трапеция - четырехугольник, у которого две стороны параллельны, а две остальные - не параллельны.
Свойства: бинарное, асимметричное.
Схема отношения: <понятие_, содержание понятия_>. Определение понятия* Разработано N операций, включая те, что составляют логический вывод В ходе извлечения и формализации знаний была разработана онтология Фрагмент базы знаний пример на SCg пример на SCn Верификация и отладка базы знаний проводилась с помощью утилиты Semantic User Interface Toolkit 0.4.0. Поиск определения для понятия закон двойного отрицания Также тестирование было произведено с помощью утилиты шаблонов поиска Привести пример эпихейремы Ответ системы 1) Извлечение знаний из предметной области и их формализация

2) Отсутствие эксперта Основные сложности в проектировании базы знаний Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная матемаотика для инженеров / Учебное пособие 3-е изд., перераб. и доп. – М.: Лань, 2004 г. – 400с.

Малыхина Г.И. Логика: учебное пособие /Малыхина Г.И. – 5-е изд., с изменениями. - Минск : Выш. шк., 2010. – 240 с.

Гаврилова Т.А., Хорошевский В.Ф.. Базы знаний интеллектуальных систем: учеб. пособие. – Санкт-Петербург, 2000. - 383 с.

Голенков В.В., Осипов Г.С., Гулякина Н.А. и др.. Программирование в ассоциативных машинах. Монография Мн.: БГУИР, 2001.

Голенков В.В., Гулякина Н.А. Графодинамические ассоциативные модели и средства параллельной обработки информации в системах искусственного интеллекта. Доклады БГУИР. – 2004.

Голенков В.В., Гулякина Н.А., Тарасов В.Б., Елисеева О.Е. и др. Интеллектуальные обучающие системы и виртуальные учебные организации. Монография Мн.: БГУИР, 2001. Использование достаточного объема литературы Благодарность участикам команды (2й и 3й курс) Совместная работа Благодарность Заливако С.С. и Давыденко И.Т. Постоянные консультации В результате анализа подходов к проектированию ИСС и изучения предметной области был частично реализован интеллектуальный решатель задач, а также разработана база знаний по логике насчитывающая 621 статей.

В результате тестирования были выявлены и исправлены ошибки, а так же установлен факт того, что база может использоваться как составляющаяя ИСС. Пополнение новыми знаниями
Тесная интеграция с другими ИИС
Доработка и тестирование решателя
Реализация решателя для логики предикатов Как справлялись с трудностями ИТОГИ Планируется пример на SCL Цель Разработать ИСС по логике, которая будет способна помогать пользователям в самообразовании, посредством предоставления теоретической информации и демонстрацией решения задач по логике. Также отвечать на вопросы. Задачи Сформировать подробную базу знаний всех понятий и отношений в выбранных разделах предмета.
Составить перечень уроков для каждого раздела логики.
Наполнить уроки теоретическими сведениями, примерами, упражнениями. База знаний Стратегия дальнейшего развития системы Эволюция базы знаний Текущая стадия Эволюция базы знаний.
Эволюция машины обработки знаний.
Эволюция пользовательского интерфейса. Пополняется база знаний
Составляется программа обучения
Разрабатывается графический интерфейс Основные законы формальной логики
Модусы
Логический квадрат
Аксиомные схемы Разработка прототипа Эволюция машины обработки знаний. Расширение типологии вопросов, которые можно задавать системе
Новые модели решения задач
Сборка мусора Эволюция пользовательского интерфейса. Повышение наглядности

В пользовательском интерфейсе реализуется взаимодействие графического и классического представления информации. Создание и эволюция help-подсистемы. Подсказки (автозаполнение полей)
Пошаговое выполнение задачи
Предупреждение об ошибках
Демонстрация работы с интерфейсом Конкурентные преимущества и достоинства Многообразие видов знаний Понятия
Теоремы
Аксиомы
Определения Онтология Способы решения задач Классический дедукивный вывод
Индуктивный вывод
Абдукивный вывод
Нечёткие логики Классы задач Задачи синтеза доказательства
Задачи верификации
Задачи способа решения
Задачи анализа
Задачи классификации Многообразие вопросов Запрос обоснования
Запрос объяснения
Запрос декомпозиции задачи на подзадачи
разбиение суждений на посылки
разбиение теорем на аксиомы
разбиение формул на атомарные части Поиск трансляции? Перевести указанную формулу с классического языка на формальный. Ответ:
Классический язык: (А v В) -> С
Формальный: Привести пример вычисления таблицы истинности. Тема: Интеллектуальная обучающая система по логике В БЗ добавлено более 350 понятий. Из них:
57 относительных
298 абсолютных Актуальность Необходимость логического вывода в различных направлениях науки.
Помощь в самообразовании людей, касающихся этой научной отрасли
Существует потребность в хорошем и простом учебнике, показывающем место логики в профессиональной и повседневной жизни человека. Не только люди, чья профессия связана с интеллектуальной деятельностью. Но и любой интересующиеся логикой, либо нуждающийся в её изучении. Интеллектуальный решатель задач Среди них задачи на
доказательство
решение Доказать, что умозаключение у которого одна посылка - разделительное суждение, а вторая - условное называется условноразделительным. REQUESTED STATEMENT WAS PROVED! Аудитория На данный момент система осуществляет навигацию по базе знаний, вычисляет истинность различных логических формул с построением соответствующих таблиц истинности, решает задачи, отвечает на вопросы. Текущее состояние системы Формализовано более 30 различных задач Как результат взаимодействия
2 и 3 курса было выполнено следующее: Проверены и добавлены в БЗ более 350 понятий
Формализованы более 30 логических задач Задача •Предполагаемые критерии успешности проекта 1.наглядность
2.информативность, полнота
3.интерактивность
4.удобство использования
5.мобильность(кроссплатформенность
6.взаимодействие с пользователем: вопрос-ответ Эволюция пользовательского интерфейса Возможность переводить формулу из классического языка в формальный и наоборот Конвертация пример 2 A -> B f1 = f2 Спасибо за внимание Доказать, что если форма мысли А имеет структуру большая посылка S(категорическое суждение), меньшая посылка L(категорическое суждение),
заключение К(категорическое суждение), то А - простой категорический силлогизм. Задача 2 Условие Вопрос Факты Факты 2 Доказательство умозаключения Доказательство дедуктивного опосредованного умозаключения Простой категорический силлогизм
Full transcript