More documents

Recommendations

Info

УДК 004.82 (045) А.І. ВАВІЛЕНКОВА, канд.техн. наук, доц., НАУ, Київ ВИЯВЛЕННЯ ЛОГІЧНИХ ПРОТИРІЧ У ТЕКСТОВІЙ ІНФОРМАЦІЇ Проаналізовано проблему виявлення логічних протиріч у текстовій інформації, досліджено формально-логічні закони як теоретичну основу для встановлення істинності та хибності логічних висловлювань, продемонстровано пошук логічних протиріч методом резолюцій, запропоновано алгоритм виявлення логічних протиріч, що базується на порівнянні логіко-лінгвістичних моделей текстової інформації. Бібліогр.: 8 назв. Ключові слова: логічні протиріччя, формально-логічні закони, логічні висловлювання, метод резолюцій, логіко-лінгвістичні моделі. Постановка проблеми. Глибоке вивчення та засвоєння законів правильного мислення необхідне для будь-якої області наукової діяльності. Без логічного розмірковування неможливо ні відкрити істину, ні обґрунтувати достовірність теоретичних узагальнень для практичних дій. З точки зору лінгвістики початковими поняттями для вивчення семантики є значення, синонімія, усвідомленість. Е. Лепор пише: «Дослідники вважають, що семантична теорія мови – це теорія значення, а перераховані вище явища та властивості – центральні поняття, пов’язані зі значенням». З точки зору логіки, центральне поняття семантики – поняття істинності, яке найбільш повно характеризує обґрунтованість логічного виводу. Однією з важливих проблем аналітичної обробки текстової інформації, яку намагаються вирішити сьогодні вчені, є дослідження текстів на наявність у них логічних протиріч. Методологічно логічне протиріччя полягає у тому, що у деякій теорії, яка базується на певній логіці, неможливо відрізнити хибні твердження від істинних [1]. Саме на вирішення проблеми пошуку у текстовій інформації логічних протиріч з використанням формальних моделей представлення знань і спрямовані подальші дослідження. Аналіз літератури. Зростання ролі інформаційних технологій, прагнення зрозуміти, як мислить людина, формалізувати ці знання, змусило багатьох іноземних та вітчизняних вчених (Попов Е.В., Поспєлов Д.А., Гладкий А.В., Рубашкін В.Л., Звягінцев В.А. [1], Карнап Р., Вольф Є.М., Виноград Т., Хомський Н., Лакофф Дж., Греймас А.Ж., Фостер Д.М., Кронгауз М.А., Лайонз Д.) ще декілька десятиліть тому ретельно досліджувати структуру природної мови. Так, Звягінцев В.А. [1] намагається у своєму циклі книжок узагальнити всю існуючу інформацію щодо обробки природно-мовних текстів. В [2] ISSN 2079-0031 Вестник НТУ "ХПИ", 2012, № 38 32
Попов Е.В. проводить паралель між логікою мислення та логікою предикатів, в [3] чітко сформульовані формально-логічні закони та пояснена їх суть, в [5] Вагін В.Н. шляхом використання методу резолюцій, як одного з основних методів логічного виводу, робить експерименти щодо пошуку логічних протиріч та пропонує логіколінгвістичну модель як засіб опису роботи складної системи на підприємстві. В [7] автор використовує логіко-лінгвістичну модель уже не для опису певної ситуації, а для відображення синтаксичної структури речень природної мови. Мета статті – дослідити процес виявлення логічних протиріч у текстовій інформації за допомогою використання відомих методів логічних виводів, а також сформулювати основні етапи алгоритму виявлення логічних протиріч за допомогою аналізу формальних засобів представлення природно-мовних текстів, зокрема, шляхом порівняння логіко-лінгвістичних моделей. Формально-логічні закони. Логічне протиріччя – це твердження, в якому одночасно стверджується наявність певної ситуації A та її відсутність ÿ A . Два вирази, в яких містяться протиріччя, не можуть бути одночасно ні істинними, ні хибними. Це підтверджується другим законом логіки про не протиріччя. Саме логічні закони дають змогу зафіксувати властивості та ознаки, що постійно відбуваються у світі (визначеність, унікальність, стабільність), та простежити правильність побудови логічних ланцюжків [2]. Закон тотожності – довільне поняття та висловлювання тотожне само собі. Якщо керуватися цим законом, то в процесі дослідження не можна заміняти конкретні поняття іншими поняттями. Проте на практиці, а особливо при написанні текстів на природній мові, заміни відбуваються дуже часто, наприклад, явища синонімії та омонімії, що само по собі є генератором помилок, пов’язаних із застосуванням закону тотожності. Таким чином, закон тотожності забезпечує визначеність логічного мислення і розуміє під собою те, що не можна ототожнювати різні думки, а тотожні думки сприймати як не тотожні. Закон протиріччя – два протилежні висловлювання не можуть бути одночасно істинними, принаймні одне з них має бути хибним. Якщо перший закон виражає відношення логічної однозначності, то другий закон – відношення логічної несумісності [3]. Математичний запис закону протиріччя: ÿ( A & ÿA) = 1 . Цей закон є фундаментальним логічним законом, на якому побудована вся сучасна математика. Закон протиріччя діє у відношенні довільних контрарних та контрадикторних висловлювань. ISSN 2079-0031 Вестник НТУ "ХПИ", 2012, № 38 33
Page 1 and 2: ВІСНИК НАЦІОНАЛЬНО
Page 3 and 4: УДК 004.9 К.Е. БАЙДА, м
Page 5 and 6: Правила 1 Вход Проц
Page 7 and 8: расширенной популя
Page 9 and 10: УДК 621.384: 621.385: 621.365: 6
Page 11 and 12: Управління процесо
Page 13 and 14: оптико-электронной
Page 15 and 16: точки зрения удале
Page 17 and 18: участок называется
Page 19 and 20: вычислений преобра
Page 21 and 22: показывает, что РФ
Page 23 and 24: размером апертуры.
Page 25 and 26: UDC 004.932.4 Comparative analysis
Page 27 and 28: Целью статьи являе
Page 29 and 30: этого предполагает
Page 31: розробляється. Роз
Page 35 and 36: перевірене та визн
Page 37 and 38: не містить їх, не пр
Page 39 and 40: Анализ большого чи
Page 41 and 42: является метрикой.
Page 43 and 44: Отметим, что рассмо
Page 45 and 46: УДК 004.93'11 Спосіб ви
Page 47 and 48: Целью статьи являе
Page 49 and 50: ( x ( t ), K,x ( t , t ) + Q( x , K
Page 51 and 52: u + ( a 44 A2 + 2a44 A4 ( a44x4 + a
Page 53 and 54: Рис. 3. Расход топли
Page 55 and 56: УДК 629.42 В.Д. ДМИТРИЕ
Page 57 and 58: Поскольку объект у
Page 59 and 60: Зная первую произв
Page 61 and 62: L 2 X1 d( LX Y1 ) 1 dX1 dX1 Y1 = LX
Page 63 and 64: Зная Т 1 , несложно о
Page 65 and 66: быстродействия нео
Page 67 and 68: 3 Ê Ф Ф ˆ [ , Ф] Á ∂H ∂
Page 69 and 70: оптимальные и адап
Page 71 and 72: Цель данной работы
Page 73 and 74: Модификация метода
Page 75 and 76: точность классифик
Page 77 and 78: УДК 004.822 В.В. КАРАСЮ
Page 79 and 80: собой синонимы пон
Page 81 and 82: уточненной онтолог
Page 83 and 84:
Subject issue: Information Science
Page 85 and 86:
призначеними для р
Page 87 and 88:
забезпеченні систе
Page 89 and 90:
Монітор АЦП Систем
Page 91 and 92:
Розроблений пакет
Page 93 and 94:
УДК 681.325 М.І. КОЗЛЕН
Page 95 and 96:
Для порівняння опр
Page 97 and 98:
вибірки завадостій
Page 99 and 100:
Рис. 4. Завадостійкі
Page 101 and 102:
УДК 681.325 Временная
Page 103 and 104:
адаптивні фільтри,
Page 105 and 106:
et () = mt ()- at () = mt ()- u ()
Page 107 and 108:
T a = U w, (12) e= m- U w, (13) д
Page 109 and 110:
Ek ( ) S0( t + 1) = S0() t -a ⋅
Page 111 and 112:
Моделювання процес
Page 113 and 114:
Практический подхо
Page 115 and 116:
УДК 621.746.047:004.42 И.И. М
Page 117 and 118:
вх инертных газов,
Page 119 and 120:
Образец, в виде тем
Page 121 and 122:
УДК 371 Ю.Н. МИЦАЙ, д-р
Page 123 and 124:
Поскольку, согласн
Page 125 and 126:
Здесь ω k ≡ (∂H 1 )/(∂J
Page 127 and 128:
In this paper, a mathematical model
Page 129 and 130:
Сервер Безпеки Дан
Page 131 and 132:
Блок активації про
Page 133 and 134:
В таблиці наведено
Page 135 and 136:
суб'єктів в процесі
Page 137 and 138:
положения окна вып
Page 139 and 140:
этом полученная фу
Page 141 and 142:
описания эталона и
Page 143 and 144:
Рис. Взаимная завис
Page 145 and 146:
Квантиль нормально
Page 147 and 148:
Статью представил
Page 149 and 150:
тратят значительну
Page 151 and 152:
рассчитывать как р
Page 153 and 154:
S -1 i-е тестовое зада
Page 155 and 156:
материалов Всеросс
Page 157 and 158:
(deadlock) и взаимоблок
Page 159 and 160:
реализовать только
Page 161 and 162:
Для наглядности ве
Page 163 and 164:
УДК 004.49.5 С.Г. СЕМЕНО
Page 165 and 166:
В данной математич
Page 167 and 168:
где: b - частота зара
Page 169 and 170:
обнаруженных зараж
Page 171 and 172:
Статью представил
Page 173 and 174:
Попытки формализов
Page 175 and 176:
средствами в виде п
Page 177 and 178:
предназначены для
Page 179 and 180:
Цель статьи - повыш
Page 181 and 182:
Структура лингвист
Page 183 and 184:
Analysis of the characteristics of
Page 185 and 186:
включаются сведени
Page 187 and 188:
формирование слово
Page 189 and 190:
части, а также необ
Page 191 and 192:
1. Пошуку документі
Page 193 and 194:
Алгоритм отримання
Page 195 and 196:
спеціалізованих си
Page 197 and 198:
предприятии химико
Page 199 and 200:
ˆ ( t) 1 0,9 0,8 L1 L2 0,7 0,6 1 2
Page 201 and 202:
Список литературы:
Page 203 and 204:
Мацко И.И., Логунова
show all

ÐÐ±ÑÑÐ½Ð¸Ðº Ð½Ð°ÑÐºÐ¾Ð²Ð¸Ñ Ð¿ÑÐ°ÑÑ. Ð¡ÐµÑÑÑ - ÐÐ°ÑÐºÐ¾Ð²Ð¾-ÑÐµÑ Ð½ÑÑÐ½Ð° Ð±ÑÐ±Ð»ÑÐ¾ÑÐµÐºÐ° ÐÐ¢Ð£ ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?

ÐÐ±ÑÑÐ½Ð¸Ðº Ð½Ð°ÑÐºÐ¾Ð²Ð¸Ñ Ð¿ÑÐ°ÑÑ. Ð¡ÐµÑÑÑ - ÐÐ°ÑÐºÐ¾Ð²Ð¾-ÑÐµÑÐ½ÑÑÐ½Ð° Ð±ÑÐ±Ð»ÑÐ¾ÑÐµÐºÐ° ÐÐ¢Ð£ ...