Cтраница 2
Итак, было решено ( беспрецедентная ситуация в истории современной математики) отказаться от понятия особое множество. Разумеется, интуиция по-прежнему сохраняет свою главенствующую роль на эвристической стадии исследования, но доказательства должны опираться на соответствующую систему аксиом и проводиться методами математической логики. [16]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [17]
Свое наиболее полное выражение искусственный интеллект находит в экспертных системах, которые основаны на использовании и переработке знаний. Первые системы искусственного интеллекта разрабатывались для решения таких задач, как автоматическое доказательство теорем, извлечение смысла из текстов на естественном языке, машинный перевод с одного языка на другой. Решение этих задач связано с нетривиальными логическими умозаключениями, а поиск результата, как правило, сводится к перебору и анализу огромного количества возможных вариантов. Человек же в таких ситуациях проявляет способность отбрасывать малоперспективные направления поиска, сокращая тем самым область перебора. В экспертных системах делается попытка моделировать именно эту способность человеческого мышления. Он используется наряду с методами математической логики. [18]