Статья 2465

Чтобы применить метод резолюции, нужно сначала представить доказываемое утверждение в рамках логического формализма, называемого исчислением предикатов. Затем утверждение отрицается и его отрицание разрешается совместно с набором аксиом - утверждений заведомо справедливых в данной конкретной области или рассматриваемой ситуации. Если комбинирование отрицания утверждения с аксиомами приводит к противоречию, то отрицание должно быть ложным и, следовательно, [...]

Читать дальше
Статья 2463

В результате стали возможны исследования новых аспектов природных явлений и возникло новое понимание задач, стоящих перед естественными науками.

Искусственный интеллект.
Ключ к решению задач с помощью искусственного интеллекта лежит в сокращении перебора вариантов при поиске решения.
Для этого программы должны реализовать те же принципы, которыми в процессе мышления пользуется человек.
Дуглас Б.
Ленат
Предположим, однажды летним вечером по пути [...]

Читать дальше
Статья 2459

Степень сложности сильно зависит от природы объектов, которые моделируются. Например, если бы единственным способом прогноза погоды была имитация движений каждой молекулы в атмосфере, соответствующие вычисления были бы невозможны. Однако факторы, определяющие погодные условия можно, по-видимому, изучить, рассматривая взаимодействия больших объемов воздушных масс таким образом, моделирование становится возможным.
Эффективность имитации вычислительно неприводимой системы зависит от вычислительной [...]

Читать дальше
Статья 1505

Для решения этих задач усилия разработчиков и программистов необходимо сосредоточить на следующих процессах, автоматизации библиографического поиска во всех его видах, автоматизации каталога, автоматизации межбиблиотечных и внутрибиблиотечных связей электронная почта, телеконференция, факсимильная связь, локальная сеть, внедрении информационных технологий, связанных с обработкой и передачей текстов, микрофишировании и машинном поиске, автоматизации обслуживания читателей.
На основе рассмотренных нами в предыдущих [...]

Читать дальше
Статья 1503

Необходимую информацию он может распечатать с помощью специального принтера, обслуживающего многих читателей. Доставка заказанных текстов производится в течение суток.
Электронизированная библиотека представляется в виде централизованного хранилища построенного на сочетании машинной памяти микроносителей и средств передачи информации.
Информация извлекается из системы памяти с помощью интерактивного метода поиска. В концепции так называемой электронной библиотеки есть несомненные достоинства, исключается [...]

Читать дальше
Статья 1499

Последнее, пожалуй, самое неприятное.
Существует еще ряд процессов, где давно следовало бы использовать средства автоматизации, заказ литературы, отбор документов для комплектования, выдача литературы по абонементу, хотя необходимость автоматизации библиотечных процессов не вызывает сомнения, эта проблема уже имеет свою историю.
Следует сразу заметить, что автоматизация деятельности библиотек - это не столько автоматизация существующих библиотечных процессов, сколько разработка [...]

Читать дальше
Статья 1495

Только острая необходимость заставляет сейчас специалистов идти в большую библиотеку работать с литературой. В интересах развития общества и научно-технического прогресса в частности, государство заинтересовано в доступности знаний, содержащихся в книгах, журналах, отчетах, диссертациях. Не претендуя на исчерпывающие своей полнотой предложения, можно представить себе три не исключающих друг друга пути совершенствования системы человек-библиотека,
перевод информации с [...]

Читать дальше
Статья 1493