Логическая машина
Cтраница 2
Это тем более важно, что сейчас все чаще начинают поговаривать о создании специализированных логических машин. [16]
Даже математический мозг человека, как я старался убедить вас, далеко не сводится к логической машине. [17]
 |
Нечеткие отношения. [18] |
Представляется, что всякая экспертная система имеет по меньшей мере две компоненты - базу знаний и логическую машину. Во многих системах, созданных с использованием языков искусственного интеллекта, например с применением языка ЛИСП, это отличие имеется главным образом на концептуальном уровне. Все написано в кодах языка-источника, и для нетренированного глаза нет заметного отличия между знанием и управлением. [19]
В условиях современной научно-технической революции постепенно осуществляется переход от отдельной машины к автоматической системе машин, представляющей собой совокупность неразрывно связанных энергетических, транспортных, технологических, контрольно-управляющих и логических машин. [20]
ЭВМ называли электронными счетными машинами ( что сохранилось в названиях ЭВМ серии БЭСМ), хотя, строго говоря, их следовало назвать логическими машинами, так как автоматизация вычислений основана на логических операциях. [21]
В технической кибернетике формулируются и развиваются новые разделы - теория конечных автоматов, предметом которой наряду со сложными системами управления большим числом объектов становятся и сами вычислительные и логические машины; теория обучаемых и самообучаемых автоматов; теория распознавания сложных ситуаций ( образов) и основывающаяся на ней техническая диагностика. Суще-ственно продвигается наука, изучающая процессы передачи и обработки информации для целей управления. [22]
Через несколько месяцев после того, как была с блеском разрешена загадка банковского сейфа в Монте-Карло, Крейг и Мак-Каллох наконец-то навестили Фергюссона-их очень заинтересовала его логическая машина. Разговор скоро зашел о сущности доказуемости. [23]
Та вычислительная машина, которая должна была бы в двухмашинном комплексе моделировать работу правого ( недоминантного) полушария головного мозга, скорее всего должна была бы оперировать с такими объектами, природа которых принципиально отлична от цепочек символов, с которыми имеют дело логическое и грамматическое ( речевое-доминантное) левое полушарие и обычные вычислительные и логические машины, моделирующие его работу. [24]
В этой главе Веня вводит диаграммы, которые в дальнейшем были названы его именем ( см., например, [23, 48]); диаграммы Венн использует ( 1) для представления сложных предложений символического и разговорного языков ( в главе разбирается только случай универсальных предложений, пример частных предложений приведен в главе 14), ( 2) для вывода следствий из данной информации и ( 3) для построения логических машин. [25]
Выделенный класс логических функций, обладающих почленной итеративной разделительной декомпозицией, позволяет организовать эффективное решение этих функций в УЛМ. Логическая машина должна располагать логическими операциями, обеспечивающими представление ф.а.л. этого класса в операторной форме. В качестве этих операций целесообразно использовать операцию инверсии одной переменной и логические операции над двумя переменными V Л Ф учитывая привычность представления ф.а.л. с помощью этих переключательных функций. Тогда решение любой ф.а.л. данного класса от п аргументов обеспечивается последовательным исполнением п - 1 операций. При этом исключается запись промежуточных результатов в ОЗУ и извлечение их обратно, что также способствует сокращению требуемых объемов памяти команд. [26]
Логические задачи требуют от ЭЦВМ возможности анализа сложных логических ситуаций. По своей структуре логические машины обычно являются специализированными. [27]
Автоматические линии и автоматические цеха появляются не только в машиностроительной промышленности, но и в других отраслях народного хозяйства, например имеется опыт создания автоматически действующего доменного цеха, где составление шихты, загрузка и ход домны осуществляются без вмешательства человека. Весь процесс ведет электронная логическая машина: она думает и принимает решения за человека. [28]
Исследование процессов принятия решений у человека составляет основу-разработки эвристических программ различной сложности. Многообещающим является построение специальных логических машин, моделирующих различные процессы мыслительной деятельности человека, разработка научно обоснованных принципов распределения задач в системе человек-машина. Большой научный интерес представляют первые опыты разработки программ для доказательства теорем. [29]
Другой вопрос, представляющий теоретический интерес, состоит в следующем. Можно ли построить логическую машину, которая могла бы спроектировать улучшенный вариант самой себя, или, быть может, построить некую машину, общая цель которой была бы сложнее, чем ее собственная. Представляется, что в подобной машине нет логического противоречия, хотя, прежде чем с уверенностью заниматься подобным проектом, необходимы большие достижения в общей теории автоматов. [30]
Страницы: 1 2 3 4