Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

Использование в АК обобщенных операций ( n G, u G, /G) и отношений ( c G, =G и др.), аналогичных по смыслу соответствующим операциям и отношениям алгебры множеств, расширяет аналитические возможности АК по сравнению с реляционной алгеброй и теорией бинарных отношений, а также дает возможность реализовывать не только известные в логике методы, но и создает предпосылки для разработки новых методов логико-семантического анализа, некоторые из них представлены ниже. 5. Краткий обзор методов АК. Перечислим основные задачи логического анализа, решаемые в АК. Логический вывод. В АК реализован принципиально новый алгебраи­ ческий подход к логическому выводу. Пусть посылки (или аксиомы) A\, A2, ..., A n и предполагаемое следствие B выражены как АК-объекты. Кратко опишем схемы решения двух задач логического вывода: 1) проверка правильности следствия осуществляется как проверка обобщенного включения ( А\ сла А 2 n G ... r^GA„) c G5; 2) вывод возможных следствий: сначала вычисляется: А =А\ Г\(;Л 2Г'\; ... n G Лп. после чего подбираются такие В}, чтобы выполнялось A c G Bj. При формировании возможных следствий часто необходимо учитывать определенные семантические ограничения (например, число и/или состав атрибутов в следствии), в связи с чем поиск Bj сводится к нахождению интересующих проекций АК-объекта A . Недедуктивные методы логико-семантического анализа. Помимо представленных задач логического вывода (дедуктивный анализ), в АК успешно решаются и задачи недедуктивного анализа: формирование и проверка корректности гипотез, вывод абдуктивных заключений [5, 6]. В отличие от формальной логики, в АК контроль корректности посылок (и/или гипотез, абдуктивных заключений) не сводится лишь к анализу их противоречивости (контрадикторности), а реализуется более тонкий семантический анализ несовместности посылок (например, выявление контрарных следствий), который опирается на понятие “Коллизия”. Коллизии в основном возникают как нарушение определенных формально выраженных правил или ограничений, регулирующих целостность или смысловое содержание системы. В системах пересматриваемой аргументации коллизиям в какой-то степени соответствуют понятия "опровержение", "подрыв аргумента", "атака" и т.д. Анали з неопределенностей. Для решения этой задачи в АК на данный момент реализовано два метода [2]. Первый заключается в том, что параметры с неопределенными значениями могут быть заданы в виде множеств или интервалов возможных значений. Второй метод позволяет применить вероятностный анализ ситуации, используя логико-вероятностный подход на основе АК. Заключение Обзор возможностей АК показывает, что в ней реализуется широкий спектр задач логико-семантического анализа: логический вывод, недедуктивные методы, анализ неопределенностей. По сути, предлагается новый алгебраи­ ческий подход к унификации решения перечисленных задач, опирающийся на законы булевой алгебры без привлечения неклассических логик. 118