Cтраница 3
ТОВАР ЭКСПОРТНЫЙ ( export goods) - товар, который создан после анализа требований соответствующего сегмента рынка той страны ( группы стран), куда предприятия намерены осуществлять поставки. При разработке Т.э. следует иметь в виду возможные изменения этих требований, предусматривать должное правовое, сервисное, рекламное обеспечение. Только такой товар может гарантировать устойчивое расширение экспорта и его экономическую эффективность. [31]
Для того, чтобы преодолеть перечисленные недостатки, Пшиму-синский ввел общее понятие автоэпистемических логик замкнутых убеждений, и представил автоэпистемические логики очерчивания как важный частный случай. Понятие автоэпистемической логики замкнутых убеждений естественным образом возникает как обобщение автоэпистемической логики Мура. А может быть заменена на Т CWA - А, и поэтому устойчивые расширения могут рассматриваться как частный случай расширений, основанных на общих понятиях позитивной и негативной интроспекции. [32]
Она служит основой автоэпистемической интерпретации У ( Ж, У) теории Т, подтверждающей А. Так как У не соответствует оценке какого бы то ни было мира этой структуры, то Т не может быть устойчивым расширением А. [33]
Абстрактная аргументационная структура Лина и Ш о э м а. Лин и Шоэм разработали абстрактную аргументационную структуру и ряд методов для того, чтобы сформулировать некоторые системы вывода по умолчанию в рамках аргументационной теории. В этой работе логический язык явно не определяется; используются монотонные и немонотонные правила вывода для построения аргументов, которые представляют собой деревья с пометками на дугах. Понятия конфликтующих аргументов и их сравнение не определяются. Вместо этого вводится понятие структуры аргументов, которая содержит множество посылок аргументов, все подаргументы для каждого аргумента, и множество заключений аргументов в структуре дедуктивно замкнуто и непротиворечиво. Как оказалось, структуры аргументов с дополнительными свойствами полноты очень похожи на семантику устойчивых расширений для аргументационных систем. [34]