Квест по физике. 7 класс

Воскресенье21:41

Игра проводится тремя командами. В каждой команде выбирается командир. Он получает задания и дает ответ на каждое задание. Затем, ответив на вопрос, определяют конверт с каким названием им нужно получить. Итак, давая правильные ответы, команды доходят до последнего конверта, в котором указывается место, где спрятан приз. Побеждает та команда, которая первая пройдет все испытания.

МЕТОДИКА СОЗДАНИЯ ЛОГИЧЕСКИХ ЗАДАЧ ПО ИНФОРМАТИКЕ

Суббота20:21

Решение логических задач по информатике способно развивать логическое мышление школьников. Умение решать задачи является одним из основных показателей уровня развития, глубины освоения учебного материала [1]. В учебниках по информатике в каждом классе содержится 2-3 логические задачи. Этого количества недостаточно для отработки умения решать задачи. Учителю необходимо иметь 12-15 различных вариантов логических задач. Методики создания логических задач в методической литературе не содержатся.

Таким образом, актуальной задачей является разработка методики создания логических задач.

Методика создания логических задач. В работе рассматриваются задачи, содержащие два класса объектов по четыре элемента. Между элементами множеств каждого класса устанавливаются взаимно однозначные соответствия. 

Установлено необходимое и достаточное количество частноутвердительных и частноотрицательных суждений в логической задаче. По соотношению частноотрицател ... Читать дальше »

Экспертные системы

Воскресенье14:24

Экспе́ртная систе́ма (ЭС, англ. expert system) — компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970-х годах, а в 1980-х получили коммерческое подкрепление. Предтечи экспертных систем были предложены в 1832 году С. Н. Корсаковым, создавшим механические устройства, так называемые «интеллектуальные машины», позволявшие находить решения по заданным условиям.   Например, определять наиболее подходящие лекарства по наблюдаемым у пациента симптомам заболевания.

В информатике экспертные системы рассматриваются совместно с базами знаний как модели поведения экспертов в определенной области знаний с использованием процедур логического вывода и принятия решений, а базы знаний — как совокупность фактов и правил логического вывода в выбранной предметной области деятельности.

Похожие действия выполняет такой прогр ... Читать дальше »

Программы создания и редактирования онтологий

Воскресенье14:23

Построение онтологий - сложный и занимающий много времени процесс. Чтобы облегчить его, в середине 90-х годов начали создаваться первые среды для процесса разработки онтологий. Они обеспечили интерфейсы, которые позволили выполнять концептуализацию, реализацию, проверку непротиворечивости и документирование. За последние годы число инструментов онтологий резко возросло (сайт консорциума W3C, например, предоставляет список более чем 50 инструментов редактирования).

1. Система Ontolingua была разработана в KSL (Knowledge Systems Laboratory) Стенфордского университета и стала первым инструментом инженерии онтологий. Она состоит из сервера и языка представления знаний.

2. Protégé - локальная, свободно распространяемая Java-программа, разработанная группой медицинской информатики Стенфордского университета (первая версия - 1987). Программа предназначена для построения (создания, редактирования и просмотра) онтологий прикладной области. Её первоначальная цель - помочь разр ... Читать дальше »

Онтология

Четверг19:31

Информационная онтология предполагает формальное и явное описание всех общих концепций конкретной области знания.

Онтологии используются для построения концептуальных моделей.

Концептуализация это - процесс перехода от представления предметной области на естественном или ограниченном естественном языке к точной спецификации этого описания на некотором формальном языке, ориентированном на компьютерное представление. Концептуализация также трактуется как результат подобного процесса, т. е. описание множества понятий (концептов) предметной области, знаний о них и связях (отношениях) между ними.

Формальное описание области знаний, для которой указываются основные концепции и связи между ними. Каждый термин это - узел. Ребра сети - отношения между узлами.

Элементы онтологий

... Читать дальше »

Вывод на знаниях

Четверг19:28

Семантика исчисления предикатов обеспечивает основу для формализации логического вывода. Возможность логически выводить новые правильные выражения из набора истинных утверждений очень важна. Логически выведенные утверждения корректны, и они совместимы со всеми предыдущими интерпретациями первоначального набора выражений. Обсудим вышесказанное неформально и затем введем необходимую формализацию.

В исчислении высказываний основным объектом является переменное высказывание (предикат), истинность или ложность которого зависит от значений входящих в него переменных. Так, истинность предиката "x был физиком" зависит от значения переменной x. Если x - П. Капица, то предикат истинен, если x - М. Лермонтов, то он ложен. На языке исчисления предикатов утверждение ... Читать дальше »

Формально-логические модели

Понедельник19:39


Традиционная булева алгебра и
исчисление высказываний  не всегда
подходят для выражения логических рассуждений, проводимых людьми, более удобен
для этого язык логики предикатов. Под исчислением
предикатов
понимается формальный язык для представления отношений в
некоторой предметной области. Основное преимущество исчисления
предикатов
- хорошо понятный мощный механизм математического вывода,
который может быть непосредственно запрограммирован.

Предикатом называют предложение,
принимающее только два значения: "истина" или "ложь". Для
обозначения предикатов применяются логические связки между высказываниями: ¬ - не, ... Читать дальше »

Фреймы

Воскресенье18:19

Фреймы предложены в 1975 году Марвином Минским. Фрейм (рамка в переводе с англ.) - это единица представления знаний, запомненная в прошлом, детали которой могут быть изменены согласно текущей ситуации.

Фрейм представляет собой структуру данных, с помощью которых можно, например, описать обстановку в комнате или место встречи для проведения совещания. М.Минский предлагал эту модель для описания пространственных сцен. Однако с помощью фреймов можно описать ситуацию, сценарий, роль, структуру и т.д.

Фрейм отражает основные свойства объекта или явления. Структура фрейма записывается в виде списка свойств, называемых во ... Читать дальше »

Семантические сети

Воскресенье16:34

Семантика в бытовом понимании означает смысл слова, художественного произведения, действия и т.д. Семантическая сеть  - это граф, дуги которого есть отношения между вершинами (значениями). Семантические сети появились как модель представления знаний при решении задач разбора и понимания смысла естественного языка.

Пример семантической сети для предложения типа "Поставщик осуществил поставку изделий по заказу клиента до 1 июня 2004 года в количестве 1000 штук" приведен на рисунке 1.


... Читать дальше »

Продукционные модели

Суббота11:37

Продукционная модель позволяет представить знания в виде предложений типа:

Если <условие> то  <
		
		... 
		
			Читать дальше »
		

1 2 »
Меню сайта
Наш опрос
Что вас привлекает в информатике?
Всего ответов: 15
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0