Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Универсальные факты


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

любит(авраам, гранаты).

любит(сара, гранаты).

все это можно выразить универсальным фактом любит(X, гранаты). В данном случае переменные позволяют выразить совокупность многих фактов. Факт умножить(0, X, 0) объединяет все факты, утверждающие, что 0, умноженный на любое число, дает 0.

Переменные в фактах неявно связаны квантором общности; это на интуитивном уровне означает, что факт любит(X, гранаты) утверждает, что для всех Х справедливо: X любит гранаты. В общем случае факт p(T,T,…,T). следует понимать так. что при любых значениях переменных X,...,X, где X– переменные, входящие в факт p(T,T,…,T). выполнено. Естественно, из факта с квантором общности можно вывести любой пример факта. Например, из любых(X, гранаты) следует любит(авраам, гранаты).

Это – третье правило вывода, называемое конкретизацией, из утверждения Р с квантором общности выводится пример РQ при любой подстановке Q.

Как и в случае вопроса, можно добиться, чтобы два неопределенных объекта, обозначенных переменными, совпадали – для этого нужно использовать имя одной и той же переменной. Факт плюс(0, X, X) означает, что 0 является левой единицей по сложению. Это следует понимать так, что при всех значениях X, 0 плюс X равно X. Аналогичное использование переменных возникает при переводе фразы «каждый любит себя» в факт любит(X, X).

Поиск ответа на основной вопрос при использовании факта с квантором общности происходит непосредственно. Ищется факт, для которого вопрос является примером. Например, ответом на вопрос плюс(0, 2, 2) на основе факта плюс(0, X, X) будет да. Поиск ответа на неосновной вопрос при использовании неосновных фактов требует нового понятия: общий пример двух термов.

·Определение. С называется общим примером термов А и В. если С есть пример А и С есть пример B. Иными словами, если найдутся такие подстановки Qи Q, что С =AQсинтаксически совпадает с ВQ



Например, цели плюс(0, 3, Y) и плюс(0, X, X) имеют общий пример плюс(0, 3, 3). Применения подстановки {Y = 3} к плюс(0, 3, Y) и подстановки {X = 3} к плюс(0, X, X) приводят к плюс(0, 3, 3).

В общем случае при поиске ответа на вопрос с использованием факта ищется общий пример вопроса и факта. Если общий пример существует, то он и будет, ответом. В противном случае ответ – нет.

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

<== предыдущая лекция | следующая лекция ==>
Экзистенциальные вопросы | Конъюнктивные вопросы и общие переменные

Дата добавления: 2014-01-07; Просмотров: 321; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:
studopedia.su - Студопедия (2013 - 2021) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.002 сек.