Cтраница 4
Наряду с термином технико-экономический расчет встречается термин оптимизация. Под оптимизацией понимают нахождение наилучшего решения. Говоря об оптимизации, необходимо указать ее критерий и множество аргументов. В зависимости от того, на множестве каких аргументов производится оптимизация приведенной стоимости, задача о нахождении диаметров может формулироваться по-разному. Если в качестве аргументов принять узловые напоры, то формулировка получается весьма краткой, а ЭВМ-программа - простой. [46]
Абстрактная аргументационная система, которую разработали Дан г, Ковальский, Бондаренко и Тони, определена как в декларативной, так и в процедурной формах. В данной системе авторы полностью абстрагируются от внутренней структуры аргументов и природы множества аргументов. [47]
Экономия памяти в операторной схеме прим Мы начинаем с уточнения объектов задачи. Для того чтобы задать множество операторов, нам достаточно указать цел п - число операторов. Множества аргументов и результатов в сумме образуют множество полюсов. Поскольку нам приходится работать, как вообще с полюсами, так и, в частности, с аргументами и результатами, нам будет удобнее рассматривать множество полюсов как отрезок натурального ряда от 1 до р q, где цел р - число аргументов, а цел q - число результатов. [48]
Аргументационные системы связаны не с истинностью высказываний, а с подтверждением принятия высказывания как истинного. Пусть на множестве аргументов определено отношение поражения, тогда может быть дано определение статуса аргумента. [49]
АргументационнаясистемаВресвейка опирается на аргументационную систему Лина и Шоэма, дополняя ее определениями конфликта аргументов и статуса конфликтующих аргументов. Логический язык не определяется явно, но предполагается, что он содержит символ 1, обозначающий противоречие, а также множество монотонных и немонотонных правил вывода. Аргументы представляются деревьями, и на множестве аргументов вводится отношение упорядочения по силе. Выделяется два типа конфликтов: подрыв и опровержение, причем конфликтовать аргумент может не только с единичным аргументом, но и с множеством аргументов. При определении семантики используются аргументационные последовательности, которые формируются из структур аргументов. С помощью таких последовательностей определяются частичные вычисления. [50]
Рассмотренные шесть основных свойств алгоритмов специального математического обеспечения определяют содержание требования, которое авторы определили как требование реализуемости. Эти свойства должны входить в состав необходимых условий успешного внедрения алгоритма в средства автоматизации управления. Они естественно, не исчерпывают всех необходимых свойств. Эти свойства характеризуют в основном способность алгоритма правильно отражать содержание автоматизируемого процесса с учетом необходимого состава выходных параметров алгоритма и неопределенности состава значений множества аргументов. Это требование к алгоритму дополняет введенные выше общие требования к системе специального математического обеспечения. Следующее требование к алгоритму специального математического обеспечения заключается в создании условий ведения эффективного диалога между человеком и средствами автоматизации. [51]