История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический icon

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


НазваниеИстория модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический
Размер5.33 Kb.
ТипДокументы

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

Синтаксический путь начинался с работ Герхарда Генцена (Gerhard Gentzen) и многочисленных попыток применить результаты Генцена (Gentzen) к модальной логике. Карри (Curry) первым совершил попытку применения логической системы Генцена (Gentzen) (или генценской системы) к модальной логике. За ним последовали Ониши (Ohnishi) и Мацумото (Matsumoto). Кангер (Kanger) оказался первым, кто использовал вне-логические (extra-logical) методы для того, чтобы применить систему Генцена (Gentzen). Также он был предтечей того, что сейчас известно как префиксные или маркированные табличные системы. Некогда общий метод был разработан другими авторами, пытавшимися найти похожие системы для других логик, схожих с модальной системой Генцена (Gentzen). Их усилия длились почти 20 лет.

Семантический путь берет свое начало от работ Бета (Beth) для классической логики высказываний, семантика которой подходила и для модальной логики до тех пор, пока не появилась семантика Крипке (Kripke). Это период также составлял почти 20 лет. Отсчитывая от этой точки можно говорить о возрождении модальных табличных систем, и модальной логики вообще.

Эти два метода слились в один, когда выяснилось, что классические семантические табличные системы и классические системы Генцена (Gentzen) суть одно и то же. Земан (Zeman) претендует быть первым, кто дал описание обоих традиций одновременно, хотя иногда он не мог построить отношения между табличной системой и системой Генцена (Gentzen). Ройтенберг (Rautenberg) более точен, и его теория подходит к большему числу логик, но он не получил должного внимания, так как его книга написана на немецком языке. Самая известная книга, описывающая большую часть основных логик, - это книга Фиттинга (Fitting).

Ближе к 80-м годам эти традиции воспринимались как две стороны одной медали, но ещё больше в этом убеждаются сейчас. Семантическая традиция получила известность в поле автоматизированных дедукций (правил вывода) в то время как синтаксическая – в поле теории типа (type theory). В автоматизированной дедукции основной упор делается на поиск доказательства в отличие от теории типа, где акценты расставлены на возможность различать доказательства для того, чтобы определить вычислительную интерпретацию на доказательствах.

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

Похожие:

История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconИстория модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический
История модальных табличных систем развивалась двумя путями: один – синтаксический, другой – семантический
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconРэй Дуглас Брэдбери. У нас всегда будет Париж
Рассказы, вошедшие в этот сборник, созданы двумя авторами. Один из них наблюдает, а другой записывает
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconДидахе (Учение двенадцати апостолов) Глава I
Есть два пути: один – жизни и один – смерти; велико же различие между обоими путями
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconСинтаксический уровень. Предложение Синтаксический уровень языка характеризуется набором своих единиц, к которым относятся словосочетание и предложение
Едставляющих собой сложные на- именования явления объективной действительности, например: студенческое собрание, человек среднего...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconВопросы к экзамену по курсу «Информационные системы и сети»
Назначение информационных систем. Понятие информационно-поисковых систем и систем обработки данных
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconРуководство позволит каждому стать сатанистом и практиковать сатанизм. Базовые принципы и практики сатанизма могут быть найдены во 2-м разделе
Чтобы стать сатанистом, тебе просто нужно принести обет преданности Сатане и следовать сатанинскому пути жизни. Это может быть выполнено...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconПатрик Зюскинд Парфюмер. История одного убийцы ««Парфюмер. История одного убийцы»
Сегодня его автор — Патрик Зюскинд — настоящая звезда интеллектуальной моды, один из лидеров художественного истэблишмента Старого...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconВоздействовать на ум и поведение человека можно различными путями
Воздействовать на ум и поведение человека можно различными путями, одни из которых требуют лишь специфичной подготовленности специалиста...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconГде искать основания психики? Слайд 1 История психологии – история выбора собственных оснований
На предыдущей лекции, говоря об экспериментальной психологии, мы акцентировали внимание на хронологии и фактах ее становления и на...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconЭй,позовите санитара. Кажись он пришёл в сознание
Лас-Вегас,сейчас представляет выжженную атомом радиактивную землю со всякой мерзостью,вроде-Гулей или Супермутантов!Эта история повествует...
История модальных табличных систем развивалась двумя путями: один синтаксический, другой семантический iconДжованни Джентиле философские основы фашизма
Нейтралистами. Та лёгкость, с какой самые непримиримые идеи были взяты на вооружение обеими партиями, показывает, что это распря...
Вы можете разместить ссылку на наш сайт:
Документы


При копировании материала укажите ссылку ©ignorik.ru 2015

контакты
Документы