http://Wiki.ru Mon, 20 Jul 2026 06:12:21 +0300 60 http://Wiki.ru/it/detail.php?ID=12873 <p align="justify"><font size="3" face="Times New Roman" color="#000000">Греческий философ Аристотель был одним из первых, кто попытался определить законы &quot;правильного мышления&quot;, т.е. процессы формирования неопровержимых рассуждений. Его силлогизмы стали образцом для создания процедур доказательства, которые всегда позволяют прийти к правильным заключениям, если даны правильные предпосылки, например &quot;Сократ &mdash; человек; все люди смертны; следовательно, Сократ смертен&quot;. В основе этих исследований лежало предположение, что такие законы мышления управляют работой ума; на их основе развилось научное направление, получившее название логика.</font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000">В XIX столетии ученые, работавшие в области логики, создали точную систему логических обозначений для утверждений о предметах любого рода, которые встречаются в мире, и об отношениях между ними. (Сравните ее с обычной системой арифметических обозначений, которая предназначена в основном для формирования утверждений о равенстве и неравенстве чисел.) К 1965 году были уже разработаны программы, которые могли в принципе решить любую разрешимую проблему, описанную в системе логических обозначений. Исследователи в области искусственного интеллекта, придерживающиеся так называемых традиций логицизма, надеются, что им удастся создать интеллектуальные системы на основе подобных программ.</font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000">Но при осуществлении указанного подхода возникают два серьезных препятствия. Во-первых, довольно сложно взять любые неформальные знания и выразить их в формальных терминах, требуемых для системы логических обозначений, особенно если эти знания не являются полностью достоверными. Во-вторых, возможность сравнительно легко решить проблему &quot;в принципе&quot; отнюдь не означает, что это действительно удастся сделать на практике. Даже такие задачи, в основе которых лежит несколько десятков фактов, могут исчерпать вычислительные ресурсы любого компьютера, если не используются определенные методы управления тем, какие этапы проведения рассуждений должны быть опробованы в первую очередь. Хотя с обоими этими препятствиями приходится сталкиваться при любой попытке создания вычислительных систем для автоматизации процесса проведения рассуждений, они были впервые обнаружены в рамках традиций логицизма.</font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000"> <br /> </font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000"> <br /> </font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000"> <br /> </font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000"> <br /> </font></p> <p align="justify"><font size="3" face="Times New Roman" color="#000000">Источник:&nbsp;&nbsp; www.rriai.org.ru <br /> </font></p> Искусственный интеллект (ИИ)/Общее определение искусственного интеллекта/ Mon, 20 Jul 2026 06:12:21 +0300