Cтраница 1
Теория аргументации представляет собой тот редкий тип гуманитарной науки, возникший на наших глазах. [1]
Теория аргументации может успешно применяться для организации абдуктивного вывода. Например, процедура доказательства, описанная в разд. [2]
Как оказалось, теория аргументации может успешно применяться и для организации абдуктивного вывода. [3]
Дается обзор систем аргументации и показывается, что теория аргументации может успешно применяться для организации абдук-тивного вывода. Излагаются подходы к вычислению абдуктивных объяснений, описывается метод вероятностных абдуктивных рассуждений и дается применение абдукции и аргументации в логическом программировании. [4]
В ряде своих работ Ээмерен и Гроотендорст связывают теорию аргументации с теорией речевых актов, поскольку общение им видится как обмен речевыми актами разной степени сложности. Аргументация считается сложным речевым актом. [5]
Второе - она не просто анализируется, а реально порождается. Теория аргументации задает реальные процессы порождения аргументов. Третье - это редкая для гуманитарных наук ориентация на собеседника как на равно-активного с говорящим. Все эти теоретические предпосылки делают теорию аргументации сильным инструментарием в руках специалиста по ПР, особенно когда дело касается, к примеру, политических дискуссий, которые у нас находятся пока только в самом зачаточном состоянии. Как только мы сдвинемся еще на один шаг вперед в демократизации нашей политической жизни, возникнет серьезная потребностям в знаниях нового рода, разрабатываемых в рамках теории аргументации. [6]
На сегодняшний день разработан широкий спектр аргументаци-онных систем, отличающихся определениями базовых элементов и уровнями абстракции. Приведем краткое описание ряда аргумента-ционных систем, которое дает представление о современном уровне развития теории аргументации. [7]
В этой главе представлены основные подходы к организации аб-дуктивного вывода и к построению систем пересматриваемой аргументации. На сегодняшний день не существует формальной теории аргументации. Изложение основ теории аргументации приводится по этой работе. Обзор систем аргументации также выполнен по работе [10.1], и дополнительно использована работа [10.2], где описан ряд разработок по теории аргументации в искусственном интеллекте и примеры их практических приложений. Более подробное изложение аргументационной семантики Данга можно найти в [10.3], где, в частности, утверждается, что логическое программирование и другие формализмы немонотонного и пересматриваемого вывода в искусственном интеллекте основываются на принципах теории аргументации. В работе [10.4] описано, как различные системы для вывода по умолчанию могут быть представлены с помощью теории аргументации. В частности, здесь в качестве систем для вывода по умолчанию приводятся следующие: логика умолчаний, логическое программирование, автоэпи-стемические логики, немонотонные модальные логики, логика очерчивания. [8]
Теория аргументации представляет собой тот редкий тип гуманитарной науки, возникший на наших глазах. Перельман, профессора Амстердамского университета Франц ван Ээмерен и Роб Гроотендорст; последние создали также Международное общество по исследованию аргументации со своим журналом. Объект изучения теории аргументации не нов, это оправдание или опровержение рациональным образом чьей-либо точки зрения. Исходной посылкой стала неудовлетворенность двумя науками, традиционно сориентированными на высказывание: логика, по их мнению, слишком абстрактна, а лингвистика - слишком конкретна для этих целей. [9]
Заметим, что мы рассмотрели особенности решения с помощью аргументации задачи абдукции для случая, когда базовая теория представлена логическими программами. Если в качестве гипотез могут выступать лишь умолчания, для поиска абдуктивных объяснений можно использовать различные виды аргументационной семантики, для вычисления которых существует единая модель. В случае аб-дуктивного логического программирования применение аргументации позволяет справиться с проблемой несостоятельности обычной абдуктивной процедуры. Таким образом, теорию аргументации можно рассматривать как средство реализации абдуктивного вывода, позволяющее определять наилучшее абдуктивное объяснение как выигравшее в ходе определения статуса множеств гипотез-аргументов по правилам конкретной семантики при заданном отношении атаки. В настоящее время остается открытым вопрос о том, в каких случаях следует отдать предпочтение той или иной аргументационной семантике, какими свойствами обладают полученные абдуктивные объяснения. [10]
Второе - она не просто анализируется, а реально порождается. Теория аргументации задает реальные процессы порождения аргументов. Третье - это редкая для гуманитарных наук ориентация на собеседника как на равно-активного с говорящим. Все эти теоретические предпосылки делают теорию аргументации сильным инструментарием в руках специалиста по ПР, особенно когда дело касается, к примеру, политических дискуссий, которые у нас находятся пока только в самом зачаточном состоянии. Как только мы сдвинемся еще на один шаг вперед в демократизации нашей политической жизни, возникнет серьезная потребностям в знаниях нового рода, разрабатываемых в рамках теории аргументации. [11]
В этой главе представлены основные подходы к организации аб-дуктивного вывода и к построению систем пересматриваемой аргументации. На сегодняшний день не существует формальной теории аргументации. Изложение основ теории аргументации приводится по этой работе. Обзор систем аргументации также выполнен по работе [10.1], и дополнительно использована работа [10.2], где описан ряд разработок по теории аргументации в искусственном интеллекте и примеры их практических приложений. Более подробное изложение аргументационной семантики Данга можно найти в [10.3], где, в частности, утверждается, что логическое программирование и другие формализмы немонотонного и пересматриваемого вывода в искусственном интеллекте основываются на принципах теории аргументации. В работе [10.4] описано, как различные системы для вывода по умолчанию могут быть представлены с помощью теории аргументации. В частности, здесь в качестве систем для вывода по умолчанию приводятся следующие: логика умолчаний, логическое программирование, автоэпи-стемические логики, немонотонные модальные логики, логика очерчивания. [12]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [13]
Второе - она не просто анализируется, а реально порождается. Теория аргументации задает реальные процессы порождения аргументов. Третье - это редкая для гуманитарных наук ориентация на собеседника как на равно-активного с говорящим. Все эти теоретические предпосылки делают теорию аргументации сильным инструментарием в руках специалиста по ПР, особенно когда дело касается, к примеру, политических дискуссий, которые у нас находятся пока только в самом зачаточном состоянии. Как только мы сдвинемся еще на один шаг вперед в демократизации нашей политической жизни, возникнет серьезная потребностям в знаниях нового рода, разрабатываемых в рамках теории аргументации. [14]
В этой главе представлены основные подходы к организации аб-дуктивного вывода и к построению систем пересматриваемой аргументации. На сегодняшний день не существует формальной теории аргументации. Изложение основ теории аргументации приводится по этой работе. Обзор систем аргументации также выполнен по работе [10.1], и дополнительно использована работа [10.2], где описан ряд разработок по теории аргументации в искусственном интеллекте и примеры их практических приложений. Более подробное изложение аргументационной семантики Данга можно найти в [10.3], где, в частности, утверждается, что логическое программирование и другие формализмы немонотонного и пересматриваемого вывода в искусственном интеллекте основываются на принципах теории аргументации. В работе [10.4] описано, как различные системы для вывода по умолчанию могут быть представлены с помощью теории аргументации. В частности, здесь в качестве систем для вывода по умолчанию приводятся следующие: логика умолчаний, логическое программирование, автоэпи-стемические логики, немонотонные модальные логики, логика очерчивания. [15]