Перечислим теперь те операторы преобразования, служащие для устранения различий, которые использованы в программе ЛОГИК-ТЕОРЕТИК. Всего имеется десять групп таких операторов. Операторы, входящие в первые восемь групп, симметричны, их можно применять в любом направлении. Операторы последних двух групп несимметричны и их использование возможно только в направлении, показанном стрелкой. В описаниях приняты стандартные обозначения [c.224]
Проблемой для программы ЛОГИК-ТЕОРЕТИК и, вообще, для всех методов планирования, основанных на идее локальных улучшений, является определение неэквивалентности сравниваемых описаний. В таком случае на некотором шаге преобразований необходимо прекратить их, как неперспективные. Это может и не на- [c.225]
В программе ЛОГИК-ТЕОРЕТИК таблица различий и операторов их устранения задавалась заранее. Однако существуют программы, которые формируют различия в описании, полученном на данном шаге, и в целевом описании г). [c.226]
Обычно технология планирования методом построения доказательства имеет следующий вид. Сначала делается попытка найти вывод целевого описания из исходного. Если такой вывод найден, то план построен. Если это сделать не удается, что определяется на основе некоторого принципа остановки, подобного тому, который мы указали для программы ЛОГИК-ТЕОРЕТИК, то к исходному описанию применяется некоторое эвристическое правило вывода, и процесс доказательства повторяется уже при новом исходном описании. Методы такого типа сейчас являются основными при построении планировщиков в самых различных областях. [c.226]
Программа ЛОГИК-ТЕОРЕТИК, которая приведена нами в качестве примера системы планирования, ориентированной на локальное улучшение плана для достижения поставленной цели, нами уже упоминалась в предшествующих главах 1.15J. Идеи этой программы, развитые в программе GPS (OP3), имевшей много модификаций, привели к созданию уровня опережающего планирования [1.14]. Программа FDS, позволяющая автоматически порождать оценки различий в доказываемых утверждениях, описана в [5.1]. В этой программе имеются специальные универсальные средства, ориентированные на язык исчисления высказываний, Которые позволяют проводить синтаксический анализ двух сравниваемых выражений и формировать список различий между ними. [c.268]
Лицо, принимающее решение (ЛПР) 9 ЛОГИК-ТЕОРЕТИК 223, 368 Логика временная 138 [c.281]
При этом логика Маршалла, как представляется, была противоположна логике предшествующих западных теоретиков. Последние в своих конструкциях стремились с помощью имевшихся аналитических средств вскрыть ту цепь взаимозависимостей, через которую стоимость, выступающая в виде ли предельной полезности, жертв или результативного вклада факторов производства, определяет цены. [c.25]
Я мог бы рассказывать вам много жутких историй о трейдерах, проигравших огромные суммы денег из-за того, что они не верили в необходимость ограничивать убытки и позволять прибылям расти при малейшей возможности. ТЪ, кто потерял много денег, отлично знают эту простую истину, но, когда им самим выпадал шанс получить прибыль, они его упускали. Оказавшись в убытке, они чаще всего были уверены, что рынок скоро развернется в их сторону. И лучше верить именно этому, если нет какой-либо иной возможности. Сегодня мы имеем "нечеткую логику" и "искусственный интеллект", теории хаоса, случайных структур и, Бог знает, сколько еще других инструментов, которые, как мы полагаем, могут прогнозировать поведение рынков. И если какой-либо новый метод показывает хорошие результаты, его автор заявляет "Смотрите, я же говорил, что это будет работать". Но, если метод эффективен, это означает, что он хорошо блокирует убытки и дает возможность прибыли вырасти. Я считаю, теоретики рынка сами себя убеждают, что их образование и навыки стоят большего, чем простое эмпирическое правило. Хотя, возможно, в своих сложных логических построениях они тоже правы. Тем не менее общее правило успешной торговли очень простое ограничивать потери и обеспечивать рост прибыли. Вот самая надежная логика. [c.183]
Если вы еще не готовы к работе над новой информацией, продолжайте применять упрощенный метод теоретико-волнового анализа, описанный в этой и предыдущих главах, и попробуйте параллельно составить собственный вариант прогноза на основе вышеперечисленных правил логики. Исследуйте различные варианты, не позволяйте слабой Коррекции предшествовать сильной волне или слабой волне следовать за сильной Коррекцией, - это создает противоречие в последействиях волн и практически гарантирует ошибочность текущей интерпретации. Практика, внимание и прилежание помогут вам добиться успеха в применении описанного метода. [c.169]
Теоретик интерпретирует и обобщает наблюдения в сложные, но логично упорядоченные теории. Он обдумывает проблему по вертикали, шаг за шагом, руководствуясь логикой. [c.293]
Приведенные выше формальные основы теории вероятностей являются в настоящее время общепринятыми. Однако неформальные интерпретации основных теоретико-вероятностных понятий до сих пор вызывают оживленные дискуссии. Обсуждаются три концепции вероятности объективная вероятность, субъективная вероятность и вероятностная логика. Об основных понятиях этих интерпретаций вероятности см., например, (178, 188, 237, 262, 281 — 283]. Новые подходы к случайности и, соответственно, новые интерпретации теоретико-вероятностных понятий вытекают из развиваемой А. Н. Колмогоровым и его учениками теории сложности. [c.20]
Доходность капитала или курс акций Теоретики утверждают, что цена акций — истинное мерило финансовой деятельности. Более того, они убеждены, что менеджеры должны стремиться к максимизации цены акций. Их логика убедительна цена акций концентрировано выражает интересы акционеров-собственников. По их мнению, все, что нужно делать — это работать на повышение курса акций. [c.62]
Общая теория систем предназначалась для исследования и изучения систем любой сложности и назначения, быть фундаментом системотехники и ряда других смежных с ней научных направлений. В ней используется многовидовая система абстрагирования, включая логико-математический, символический, теоретико-множественный, топологический, теоретико-информационный, эвристический, абстрактно-алгебраический, динамический методы. Использование того или иного вида абстрагирования позволяет получать ответы на вопросы определенной группы. При необходимости следует применять другие виды абстрагирования. Использование теории сложных систем для решения задач исследования СУ доказало ее полезность. [c.109]
Рассмотренные ранее предмет и методы экономической теории позволяют охарактеризовать научную парадигму, т. е. основополагающие принципы и методы исследования собственности. Во-первых, объективная сложность проблемы собственности требует творческого применения теоретико-методологического потенциала системного метода. Только в этом случае можно выявить внутренние противоречия собственности, разрешение которых определяет логику и направленность ее развития. [c.83]
Начало современного этапа развития систем искусственного ин-. теллекта (ИИ) может быть отнесено к середине 50-х гг. Этому способствовала программа, разработанная А.Ньюэллом, предназначенная для доказательства теорем в исчислении высказываний и названная ЛОГИК-ТЕОРЕТИК . Некоторые авторы называют эту систему экспертной и связывают определение ее назначения с анализом ее возможностей, проведенных Клодом Шенноном и Марвином Минским. [c.544]
Лабиринтная модель в психологии восходит еще к проведенным в начале этого века опытам по научению крыс движению в лабиринте американского психолога Смолла [1.9]. Использованию этой идеи в эвристическом программировании для ЭВМ посвящено весьма много работ. Укажем лишь на такие монографии, как [1.10—1.13], в которых идея поиска в лабиринте является центральной для задач принятия решений и решения других многочисленных задач. Система ОРЗ описывалась во многих работах. Сошлемся, например, на [1.14—1.16]. Отметим, что блестяще проявив себя при решении задачи установления эквивалентности двух формул в исчислении высказываний (программа ЛОГИК-ТЕОРЕТИК) ОРЗ оказался бессильным при попытке играть в шахматы. И это объясняется тем, что в случае исчисления высказываний имеется полный и исчерпывающий перечень различий и устраняющих их операторов, а в случае шахмат списка различий, который обеспечивал бы монотонное приближение позиции к выигрышной, нет и его, по-видимому, невозможно создать. О трудностях эвристического программирования (в частности о проблеме гомоморфизма описаний исходной и целевой позиций) впервые говорилось, по-видимому, в работе [1.17]. [c.259]
Ньюэлл А., Шоу Дж., Саймон Г, Эмпирические исследования машины Логик—Теоретик пример изучения эвристики.— В кн. Вычислительные машины и мышление. М. Мир, 1967, с. 113—144. [c.270]
Совпадающей с ПР является четкая ориентация на реальный речевой контекст, а не на теоретические его обобщения, свойственные логике. Поэтому авторы вводят такие характеристики своей теории. Теоретики аргументации обращают внимание на разговорную речь27. Под экстерна-лизацией аргументации они понимают принципиальную ориентацию на вербальную коммуникацию. Под функцио-нализацией аргументации понимается аргументация как целенаправленная деятельность, процесс, а не продукт. Под социализацией аргументации понимается ее коммуникативный и интерактивный характер, когда говорящий и слушающий поочередно меняются местами. Четвертой характеристикой данного подхода становится диалектификация. Можно говорить о про-аргументации или о контр-аргументации. "В любом случае один из пользующихся языком обращается к другому пользователю, который предположительно занимает позиции рационального судьи и который реагирует на аргументации критически, в результате чего происходит критическая дискуссия"28. Если логика сориентирована на аргументацию как на продукт, основным элементом становится обоснованность аргументов, риторика смотрит на эффективность деятельности, рассматривая аргументацию как процесс. [c.541]
Для экономической науки это был также урок, значение которого трудно переоценить. Прежде всего стало ясным то, о чем многие догадывались и раньше, а именно зависимость денежного хозяйства от реальной экономики. Тем самым был дан толчок к переосмыслению роли денег и торговли, общему повороту экономической мысли в сторону проблем производства и распределения богатства. Таким был негативный урок Ло. Был, однако, у этого опыта и другой, позитивный урок, долгое время остававшийся затененным событиями 1720 г. Успешным был первый этап эксперимента, обеспечивший реальное оживление хозяйственной жизни и показавший регулирующие возможности бумажно-денежных и финансовых технологий пионерный характер имел опыт организации компании с массовым участием мелких акционеров. Но главный аргумент в пользу Ло обнаружился много позже, в XX в., когда само денежное хозяйство трансформировалось в систему бумажно-денежного обращения, во многом воспроизводящую логику его предложений. Именно этот факт заставил многих историков экономической мысли XX в. признатьДжонаЛо крупным экономистом-теоретиком, идеи которого намного опередили свою эпоху. [c.40]
Логико-информационные схемы Логические модели Моделирование Оргасхемы Оргачертежи Статистические модели Теоретико-множественные модели Топологии процессов Физические модели [c.277]
Теоретики раннего капитализма (XVIII в.) А. Смит, Д. Рикардо, Дж.С. Мишель, Ж.-Б. Сэй и др. исключали возможность кризисов этой системы, считая ее самодостаточной в самонастройке и поступательном развитии. Однако по мере насыщения мирового хозяйства автономными рыночно ориентированными хозяйственными организациями, опирающимися на свободные конкурентно-рыночные отношения, обозначились явления разбалансировки и стагнации, регрессивные этапы развития макроэкономических систем. Это в определенной степени послужило основой для концепции К. Маркса об исторической тенденции капиталистического накопления в период домонополистического капитализма (XIX в.). В своем выдающемся по фундаментальности и научной логике философ-ско-экономическом труде Капитал (1867) К. Маркс обосновал вывод о негативной исторической перспективе капиталистического способа производства1. [c.92]
Другим методологическим вопросом, в котором выявилось сближение М, Вебера с либеральной традицией, явилось его отношение к абстрактному методу. В противоположность теоретикам новой исторической школы, начисто отвергавшим научную ценность познания взаимо-сцязей абстрактных понятий, Вебер важнейшим своим методологическим инструментом сделал категорию идеального типа , под которым он понимал мысленно конструируемую модель предмета или процесса, отражающую логику его формирования я развития и служащую для сопоставления с реальностью. Идеально-типическая конструкция отвечает на вопрос каким бы был процесс и обстоятельства его протекания, если бы они полностью отвечали своей логически непротиворечивой схеме Сравнивая идеальный тип явления с реальностью, можно, согласно Веберу, выяснить степень отклонения действительного от должного и причины, обусловливающие эти отклонения в реальной жизни. [c.79]
Механизм банкротства предприятий рассматривался китайскими эко-мистами как важнейшая составная часть концепции планового товар-го хозяйства. Характеризуя социалистическую экономику как товарную эномику, китайские экономисты доказывали, что сама логика развития ирного производства ведет к возможности банкротств. Признавая воз-жность банкротства предприятий, китайские теоретики активно обсуж-ш вопрос, какое предприятие считать банкротом. При этом подчерки-пась необходимость дифференцированного подхода в отношении (кротства государственных, коллективных и индивидуальных предпри-1й, выяснения рациональных гран и ц баи кротства. [c.679]
Ирония заключается в том, что как излишняя пассивность, так и чрезмерная активность корпоративного руководства могут нанести компании непоправимый ущерб. И управленцы-практики, и теоретики менеджмента много говорят о децентрализованной структуре, центр тяжести в которой смещен на уровень отдельных организационных единиц, обладающих огромной самостоятельностью. Зачем представителям корпоративного руководства ограничивать свободу управляющих, занимающихся конкуренцией на уровне рынка сбыта, в принятии тех решений, которые эти управляющие считают правильными С этой логикой не поспорить, но все дело в том, что отсутствие контроля за руководителями организационных единиц автоматически означает и отсутствие единой организации. Первое лицо Motorola не вмешивалось в действия подразделения, отвечавшего за выпуск сотовых телефонов, соответственно, это подразделение продолжало игнорировать растущий цифровой рынок. [c.98]