Квест по физике. 7 класс
Игра проводится тремя командами. В каждой команде выбирается командир. Он получает задания и дает ответ на каждое задание. Затем, ответив на вопрос, определяют конверт с каким названием им нужно получить. Итак, давая правильные ответы, команды доходят до последнего конверта, в котором указывается место, где спрятан приз. Побеждает та команда, которая первая пройдет все испытания.
МЕТОДИКА СОЗДАНИЯ ЛОГИЧЕСКИХ ЗАДАЧ ПО ИНФОРМАТИКЕ
Решение логических задач по информатике способно развивать логическое мышление школьников. Умение решать задачи является одним из основных показателей уровня развития, глубины освоения учебного материала [1]. В учебниках по информатике в каждом классе содержится 2-3 логические задачи. Этого количества недостаточно для отработки умения решать задачи. Учителю необходимо иметь 12-15 различных вариантов логических задач. Методики создания логических задач в методической литературе не содержатся.
Таким образом, актуальной задачей является разработка методики создания логических задач.
Методика создания логических задач. В работе рассматриваются задачи, содержащие два класса объектов по четыре элемента. Между элементами множеств каждого класса устанавливаются взаимно однозначные соответствия.
Установлено необходимое и достаточное количество частноутвердительных и частноотрицательных суждений в логической задаче. По соотношению частноотрицател ... Читать дальше »
Экспертные системы
Экспе́ртная систе́ма (ЭС, англ. expert system) — компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970-х годах, а в 1980-х получили коммерческое подкрепление. Предтечи экспертных систем были предложены в 1832 году С. Н. Корсаковым, создавшим механические устройства, так называемые «интеллектуальные машины», позволявшие находить решения по заданным условиям. Например, определять наиболее подходящие лекарства по наблюдаемым у пациента симптомам заболевания.
В информатике экспертные системы рассматриваются совместно с базами знаний как модели поведения экспертов в определенной области знаний с использованием процедур логического вывода и принятия решений, а базы знаний — как совокупность фактов и правил логического вывода в выбранной предметной области деятельности.
Похожие действия выполняет такой прогр ... Читать дальше »
Программы создания и редактирования онтологий
Построение онтологий - сложный и занимающий много времени процесс. Чтобы облегчить его, в середине 90-х годов начали создаваться первые среды для процесса разработки онтологий. Они обеспечили интерфейсы, которые позволили выполнять концептуализацию, реализацию, проверку непротиворечивости и документирование. За последние годы число инструментов онтологий резко возросло (сайт консорциума W3C, например, предоставляет список более чем 50 инструментов редактирования).
1. Система Ontolingua была разработана в KSL (Knowledge Systems Laboratory) Стенфордского университета и стала первым инструментом инженерии онтологий. Она состоит из сервера и языка представления знаний.
2. Protégé - локальная, свободно распространяемая Java-программа, разработанная группой медицинской информатики Стенфордского университета (первая версия - 1987). Программа предназначена для построения (создания, редактирования и просмотра) онтологий прикладной области. Её первоначальная цель - помочь разр ... Читать дальше »
Онтология
Информационная онтология предполагает формальное и явное описание всех общих концепций конкретной области знания.
Онтологии используются для построения концептуальных моделей.
Концептуализация это - процесс перехода от представления предметной области на естественном или ограниченном естественном языке к точной спецификации этого описания на некотором формальном языке, ориентированном на компьютерное представление. Концептуализация также трактуется как результат подобного процесса, т. е. описание множества понятий (концептов) предметной области, знаний о них и связях (отношениях) между ними.
Формальное описание области знаний, для которой указываются основные концепции и связи между ними. Каждый термин это - узел. Ребра сети - отношения между узлами.
Элементы онтологий
... Читать дальше »
Вывод на знаниях
Семантика исчисления предикатов обеспечивает основу для формализации логического вывода. Возможность логически выводить новые правильные выражения из набора истинных утверждений очень важна. Логически выведенные утверждения корректны, и они совместимы со всеми предыдущими интерпретациями первоначального набора выражений. Обсудим вышесказанное неформально и затем введем необходимую формализацию.
В исчислении высказываний основным объектом является переменное высказывание (предикат), истинность или ложность которого зависит от значений входящих в него переменных. Так, истинность предиката "x был физиком" зависит от значения переменной x. Если x - П. Капица, то предикат истинен, если x - М. Лермонтов, то он ложен. На языке исчисления предикатов утверждение ... Читать дальше »
Формально-логические модели
Традиционная булева алгебра и
исчисление высказываний не всегда
подходят для выражения логических рассуждений, проводимых людьми, более удобен
для этого язык логики предикатов. Под исчислением
предикатов понимается формальный язык для представления отношений в
некоторой предметной области. Основное преимущество исчисления
предикатов - хорошо понятный мощный механизм математического вывода,
который может быть непосредственно запрограммирован.
Предикатом называют предложение,
принимающее только два значения: "истина" или "ложь". Для
обозначения предикатов применяются логические связки между высказываниями: ¬ - не,
...
Читать дальше »
Фреймы
Фреймы предложены в 1975 году Марвином Минским. Фрейм (рамка в переводе с англ.) - это единица представления знаний, запомненная в прошлом, детали которой могут быть изменены согласно текущей ситуации.
Фрейм представляет собой структуру данных, с помощью которых можно, например, описать обстановку в комнате или место встречи для проведения совещания. М.Минский предлагал эту модель для описания пространственных сцен. Однако с помощью фреймов можно описать ситуацию, сценарий, роль, структуру и т.д.
Фрейм отражает основные свойства объекта или явления. Структура фрейма записывается в виде списка свойств, называемых во ... Читать дальше »
Семантические сети
Семантика в бытовом понимании означает смысл слова, художественного произведения, действия и т.д. Семантическая сеть - это граф, дуги которого есть отношения между вершинами (значениями). Семантические сети появились как модель представления знаний при решении задач разбора и понимания смысла естественного языка.
Пример семантической сети для предложения типа "Поставщик осуществил поставку изделий по заказу клиента до 1 июня 2004 года в количестве 1000 штук" приведен на рисунке 1.
... Читать дальше »
Продукционные модели
Продукционная модель позволяет представить знания в виде предложений типа:
Если <условие> то < ... Читать дальше »
Информер последних комментариев
21:41, 06.11.2016
20:21, 10.10.2015
14:24, 30.03.2014
14:23, 30.03.2014
19:31, 13.03.2014
19:28, 13.03.2014
19:39, 10.03.2014
18:19, 16.02.2014
16:34, 16.02.2014
11:37, 04.01.2014