Пропустить навигацию.
Главная

Задачи на равномерное движение

В этом разделе рассматривается пример введения понятия равномерного движения и его использования при описании онтологий задач.

Онтология "равномерное движение" представляется в следующем виде:

******************************************************************
Путь, скорость, время: real.

Путь= скорость*время.
Время= путь/скорость.
Скорость= путь/время.

Введем шаблон "@Тело движется равномерно"
с переменными: "Тело: new"
и переменной результата " x: команда " ;
Пояснения: [Вводится объект @Тело, движущийся равномерно]
Условие применения шаблона:
[]
Действие шаблона:
[x=пустая команда;
тело - объект понятия "равномерное движение". ]
Тип доступа шаблона:[внешний].

Введем шаблон "@Тело равномерно движется со скоростью @V"
с переменными: "Тело: new; V: real_выражение"
и переменной результата " x: команда " ;
Пояснения: [Вводится объект @Тело, равномерно движущийся \ \n со скоростью @V ]
Условие применения шаблона:
[]
Действие шаблона:
[x=пустая команда;
тело - объект понятия "равномерное движение";
тело's скорость =V. ]
Тип доступа шаблона:[внешний].

******************************************************************

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

Рассмотрим примеры использования этой онтологии при описании задач.

Текст задачи1 имеет вид:
******************************************************************
Пешеход равномерно движется со скоростью 5. Пешеход's
время =2.
Велосипедист равномерно движется со скоростью 6*пешеход's
скорость. Велосипедист's время = 3*пешеход's время.

/*Чему равно велосипедист's путь?*/.

******************************************************************
По тексту задачи система строит внутреннее представление онтологии задачи.
Заметим, что в тексте задачи используется шаблон языковой конструкции, введенный в онтологии "равномерное движение".
В ответ на представленный здесь вопрос система ответит:
"Вопрос: Чему равно велосипедист's путь?
Ответ: 180."