Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование     Программное обеспечение Программное обеспечение

Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

Мыло металлическое "Ликвидатор".
Мыло для рук «Ликвидатор» уничтожает стойкие и трудно выводимые запахи за счёт особой реакции металла с вызывающими их элементами.
197 руб
Раздел: Ванная
Наклейки для поощрения "Смайлики 2".
Набор для поощрения на самоклеящейся бумаге. Формат 95х160 мм.
19 руб
Раздел: Наклейки для оценивания, поощрения
Фонарь садовый «Тюльпан».
Дачные фонари на солнечных батареях были сделаны с использованием технологии аккумулирования солнечной энергии. Уличные светильники для
106 руб
Раздел: Уличное освещение

Содержание. Введение . .3 1. Основные производители .5 2. История возникновения и развития языка ПРОЛОГ . .6 3. Исчисление высказываний . 9 3.1. Исчисление предикатов .11 3.2. Программирование на ПРОЛОГЕ 14 3.3. Принцип резолюций . 16 3.4. Поиск доказательства в системе резолюций . .18 Заключение .22 Список литературы . . 24 Введение. Программные средства, базирующиеся на технологии и методах искусственного интеллекта, получили значительное распространение в мире. Их важность, и, в первую очередь, экспертных систем и нейронных сетей, состоит в том, что данные технологии существенно расширяют круг практически значимых задач, которые можно решать на компьютерах, и их решение приносит значительный экономический эффект. В то же время, технология экспертных систем является важнейшим средством в решении глобальных проблем традиционного программирования: длительность и, следовательно, высокая стоимость разработки приложений; высокая стоимость сопровождения сложных систем; повторная используемость программ и т.п. Кроме того, объединение технологий экспертных систем и нейронных сетей с технологией традиционного программирования добавляет новые качества к коммерческим продуктам за счет обеспечения динамической модификации приложений пользователем, а не программистом, большей &quo ;прозрачности&quo ; приложения (например, знания хранятся на ограниченном естественном языке, что не требует комментариев к ним, упрощает обучение и сопровождение), лучших графических средств, пользовательского интерфейса и взаимодействия. По мнению специалистов, в недалекой перспективе экспертные системы будут играть ведущую роль во всех фазах проектирования, разработки, производства, распределения, продажи, поддержки и оказания услуг. Их технология, получив коммерческое распространение, обеспечит революционный прорыв в интеграции приложений из готовых интеллектуально-взаимодействующих модулей. Среди специализированных систем, основанных на знаниях, наиболее значимы экспертные системы реального времени, или динамические экспертные системы. На их долю приходится 70 процентов этого рынка. Значимость инструментальных средств реального времени определяется не столько их бурным коммерческим успехом (хотя и это достойно тщательного анализа), но, в первую очередь, тем, что только с помощью подобных средств создаются стратегически значимые приложения в таких областях, как управление непрерывными производственными процессами в химии, фармакологии, производстве цемента, продуктов питания и т.п., аэрокосмические исследования, транспортировка и переработка нефти и газа, управление атомными и тепловыми электростанциями, финансовые операции, связь и многие другие. Классы задач, решаемых экспертными системами реального времени, таковы: мониторинг в реальном масштабе времени, системы управления верхнего уровня, системы обнаружения неисправностей, диагностика, составление расписаний, планирование, оптимизация, системы-советчики оператора, системы проектирования. Коммерческие успехи к экспертным системам и нейронным сетям пришли не сразу. На протяжении ряда лет (с 1960-х годов) успехи касались в основном исследовательских разработок, демонстрировавших пригодность систем искусственного интеллекта для практического использования.

Начиная примерно с 1985 (а в массовом масштабе, вероятно, с 1988-1990 годов), в первую очередь, экспертные системы, а в последние два года и нейронные сети стали активно использоваться в реальных приложениях. 1. Основные производители. Инструментарий для создания экспертных систем реального времени впервые выпустила фирма Lisp Machi e I c в 1985 году. Этот продукт предназначался для символьных ЭВМ Symbolics и носил название Pico . Его успех привел к тому, что группа ведущих его разработчиков образовала фирму Ge sym, которая, значительно развив идеи, заложенные в Pico , выпустила в 1988 году инструментальное средство под названием G2. В настоящий момент работает его третья версия и подготовлена четвертая. Еще в конце 1970-х годов стала отчетливо просматриваться тенденция к использованию в исследованиях в области искусственного интеллекта &quo ;формальных&quo ; методов, т.е. основанных на аппарате математической логики. Эти методы противопоставлялись более интуитивным и менее формализованным эвристическим методам, скажем, таким, которые были использованы в системе MYCI . Для того чтобы стало ясно, что все это значит, нужно познакомить вас с логическими языками, а затем показать, как соотносятся их свойства с теми методами рассуждений, которые должны поддерживать типовые экспертные системы. Математическая логика является формальным языком в том смысле, что в отношении любой последовательности символов она позволяет сказать, удовлетворяет ли эта последовательность правилам конструирования выражений в этом языке (формулам). Обычно формальным языкам противопоставляются естественные, такие как французский и английский, в которых грамматические правила не являются жесткими. Утверждение, что логика является исчислением с определенными синтаксическими правилами логического вывода, означает, что влияние одних членов выражения на другие зависит только от формы выражения в данном языке и ни коим образом не зависит от каких-либо посторонних идей или интуитивных предположений. Под автоматическим формированием суждений понимается поведение некоторой компьютерной программы, которая строит логический вывод на основании определенных законов. Так, нельзя отнести к классу программ автоматического формирования суждений программу, которая моделирует подбрасывание монетки, чтобы определить, следует ли одна формула из набора других. (В литературе также часто встречается термин автоматическая дедукция, равнозначный по смыслу термину автоматическое формирование суждений.) При реализации автоматического формирования суждений, как правило, стремятся к максимально возможному единообразию и стандартизации в представлении формул, но в то же время в литературе часто приходится сталкиваться с самыми разнообразными системами обозначений, относящихся к логике. Основными синтаксическими схемами представления выражений являются конъюнктивная нормальная форма (co ju c ive ormal form— C F), полная фразовая форма (full clausal form) и фраза Хорна (Hor clause), последняя является подмножеством полной фразовой формы. 2. История возникновения и развития языка ПРОЛОГ.

На протяжении многих тысячелетий человечество занимается накоплением, обработкой и передачей знаний. Для этих целей непрерывно изобретаются новые средства и совершенствуются старые: речь, письменность, почта, телеграф, телефон и т. д. Большую роль в технологии обработки знаний сыграло появление компьютеров. В октябре 1981 года Японское министерство международной торговли и промышленности объявило о создании исследовательской организации — Института по разработке методов создания компьютеров нового поколения (I s i u e for ew Ge era io Compu er ech ology Research Ce er). Целью данного проекта было создание систем обработки информации, базирующихся на знаниях. Предполагалось, что эти системы будут обеспечивать простоту управления за счет возможности общения с пользователями при помощи естественного языка. Эти системы должны были самообучаться, использовать накапливаемые в памяти знания для решения различного рода задач, предоставлять пользователям экспертные консультации, причем от пользователя не требовалось быть специалистом в информатике. Предполагалось, что человек сможет использовать ЭВМ пятого поколения так же легко, как любые бытовые электроприборы типа телевизора, магнитофона и пылесоса. Вскоре вслед за японским стартовали американский и европейский проекты. Появление таких систем могло бы изменить технологии за счет использования баз знаний и экспертных систем. Основная суть качественного перехода к пятому поколению ЭВМ заключалась в переходе от обработки данных к обработке знаний. Японцы надеялись, что им удастся не подстраивать мышление человека под принципы функционирования компьютеров, а приблизить работу компьютера к тому, как мыслит человек, отойдя при этом от фон неймановской архитектуры компьютеров. В 1991 году предполагалось создать первый прототип компьютеров пятого поколения. Теперь уже понятно, что поставленные цели в полной мере так и не были достигнуты, однако этот проект послужил импульсом к развитию нового витка исследований в области искусственного интеллекта и вызвал взрыв интереса к логическому программированию. Так как для эффективной реализации традиционная фон неймановская архитектура не подходила, были созданы специализированные компьютеры логического программирования PSI и PIM. В качестве основной методологии разработки программных средств для проекта ЭВМ пятого поколения было избрано логическое программирование, ярким представителем которого является язык Пролог. Думается, что и в настоящее время Пролог остается наиболее популярным языком искусственного интеллекта в Японии и Европе (в США, традиционно, более распространен другой язык искусственного интеллекта - язык функционального программирования Лисп). Название языка &quo ;Пролог&quo ; происходит от слов ЛОГическое ПРОграммирование (PROgramma io e LOGique во французском варианте и PROgrammi g i LOGic — в английском). Пролог основывается на таком разделе математической логики, как исчисление предикатов. Точнее, его базис составляет процедура доказательства теорем методом резолюции для хорновских дизъюнктов. В истории возникновения и развития языка Пролог можно выделить следующие этапы.

Логика , Логика высказываний ) фундаментально, а О. чётного числа (соответственно теоремы исчисления высказываний) нефундаментально. И. о. обоих видов, порождающие определяемые ими объекты в некотором порядке, оправдывают применение к объектам доказательств по математической индукции . Особенно важны случаи, когда этот порядок порождения однозначен; такие и. о., имеющие форму системы равенств или эквивалентностей (часть которых суть явные О. некоторых «начальных» значений определяемой функции или предиката, а другие описывают способы получения новых значений из уже определённых с помощью различных подстановок и «схем рекурсии» — см. Рекурсивные функции ), называются рекурсивными О. (р. о.). Р. о. в известном смысле наилучшим образом реализуют требования эффективности О., столь важные в общефилософском и практических отношениях.   К О. всех видов (в т. ч. рассмотренных выше) предъявляется ряд общих требований (принципов) О., нарушение которых может обесценить предложения, формально имеющие форму О. Правило переводимости (или элиминируемости), состоящее в требовании равнообъёмности Dfd и Dfn реальных О., предусматривает возможность взаимной замены Dfd и Dfn явных номинальных О

1. Исследование методов охлаждения садки колпаковой печи с помощью математического моделирования

2. Проектирование математического и программного обеспечения

3. Структура исчисления предикатов построение логического вывода

4. Учет амортизации (износа) основных средств и методы ее исчисления в условиях рынка

5. Методы исчисления налогов с юридических лиц

6. Особенности проведения документальной проверки правильности исчисления и уплаты в бюджет налога на прибыль
7. Математические методы и модели в конституционно-правовом исследовании
8. Математические методы и языки программирования: симплекс метод

9. Основные понятия дифференциального исчисления и история их развития (Бакалавр)

10. Интеграл по комплексной переменной. Операционное исчисление и некоторые его приложения

11. Учет затрат и исчисление себестоимости продукции молочного скотоводства

12. Перевод старорусских мер исчисления веса и объёма на современные

13. Учет затрат и исчисление себестоимости продукции молочного скотоводства

14. Методы алгебраических и дифференциальных уравнений для анализа и качественного исследования социально-экономических явлений (По дисциплине: Математические методы моделирования процессов управления в социальной сфере)

15. Конспект лекций по курсу ЭММ (Экономико-математические методы и модели)

16. Математические модели и методы их расчета

Горшок надувной дорожный "PocketPotty" со сменными пакетами.
Горшок Pocket Potty от торговой марки Roxy-kids станет незаменимым аксессуаром дома, на прогулке или в длительной поездке с малышом.
560 руб
Раздел: Горшки обычные
Точилка механическая "KW-trio".
Механическая точилка. Пластиковый корпус. Размер: 95x65x100 мм. Расцветка представлена в ассортименте, без возможности выбора.
482 руб
Раздел: Точилки
Стиральный порошок "Molecola" для белого белья и цветного детского белья, экологичный, 1,2.
Экологичный стиральный порошок для детского белья ТМ Molecola является безопасным как для детей с первых дней жизни, так и для окружающей
357 руб
Раздел: Для стирки детских вещей

17. Метод математической индукции

18. План чтения лекции по учебной дисциплине «Математические методы»

19. Применение информатики, математических моделей и методов в управлении

20. Физика как источник теорем дифференциального исчисления

21. Математические модели и методы обоснования управленческих решений и сферы их применения в практике управления

22. НДС Особенности исчисления НДС по основным средствам и нематериальным активам
23. Порядок исчисления и уплаты в бюджет налога на имущество предприятий
24. Экзаменационные вопросы и билеты по предмету МАТЕМАТИЧЕСКИЕ МЕТОДЫ ИССЛЕДОВАНИЯ ЭКОНОМИКИ за весенний семестр 2001 года

25. Математическая модель метода главных компонент

26. Порядок исчисления и уплаты НДФЛ по выигрышам

27. Билеты по предмету Математические методы в экономике за осенний семестр 2000 года

28. Экономическое планирование методами математической статистики

29. Лекции Математические методы исследования экономики

30. Математические методы исследования экономики.

31. Изучение методики перевода из одной системы исчисления в другую и разработка программы для этой операц

32. Метод математической индукции

Мыло-пенка "Pigeon" для младенцев (сменная упаковка), 400 мл.
Мыло-пенка "Pigeon" разработано специально для мытья малыша с рождения. Низкий уровень кислотности такой же, как у нежной кожи
494 руб
Раздел: Гели, мыло
Головоломка "Кубик Рубика 2х2".
Кубик Рубика 2х2 от компании «Rubik's» - это упрощенная разновидность классической головоломки. Каждая грань кубика состоит не из 3,
562 руб
Раздел: Головоломки
Шторка антимоскитная "Кружево" с магнитными замками.
Размеры: 100х220 см. Препятствует проникновению насекомых. Не нарушает естественную циркуляцию воздуха. Подходит для любых типов дверных
424 руб
Раздел: Сетки противомоскитные

33. Метод АВИ в математической теории переноса вредных веществ в гетерогенных средах

34. Проблемы исчисления единого налога по специальным налоговым режимам и пути их решения

35. Порядок исчисления и уплаты земельного налога

36. Исчисление и уплата страховых взносов во внебюджетные фонды

37. Состояние и пути совершенствования учета затрат на производство и исчисления себестоимости продукции молочного скотоводства на примере СПК "Коммунар" Кировского района Калужской области

38. Исчисление НДС по истечении 60 дней с момента отгрузки товаров (выполнения работ, оказания услуг, передачи имущественных прав на объекты интеллектуальной собственности)
39. Практические вопросы исчисления и уплаты ЕСН в адвокатских образованиях, являющихся юридическими лицами
40. Аудит учёта затрат и исчисления себестоимости продукции животноводства в ГУП ОПХ "Григорьевское" Ярославского МР

41. Исчисление и уплата земельного налога. Льготы по налогу

42. Исчисление НДС по командировочным расходам

43. Особенности и порядок исчисления заработной платы. Судебная практика

44. Понятие, исчисление и виды сроков в гражданском праве

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

46. Разработка математической модели на основе описанных методов

47. Динамическое программирование и вариационное исчисление

48. Дифференциальное исчисление

Лоток для бумаг горизонтальный "Сити", черный.
Лотки надёжно стыкуются друг с другом металлическими стержнями 6 см. Вместительная и прочная конструкция. Для листов формата А4. Гладкая
640 руб
Раздел: Подставки, лотки для бумаг, футляры
Глобус физико-политический "Falcon" с подсветкой, диаметр 400 мм.
Глобус для занятий по географии на подставке. Встроенная подсветка помогает увидеть даже самые мелкие детали. В комплект входит
4350 руб
Раздел: Глобусы
Подставка для канцелярских принадлежностей "Башня", металлическая, 4 секции, черная.
Подставка для письменных принадлежностей, металлическая, сетка. Цвет: черный. Размер: 16х8х11 см.
355 руб
Раздел: Подставки, лотки для бумаг, футляры

49. История возникновения и развития методов реконструкции математических моделей динамических систем по порождаемому временному ряду

50. Математические методы в теории принятия решений

51. Математические методы описания моделей конструкций РЭА

52. Применение дифференциального и интегрального исчисления к решению физических и геометрических задач в MATLab

53. Применение операционного исчисления при решении дифференциальных уравнений

54. Методы математической статистики, использующиеся в педагогических экспериментах
55. Математические методы в психологии
56. Таможенный контроль над исчислением и уплатой таможенных платежей

57. Исчисление единого социального налога в 2009 году

58. Исчисление и уплата единого социального налога на предприятии

59. Исчисление и уплата налога на добавленную стоимость подрядными организациями

60. Исчисление налога на имущество в бюджетных организациях

61. Исчисление НДС по периодическим изданиям

62. Методика исчисления водного налога, порядок уплаты, отчетности

63. Налог на прибыль: вопросы исчисления и уплаты

64. Налогообложение операций с ценными бумагами, Исчисление НДФЛ по операциям с ценными бумагами

Жидкое средство для стирки AQA baby, 1500 мл.
Разработано специально для детского белья - с первых дней жизни. Содержит энзимы – высокоэффективные натуральные компоненты, усиливающие
331 руб
Раздел: Для стирки детских вещей
Точилка Berlingo механическая "Яблоко".
Оригинальная механическая точилка в форме яблока. С одним отверстием для заточки карандашей. Лезвие из высококачественной стали. Механизм
352 руб
Раздел: Точилки
Гидромассажная ванночка для ног (арт. ATH-6411 blue).
Характеристики: - Расслабляющий и оздоровительный массаж. - Мощный компрессор для водно-пузырькового массажа. - 3 сменные насадки. -
1368 руб
Раздел: Прочее

65. НДС – проблемы механизма его исчисления и основные направления по их устранению

66. Порядок исчисления и уплаты налогов

67. Порядок исчисления уплата единого социального налога

68. Принципы исчисления уплаты налогов и сборов в ОАО "Российские железные дороги"

69. Состав, принципы исчисления и взимания местных налогов и сборов

70. Государственная пошлина: особенности исчисления и уплаты организациями РФ
71. Динамика общей суммы налога на прибыль в форме индексов. Темпы роста исчисленных показателей
72. Исчисление и вычет НДС по хозяйственным операциям, связанным с автотранспортом

73. Экономико-математические методы

74. Использование математических методов и моделей в управлении микроэкономическими системами

75. Теоретические основы математических и инструментальных методов экономики

76. Математические методы в решении экономических задач

77. Математические методы в экономике

78. Математические методы в экономическом анализе

79. Математические методы экономики

80. Методы математического моделирования экономики

Масло Mommy care для отпугивания комаров, 50 мл, арт. MC_1696.
Масло для отпугивания комаров смесь натуральных и органических масел Москитуш обладает нежным ароматом, способным притуплять обоняние
890 руб
Раздел: Крем
Поильник–непроливайка Lubby "Русские мотивы" с трубочкой, 240 мл.
Мягкая силиконовая трубочка поильника нежно соприкасается с ртом Малыша. Оптимальная длина трубочки позволяет выпить все содержимое
387 руб
Раздел: Поильники, непроливайки
Бутылочка для кормления "Avent Classic+", 260 мл (розовая, рисунок: бабочка), от 1 месяца.
Ограниченная серия - бутылочка для кормления розовая c рисунком (бабочка), серия Classic+. Зарекомендовавшая себя серия Classic была
403 руб
Раздел: Бутылочки

81. Математические методы и модели в экономике

82. Исследование природных ресурсов планеты с помощью космических методов

83. Исследование клеточного цикла методом проточной цитометрии

84. ОСНОВНЫЕ МЕТОДЫ ГЕНЕТИКИ

85. МЕТОДЫ ИЗУЧЕНИЯ ЭВОЛЮЦИИ ЧЕЛОВЕКА

86. Методы психогенетики
87. Обзор методов и способов измерения физико-механических параметров рыбы
88. Новейшие методы селекции: клеточная инженерия, генная инженерия, хромосомная инженерия

89. Зажигательные смеси, состав, средства применения и доставки, вызываемые повреждения, методы лечения и защиты

90. Статистика населения. Методы анализа динамики и численности и структуры населения

91. Гамма – каротаж. Физические основы метода

92. Метод Бокового каротажа

93. Методы выделения мономинеральных фракций

94. Основні методи боротьби з інфляцією

95. Экономическая сказка-реферат "НДС - вражья морда" или просто "Сказка про НДС"

96. Нелегальная миграция в России и методы борьбы с ней

Умные кубики. Орнаменты. 50 игр для развития интеллекта.
IQ-кубики "Орнаменты" - универсальный набор интеллектуальных игр для дошкольников. IQ-кубики помогают развивать моторную и
306 руб
Раздел: Развивающие игры с кубиками
Настольная игра "Кортекс".
Сможете отличить баскетбольный мяч от клубники на ощупь или за долю секунды увидеть выход из лабиринта? А молниеносно запомнить предметы и
914 руб
Раздел: Карточные игры
Книга-сейф "Английский словарь", цвет: черный, 24 см.
Этот сейф-шкатулка - точная имитация книги. Будучи поставленным на книжную полку, он ловко затеряется среди настоящей литературы, сохранив
711 руб
Раздел: Копилки

97. Предмет и метод гражданского права

98. Реферат о Пугачеве

99. Формы и методы государственного регулирования экономики в Казахстане


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.