SCI Библиотека

Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации.

Для специалистов в области искусственного интеллекта, систем управления и принятия решений.

Предлагаемая вниманию читателя книга А. Зоммерфельда посвящена изложению основ термодинамики и статистической физики. Она является пятым, хронологически последним, томом серии «Лекции по теоретической физике» и вышла уже после смерти автора. Зоммерфельд не успел закончить подготовку книги к печати, и это было выполнено Боппом и Мейкснером.

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

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

Рассматривается прикладной потенциал научного направления «мягкие вычисления». Описаны интеллектуальные системы моделирования. Показаны возможности мягких вычислений в современных информационных технологиях.

Книга будет полезна для специалистов по интеллектуальным информационным технологиям, а также в преподавании дисциплины «Интеллектуальные информационные системы» для специальности «Прикладная информатика (в экономике)».

В книге систематически рассматривается обширный круг вопросов из различных областей физики, физической химии, астрофизики, с которыми имеет дело современная газо- и гидродинамика. В ней излагаются основы газовой динамики и теория ударных волн, теория переноса излучения.

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

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

Книrа посвящена современным подходам к математическому и компьютерному моделированию нечеткости. Рассмотрены операции нечеткой лоrики и их обобщения. Широко представлен контекст современной теории нечетких систем: синерrетический искусственный интеллект, нечеткие нейронные и нечеткие эволюционные rибриды, возможностное проrраммирование.

Наряду с теоретическими вопросами в книrе описаны приложения теории нечетких rибридных систем к задачам портфельноrо, инвестиционноrо и рисковoro анализа, а также к задачам проектирования телекоммуникационных сетей.

Книrа будет полезна исследователям, аспирантам, всем интересующимся проблемами нетрадиционных лоrик и искусственноrо интеллекта. Студенты, изучающие интеллектуальные информационные системы, смогут освоить новейшие интеллектуальные технолоrии.

Поскольку курс предназначен для слушателей высших учебных заведений не физического профиля и не для физических факультетов университетов, то большинство выводов и доказательств проводится не в самом общем виде.

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

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

Так, после передачи явления электромагнитной индукции как визуального изменения системы с контуром магнитного поля, создаваемого движением поля, или изменением силы тока, вводится закономерность, приводящая лишь на одном примере контура с движущимся ребром.

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

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

Книга представляет большой интерес для специалистов различного профиля, работающих над проблемой современной кибернетики и ее практических приложений.

В книге рассматриваются свойства операций конъюнкции, дизъюнкции и отрицания нечеткой логики и определяемых ими операций пересечения, объединения и дополнения нечетких множеств.

В первой главе рассматриваются классические операции нечеткой логики, введенные Заде, и исследуются свойства алгебры Клини. Во второй главе изучаются инволютивные и неинволютивные операции отрицания и методы их генерации. В третьей главе даются основные сведения о t-нормах и t-конормах, обсуждаются методы генерации параметрических классов неассоциативных операций конъюнкции и дизъюнкции и примеры применения этих операций в задачах нечеткого моделирования.

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

Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики.

Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, пролог и логическое программирование.

Книга построена так, что для понимания материала от читателя требуется только знание основ информатики.

Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.