ОмидТА

ОмидТА

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Национальный технический университет Украины «Киевский политехнический институт» Факультет информатики и вычислительной техники Кафедра Автоматизированных систем обработки информации и управления Курсовая работа по дисциплине: «Теория алгоритмов и математические методы представления знаний» по теме: «Приминение метода резолюций» Выпо лнил: студент гр. ІС-51 Кариан Омид . Киев – 2008
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
1. Постановка задачи. . Доказать с помощью метода резолюций, что формула 4 F логически следует из формул 1 2 , F F и 3 F , то есть, доказать, что: 1 2 3 4 , , | F F F F = (1). Где формулы 1 2 , F F , 3 F и 4 F следующие: 1 2 3 4 ( ); ( ); ( , ); ( ); ( ) ; ; . A zR z B xQ x C x yP x y F A B C F B C A F B C F A C = 2200 = 5 = 2200 5 = = ¬ ∧ → ¬ = = 2. Краткие теоретические сведения. Пусть даны две формулы ) ,..., , ( 2 1 n x x x A и ) ,..., , ( 2 1 n x x x B . Формула B является логическим следствием формулы A , если во всякой интерпретации формула B выполнена на каждом наборе переменных n n a x a x a x = = = ,..., , 2 2 1 1 , на которых выполнена формула A . символически для логического следования используют обозначение: | A B = . Теорема 1.1: | A B = тогда и только тогда, когда | ( ) A B = . Формулы ) ,..., , ( 2 1 n x x x A и ) ,..., , ( 2 1 n x x x B называются равносильными, если | A B = и | B A = . Для равносильных формул используется запись: A B . Примеры равносильных формул: (1.1): ( ) [ ( ) ] ( ) [ ( ) ] ( ) [ ( ) ] ( ) [ ( ) ] ( ( ) ) [ ( ) ] ( ( ) ) [ ( ) ] ( ( )) [ ( )] ( ( )) [ ( )] ( ) ( ) ( ) ( ). xA x
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

ОмидТА

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online