Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 509875)
Консорциум Контекстум Информационная технология сбора цифрового контента
Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта.
  Расширенный поиск
Результаты поиска

Нашлось результатов: 104401 (1,99 сек)

Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
1

Логика учебник

Автор: Ивлев Ю. В.
М.: Проспект

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

A � (B � A) — утверждение консеквента. 2. <...> A � ((A � A) � A) — утверждение консеквента. 2. <...> A � (B � A) — утверждение консеквента. 2. <...> A � ((A � A) � A) — утверждение консеквента. 2. <...> A � (B � A) — утверждение консеквента. 2.

Предпросмотр: Логика. 4-е издание.pdf (0,1 Мб)
2

Логика направленности изменения [монография]

Автор: Стешенко Н. И.
Ростов н/Д.: Изд-во ЮФУ

В монографии исследуется логика направленности изменения. Пропозициональные основы этой логики в виде аксиоматической системы были созданы польским логиком Л. Роговским. Автор монографии продолжил разработку пропозициональной стороны этой логики. Исследовал логику направленности изменения как функциональную систему, изучил ее нормальные формы. Построил секвенциональное исчисление и аналитические таблицы этой логики. Автор создал и исследовал первопорядковую логику направленности изменения, в частности, доказал теорему корректности.

K(43) Tp→(g→p) – аналог закона утверждения консеквента. <...> Тем самым было доказано утверждение. Утверждение 2. <...> Утверждение 3. <...> Если├а → С, то ├а → тС («усиление консеквента»). <...> Утверждение.

Предпросмотр: Логика направленности изменения.pdf (0,7 Мб)
3

Логика учеб. пособие для студентов, обучающихся по специальности 030602 – Связи с общественностью

Автор: Филатов Т. В.
ИУНЛ ПГУТИ

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

л л и Примечание: суждение p, входящее в условное суждение, именуется антецендентом, а суждение q – консеквентом <...> Это условное суждение; р(антецендент): “Человек умѐн”, q(консеквент): “Он (человек) глуп”. <...> Умозаключение по закону утверждения консеквента: p(qp). (121) 12. <...> Строится по правилу: ”От утверждения основания к утверждению следствия”. <...> Строится по правилу: “От утверждения следствия к утверждению основания”.

Предпросмотр: Логика.pdf (0,4 Мб)
4

Противоречие смерти подобно... Философский очерк о логическом противоречии

Автор: Ивин А. А.
М.: Проспект

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

В условном высказывании, необходимом в этом смысле, консеквент в любой момент времени вытекает из антецедента <...> В соответствии с D2, коннексивная импликация есть строгая импликация с не являющимся необходимым консеквентом <...> По D2 — это строгая импликация с не являющимся необходимым консеквентом. <...> Эту возможность предоставляет закон утверждения консеквента, говорящий, что истинное высказывание имплицируется <...> этих ограничений проста: антецедент импликации не должен быть противоречивым высказыванием и (или) консеквент

Предпросмотр: Противоречие смерти подобно... Философский очерк о логическом противоречии.pdf (0,1 Мб)
5

Программирование в логике: Учебное пособие.

Автор: Чанышев О. Г.

Учебное пособие обобщает опыт автора в части, касающейся программирования на языке PCD Prolog. Представлены история языка, разделы программы, основные структуры данных и методы программирования. Изложение сопровождается большим количеством примеров. Полностью приведены исходный текст, разработанный автором в учебных целях "игрушечной" экспертизы, позволяющей пользователю формулировать вопросы на естественном русском языке. Для студентов, обучающихся по направлению "Математика. Компьютерные науки" и "Прикладная математика и информатика".

Утверждение истинно. concat("Это строка"," А это строка не строка","Это строка И это строка") % Утверждение <...> Предложения и отдельные его утверждения рассматриваются как подцели. <...> утверждение, истинность которого зависит от выполнения ряда условий. <...> " или "утверждение в левой части верно, если верны утверждения в правой части правила". <...> Основной механизм проверки истинности утверждений заключается в подстановке.

Предпросмотр: Программирование в логике Учебное пособие..pdf (0,2 Мб)
6

Психологические основы формирования эколого-этического сознания младших школьников

ГОУ ВПО ОГУ

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

пользовании ею как безразличным орудием; 3. положительно-деятельное отношение, для которого характерно "утверждение <...> критерием нравственного прогресса – признание права “другого” на событие с самим собой, и, более того, утверждение <...> Однако нельзя не согласиться с утверждением Н.Н.

Предпросмотр: Психологические основы формирования эколого-этического сознания младших школьников.pdf (0,4 Мб)
7

Конспект лекций по учебной дисциплине «Представление знаний в информационных системах» по специальности 230201 – Информационные системы и технологии

Автор: Моисеева Т. В.
Изд-во ПГУТИ

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

Продукционные правила принято записывать в виде: АНТЕЦЕДЕНТ КОНСЕКВЕНТ. <...> Антецеденты и консеквенты правил формируются из атрибутов и значений. <...> Что представляет собой заключение правила продукций (консеквент)? 10. <...> Какая запись является верной: АНТЕЦЕДЕНТ КОНСЕКВЕНТ или КОНСЕКВЕНТ АНТЕЦЕДЕНТ? 11. <...> Если известно, что истинно утверждение А, и существует правило вида «ЕСЛИ А, ТО В», тогда утверждение

Предпросмотр: Представление знаний в информационных системах Конспект лекций.pdf (0,3 Мб)
8

№2 [Логос. Литературно-философский журнал, 2009]

Журнал Логос основан в 1991 году и является ведущим русскоязычным журналом в области философии, социальных, гуманитарных наук и культурных исследований. Выходит с периодичностью шесть раз в год и распространяется среди философов, ученых, крупнейших российских и зарубежных библиотек. В журнале публиковались работы и анализировалось творчество многих важнейших фигур классической и современной мысли, в том числе Э. Гуссерля, М. Хайдеггера, Л. Витгенштейна, Г. Г. Гадамера, Л. Бинсвангера, Х. Арендт, К. Шмитта, И. Валлерстайна, Ф. Джеймисона, Ж. Деррида, С. Жижека, К. Мейясу и др. Логос публикует пионерские работы по широкому спектру традиционных и актуальных тем (демократия, Платон, Спиноза, феноменология, но также квир-теория, спекулятивный реализм, исследования видеоигр и т. д.). Публикации журнала широко цитируются в русскоязычной философской литературе.

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

Предпросмотр: Логос. Литературно-философский журнал №2 2009.pdf (0,3 Мб)
9

Логика высказываний: язык, алгебра, исчисления учеб. пособие

Автор: Кислов А. Г.
Издательство Уральского университета

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

Левую часть импликации называют антецедентом, правую — консеквентом. <...> Левую часть импликации называют антецедентом, правую — консеквентом. <...> Но в этом случае в подформуле A → С антецедент А — «и», а консеквент В — «л». <...> Но в этом случае в подформуле A → С антецедент А — «и», а консеквент В — «л». <...> Утверждение 2.

Предпросмотр: Логика высказываний язык, алгебра, исчисления.pdf (1,9 Мб)
10

ИНТЕГРАЦИЯ ЗНАНИЙ ПРОДУКЦИОННОГО ХАРАКТЕРА В ПРАВОВУЮ ОНТОЛОГИЧЕСКУЮ МОДЕЛЬ С ПОМОЩЬЮ SWRL-ПРАВИЛ [Электронный ресурс] / Воронина, Пигалкова // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии .— 2010 .— №2 .— С. 138-143 .— Режим доступа: https://rucont.ru/efd/519881

Автор: Воронина

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

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

11

Логика учебник для бакалавров

Автор: Кириллов В. И.
М.: Проспект

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

Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия. <...> Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. <...> до утверждения «большинство из них...», затем до утверждения «отдельные...» и т. д. <...> H Переход от утверждения следствий к утверждению основания не дает достоверных выводов. <...> Вывод от утверждения следствия к утверждению основания при наличии такой двойной импликации будет логически

Предпросмотр: Логика. 6-е издание.pdf (0,2 Мб)
12

№8 [Мягкие измерения и вычисления, 2018]

В этом случае вероятность утверждения А определяется как интервал [S(A), Р(А)], где S(A) ∈ [0; 1] – вероятность <...> очевидности утверждения А (достаточность). <...> Величина Р(А) представляет собой вероятность правдоподобия утверждения А (необходимость) и вычисляется <...> консеквентов. <...> Аспект внедряется в правило через антецедент или консеквент.

Предпросмотр: Мягкие измерения и вычисления №8 2018.pdf (0,8 Мб)
13

К СВЕДЕНИЮ ПЕРЕВОДЧИКА: СОДЕРЖАТЕЛЬНЫЙ И ФОРМАЛЬНЫЙ АСПЕКТЫ СЛОЖНОПОДЧИНЕННЫХ УСТУПИТЕЛЬНЫХ КОНСТРУКЦИЙ В РУССКОМ И АНГЛИЙСКОМ ЯЗЫКАХ [Электронный ресурс] / Черникова // Вестник Воронежского государственного университета. Серия: Лингвистика и межкультурная коммуникация .— 2007 .— №1 .— С. 166-171 .— Режим доступа: https://rucont.ru/efd/526231

Автор: Черникова

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

-1), реальное следствие (консеквент-2). антецедент и консеквент-2 получают в предложении эксплицитное <...> выражение, тогда как консеквент-1 носит имплицитный характер: Я плавал по пятьдесят минут и не замерзал <...> -1}, но я не замерзал {консеквент-2}). <...> -1), консеквент-2 представляет собой реальное, действительное следствие. антецедент и консеквент-1 связаны <...> друг с другом как условие/ причина и следствие, тогда как между консеквентами устанавливаются отношения

14

В ПОМОЩЬ ПЕРЕВОДЧИКУ: СОДЕРЖАТЕЛЬНЫЙ И ФОРМАЛЬНЫЙ АСПЕКТЫ СЛОЖНОПОДЧИНЕННЫХ УСТУПИТЕЛЬНЫХ И ПРИЧИННО-СЛЕДСТВЕННЫХ КОНСТРУКЦИЙ В РУССКОМ И АНГЛИЙСКОМ ЯЗЫКАХ [Электронный ресурс] / Черникова, Караваева // Вестник Воронежского государственного университета. Серия: Лингвистика и межкультурная коммуникация .— 2011 .— №2 .— С. 167-172 .— Режим доступа: https://rucont.ru/efd/516353

Автор: Черникова

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

следующих логико-семантических компонентов: условие / причина (антецедент), ожидаемое логическое следствие (консеквент <...> -1), реальное следствие (консеквент-2). антецедент и консеквент-2 получают в предложении эксплицитное <...> выражение, тогда как консеквент-1 носит имплицитный характер. антецедент является основанием для заключения <...> о следствии (консеквент-1), консеквент-2 представляет собой реальное, действительное следствие. антецедент <...> и консеквент-1 связаны друг с другом как условие / причина и следствие, тогда как между консеквентами

15

Проблема предопределения и статуса будущих контингентных событий в теологии Григория из Римини [Электронный ресурс] / Карпов // Вестник Московского университета. Серия 7. Философия .— 2010 .— №1 .— С. 35-50 .— Режим доступа: https://rucont.ru/efd/377953

Автор: Карпов

Представлен способ решения проблемы предопределения одним из наиболее влиятельных авторов 14 столетия - Григорием из Римини (ок. 1300-1358).

Григорий из Римини сводит данную проблематику 21 «На возражение, следовательно, говорю, что консеквент <...> И, следовательно, имеет место первый консеквент, а именно, что Антихрист придет и Антихрист не придет <...> Ibid. 149 E. 46 «Третье утверждение. <...> Ibid. 149 B. 47 «Четвертое утверждение. <...> Ibid. 149 C. 48 «Шестое утверждение.

16

Вопросы автоматизации семантического анализа программ [Электронный ресурс] / Антипин // Автоматизация, телемеханизация и связь в нефтяной промышленности .— 2014 .— №7 .— С. 27-31 .— Режим доступа: https://rucont.ru/efd/349867

Автор: Антипин

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

содержащиеся в антецедентах продукционных правил второго и последующих (из них) операторов, не содержатся в консеквентах <...> Так, если в консеквентах продукционных правил каких-либо операторов выполняется инициализация или изменение <...> должны менять свои значения на всем участке программы между операторами; – переменные, используемые в консеквентах <...> Консеквенты продукционных правил условных операторов полностью идентичны друг другу. <...> переменных, значения которых могут меняться на всем промежутке программы между операторами, включая консеквенты

17

Логика

Автор: Черняк Н. А.
Омский госуниверситет

В краткой форме излагается основное содержание курса логики, разработанного в соответствии с программой для вузов.

Например, «Некоторые утверждения не являются истинными». <...> свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквента <...> В то же время истинность консеквента является необходимым условием истинности антецедента, но недостаточным <...> Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. <...> Рабулистика – намеренное искажение утверждений противника. 5.

Предпросмотр: Логика.pdf (0,3 Мб)
18

Логика для юристов учебник

Автор: Ивлев Ю. В.
М.: Проспект

Цель учебника — заложить основу логической культуры мышления юриста, научить применять правила и законы логики в профессиональной деятельности. В книге рассмотрены все основные темы курса: предмет логики, суждение, умозаключение и понятие, приемы разъяснения выражений, функции логики в правовом познании, логические основы аргументации и др. Теоретические положения иллюстрируются примерами из юридической практики.

Поэтому при истинности антецедента и ложности консеквента суждение в целом является ложным. <...> Если главным знаком формулы В является знак импликации, а главным знаком ее последнего консеквента не <...> Среди собственных утверждений различают утверждения о наличии фактов и утверждения об отсутствии фактов <...> любое утверждение. <...> утверждение.

Предпросмотр: Логика для юристов. 5-е издание.pdf (0,1 Мб)
19

Логика. Краткий курс [учеб. пособие]

Автор: Ивлев Ю. В.
М.: Проспект

Эта небольшая книга предназначена для широкого круга читателей. Во-первых, она полезна для тех, кто не изучал логику в качестве учебной дисциплины, как для взрослых, так и для детей. Дети могут изучать логику самостоятельно, а могут и под руководством родителей или учителей. Во-вторых, она позволит повторить основные методы и приемы логики тем, кто логику изучал. В этом случае будет полезно познакомиться с последними научными достижениями в области логики, которые, по возможности, представлены в книге. В-третьих, она полезна преподавателям логики, поскольку в ней излагается концепция логики, разработанная автором этой книги, который много лет ведет преподавательскую и научную работу в области логики (является лауреатом Ломоносовской премии за учебники по логике, более 20 лет заведовал кафедрой логики МГУ имени М.В. Ломоносова). В-четвертых, книга нужна магистрантам, не изучавшим логику в бакалавриате и продолжающим учебу на факультетах, где основная часть студентов логику изучала. При написании книги учтено, что почти в каждой науке есть две части – эмпирическая и теоретическая. В эмпирической части описываются факты и даются некоторые их обобщения. В теоретической – модели, являющиеся упрощениями и, как правило, искажениями фактических данных. В логике тоже есть такие части. В процессе преподавания иногда излагается или первая часть (это, в основном, так называемая традиционная логика), или вторая часть – модели (в основном, логика символическая, или математическая). В учебнике предпринята попытка соединить эти части. При написании книги ставилась задача не только изложить проблемы логики, но и познакомить читателя с проблемами научного познания на примере логики.

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

Предпросмотр: Логика. Краткий курс. Учебное пособие.pdf (0,1 Мб)
20

П. А. Флоренский: философско-логические идеи как средство экспликации философско-теологических воззрений [Электронный ресурс] / Бирюков, Прядко // Вестник Московского университета. Серия 7. Философия .— 2011 .— №1 .— С. 20-35 .— Режим доступа: https://rucont.ru/efd/378085

Автор: Бирюков

Рассмотрены методологические и логические идеи П. А. Флоренского, его критика познавательных принципов западной науки.

В его трактате «Столп и утверждение истины» дается развернутая критика познавательных принципов западной <...> Флоренский к конъюнкции консеквентов обеих формул конъюнктивно присоединял V — знак истины. <...> Ибо антецедент формулы (*) ложен, так как равносилен противоречию (p & ¬p); консеквент тоже ложен: формула <...> Данная тема получает развитие в приложении к трактату «Столп и утверждение истины». <...> Столп и утверждение Истины: Опыт православной теодицеи // Флоренский П.А. Собр. соч.: В 2 т.

21

ОБ ОДНОМ МЕТОДЕ ИНИЦИАЛИЗАЦИИ НЕЧЁТКИХ СИСТЕМ ТИПА ТАКАГИ — СУГЕНО∗ [Электронный ресурс] / Ходашинский, Сарин, Черепанов // Автометрия .— 2016 .— №3 .— С. 59-68 .— Режим доступа: https://rucont.ru/efd/373031

Автор: Ходашинский

Представлен метод инициализации нечётких систем типа Такаги — Сугено, в котором начальные значения антецедентов нечётких правил сформированы путём динамического разбиения входного пространства, а значения консеквентов — на основе рекуррентного метода наименьших квадратов. Описаны результаты экспериментов на 13 наборах данных из репозитария KEEL. Приведены сравнения с результатами их аппроксимации пятью известными алгоритмами идентификации.

антецедентов нечётких правил сформированы путём динамического разбиения входного пространства, а значения консеквентов <...> Далее на основании полученных функций строится система из одного правила, консеквент которой является <...> Выход: база правил нечёткой системы с параметрами антецедентов θ и консеквентов B. Шаг 1. <...> В рекуррентном методе матрица параметров консеквентов B вычисляется рекурсивно на основе имеющейся таблицы <...> Обозначим B(k) как значение матрицы консеквентов на k-м шаге, тогда B = B(m).

22

Джон Лесли Мэки о направлении причинения [Электронный ресурс] / Голосной // Вестник Московского университета. Серия 7. Философия .— 2014 .— №6 .— С. 30-43 .— Режим доступа: https://rucont.ru/efd/378270

Автор: Голосной

Рассмотрены взгляды австралийского философа Джона Лесли Мэки на проблему направленности причинения и его отношение к темпоральной направленности. Затрагиваются вопросы каузальной асимметрии, каузальной приоритетности.

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

23

СОСЛАГАТЕЛЬНОЕ НАКЛОНЕНИЕ КАК “ОКНО” В ИНЫЕ МИРЫ [Электронный ресурс] / Бабушкин // Вестник Воронежского государственного университета. Серия: Лингвистика и межкультурная коммуникация .— 2001 .— №1 .— С. 17-24 .— Режим доступа: https://rucont.ru/efd/515969

Автор: Бабушкин

Сослагательное наклонение представляет действие, выраженное глаголом, не как реальное, а как желаемое, предполагаемое, возможное (или невозможное), которое могло бы произойти при выполнении определенных условий: Вы бы многое знали, если бы читали газеты; Если бы у меня были деньги, я бы купил эту книгу. Наиболее распространенная форма объективизации сослагательного (или условного) наклонения в русском языке – глагол на “л” в сочетании с частицей “бы”.

логики различают антецендент (первый член условного предложения, формирующий собственно условие) и консеквент <...> (второй член условного предожения или следствие) по модели “Если P, то Q”, где Р – антецедент, а Q консеквент <...> Логики считают данные конструкции истинными только в том случае, когда истинен консеквент в ближайшем <...> Под эту рубрику мы подводим условные конструкции, имеющие не одно, а множество потенциально возможных консеквентов

24

Логика: учебное пособие

Автор: Купарашвили М Д
Омский госуниверситет

Излагается полный курс дисциплины.

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

25

К ВОПРОСУ О СЕМАНТИЧЕСКОМ АНАЛИЗЕ ПРОГРАММ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ [Электронный ресурс] / Антипин // Информационные системы и технологии .— 2015 .— №5 .— С. 45-52 .— Режим доступа: https://rucont.ru/efd/487970

Автор: Антипин

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

участке (фрагменте) программы без использования ее значения в каком-либо выражении; − антецеденты или консеквенты <...> значений непрерывных величин за пределы указанного диапазона; − если продукционное правило или его консеквент <...> пустое правило; − если правила полностью соответствуют друг другу, то это повторяющиеся правила; − если консеквенты <...> нужно объединять при возможности; − если антецеденты продукционных правил идентичны, но значения их консеквентов <...> Информационные системы и технологии №5(91)2015 47 − если правила A и B – не нормальные, но значения их консеквентов

26

Теория и практика аргументации учебник

Автор: Ивлев Ю. В.
М.: Проспект

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

Случай, когда антецедент является истинным, а консеквент ложным, вряд ли может быть приемлем, так как <...> Поэтому при истинности антецедента и ложности консеквента суждение в целом является ложным. <...> Разъяснение посредством примера: последним консеквентом формулы вида (A⊃(C⊃(K⊃D))) является формула D <...> Если главным знаком формулы В является знак импликации, а главным знаком ее последнего консеквента не <...> Если главным знаком формулы В является знак импликации, а главным знаком ее последнего консеквента не

Предпросмотр: Теория и практика аргументации.pdf (0,1 Мб)
27

№4 [Вестник Московского университета. Серия 9. Филология, 2018]

Журнал является одним из наиболее авторитетных периодических изданий, в которых публикуются научные статьи по лингвистике и литературоведению как ученых МГУ имени М. В. Ломоносова, так и представителей других отечественных и зарубежных университетов, академических научных институтов. В журнале печатаются научные статьи, отражающие наиболее яркие научные достижения профессоров и преподавателей, аспирантов и студентов факультета; подробнейшим образом представлена научная жизнь филологического факультета старейшего университета страны

S1 делает невозможным (без противоречия) эксплицитное утверждение S2» Copyright ОАО «ЦКБ «БИБКОМ» & <...> , при этом среди консеквентов выделяются импликативы — консеквенты, входящие в центральное значение лексемы <...> , и следствия (импликатуры, инференции) — периферийные, необязательные консеквенты. <...> В консеквент (B) импликации помещается описание действий человека в данной ситуации. <...> При этом А является антецедентом импликации, а В — ее консеквентом или следствием.

Предпросмотр: Вестник Московского университета. Серия 9. Филология №4 2018.pdf (0,3 Мб)
28

Гибридная модель представления знаний для реализации вывода во фреймовой онтологии [Электронный ресурс] / Авдеенко // Научный вестник Новосибирского государственного технического университета .— 2013 .— №3 .— С. 84-90 .— Режим доступа: https://rucont.ru/efd/264709

Автор: Авдеенко
М.: ПРОМЕДИА

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

в соответствии с заданным приоритетом, разбиение правил по категориям, наличие процедуры-действия в консеквенте <...> , представляющей собой конъюнкцию предпосылок (предусловий) правила, и правой части d – следствия (консеквента <...> Ponens, стоящим под чертой в выражении (2), является ( , )Subst d – оператор применения унификатора  к консеквенту

29

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ РАБОТЫ ЧЕЛОВЕКА-ОПЕРАТОРА КАК ЭЛЕМЕНТА ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ УПРАВЛЕНИЯ [Электронный ресурс] / Новикова, Подвальный // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии .— 2010 .— №1 .— С. 141-146 .— Режим доступа: https://rucont.ru/efd/519804

Автор: Новикова

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

Выражение в левой части называется антецедентом, а в правой – консеквентом. <...> правил в зависимости от вида антецедента: – нечеткие правила в форме Мамдани, в которых и антецедент и консеквент <...> СИСТЕМНЫЙ АНАЛИЗ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, 2010, № 1 – нечеткие правила в форме Тагаки-Сугено, в которых консеквент

30

Инженерия знаний метод. указания по выполнению контрольной работы

Автор: Богданова Е. А.
Изд-во ПГУТИ

Методические указания по выполнению контрольной работы содержат теоретические сведения и практические вопросы выполнения контрольной работы по дисциплине Инженерия знаний. Разработано в соответствии с ФГОС ВО по направлению подготовки 09.03.01 - Информатика и вычислительная техника и предназначено для студентов 2 и 2у курсов заочной и дистанционной форм обучения.

представления знаний Продукционные модели — это набор, правил вида «условия — действие», где условиями являются утверждения <...> которые должны выполняться в БД для того, чтобы были выполнены соответствующие действия; действий (консеквент

Предпросмотр: Инженерия знаний Методические указания по выполнению контрольной работы.pdf (0,2 Мб)
31

Практикум по логике учеб. пособие

Автор: Ивлев Ю. В.
М.: Проспект

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

Из полученных гипотез требуется вывести кон� секвент последнего консеквента. <...> Среди собственных утверждений различают утверждения о наличии фактов и утверждения об отсутствии фактов <...> любое утверждение. <...> � Правила по отношению к тезису 253 Утверждения адвоката Утверждения прокурора Copyright ОАО «ЦКБ «БИБКОМ <...> его собственному, и тем самым делает свое утверждение неистинным (ибо противопо� ложное утверждение

Предпросмотр: Практикум по логике.pdf (0,2 Мб)
32

Логика учебник для бакалавров

М.: Проспект

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

Вся формула соответствует консеквенту С . Множество антецедентов А1, …, Аn пусто . <...> высказал истинное утверждение . <...> ничего определенного сказать нельзя, но если вторая посылка — утверждение ложности консеквента, то ложность <...> Утверждение высказывания A, являющегося антецедентом импликации, консеквент которой обосновывается данной <...> к утверждению истинности других или от одних утверждений о выводимости к другим .

Предпросмотр: Логика.pdf (0,5 Мб)
33

Нечеткие модели и сети

Автор: Борисов В. В.
М.: Горячая линия – Телеком

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

А способы формирования консеквентов этих правил являются следующими: • консеквенты правил представляют <...> собой одноточечные нечеткие множества (singleton fuzzy set) [21]; • консеквенты правил представляют <...> Нечеткие продукционные правила, консеквенты которых представляют собой одноточечные нечеткие множества <...> Нечеткие продукционные правила, консеквенты которых представляют собой четкие функции. <...> Кроме того, как показано в [33], огибающая консеквентов на основе операции максимума имеет тенденцию

Предпросмотр: Нечеткие модели и сети.pdf (0,3 Мб)
Предпросмотр: Нечеткие модели и сети (1).pdf (0,5 Мб)
34

№7 [Автоматизация, телемеханизация и связь в нефтяной промышленности, 2014]

Разработка и сервисное обслуживание средств измерения, автоматизации, телемеханизации и связи, АСУТП, ИИС, САПР и метрологическому, математическому, программному обеспечению

Приборостроительные компании поставляют ИУ со свидетельствами об утверждении типа, однако нефтяники получают <...> " прошла в 2013 г. метрологическую аттестацию программных модулей, а также прошла испытания в целях утверждения <...> выполнена метрологическая аттестация программных модулей Системы, проведены испытания АСОУН в целях утверждения <...> Так, если в консеквентах продукционных правил каких-либо операторов выполняется инициализация или изменение <...> Консеквенты продукционных правил условных операторов полностью идентичны друг другу.

Предпросмотр: Автоматизация, телемеханизация и связь в нефтяной промышленности №7 2014.pdf (0,8 Мб)
35

№55 [Православная община, 2000]

Журнал «Православная община» выходил с 1990 по 2000 год в издательстве Московской высшей православно-христианской школы (современное название: Свято-Филаретовский православно-христианский институт). Редакцию журнала возглавлял священник Георгий Кочетков

(Все поют: "Утверждение на Тя надеющuхся, утверди, Господи, Цер­ ковь, юже стяжал есu честною Твоею кровию <...> Как много раз я лично искал удовлетворения в гордости и превозношении, в утверждении сво­ его, хотел <...> Поэтому тема Псковской миссии актуальна сегодня не только как материал по истории РПЦ хх века, как утверждение <...> том, что немецкие власти рассчитывали именно Право­ славную церковь сделать своей главной опорой в утверждении <...> Церковь Бога Живаго , столп и утверждение истины. Джорданвилл ь , 1956. С. 16 и далее.

Предпросмотр: Православная община №55 2000 (1).pdf (1,2 Мб)
36

О ПОДХОДЕ КОМПЛЕКСНОГО ИСПОЛЬЗОВАНИЯ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ ИССЛЕДОВАНИЯ ХИМИКО-ТЕХНОЛОГИЧЕСКИХ ОБЪЕКТОВ [Электронный ресурс] / Немтинов [и др.] // Вестник компьютерных и информационных технологий .— 2013 .— №5 .— С. 32-37 .— Режим доступа: https://rucont.ru/efd/569236

Автор: Немтинов

Рассмотрены основные этапы создания информационной системы удаленного доступа для исследования моделей химикотехнологических объектов с применением технологий: систем имитационного моделирования, геоинформационных систем (ГИС), интернет-технологий и др

Отдельное продукционное правило, содержащееся в базе знаний, состоит из двух частей: антецедента и консеквента <...> Консеквент (заключение) включает одно или несколько предложений, которые выражают либо некоторый факт

37

№10 [Автоматизация, телемеханизация и связь в нефтяной промышленности, 2013]

Разработка и сервисное обслуживание средств измерения, автоматизации, телемеханизации и связи, АСУТП, ИИС, САПР и метрологическому, математическому, программному обеспечению

антецедента правила (его левой части) по мерам неточности составляющих его высказываний;  меру неточности консеквента <...> над выходом значений непрерывных величин за пределы указанного диапазона; б) если правило или только консеквент <...> это пустое правило; в) если правило A соответствует правилу B, то это повторяющиеся правила; г) если консеквенты <...> языке программирования Pascal; д) если антецеденты правил A и B идентичны, но при этом значения их консеквентов <...> нормальные, т. е. удовлетворяют структуре МЛР; – если правила A и B не нормальные, но при этом значения их консеквентов

Предпросмотр: Автоматизация, телемеханизация и связь в нефтяной промышленности №10 2013.pdf (0,7 Мб)
38

Логика учеб. пособие

Автор: Истамгалин Рамиль Сафиевич
УГАЭС

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

Логический термин, стоящий во второй части импликативного суждения, после «то» называется консеквентом <...> импликативное суждение считается ложным только в одном случае – при истинности антецедента и ложности консеквента <...> формула представляет собой сложную импликацию, антецедентом которой выступают трехчленная конъюнкция, а консеквентом <...> Как известно, импликация бывает ложной только в одном случае, когда антецедент – истинное суждение, а консеквент <...> Значит, предположим, что консеквент r – ложное суждение.

Предпросмотр: Логика.pdf (2,0 Мб)
39

№3 [Автометрия, 2016]

Научный журнал Сибирского отделения РАН. В журнале публикуются оригинальные статьи и обзоры по следующим разделам: - суперкомпьютерные системы анализа и синтеза изображений (сигналов); - методы и средства искусственного интеллекта в научных исследованиях; - вычислительные сети и системы передачи данных; - автоматизация проектирования в микро- и оптоэлектронике; - микропроцессорные системы реального времени для научных и промышленных применений; - физика твердого тела, оптика и голография в приложениях к компьютерной и измерительной технике; - физические и физико-технические аспекты микро- и оптоэлектроники; - лазерные информационные технологии, элементы и системы. В редакционную коллегию входят признанные специалисты ведущих академических институтов России. Журнал адресован научным работникам, аспирантам, инженерам и студентам, интересующимся результатами фундаментальных и прикладных исследований в области высоких информационных технологий на базе новейших достижений физики, фотохимии, материаловедения, информатики и компьютерной техники. Круг авторов журнала широк: от ведущих научных центров и вузов России до ближнего и дальнего зарубежья. Все без исключения статьи рецензируются. В журнале публикуются оригинальные статьи и обзоры по следующим разделам: * анализ и синтез сигналов и изображений; * системы автоматизации в научных исследованиях и промышленности; * вычислительные и информационно-измерительные системы; * физико-технические основы микро- и оптоэлектроники; * оптические информационные технологии; * моделирование в физико-технических исследованиях; * нанотехнологии в оптике и электронике. Журнал практикует выпуск специализированных номеров. Журнал включен в Перечень ведущих рецензируемых научных журналов, рекомендованных для публикаций Высшей аттестационной комиссией. Журнал переводит и издает фирма “Аллертон Пресс” (США) под названием “Optoelectronics, Instrumentation and Data Processing”. Учредителями журнала являются: Сибирское отделение РАН и Институт автоматики и электрометрии СО РАН.

Далее на основании полученных функций строится система из одного правила, консеквент которой является <...> Выход: база правил нечёткой системы с параметрами антецедентов θ и консеквентов B. Шаг 1. <...> В рекуррентном методе матрица параметров консеквентов B вычисляется рекурсивно на основе имеющейся таблицы <...> Обозначим B(k) как значение матрицы консеквентов на k-м шаге, тогда B = B(m). <...> на публикацию (сопроводительное письмо с указанием возможных рецензентов); 3) экспертное заключение, утверждённое

Предпросмотр: Автометрия №3 2016.pdf (0,3 Мб)
40

№58 [Православная община, 2000]

Журнал «Православная община» выходил с 1990 по 2000 год в издательстве Московской высшей православно-христианской школы (современное название: Свято-Филаретовский православно-христианский институт). Редакцию журнала возглавлял священник Георгий Кочетков

"Реформа, Реформация и исполнение Церкви" // Сбор­ ник "На путях" "Утверждение евразийцев" . <...> Никаких догматических утвеРЖдений о. <...> Антония о догмате искупления4• Ересью назьmается нечто другое: под нею разумеется утверждение неправого <...> "Столп и утверЖдение истины". <...> В наше время стало чрезвычайно важно утверждение взрослых право славных хри­ стиан в их вере и жизни

Предпросмотр: Православная община №58 2000 (1).pdf (1,4 Мб)
41

ВЛИЯНИЕ СТРУКТУРЫ СИСТЕМНЫХ ЗАДАЧ НА ПОВЕДЕНИЕ СИСТЕМЫ [Электронный ресурс] / Максимов, Легович, Рывкин // Автоматика и телемеханика .— 2017 .— №4 .— С. 135-148 .— Режим доступа: https://rucont.ru/efd/597358

Автор: Максимов

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

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

42

Введение в логику высказываний

Издательский дом Воронежского государственного университета

Учебно-методическое пособие подготовлено на кафедре онтологии и теории познания факультета философии и психологии Воронежского государственного университета.

Высказывание слева от оператора именуется антецендентом или условием, а высказывание справа – консеквентом <...> Значение истинности импликации ложь в том и только в том случае, если антецендент истинен, а консеквент

Предпросмотр: Введение в логику высказываний.pdf (0,7 Мб)
43

№6 [Вестник Московского университета. Серия 9. Филология, 2016]

Журнал является одним из наиболее авторитетных периодических изданий, в которых публикуются научные статьи по лингвистике и литературоведению как ученых МГУ имени М. В. Ломоносова, так и представителей других отечественных и зарубежных университетов, академических научных институтов. В журнале печатаются научные статьи, отражающие наиболее яркие научные достижения профессоров и преподавателей, аспирантов и студентов факультета; подробнейшим образом представлена научная жизнь филологического факультета старейшего университета страны

Ауэрбахом [Ауэрбах, ], но утвержденная П. <...> Это значит, что две первые строки есть законченная фраза, содержащая определенное утверждение. <...> Серия 9: Филология. 2016. №�6 116 Консеквент: (Х совершает действие N, направленное на увеличение ресурса <...> Возражения вызывают и некоторые встречающиеся в книге утверждения. <...> Портретные его изображения, по утверждению Н.В.

Предпросмотр: Вестник Московского университета. Серия 9. Филология №6 2016.pdf (0,2 Мб)
44

№4 [Автометрия, 2017]

Научный журнал Сибирского отделения РАН. В журнале публикуются оригинальные статьи и обзоры по следующим разделам: - суперкомпьютерные системы анализа и синтеза изображений (сигналов); - методы и средства искусственного интеллекта в научных исследованиях; - вычислительные сети и системы передачи данных; - автоматизация проектирования в микро- и оптоэлектронике; - микропроцессорные системы реального времени для научных и промышленных применений; - физика твердого тела, оптика и голография в приложениях к компьютерной и измерительной технике; - физические и физико-технические аспекты микро- и оптоэлектроники; - лазерные информационные технологии, элементы и системы. В редакционную коллегию входят признанные специалисты ведущих академических институтов России. Журнал адресован научным работникам, аспирантам, инженерам и студентам, интересующимся результатами фундаментальных и прикладных исследований в области высоких информационных технологий на базе новейших достижений физики, фотохимии, материаловедения, информатики и компьютерной техники. Круг авторов журнала широк: от ведущих научных центров и вузов России до ближнего и дальнего зарубежья. Все без исключения статьи рецензируются. В журнале публикуются оригинальные статьи и обзоры по следующим разделам: * анализ и синтез сигналов и изображений; * системы автоматизации в научных исследованиях и промышленности; * вычислительные и информационно-измерительные системы; * физико-технические основы микро- и оптоэлектроники; * оптические информационные технологии; * моделирование в физико-технических исследованиях; * нанотехнологии в оптике и электронике. Журнал практикует выпуск специализированных номеров. Журнал включен в Перечень ведущих рецензируемых научных журналов, рекомендованных для публикаций Высшей аттестационной комиссией. Журнал переводит и издает фирма “Аллертон Пресс” (США) под названием “Optoelectronics, Instrumentation and Data Processing”. Учредителями журнала являются: Сибирское отделение РАН и Институт автоматики и электрометрии СО РАН.

антецедентов нечётких правил формируются путём динамического разбиения входного пространства, а значения консеквентов <...> Для оптимизации параметров консеквентов используются различные модификации метода наименьших квадратов <...> Для оптимизации параметров консеквентов применялся рекуррентный алгоритм наименьших квадратов [13]. <...> следующими условиями:  MSE(θe,De)→ min, 0 < e < ε, Re ≤ 100, где θe,De — параметры антецедентов и консеквентов <...> При этом остаются верными следующие утверждения: 1) при уменьшении дисперсии фона предлагаемый алгоритм

Предпросмотр: Автометрия №4 2017.pdf (0,2 Мб)
45

ИССЛЕДОВАНИЕ ВЛИЯНИЯ ПАРАМЕТРОВ НЕЧЕТКОЙ МОДЕЛИ НА ТОЧНОСТЬ КЛАССИФИКАЦИИ ПРЕЦЕДЕНТОВ [Электронный ресурс] / Макарова // Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика .— 2016 .— №4 .— С. 7-18 .— Режим доступа: https://rucont.ru/efd/543991

Автор: Макарова

Метод рассуждений на основе прецедентов (Case-Based Reasoning, CBR) используется для представления знаний в социально-экономических системах. Представлена история развития метода рассуждений на основе прецедентов и применение этого метода в различных областях. Рассматривается гибридная модель представления знаний на основе интеграции метода рассуждений на основе прецедентов и нечеткой логики. Рассмотрен алгоритм формирования нечетких правил, где каждая входная лингвистическая переменная может принимать 3, 5 или 7 терм-значений, описываемых треугольными функциями принадлежности. Предлагается новая процедура аккумуляции заключений конкурирующих правил, полученных в результате логического вывода. Исследуется точность классификации полученной гибридной модели на разных наборах данных и с различным набором функций принадлежности. Результаты исследований позволяют утверждать, что разработанный метод машинного обучения на основе нечеткого вывода существенно повышает точность классификации прецедентов.

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

46

№12 [Датчики и системы. Sensors & Systems, 2017]

В журнале публикуется разносторонняя информация о датчиках, приборах и системах измерения, контроля, управления включая: Результаты исследований и разработок отечественных и зарубежных ученых; Статьи о новых методах и принципах построения и проектирования; Сведения о новейшей продукции отечественных и зарубежных фирм; Технологические процессы производства; Метрологическое обеспечение, стандартизация и сертификация; Экономика и управление; Особенности современной организации производства и бизнес процессов; Хроника; Научно-техническая публицистика.

Есëи усëовие Pj не выпоëняется (иìеет ìесто Pj + 1 = ( )), осуществëяется перехоä к консеквенту t1j. <...> Консеквенты tj, t1j и äруãие связаны с некоторыìи испоëнитеëüныìи äействияìи, в ÷астности, с коìанäаìи <...> Допустиì, ÷то зна÷ения коìанä иниöиаëизируþтся при активизаöии консеквентов t1, t2, t3 в каких-ëибо правиëах <...> На этоì øаãе провоäится сокращение ÷исëа правиë путеì объеäинения правиë, иìеþщих оäинаковые консеквенты <...> Синтез логических выражений для активизации переходов (консеквентов).

Предпросмотр: Датчики и системы. Sensors & Systems №12 2017.pdf (0,6 Мб)
47

ФОРМАЛЬНАЯ ЛОГИКА КАК ЗНАКОВАЯ СИСТЕМА [Электронный ресурс] / Дорфман, Сергеев // Метод .— 2014 .— №1 .— С. 44-61 .— Режим доступа: https://rucont.ru/efd/476682

Автор: Дорфман

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

По-видимому, различение этих смыслов связано с местом F (y) в формулах – в одном случае – на месте консеквента <...> Что же касается «не кажущемуся чем-то исключительным», то это утверждение, по-видимому, следует принимать <...> В теории логического следования утверждение x⊢y верно, если и только если истинность х суть достаточное <...> Вывод в математических рассуждениях – это утверждение о правилах трансформации семантических структур <...> Эйнштейна признать результаты квантовой механики и его утверждение, что «Бог не играет в кости», были

48

III Международная конференция Комиссии по аспектологии при Международном комитете славистов "Глагольный вид: грамматическое значение и контекст" [Электронный ресурс] / Петрухина, Гаврилова // Вестник Московского университета. Серия 9. Филология .— 2012 .— №3 .— С. 213-223 .— Режим доступа: https://rucont.ru/efd/337880

Автор: Петрухина
М.: ПРОМЕДИА

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

Было обосновано утверждение, что на эту ситуацию оказали влияние следующие факторы: 1) сохранение в общеславянском <...> НСВ опирается в предтексте на индивидуализированную ситуацию, не меняя ее референциальный статус в консеквенте

49

Избранные работы Логико-философский трактат; Коричневая книга; Голубая книга

Автор: Витгенштейн Людвиг
М.: Территория будущего

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

истинны; 2) ес� ли антецедент p ложен, а консеквент q истинен, и 3) если оба они ложны. <...> консеквенте. 4.442. <...> Рассмот� рим сначала для этого консеквент «∼∼p». Мы знаем, что ∼∼p эквивале� нтно p. <...> Из этого следует, что в «p → ∼∼p» на место консеквента можно подставить p. <...> $ дыдущем утверждении?

Предпросмотр: Избранные работы («Логико-философский трактат» в переводе и с комментариями Вадима Руднева; «Коричневая книга»; Биографический очерк Людвига Витгенштейна).pdf (0,2 Мб)
50

«СИСТЕМА КООРДИНАТ» В МУЗЫКЕ П. БУЛЕЗА И С. ШАРРИНО: К ПРОБЛЕМЕ ЭСТЕТИЧЕСКОГО ОСМЫСЛЕНИЯ МУЗЫКАЛЬНОЙ КОМПОЗИЦИИ [Электронный ресурс] / Петрусёва // Обсерватория культуры .— 2015 .— №2 .— С. 86-93 .— Режим доступа: https://rucont.ru/efd/446992

Автор: Петрусёва

Исчезновение тональной системы как унифицирующего принципа для различных эстетик и техник привело композиторов новой музыки, П. Булеза, С. Шаррино и др., к осмыслению альтернативных идей композиции. Концепт «жестуализации» Пьера Булеза и две его композиции, «Ритуал памяти Мадерны» (1974—1975) и «Посланиэскиз» (1976), рассмотрены в философско-эстетическом контексте. Тенденции новой сольной музыки как «система координат» (новая трактовка звука, концертность, виртуозность, инструментальный театр) показаны на примере четырех пьес из цикла «L’оpera per flauto» С. Шаррино (1977—2000). Новый концепт жестуализации Булеза, «фактическое поле операций» Шаррино требуют мыслить науку о композиции как искусство

Первая строфа: антеседент и консеквент в медленных темпах (ц. 2—3 партитуры); комментарий строфы — бурное <...> Вторая строфа, соответственно: медленные темпы антеседента и консеквента (ц. 8—9 партитуры); ее «пролиферация

Страницы: 1 2 3 ... 2089