В настоящее время на экраны компьютерных мониторов учетная информация, как правило, выводится в виде таблиц, хотя храниться может независимо от какой бы то ни было формы представления. В теории информационных систем понятие таблицы часто воспринимается как более узкое по сравнению с понятием БД несколько таблиц могут составлять одну БД. Для нас важен другой фактор — таблица является понятием иного смыслового ряда, нежели БД БД есть способ хранения информации, а таблица — это способ ее представления. [c.146]
Среди реализаций логических схем представления знаний различают системы дедуктивного типа (имеют фиксированную систему правил вывода) и индуктивного типа (правила вывода порождаются системой на основе конечного числа обучающих примеров). [c.250]
Продолжительность выполнения элемента операции, как правило, выводится после окончания хронометрирования в графе Продолжительность производства , обозначенной в хронокарте буквой П . [c.195]
Традиционно построение правил вывода и баз знаний считается прерогативой экспертных систем - направления искусственного интеллекта, которое претендовало в начале семидесятых годов заменить собою искусственные нейронные сети в задачах обработки информации. Экспертные системы были ориентированы именно на обработку данных с помощью некоторых правил вывода, которые предполагалось извлекать у экспертов в той или иной области знаний. Экспертные системы были призваны реализовывать цепочки рассуждений, имитирующих анализ ситуации экспертом-человеком. По сути в 70-е годы сам термин "искусственный интеллект" был синонимом разработки экспертных систем, или инженерии знаний. [c.167]
Это направление, однако, столкнулось с рядом принципиальных трудностей. В частности, инженеры знаний должны были извлекать их у очень квалифицированных экспертов, которые, вообще говоря, не стремились поделиться информацией. Знания - большая ценность, и передавать их, чтобы помочь создать себе легко тиражируемую замену и. в конечном счете, обесценить себя как специалист стремился далеко не каждый. Но даже и при наличии соответствующего желания, эксперт не всегда мог внятно сформулировать те правила, которыми он пользуется при подготовке экспертного заключения. Очень многое в его работе связано с интуитивными качественными оценками, распознаванием ситуации в целом, то есть с не формализуемыми процедурами (мы знаем, что это как раз та ситуация, в которой особенно отчетливо проявляются преимущества нейросетевого подхода). Но даже если все трудности оказывались преодоленными достоинства построенной экспертной системы оказывались не абсолютными поскольку именно явная формализация правил вывода, а не компьютерная система сама по себе представляла основную ценность. В этом смысле весьма показателен [c.167]
Нейронные сети выглядят предпочтительнее экспертных систем, позволяя одновременно анализировать множество в общем случае неточных и неполных параметров и не требуя при этом явной формализации правил вывода. Однако, объяснение тех или иных рекомендаций, полученных с помощью нейросетевого анализа, является требованием, которое обычно предъявляют специалисты, желающие использовать нейросетевые технологии. На первый взгляд здесь-то и находится их слабое место. Действительно, в такой области обработки информации, как извлечение знаний, нейронные сети стали применяться только относительно недавно. Это еще одна сфера, в которой доселе господствовал только традиционный искусственный интеллект. Рассмотрим ее более подробно. [c.168]
Вывод отображение сетью правила вывода [c.206]
Сложность анализа таких явлений, как человек, общество, экономика и т. п., приводит к тому, что существует множество различных теории, которые пытаются их объяснить. Часто эти теории значительно расходятся как в исходных постулатах, так и в полученных выводах. Разнообразие теорий обусловлено тем, что при исследовании данных явлений применяют методы и логику, заимствованные у естественных наук. Последние изучают объективно существующие явления, которые не содержат в себе возможности рефлексивной деятельности и принятия произвольных решений. Такая детерминированность природных процессов позволяет в полной мере использовать аксиоматический метод и классическую логику. В этой логике самым главным ограничительным моментом выступает постулат о том, что любое утверждение либо истинно, либо ложно. Сущность таких явлений, как человек, общество и экономика - совершенно отлична от черно-белого подхода классической логики. Поэтому любая теория, исследующая эти явления в рамках классического подхода, заранее обречена на неполноту, противоречивость и ошибочность. Подчеркнем, что мы не отрицаем такие исследования, ибо они дают множество полезных частных правил, выводов и рекомендаций, которые помогают нам в практической деятельности. Необходимо только осознавать внутренний изъян подобных теорий, не воспринимать их как нечто совершенное, целостное и законченное и относиться к ним с известной долей скептицизма. [c.8]
Экспертные системы успешно применяются в некоторых областях (например, в медицине). Но успешность их работы ограничена набором правил вывода, основанных на классической логике. Кроме того, базовые знания и правила, которые вырабатывает группа экспертов, тоже вызывают сомнение в их абсолютной истинности. Самое главное ограничение для экспертных систем — это невозможность саморазвития. [c.165]
Экспертные системы (ЭС). Технологии позволяют на основе определенных правил вывода осуществлять анализ информационного описания объектов и вырабатывать на основе этих правил соответствующие заключения. Эти технологии — базовые для систем представления знаний. [c.25]
Для знаний, входящих в базу знаний, можно считать, что множество А образуют все информационные единицы, которые введены в базу извне, а с помощью правил вывода из них выводятся новые производные знания. Другими словами, формальная система есть генератор порождения новых знаний, образующих множество выводимых в данной системе знаний. Это свойство логических моделей и делает их привлекательными для использования в базах знаний. Оно позволяет хранить в базе лишь те знания, которые образуют множество А. а все остальные знания получать из них по правилам вывода. [c.560]
Критерии, с помощью которых оценивается ЭС, зависят от того, с чьей точки зрения дается оценка. Например, при тестировании первого прототипа оценка осуществляется с точки зрения эксперта, для которого важна полнота и безошибочность правил вывода. При тестировании промышленной системы оценка производится в основном с точки зрения инженера по знаниям, которого интересует эффективность работы ЭС. При тестировании ЭС после опытной эксплуатации оценка осуществляется с точки зрения пользователя, заинтересованного, в первую очередь, в удобстве работы и получении практической пользы. [c.581]
Целью анализа финансовой устойчивости предприятия является определение прочности финансового состояния предприятия на основе изучения его финансовой отчетности. Как правило, выводы этого анализа могут быть использованы при принятии управленческих решений краткосрочного, а не долгосрочного характера, хотя это обстоятельство несколько сужает возможности применения результатов анализа финансовой устойчивости. Оно не делает его менее значимым для обеспечения нормального функционирования предприятия. [c.77]
Синтаксис - это множество формальных правил вывода правильно настроенных строк или предложений языка. [c.187]
Выше уже отмечалось, что интеллектуальный анализ данных появился в результате симбиоза средств вычислительной техники, программных технологий и математических методов. В НАД используются как сравнительно новые подходы, такие как генетические алгоритмы, нейронные сети, нечеткие множества, так и вполне традиционные, имеющие длительную историю развития, такие как статистика, деревья и таблицы решений. Хотя между этими методами не всегда можно установить точный водораздел (так, генетические алгоритмы используют статистические оценки и правила вывода, то же можно сказать и о деревьях решений и нечеткой логике и т.д.), но все же границы между ними существуют. Этого нельзя сказать о границах использования различных методов в приложении. Анализ одной и той же ситуации может быть произведен различными методами и> что очень важно, результаты анализа, проведенные одним методом, могут сильно отличаться от результатов анализа той же ситуации, проведенного другим методом. Выбор метода всегда определяется специалистом. [c.274]
Одним из способов кластеризации объектов или ситуаций могут быть правила вывода. Правила вывода анализируют входные данные по заранее предопределенным алгоритмам. Обычно различают такие алгоритмы для детерминированных данных и данных, носящих вероятностный характер. [c.282]
Что делать с множеством правил вывода. [c.512]
Третий этап — собственно графический анализ конфигурации кривой эффективности условной и/или реальной работы с настроенным сигналом. Здесь предусматривается определенная процедура измерения и оценки заранее намеченного для этого круга переменных, описывающих движения графика. Действующие правила вывода о вероятностной предпочтительности какого-то одного из возможных вариантов дальнейшего развития событий, собственно говоря, и составляют рациональную основу системы принятия решений о наиболее подходящем времени и способе реального открытия торговой позиции. [c.222]
Выбор генератора сигнала и настройки Накопление данных о плавании эффективности Выработка правил вывода для вероятностного прогнозирования [c.222]
Основное правило вывода [c.224]
Исходя из такого представления можно в самом общем виде сформулировать следующее основное правило вывода, вытекающего из закона инерции [c.225]
Основное правило вывода при графическом анализе состоит в использовании законов арксинуса для соответствующих прогнозных заключений в отношении любого рода тенденций (в самом широком понимании), выявленных в ходе анализа движения кривой эффективности. [c.226]
Важнейшим направлением аудита является анализ финансового состояния предприятия и результатов его хозяйственной деятельности. Как правило, выводы по данным такого анализа представляются руководителю проверяемого предприятия в составе аналитической части аудиторского заключения. Однако финансовый анализ может проводиться не только в рамках аудиторской проверки, но и при оказании руководству предприятия различных консультационных услуг, включая услуги по финансовому менеджменту. В последнем случае он направлен на обнаружение сильных и слабых сторон в финансовом состоянии предприятия, выработку мер по его укреплению или выходу из сложной финансовой ситуации. [c.186]
Выходная информация, как правило, выводится следующим образом [c.29]
Его основатели - Марвин Минский и Эдвард Фейгенбаум посчитали излишней апелляцию к архитектуре мозга его нейронным структурам и декларировали необходимость моделирования работы человека со знаниями. Тем самым, поставив в центр внимания операции с формальнологическими языковыми структурами, они заведомо выбрали ориентацию на имитацию обработки информации левым полушарием мозга человека. Системы обработки таких формализованных знаний были названы экспертными, поскольку они должны были воспроизводить ход логических рассуждений эксперта (высокопрофессионального специалиста) в конкретной предметной области. Эти рассуждения проводятся с использованием правил вывода, которые инженер знаний должен извлечь у эксперта. [c.205]
Экспертная система [Expert System (ES)] — система, основанная на знаниях, обеспечивающая решение задач в специальной или прикладной области, получая выводы из базы знаний, созданной на основе опыта человека. Примечания. 1) Термин экспертная система иногда используется в качестве синонима термина система, основанная на знаниях, но следует сделать акцент на экспертных знаниях. 2) Некоторые экспертные системы могут совершенствовать свою базу знаний и развивать новые правила выводов, базирующиеся на их опыте, связанном с предшествовавшими проблемами. [c.353]
Множество В есть множество правил вывода. Применяя их к элементам А, можно получить новые синтаксически правильные совокупности, к которым снова можно применять правила из В. Так формируется множество выводимых в данной формальной системе совокупностей. Отсюда следует, что именно правила вывода являются наиболее сложной составляющей формальной системы. [c.560]
ЛОГИЧЕСКИЕ ОПЕРАЦИИ [logi al operations]. С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. [c.175]
Алгоритмы анализа детерминированных данных могут быть описаны с помощью грамматик, графов или матриц инциденций. Все три метода идентичны в том смысле, что каждое из этих представлений может быть преобразовано в любое другое. Самая примитивная, но часто употребляемая форма грамматического описания это Если. .., то. ...... Правила вывода широко используются в экспертных сие- [c.282]
В настоящее время получили значительное распространение процедуры выбора, в которых применяются нечеткие логические операторы. В таких процедурах для получения результата применяются нечеткие матрицы, соответствующие нечетким отношениям [85], лингвистические правила ( если А высоко, то В мало [140]) или нечеткие правила вывода, в которых использованы элементы наборд значений, соответствующие лингвистической переменной, и частотные квантификаторы ( часто , мало , иногда [39]), а также индуктивные правила вывода [79]. [c.106]
Логика резолюций есть правило вывода, а ее предложения (высказывания) называются дизъюнктами2) [1, 5]. Таким образом, система, отыскивающая аналогии и ориентированная на логику резолюций, должна иметь дело с дизъюнктами и их описаниями. Поскольку другая система, GPS, для описания своих состояний использует множества объектов, следует ожидать, что система поиска аналогий в этом случае должна была бы также иметь дело со (сложными) объектами и их свойствами. [c.478]
По этим причинам /47< 71была в некотором смысле ценовым лидером. Какой бы тариф она ни устанавливала, конкуренты, как правило, выводили свои тарифы на тот же уровень или чуть ниже. Этот момент проиллюстрирован в табл. 5.1 большинству изменений тарифов компаний Л/С/и Sprint в период с 1987 по 1994 год предшествовало изменение тарифа AT T. Конкуренты AT T были склонны устанавливать свои цены чуть ниже цен, предлагавшихся прежним монополистом0. [c.79]
Баннер (от англ, banner флажок) — это ограниченный фрагмент изображения, статичного или динамичного, который, как правило, выводит пользователя на обширный материал, носящий рекламный характер. Для этого необходимо либо сознательно кликнуть по бан-неру манипулятором-мышью, либо, в целом ряде случаев, просто случайно задеть его. Тогда гиперссылка выводит вас туда, куда нужно поместившему баннер. Бапнеры достаточно назойливы, зачастую они носят всплывающий характер — появляются просто поверх читаемого нами на сайте. Это и понятно, ведь иначе трудно ожидать, чтобы опытный посетитель Интернета купился только на содержание [c.279]
Второй подход к классифицированию теоретических рассуждений состоит в том, чтобы выяснить, каким образом строится аргументация — от общих положений к частным (это дедуктивное доказательство) или от частных к общим (индуктивное доказательство). В бухгалтерском учете общие положения часто именуются постулатами (postulates). Отталкиваясь от них, теоретики надеются вывести бухгалтерские принципы (a ounting prin iples), которые могут быть положены в основу учета. При дедуктивном методе практические рекомендации и правила выводятся из постулатов, индуктивный метод предполагает вывод принципов из наилучшей практики. [c.20]
Эти правила позволяют для любой синтаксически правильной формулы исчисления высказываний приписать некоторое интерпретирующее значение. Нетрудно проверить, что всем аксиомам, перечисленным в примере 1.5, эти правила при любых интерпретациях входящих в них базовых элементов приписывают значение Истина . Семантические правила, приведенные в том же примере, не могут изменить значение формул, к которым они применяются. Таким образом, все формулы, которые выводятся из аксиом, также всегда имеют интерпретирующее значение Истина . Можно доказать, что аксиомы и правила вывода, приведенные нами, обладают свойством полноты в том смысле, что любая формула исчисления высказываний, которая имеет значение Истина , выводима из этого множества аксиом с помощью имеющихся семантических правил. А это означает, что исчисление высказываний, рассмотренное нами, является разрешимой формальной системой. Процедура л4 состоит в проверке того, что при любых интерпретациях базовых элементов проверяемой формулы она принимает значение Истина . Если это не так, то проверяемая формула не принад- [c.36]
Псевдофизические логики суть логики отношений. Именно отношения выполняют в них роль переменных. Поэтому псевдофизические логики классифицируются в зависимости от типов используемых отношений. Логика времени изучает взаимосвязь временных отношений, логика пространства — пространственных, логика действий — отношений типа субъект — действие или действие — место, каузальная логика — взаимосвязь отношений типа причина — следствие, частотная логика — отношений типа повторяемость — частота и т. д. Объекты же, связанные отношениями, выступают в этих логиках лишь в качестве неизменной части описаний. Поясним это следующим примером. Пусть в нашем распоряжении имеются два факта (аг.22Ь) и ( r.2lb). Из них при любой интерпретации объектов a, b и с можно вывести факт (аг-22с). Правило вывода такого рода должно входить в систему правил временной псевдофизической логики. [c.107]
Не только факты располагаются на шкалах, но и сам вывод (конструкция продукционных правил) должен учитывать упорядоченность, присущую рассуждениям в рамках псевдофизических логик. Для иллюстрации этого положения рассмотрим следующую схему рассуждений. Пусть нарушение технологии а приводит к ухудшению качества продукции степени р1. Пусть нарушение технологии у более серьезно, чем а (расположено на шкале серьезности нарушений технологии дальше от начала координат, чем а). Тогда, если а соответствует 3, то у должно соответствовать такому ухудшению продукции, которое по шкале оценки ухудшения качества должно находиться дальше (во всяком случае не ближе), чем р1. Рассуждения такого типа весьма важны при создании правил вывода для псевдофизических логик. [c.108]