.
 
 
 
  
 
РСС-подписка Добавить в Twitter Поделиться в Facebook Поделиться ВКонтакте Поделиться в Моем Мире Добавить в Одноклассники Опубликовать в LiveInternet.ru Добавить в Blogger.com Добавить в Я.ру Сохранить закладку в Memori.ru Сохранить закладку в Google Добавить в Яндекс.Закладки

Архив

Интересно

Наш квас пили казаки еще до насПодарок в виде цветов – вариант для любого торжества Искусство произведением того "ангажированного", "идейного", "тенденциозного" искусстваПрикольные поздравления с днем рождения друзьям, близким и знакомымВопрос о профориентации вообще не стоял, powerpoint обучениеНиколай Костомаров и ЧерниговщинаИван Франко стоит в ежедневном почетеЭто не свинство, а доходы«... И да будет воля Твоя, а не моя»"Троянда" освободилась от снежного пленаИтальянская керамическая плитка«Наша Маринка»Накануне открытия зимних Олимпийских игр«Внутренняя колонизация» - повторная колонизацияНе теряем шансМетод Фрейда смотреть онлайнЕлизавета Ивановна Милорадович Часть 3Подставки под товарНезависимость (послесловие)Приднестровская проблема. Часть 2
 

Трактовка релейно-контактных схем в терминах логики высказываний

4 декабря 2012, вторник
Трактовка релейно-контактных схем в терминах логики высказываний

Накопленные в области логики высказываний знания попробуем применить в анализе релейно-контактных схем. 

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

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

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

Однако возникает проблема так называемых «интеллектуальных машин», которые хотелось бы видеть способными делать умозаключения . Чтобы решить эту проблему, необходимо ответить на вопрос: можно ли применять логику высказываний к построению умозаключений? 

Качественная мебельная кромка, по низким ценам, с отличными характеристиками на сайте www.kromka.ru.

Нравится

Комментарии — добавить свой

 
 

Тема сезона

Обсуждаемая тема сезона:

 
 
© 2010–2017 «Феникс»,
все права защищены
Контактная информация