ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Active logic and logic programming: integration of the concepts

Date of submission article: 13.05.2015
UDC: 004.832.3
The article was published in issue no. № 3, 2015 [ pp. 42-48 ]
Abstract:The article discusses the integration of active logic and logic programming concepts. Active logic combines several formalisms of so-called reasoning in time, that are considered not as a static sequence of statements, but as a process taking place in time. The principles in such logical systems are relevant in solving complex management tasks in a hard real-time mode. These tasks can be characterized by existing situations when exceeding allowed response time to what is happening in the external environment event can lead to catastrophic consequences, not a performance gradual deterioration. The concept of logic programming is to define the semantics of non-monotonic formalisms in terms of sets of liters, rather than more complex structures like Kripke as in other non-monotonic systems. This fact has a beneficial effect on the computational complexity of logic programs. As a result of combining the principles from these concepts, the authors obtained non-monotonic formalism that meets the concept of active logic. It seems simpler to implement and has the best characteristics of computational complexity comparing to other currently existing systems of active logic. The paper describes procedural and argumentation semantics for the proposed formalism. Unlike other systems of argumentation, in this semantics the relationships between the arguments are developing in time.
Аннотация:В статье рассмотрено объединение концепций активной логики и логического программированиия. Активная логика объединяет в себе несколько формализмов так называемых рассуждений во времени, которые рассматриваются не как статичная последовательность утверждений, а как протекающий во времени процесс. Принципы, заложенные в таких логических системах, актуальны при решении сложных задач управления в режиме жесткого реального времени. Для этих задач характерно наличие ситуаций, когда превышение допустимого времени реакции на происходящие во внешней среде события чревато катастрофическими последствиями, а не плавным ухудшением качества функционирования. В основе концепции логического программирования лежит определение семантики немонотонных формализмов в терминах множеств литер, а не более сложных структур в стиле Крипке, как это имеет место в других немонотонных системах. Данное обстоятельство благотворно сказывается на вычислительной сложности логических программ. В результате объединения принципов, лежащих в основе указанных концепций, получен немонотонный формализм, отвечающий концепции активной логики и, как представляется, более простой в реализации, а также имеющий лучшие характеристики вычислительной сложности по сравнению с другими системами активной логики, существующими в настоящее время. Для предложенного формализма описана процедурная и аргументационная семантика, в которой в отличие от других систем аргументации взаимоотношения между аргументами развиваются во времени.
Authors: Fominykh I.B. (igborfomin@mail.ru) - National Research University “MPEI”, Moscow, Russia, Ph.D, Vinkov M.M. (vinkovmm@mail.ru) - Bauman Moscow State Technical University, Moscow, Russia, Ph.D, Pozhidaev A.K. (pozhidaevak@gmail.ru) - National Research University “MPEI”, Moscow, Russia
Keywords: procedural semantics, active logic, argumentation semantics, nonmonotonic output, hard real-time
Page views: 7393
Print version
Full issue in PDF (8.21Mb)
Download the cover in PDF (1.09Мб)

Font size:       Font:

Дедуктивные способности реальных людей (необязательно агентов) могут быть самыми разными, от вполне совершенных до весьма посредственных. Но вне зависимости от этих способностей люди не являются логически всеведущими. Одна из достаточных причин очевидна: для осознания следствий из известных фактов человеку необходимы ментальные усилия, приложение которых приводит к расходу имеющихся ресурсов и прежде всего располагаемого времени. Если этих ресурсов не хватит, человек не сможет (не успеет к определенному сроку) должным образом осознать некоторые, быть может, важные для него факты, хотя они и составляют часть его имплицитных знаний. Этого не случилось бы, если бы человек действительно был логически всеведущим. Эти же соображения остаются в силе и для искусственных рациональных агентов [1], о моделировании ментальных свойств которых идет речь.

Как правило, в существующих эпистемических логиках (модальных, динамических эпистимических и др.) состояние знаний агента рассматривается как неизменное, пребывающее в статике. При этом, если знания замкнуты относительно всех логических законов (аксиом и правил вывода) данной логики, то, за исключением тривиальных случаев, мы имели бы дело или с логически всеведущим агентом, или с агентом, чьи дедуктивные способности искусственно ослаблены. Видимо, ключевым моментом здесь является статичность знаний, о которых способен рассуждать агент. Эта статичность не позволяет установить связь между знаниями агента и располагаемым ресурсом времени. Чтобы выйти за эти рамки, необходимо расширить дедуктивные возможности агента таким образом, чтобы он был способен рассуждать не только о состоянии знаний (своем и других агентов), но и о том, как это состояние изменяется во времени в результате рассуждений. Обобщая, можно сказать, что рациональный и реалистичный агент должен обладать способностью к метарассуждению определенного рода. Далее будет рассмотрена логическая система, дающая агентам такую способность.

Как правило, эпистемические логики дают возможность рассуждать о процессе рассуждения агента в целом после его фактического осуществления. Представленная в данной статье логическая система позволяет наблюдать за процессом рассуждения агента во время его осуществления. Сохраняя возможность рассуждать об агентах, как бы «глядя на них со стороны» (как это имеет место, например, в случае динамической эпистемической логики), данная система позволяет самому агенту соотносить процесс своего рассуждения с событиями, происходящими во внешней среде в результате деятельности этого агента или помимо нее. Последнее свойство получило название «темпоральная чувствительность» [2].

Общая концепция активной логики изложена в работе [2] . Как модель дедукции, активная логика характеризуется языком, множеством дедуктивных правил, а также множеством «наблюдений». Если предположить, что агент рассуждает, находясь в статической среде, множество наблюдений может рассматриваться как часть исходной базы знаний дедуктивной системы, то есть как множество утверждений, поддерживающих дедуктивный процесс, в результате которого порождаются новые знания. Однако использование функции наблюдения позволяет моделировать динамическую среду, информация о которой поступает к агенту по мере происходящих в этой среде изменений.

Рассуждение во времени характеризуется выполнением циклов дедукции, называемых шагами [3]. Так как в основе активной логики лежит дискретная модель времени, эти шаги играют роль временного эталона – время измеряется в шагах. Знания агента ассоциируются с индексом шага, на котором они были впервые получены. Принципиальное отличие активной логики от других темпоральных эпистемических логик в том, что темпоральные аргументы введены в язык собственных теорий агентов. Таким образом, временной параметр связывается не только с каждым утверждением (формулой), которое эксплицитно знает агент, но и с дедуктивными правилами вывода. То, что узнал агент на шаге t (t-знания), используется для вывода новых знаний на шаге (t + 1). Согласно [4, 5], дедуктивные правила вывода в активной логике имеют следующий вид:

 – конъюнкция,

 – отсоединение,

 – наследование,

 – modus ponens.

Наблюдения могут осуществляться на любом шаге дедуктивного процесса. Результатом наблюдения является формула, выражающая некоторое утверждение и ассоциированная с соответствующим шагом. Для иллюстрации осуществляемого по шагам процесса рассуждений предположим, что агент изначально знает (на шаге t), что f®y и y®c и на шаге (t + 1) он наблюдает f. В приведенных далее формулах показано, какие новые знания появляются на каждом шаге при использовании агентом дедуктивных правил наследования и modus ponens:

t : … f ® y , y ® c …

t + 1 : … f …

t + 2 : … y …

t + 3 : … c …

Формально активная логика определяется следующим образом. Пусть L – стандартный язык первого порядка; W Í L – множество формул; N – множество натуральных чисел.

Тогда формально могут быть определены функция наблюдения, история и функция вывода (см. [6]).

Определение 1. Функция наблюдения есть отображение OBS: N ÞP(W ), где P(W ) – множество всех подмножеств W и для любого tÎN OBS(t) есть конечное множество.

Определение 2. История есть конечный кортеж, компонентами которого являются пары подмножеств множества W. H – есть множество историй.

Определение 3. Функция вывода есть отображение INF: H ÞP (W ), где для любого hÎH INF(h) есть конечное множество.

Содержательно история – это хронологическая последовательность пар множеств выведенных теорем/наблюдений агента, циклически порождавшихся (по шагам рассуждений) вплоть до некоторого момента времени. Функция вывода расширяет историю, являющуюся ее аргументом, реализуя новый шаг рассуждения и порождая множество новых теорем, выведенных агентом к следующему моменту времени. Формализация этих соображений в терминах активной логики SLn выглядит следующим образом [5].

Определение 4. Шаговая теория для языка L есть тройка , где L есть язык первого порядка; OBS – функция наблюдения; INF – функция вывода. Будем использовать нотацию SLn(OBS, INF) для обозначения такой теории (L имплицируется определениями OBS и INF).

Определение 5. Пусть trm0 – пустое множество. Для всех i > 0 множеством теорем i-го шага trmi (i-теорем) назовем INF (<, , …, >. Мы пишем SLn (OBS, INF) ⊢ ij, имея в виду, что j является i-теоремой теории (OBS, INF).

Определение 6. Для данной шаговой теории (OBS, INF) соответствующей метатеорией (обозначаемой как SLn(OBS, INF)) является теория первого порядка, включающая числа, имена формул из SLn(OBS, INF), двухместный предикатный символ K, такая, что SLn(OBS, INF) ⊢ K (i, j), если и только если (OBS, INF) ⊢i j.

Сегодня известно множество различных темпоральных логик, назначение которых, как принято считать, состоит в формализации рассуждений о времени (reasoning about time). Но сам процесс рассуждения при этом происходит вне времени: мир как бы замирает, пока система «думает».

В некоторых случаях такая идеализация не всегда приемлема, особенно это касается интеллектуальных систем «жесткого» реального времени. Для этих систем характерно наличие ситуаций, когда превышение времени реакции на происходящие во внешней среде события чревато катастрофическими последствиями, а не плавным ухудшением качества функционирования, как это имеет место для задач (систем) «мягкого» реального времени. Для систем этого типа важно уметь соотносить по времени шаги проводимых рассуждений с событиями, происходящими во внешней среде. Рассуждения такого типа получили название рассуждений во времени (reasoning in time). С их посредством решаются задачи, предельный срок выполнения которых выражен в абсолютных временных единицах.

Для решения данных задач необходимым условием является темпоральная чувствительность проводимых рассуждений. Далее будет рассмотрена система активной логики, формализующая рассуждения такого рода. Для этой системы определена процедурная семантика и представлены аргументационная семантика и фундированная семантика расширенных логических программ. Модели метарассуждений во времени, проводимых при решении задач второго и третьего типов, более естественно представляются, соответственно, в формализме аргументационной системы в [7] и в системе с фундированной семантикой в [5].

Процедурная семантика активной логики

Процесс рассуждений в данной системе активной (шаговой) логики может быть представлен как последовательность шагов (далее – шагов вывода), на каждом из которых формируется так называемое множество мнений (belief set), представляющее собой множество формул на языке, близком к языку логики первого порядка, и представленное эксплицитно [7]. Каждому шагу вывода соответствует номер, который трактуется как момент времени на линейных дискретных часах. Этот номер вводится при помощи специального литерала, имеющего вид now(i), где i – номер шага вывода. На этот номер могут делаться ссылки в формулах, что позволяет соотносить во времени шаги вывода с другими событиями, происходящими в системе и вокруг нее. Это свойство активной логики и получило название темпоральной чувствительности. В любой известной версии активной логики шаг вывода представляет собой применение всех выполнимых на данный момент правил вывода (это полностью определяется текущим множеством мнений). Состав и структура правил вывода отличаются в различных версиях активной логики, но немонотонный характер проводимых рассуждений всегда определяется использованием двух принципов: обнаружение и исправление противоречий и негативная интроспекция. Первый принцип состоит в выявлении и по возможности устранении в текущем множестве мнений прямых противоречий, то есть литералов, образующих контрарную пару (в дальнейшем для любого литерала, например q, будем обозначать его дополнение до контрарной пары как –q).

Второй принцип состоит в использовании проблемно-зависимых правдоподобных правил вывода, позволяющих делать заключения на основе утверждений, интерпретируемых как «на момент выполнения данного шага вывода неизвестно, что j» (где j – некоторая формула, обычно литерал).

Примером реализации указанных принципов может служить система, представленная ниже. В ней при обнаружении прямых противоречий между литералами q и –q эти литералы, а также все формулы, выведенные «при участии» этих литералов, помечаются как «утратившие веру». В дальнейшем доверие к некоторым из утративших его формул может быть восстановлено, если для этого появятся основания.

База знаний (БЗ) системы состоит из двух частей. Одна часть (строгая) является множеством поименованных формул логики первого порядка. Эта часть БЗ представляет строгие, надежные знания. Новые строгие знания могут получаться в результате применения к формулам из этой части БЗ правила резолюции. Вторая часть БЗ (правдоподобная) состоит из поименованных правил вида N : j Þ q, где N – имя; j – конъюнкция литералов; q – литерал. Правила этого вида выражают означенный выше принцип негативной интроспекции. Для разрешения прямых противоречий на множестве правдоподобных правил может быть задано отношение предпочтения >.

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

N : a1 Ù a2 …Ùam ® b,                                          (1)

где a1, …, am – пропозициональные литералы или литералы языка логики первого порядка вида now(j), где j – натуральное число; b – пропозициональный литерал; N – строка символов, обозначающая имя. Правдоподобные правила имеют вид

N : a1 Ù a2 …Ùam Þ b.                                          (2)

Правила этого вида выражают описанный выше принцип негативной интроспекции в следующей интерпретации: если выполняется формула a1Ùa2Ù…Ùam и на данном шаге вывода неизвестно, выполняется ли формула (которая является литералом) –b, допустимо предположить, что выполняется формула b. В дальнейшем для простоты антецеденты строгих и правдоподобных правил будем рассматривать как множества литералов. Если это множество пусто, то такие правила будем рассматривать как эквивалентные правилам с такими же консеквентами, но в антецедентах которых имеется единственный литерал now(0). Таким образом, данная система может рассматриваться как вариант активной логики, полностью основанный на правилах и отвечающий основной концепции логического программирования (моделями формул являются множества литералов).

Шаговой теорией называют пару T = (R, >), где R – конечное множество строгих правил ви- да (1) и правдоподобных правил вида (2); > – ациклическое отношение предпочтения, заданное на множестве R. При этом полагается, что все строгие правила имеют один и тот же приоритет, превосходящий приоритет любого правдоподобного правила. Для любой шаговой теории T=(R, >) будем обозначать R[q] и Rs[q], соответственно, множество всех правил и множество всех строгих правил, консеквентом которых является q. Множество литералов, образующих антецедент правила r, обозначается A(r). Пусть LT – множество помеченных литералов следующих трех типов: str q, pla q, dis q, где q – пропозициональный литерал, такое, что str q, pla q, dis q Î LT тогда и только тогда, когда q является консеквентом каких-либо правил из множества R. Эти типы интерпретируются, соответственно, как «литерал, выводимый строго (strict)», «литерал, выводимый правдоподобно (plausible)», «литерал, к которому утрачено доверие (distrusted)». Множеством мнений шаговой теории T = (R, >) называется множество вида {now(i)}ÈLTi, где i – натуральное число или 0, LTiÌLT. Рассмотрим оператор JT, преобразующий множества мнений во множества мнений таким образом, что, если B – множество мнений, такое, что now(i)ÎB, то now(i+1) Î JT(B) и существуют достаточные условия принадлежности помеченных литералов str q, pla q, dis q множеству мнений JT(B), а именно:

pla q: Если pla qÎJT(B), то (str qÏB и str –qÏB и

$ rÎR[q] " aÎA(r): (pla aÎB или str aÎB или

a=now(j) и (i–1)³j)) и (неверно, что pla –qÎB) или

(неверно, что $ sÎR[–q] " aÎA(s):

(pla aÎB или str aÎB или a=now(j) и (i–1)³j) и

неверно, что r>s))

dis q: Если dis qÎJT(B), то str qÏB и (pla qÎB или

dis qÎB и неверно, что $ rÎR[q] " aÎA(r):

(pla aÎB или str aÎB или a=now(j) и (i–1)³j)) и

((pla –qÏB или dis –qÏB) или ($ sÎR[–q] " aÎA(s):

(pla aÎB или str aÎB или a=now(j) и (i–1)³j) и неверно, что r>s))

str q: Если str qÎJT(B), то str qÎB или

$ rÎRs[q] " aÎA(r): str aÎB или a=now(j) и (i–1)³j.

Пусть B – множество мнений теории T, такое, что литерал now(i)ÎB. Выводом (доказательством) в теории T называют конечную последовательность B множеств мнений. При этом B(i) обозначает i-й элемент в выводе, B(0)={now(0)}, для любого i B(i+1)=JT(B(i)). Последним элементом вывода является множество мнений, обозначаемое Bfin (финальное). Шагом вывода шаговой теории T=(R, >) называют всякую пару вида (B(i), B(i+1)), при этом номером шага вывода называют число, равное (i+1). Следствием (i-следствием) шаговой теории T называют литерал, помеченный как str, или pla, принадлежащий множеству мнений Bfin (B(i)). При этом, если литерал помечен как str, он является строгим следствием (строгим i-следстви­ем) теории T, иначе – правдоподобным следствием (правдоподобным i-следствием).

Шаговые теории T и T ¢ называют эквивалентными тогда и только тогда, когда всякое строгое или правдоподобное следствие теории T является, соответственно, строгим или правдоподобным следствием теории T ¢. Приведенный ниже пример иллюстрирует «темпоральную чувствительность» данного варианта активной логики.

Пример 1. Пусть множество R1 шаговой теории T1 = (R1, >) состоит из следующих элементов:

N1: ® p

N2: p Þ q

N3: q Þ r

N4: now(2) Þ Ø задача_решена

N5: Ø задача_решена Þ Ø задача_решена

N6: r Þ задача_решена

Допустим, что N5>N6, N6 > N4. Доказательство для данной теории:

B(0)={now(0),}, B(1)={now(1), str p},

B(2)={now(2), str p, pla q,},

B(3)={now(3), str p, pla q, pla Ø задача_решена, pla r},

B(4)={now(4), str p, pla q, pla Ø задача_решена, pla r, pla задача_решена},

B(5)=Bfin={now(5), str p, pla q, pla Ø задача_ре­шена, pla r, dis задача_решена}.

Содержательно этот пример можно интерпретировать так: задача не была решена, так как решение найдено слишком поздно. Если бы литерал r был выведен раньше, чем на шаге 3, задача была бы решена. Представленная выше модель метарассуждений подходит для задач, предельный срок решения которых выражен в абсолютных временных единицах.

Модель метарассуждений во времени, отвечающая аргументационной семантике

Теория аргументации [8] оказалась весьма плодотворной при представлении немонотонных рассуждений [9]. Установлено, что некоторые хорошо известные немонотонные формализмы соответствуют различным частным случаям аргументационной структуры. В терминах теории аргументации для них удалось получить весьма элегантные определения отношения логического следования. В статье рассматривается подход к построению аргументационной семантики для шаговых теорий, отвечающих концепции активной логики [5]. Логические системы, отвечающие данной концепции (например [10]), одной из которых является система шаговых теорий, предназначены для формализации рассуждений во времени (reasoning situated in time), относящихся к классу (мета) рассуждений рационального агента, временной ресурс которого ограничен и который способен это осознать. Далее на примере системы шаговых теорий показано, как теория аргументации может быть использована для построения семантики немонотонных формализмов, отвечающих общим принципам активной логики.

Аргументационные системы обычно в качестве базовых элементов имеют некоторый логический язык и определения аргумента, конфликта между аргументами и статуса аргументов [11]. Последние три элемента часто используются для определения отношения логического следования. Ниже представлена аргументационная система, состоящая из указанных элементов, построенных с учетом специфики шаговых теорий активной логики.

Определение 7. Пусть T=(R, >) – некоторая шаговая теория. Аргументом для T назовем всякий литерал (логики первого порядка) n вида now(i), где i>0, для которого существует правило rÎR, такое, что nÎA(r), или последовательность правил Arg=[r1, …, rn], где r1, …, rnÎR, такую, что для любого 1³i³n, если pÎA(ri), где p – пропозициональный литерал, найдется такое j

Для данной шаговой теории T=(R, >) множество всех ее аргументов будем обозначать ArgsT. Если аргументом является литерал логики первого порядка вида now(i), будем называть такой аргумент ограничивающим (действие других аргументов снизу по времени). Иначе аргумент называется поддерживающим. Если все правила, используемые в поддерживающем аргументе, являются строгими, такой аргумент называется строгим. Иначе поддерживающий аргумент называется правдоподобным. Заключением поддерживающего аргумента Arg=[r1, …, rn] называется пропозициональный литерал q тогда и только тогда, когда rnÎR[q].

Поддерживающим подаргументом аргумента Arg=[r1, …, rn] называется всякая подпоследовательность последовательности [r1, …, rn], удовлетворяющая определению 7. Ограничивающий аргумент является подаргументом аргумента Arg= =[r1, …, rn], если соответствующий литерал входит в антецедент какого-либо из правил r1, …, rn.

Всякий поддерживающий подаргумент аргумента Arg=[r1, …, rn] называется его максимальным подаргументом, если литерал, являющийся заключением этого подаргумента, входит в антецедент правила rn. Ограничивающий аргумент является максимальным подаргументом аргумента Arg=[r1, …, rn], если соответствующий литерал входит в антецедент правила rn.

Пример 1 (продолжение). Аргументами теории T1 = (R1, >) являются Arg1 = [N1, N2, N3, N6], Arg2 = [N4, N5] и все их подаргументы. Аргументы Arg3 = [N1, N2, N3], Arg4 = [N4] являются максимальными (поддерживающими) подаргументами, соответственно, аргументов Arg1 и Arg2. Единственным ограничивающим аргументом теории T1 (и соответствующим подаргументом аргументов Arg2 и Arg4 ) является Arg5 = now(2).

Переходя к определению статуса аргумента и конфликта между аргументами шаговых теорий, следует учесть, что в отличие от других систем аргументации, где взаимоотношения различных аргументов изучаются «в статике», здесь необходимо рассматривать развитие этих взаимоотношений во времени, то есть по шагам вывода шаговой теории. На некотором шаге вывода конкретный аргумент может быть еще не построен, то есть не успеть войти в действие, а после введения в действие он может действовать до момента (шага вывода) выведения из действия. Последнее означает, что данный аргумент (на данном шаге) отклонен (=опровергнут) из-за последствий конфликта с другими аргументами. Таким образом, понятие «введение аргумента в действие» играет ключевую роль при определении статуса аргументов и конфликта между ними. В дальнейшем для простоты на шаг вывода с номером i будем ссылаться просто как на шаг i.

Определение 8. Введение в действие аргументов шаговых теорий осуществляется по следующим правилам.

1. Всякий ограничивающий аргумент вида now(i) вводится в действие на шаге i.

2. Если поддерживающий аргумент не имеет подаргументов, он вводится в действие на шаге 1.

3. Всякий поддерживающий аргумент вводится в действие на шаге i, если все его подаргументы введены в действие на предыдущих шагах и существует его максимальный подаргумент, введенный в действие на шаге (i–1).

После введения аргумента в действие на последующих шагах, если не оговорено иное, считается, что он имеет статус действующего.

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

Определение 9. Всякие поддерживающие аргументы Arg1 и Arg2 атакуют друг друга начиная с шага i тогда и только тогда, когда пропозициональные литералы, являющиеся их заключениями, образуют контрарную пару, оба аргумента являются действующими и хотя бы один из них введен в действие на шаге i.

Пусть поддерживающие аргументы Arg1 и Arg2 имеют в качестве заключения литералы q и –q соответственно. Будем говорить, что Arg1 сильнее Arg2, если существует правило rÎR[q], rÎArg1, такое, что для любого правила sÎR[–q], sÎArg2, имеет место r>s.

Определение 10. Поддерживающий аргумент Arg1 поражает поддерживающий аргумент Arg2 начиная с шага i тогда и только тогда, когда Arg1 и Arg2 атакуют друг друга начиная с шага i, и неверно, что Arg2 сильнее Arg1.

Поддерживающий аргумент Arg1 подрезает поддерживающий аргумент Arg2 начиная с шага i тогда и только тогда, когда Arg1 поражает какой-либо поддерживающий подаргумент аргумента Arg2 начиная с шага i.

Определение 11. Поддерживающий аргумент опровергнут (выведен из действия) на шаге i тогда и только тогда, когда существует некоторый аргумент, который его поражает начиная с шага i, или один из его максимальных подаргументов опровергнут на шаге (i–1).

Таким образом, аргумент, пораженный на шаге i, перестает быть действующим, его «жизнь» заканчивается. Но аргумент, подрезанный на шаге i, в соответствии с концепцией активной логики еще живет некоторое время, которое требуется на «осознание» данного факта агентом, чье поведение моделируется соответствующей шаговой теорией. Заметим также, что, разумеется, «смерть» аргумента не означает «смерти» всех его подаргументов.

Пример 2. Пусть множество R2 шаговой теории T2=(R2, >) состоит из следующих элементов:

N1: Þ p

N2: p Þ q

N3: q Þ r

N4: now(2)Þ Øp

N5: now(4)Þq

N6: rÞs

Допустим, что отношение > = Æ. Аргументами теории T2 являются Arg1 = [N1, N2, N3, N6], Arg2 = = [N4], Arg3 = [N5, N2, N3] и все их подаргументы. Аргументы Arg2 и Arg4 = [N1] атакуют и поражают друг друга на шаге 3. Аргумент Arg1 подрезан на шаге 3 и опровергнут на шаге 6. Аргумент Arg3 введен в действие на шаге 7, который является финальным.

На основании изложенного можно сделать следующие выводы. Как правило, в существующих эпистемических логиках состояние знаний агента рассматривается как статическое. Эта статичность не позволяет установить связь между знаниями агента и располагаемым ресурсом времени. Чтобы выйти за эти рамки, необходимо расширить дедуктивные возможности агента таким образом, чтобы он был способен рассуждать не только о состоянии знаний, но и о том, как это состояние изменяется во времени в результате рассуждений. В статье рассмотрен один из возможных подходов – использование активной (шаговой) логики.

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

Рассмотренная система шаговых теорий, как и другие существующие варианты активной логики, опирается на модель времени, в основе которой лежит понятие «внутренние часы». Смысл его в том, что мерой времени здесь является продолжительность шагов доказательства, которая может меняться в зависимости от разных условий. Представляет интерес разработка варианта активной логики, для которой мерой времени будет какой-либо внешний источник, не зависящий от «внутреннего устройства» рассуждающего агента.

Литература

1.     Ho D.N., Logical omniscience vs. logical ignorance. On a dilemma of epistemic logic, Progress in Artificial Intelligence. Proc. of EPIA’95, LNAI, vol. 990, Springer Verlag, 1995, pp. 237–248.

2.     Elgot-Drapkin. Step Logic: Reasoning situated in time. PhD thesis. Department of computer science, University of Maryland Publ., Colledge-Park, Maryland, 1988, p. 134.

3.     Purang K., Purushothaman D., Traum D., Andersen C., Traum D., Perlis D. Practical Reasoning and Plan Executing with Active Logic. 1999. Proc. of the IJCAI'99 Workshop on Practical Reasoning and Rationality, 1999, pp. 74–91.

4.     Фоминых И.Б. Об одном классе синергических интеллектуальных систем: некоторые итоги и перспективы // Информационно-измерительные и управляющие системы. 2013. № 5. С. 20–28.

5.     Виньков М.М. Активная логика с точки зрения фундированной семантики логических программ с приоритетами // КИИ-2004: сб. науч. тр. IX национ. конф. с междунар. участ. М.: Физматлит, 2004. Т. 1. С. 86–94.

6.     Виньков М.М., Фоминых И.Б. Рассуждения о знаниях и проблема логического всеведения. Ч. 2: Введение темпорального параметра в метаязык // Искусственный интеллект и принятие решений. 2014. № 1. С. 3–10.

7.     Виньков М.М. Аргументационная семантика для шаговых теорий активной логики // КИИ-2006: сб. науч. тр. X национ. конф. с междунар. участ. 2006. Т. 1. С. 64–72.

8.     Dung P.M. Negation as hypothesis: an abduction foundation for logic programming. Proc. 8th Intern. on Logic Programming. Paris, France, MIT Press, 1991,  pp. 63–78.

9.     Вагин В.Н., Загорянская А.А. Аргументация в правдоподобном выводе // КИИ-2000: сб. науч. тр. VII национ. конф. с междунар. участ. М.: Физматлит, 2000. Т. 1. С. 28–34.

10.  Bhatia M., Chi P., Chong W., Josyula D.P., Okamoto Y., Perlis D., Purang K. Handling uncertainty with active logic. AAAI Fall Symposium on Uncertainty of Communication, 2001, pp. 84–107.

11.  Моросин О.Л., Вагин В.Н. Программная реализация системы аргументации со степенями обоснования // Программные продукты и системы. 2015. № 1. С. 21–27.


Permanent link:
http://swsys.ru/index.php?page=article&id=4026%E2%8C%A9=en&lang=en
Print version
Full issue in PDF (8.21Mb)
Download the cover in PDF (1.09Мб)
The article was published in issue no. № 3, 2015 [ pp. 42-48 ]

Perhaps, you might be interested in the following articles of similar topics: