Какое высказывание является определением Понятия знаменатель

= Приведите определение Понятия знаменатель

Формулировка ответа на естественном языке

Понятие знаменатель - делитель в дроби.

Формулировка ответа в SCg-коде

 

Что является примером операции сложения дробей

= Приведите пример операции сложения дробей.

Формулировка ответа на естественном языке

Приведите пример операции сложения дробей.

Формулировка ответа в SCg-коде

 

Что является примером операции сокращения дробей

= Приведите пример операции сокращения дробей.

Формулировка ответа на естественном языке

Приведите пример операции сокращения дробей.

Формулировка ответа в SCg-коде

 

Что является примером операции умножения дробей

= Приведите пример операции умножения дробей.

Формулировка ответа на естественном языке

Приведите пример операции умножения дробей.

Формулировка ответа в SCg-коде

 

Исходный текст базы знаний интеллектуальной справочной системы по логическому языку, представленный в псевдоестественной форме в виде глоссария

 

 

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

 

 

Равенство - отношение взаимной заменимости (подстановочности) объектов, которые именно в силу их взаимной заменимости считают равными.

 

Исходный текст базы знаний интеллектуальной справочной системы по логическому языку, представленный в SCg-коде в виде глоссария

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заключение

 

В данной работе разработан фрагмент базы знаний по алгебре дробей. Все поставленные задачи выполнены.

В данном фрагменте выделено 30 тестовых вопросов, из них формально описанных ответов 10. Вопросы разделены на 6 классов и 9 подклассов.

Выделено 21 понятие и 3 утверждения. Все утверждения выделенные на данном этапе записаны в виде SCg конструкций.16 понятий из общего числа записаны на SCg. Среди 21 понятий 7 отношений. В псевдо естественной форме записаны 20 понятий.

В дальнейшем выделены следующие направления развития:

· наполнение базы знаний новой информацией, тем самым расширяя её, т.е. увеличивая её полноту;

· разработать ответы на вопросы связанные с доказательством;

· написание машины обработки знаний;

· дальнейшая интеграция с другими участниками по числовым системам;

· разработка пользовательского интерфейса, доступного обычному пользователю.