В СУ могут присутствовать элементы двух принципиально различных типов — динамические и логические. Для первых определяющим фактором является информация о характере изменения процессов в них во времени вторые фиксируют факт соблюдения оговоренных условий, не интересуясь моментом времени, когда этот факт стал истинным. В зависимости от того, какой фактор является главным для систем в целом, последние подразделяются на динамические и логические Теория исчисления высказываний, Теория конечных автоматов, Лингвистика, Теория многослойных сетевых структур (персептроны) и т.п. . Если для системы важны оба фактора, то она называется логико-динамической Теория логико-динамических систем . [c.245]
Наконец, правила П в классическом исчислении высказываний в той его форме, как она рассматривается в данном примере, имеют вид 1. Если a — семантически правильная совокупность (выводимая формула), то при замене в а любого базового элемента (везде, где он входит в а) любой формулой вновь получается выводимая формула 2. Если (а->р) и a — выводимые формулы, то Р также выводимая формула. [c.35]
Вопрос о существовании конструктивной процедуры я4, которая позволяла бы для любой формулы исчисления высказываний определять выводима она или нет, пока остается открытым. Но в рассуждениях, которые будут следовать после определения 1.6, мы дадим на этот вопрос положительный ответ. И тогда читателю станет ясно, почему в данном примере выбрана именно такая система аксиом. [c.35]
Пример 1.6. Для исчисления высказываний, рассмотренного в примере 1.5, можно в качестве модели интерпретации взять модель, в которой Z= Истина, Ложь , правила отображения задают произвольное отображение любых элементов из Т, кроме , , V и - в любой элемент Z, правила Н отсутствуют, а правила V определяются табл. 1.1. [c.36]
Наконец, модели в виде систем продукций охватывают широкий класс различных порождающих моделей, в который входят такие известные модели, как формальные грамматики, исчисления высказываний и предикатов, сетевые модели и многие другие. Во всех известных на сегодня моделях ситуационного управления для решения задачи пополнения использовались именно продукционные системы. [c.98]
Пример 5.2. В программе ЛОГИК-ТЕОРЕТИК, послужившей прообразом программы ОРЗ, введена система различий и система операторов их устранения для преобразования описаний, сделанных на языке формул исчисления высказываний. Всего введено восемь различий между этими формулами. [c.223]
Различие /V В проверяемом равенстве двух выражений исчисления высказываний со1=со2 (т. е. при установлении эквивалентности этих двух описаний) имеется различие между со, и со2 в том, что либо o>i, либо соа содержит пропозициональную переменную, которой нет в другом сравниваемом выражении. Такое различие есть, например, в описаниях а и ab. Необходимо выбрать преобразование, добавляющее эту переменную. [c.223]
Введенные нами различия между описаниями, конечно, могут комбинироваться между собой. Но важно, что приведенная выше система различий образует полную базовую систему. Любое различие в двух описаниях на языке исчисления высказываний выражается некоторой комбинацией этих базовых различий. [c.224]
Преобразования первых восьми операторных групп не меняют -истинности выражений исчисления высказываний. Последние две группы преобразований, служащие для введения и устранения пропозициональных переменных таковы, что из истинности выражения, стоящего слева от стрелки, следует истинность выражения, стоящего справа от нее, но не наоборот. [c.224]
Программа ЛОГИК-ТЕОРЕТИК, которая приведена нами в качестве примера системы планирования, ориентированной на локальное улучшение плана для достижения поставленной цели, нами уже упоминалась в предшествующих главах 1.15J. Идеи этой программы, развитые в программе GPS (OP3), имевшей много модификаций, привели к созданию уровня опережающего планирования [1.14]. Программа FDS, позволяющая автоматически порождать оценки различий в доказываемых утверждениях, описана в [5.1]. В этой программе имеются специальные универсальные средства, ориентированные на язык исчисления высказываний, Которые позволяют проводить синтаксический анализ двух сравниваемых выражений и формировать список различий между ними. [c.268]
Не прибегая к исчислению высказываний (т.е. рассуждениям вида ( А => В) <=> (В =>А)), докажите, что для любого бинарного отношения Т свойство [c.21]
Применительно к задаче диагностирования цифровых МВС для записи правил представляется удобным использовать исчисление высказываний. [c.127]
Метод решения задач, использующий аппарат исчисления высказываний, основан на представлении задачи в виде теоремы формула F логически следует из множества формул ФО (ФО —> Г). Для доказательства этой теоремы воспользуемся методом резолюции, программно реализованным в языке ПРОЛОГ [3]. [c.127]
Теперь уже можно ответить на вопрос, в чем единство и в чем различие калькуляционных объектов и калькуляционных единиц. В специальной литературе находим весьма скудные сведения по этому вопросу. И. А. Быкадоров видит общность их в том, что в основе определения себестоимости калькуляционного объекта и калькуляционной единицы находятся одни и те же затраты. Различие между ними в методах исчисления себестоимости и количестве изделий [25, с. 112, 113]. Дополняя высказывания Н. А. Быкадорова, отметим, что общность заключается и в том, что они относятся к одному и тому же виду продукции или работ и услуг, отражают единую потребительную стоимость. Различий между ними значительно больше и не только таких формальных, как разница в количестве изделий. [c.159]
Логическое исчисление специального вида (исчисление предикатов), о котором говорилось выше, реализовано в языке программирования Пролог. Обычно логика используется для выражения высказываний, отношений между высказываниями и правил вывода одних высказываний из других. Пролог - это первая попытка разработки языка, который позволял бы программисту описывать свои задачи средствами математической логики, а не с помощью традиционных для программирования конструкций, указывающих, что и когда должна делать вычислительная машина. Способы, используемые для представления объектов в Прологе (термы), соответствуют способам, имеющимся в языке исчисления предикатов. Чтобы делать высказывания об объектах, необходимо иметь возможность описывать отношения между объектами. Это делается с помощью предикатов. Формула (атомарное высказывание) состоит из предикатного символа и соответствующего ему упорядоченного множества термов, являющихся его аргументами. В Прологе структура может быть использована и в качестве целевого утверждения, и в качестве аргумента для другой структуры. [c.43]
Язык исчисления предикатов разработан для отражения большого количества связей типа "если..., то. ..", и в нем имеется строгое разделение между функциональными символами, используемыми для построения аргументов и высказываний (в отличие от Пролога). Однако логику, основанную на транзитивности, например, родо-видовых связей, такие языки могут осуществлять лишь косвенно. [c.44]
Начало современного этапа развития систем искусственного ин-. теллекта (ИИ) может быть отнесено к середине 50-х гг. Этому способствовала программа, разработанная А.Ньюэллом, предназначенная для доказательства теорем в исчислении высказываний и названная ЛОГИК-ТЕОРЕТИК . Некоторые авторы называют эту систему экспертной и связывают определение ее назначения с анализом ее возможностей, проведенных Клодом Шенноном и Марвином Минским. [c.544]
Эти правила позволяют для любой синтаксически правильной формулы исчисления высказываний приписать некоторое интерпретирующее значение. Нетрудно проверить, что всем аксиомам, перечисленным в примере 1.5, эти правила при любых интерпретациях входящих в них базовых элементов приписывают значение Истина . Семантические правила, приведенные в том же примере, не могут изменить значение формул, к которым они применяются. Таким образом, все формулы, которые выводятся из аксиом, также всегда имеют интерпретирующее значение Истина . Можно доказать, что аксиомы и правила вывода, приведенные нами, обладают свойством полноты в том смысле, что любая формула исчисления высказываний, которая имеет значение Истина , выводима из этого множества аксиом с помощью имеющихся семантических правил. А это означает, что исчисление высказываний, рассмотренное нами, является разрешимой формальной системой. Процедура л4 состоит в проверке того, что при любых интерпретациях базовых элементов проверяемой формулы она принимает значение Истина . Если это не так, то проверяемая формула не принад- [c.36]
Лабиринтная модель в психологии восходит еще к проведенным в начале этого века опытам по научению крыс движению в лабиринте американского психолога Смолла [1.9]. Использованию этой идеи в эвристическом программировании для ЭВМ посвящено весьма много работ. Укажем лишь на такие монографии, как [1.10—1.13], в которых идея поиска в лабиринте является центральной для задач принятия решений и решения других многочисленных задач. Система ОРЗ описывалась во многих работах. Сошлемся, например, на [1.14—1.16]. Отметим, что блестяще проявив себя при решении задачи установления эквивалентности двух формул в исчислении высказываний (программа ЛОГИК-ТЕОРЕТИК) ОРЗ оказался бессильным при попытке играть в шахматы. И это объясняется тем, что в случае исчисления высказываний имеется полный и исчерпывающий перечень различий и устраняющих их операторов, а в случае шахмат списка различий, который обеспечивал бы монотонное приближение позиции к выигрышной, нет и его, по-видимому, невозможно создать. О трудностях эвристического программирования (в частности о проблеме гомоморфизма описаний исходной и целевой позиций) впервые говорилось, по-видимому, в работе [1.17]. [c.259]
Зарегистрированный и идентифицированный по времени факт в любой системе должен быть исчислен в соответствии с принципом квантифицируемости, который требует количественного измерения и исчисления фактов хозяйственной жизни. Известно высказывание Г. Гегеля (1770—1831) о том, что качество это не познанное количество. Этим и отличается бухгалтерский учет от многих гуманитарных дисциплин, пользующихся качественными, а не количественными величинами. Квантификация предполагает ответы на следующие шесть вопросов, перечисленных в одной из поэм Р. Киплинга [c.37]
Мнения по данным вопросам разделились. Ведущий специалист-методолог учета В. Макарьева считает, что система налогового учета должна строиться на основе бухгалтерского учета . Аналогично полагает представитель МФ РФ А. Бакаев только совершенствование системы бухгалтерского учета и упорядочение процесса сбора и обработки учетной информации создадут базу для налоговой отчетности. Категорично высказались о налоговом учете главные бухгалтеры крупнейших предприятий. С их точки зрения, налоговый учет вообще погубит какой-либо учет на предприятиях. Высказывания представителей академических кругов также были не в пользу налогового учета. По их мнению, ведение параллельно налогового и бухгалтерского учета вызвано неопределенностью методик исчисления объекта налогообложения. Если мы гармонизируем объекты учета и налогообложения, — указал А. Хорин, — потребность введения налогового учета отпадет . Заместитель председателя ЦБ РФ А. Турбанов отметил необходимость навести порядок в бухгалтерском учете и научить бухгалтеров пользоваться положениями Закона РФ О бухгалтерском учете и свободно в них ориентироваться. Идея налогового учета, — подчеркнул он,. — недостаточно отработана, для того чтобы найти отражение в законодательном акте даже на стадии первого чтения . За исключение понятия налоговый учет из проекта Налогового кодекса высказался и В. Палий (президент АО Союзаудит ). [c.206]
Для достижения главной цели налогового реформирования — обеспечения максимально возможного равновесия интересов собственников и государства необходимо совершенствовать не только организационно-экономические принципы построения системы налогообложения, но и механизм управления налоговой системой, а также технику исчисления каждого отдельного налога. Эту важнейшую задачу проект Налогового кодекса не решает. Представленный для обсуждения в Государственной думе правительственный проект Налогового кодекса не способствует формированию в России четких и справедливых налоговых правоотношений — таково мнение большинства экспертов. Г. Явлинский в интервью радио Свобода 24 июня 1997 г. так охарактеризовал проект Налогового кодекса С ним будет то же, что и с бюджетом-97. Документ очень слабый, написан давно, собран из старых документов. Он противоречит всему российскому законодательству, но главное — он противоречит Гражданскому кодексу. Документ предполагает презумпцию вины налогоплательщика и безграничные права налоговых органов. Он предполагает очень сильное давление со стороны чиновников на малый и средний бизнес. Он не уменьшает налоговый пресс, усложняет налоговое законодательство и по своей механике вообще не может быть введен в короткие сроки. Особые нарекания вызывает первая часть кодекса в том виде, в каком она есть. Она, со всей определенностью, может быть названа конституцией полицейского государства. Слова эти были сказаны на заседании Думы В. Похмелкиным, известным юристом, депутатом Думы. К экономике кодекс имеет мало отношения, а вот к способу сведения счетов, способу изничтожения политических противников, организации в стране тотальной слежки — вот тут он имеет самое прямое отношение . Столь эмоциональное высказывание лидера движения Яблоко небезосновательно. Действительно, в проекте Налогового кодекса сведены нормативные положения, инструкции налоговой администрации. В нем содержатся положения, дублирующие в искаженном виде нормы Законов РФ О бухгалтерском учете , О недрах , О земле , Таможенного кодекса и других законодательных актов. Проект Налогового кодекса перенасыщен материалом, описывающим технику исчисления налогов, пошлин и сборов, более 30 статей отведено простому пересчислению ставок. Все это — действующие на сегодня установки по обеспечению максимального поступления в бюджет налогов, пошлин и сборов. [c.402]
В очерке III мы говорим подробно о статистическом содержании этого показателя, публикуемого в официальных статистических изданиях. Трактовка его, с пашей точки зрения, не удовлетворяет современной структуре и условиям функционирования социалистической экономики. ЦСУ СССР в своем понимании и, следовательно, исчислении народного дохода слишком догматически и ригористически интерпретирует соответствующие высказывания К. Маркса, относящиеся к тому же к капиталистическому хозяйству. Исходя из указания Маркса, что транспорт и торговля должны войтн в состав материального производства, ибо эти отрасли являются продолжением материального производства, завершением производственных процессов в сфере обращения материальной продукции, советская статистика разрывает еди- [c.13]
Теперь, когда увеличиваются темпы роста производительных сил и разделения общественного труда, расширяются кооперирование и (внутрихозяйственные связи предприятий, что приводит к появлению все большего числа взаимозависимых переменных, выявление (которых возможно только с использованием математических методов, подтверждается известное высказывание К. Маркса о том, что наука только тогда достигает совершенства, когда ей удается пользоваться математикой . Таким образом, применение математики в экономике важно как для решения практических задач, так и для ее тео- ретического развития и превращения в точную науку. Необходимая точность в решении экономических задач, и особенно нахождение оптимальных вариантов проектироваийя, изготовления монтажа и эксплуатации кислородных производств, возможна только с использованием линейной алгебры, дифференциального и интегрального исчислений, теории вероятностей, математической статистики, математического программирования, теории массового обслуживания, сетевого анализа и других математических методов, которые будут рассмотрены ниже. [c.177]