(системи висловлювань) вважається апостериорно обгрунтованим. Так як доказові судження завжди вважаються істинними, закон достатньої підстави (для суджень) призводить до ототожнення понять істини і доказовою. У медичній диференціальної діагностики, як і в ЕПД, у важких випадках бувають ситуації нестачі аргументів В«заВ», коли обгрунтування гіпотези (акт довіри) грунтується на неефективності критики всіма доступними засобами. Прикладом може служити гістіоцітоідная кардіоміопатія, однозначне підтвердження якої за наявності у дитини кардиомегалии в поєднанні зі злоякісної аритмією можливо тільки при проведенні біопсії міокарда (Інші діагнози були в конкретному випадку відкинуті після проведення спеціальних досліджень і неефективності антиаритмічної терапії). p> Критерій достатньої підстави (або вживається в близькому до нього сенсі ЕПД) можуть бути формалізовані в рамках квазіаксіоматіческой теорії, що зроблено для правдоподібних міркувань типу ДСМ [18]. Це означає, що, або при здійсненності цього критерію результати ДСМ-міркування (система висловлювань) приймаються, або при невиконанні його розширюється безліч посилок міркування (відповідний стан бази полуфактов), або після деякої послідовності розширення безлічі посилок міркування тестоване безліч результатів ДСМ-міркування не приймається. Як видно з наведеного вище опису процесу розпізнавання хвороб, існує явна аналогія між системою ДСМ-розмірковувань та теорією диспутів, з одного боку, і медичної діагностикою, включаючи рішення шляхом консиліуму, з іншого боку.
Висновок
Медична діагностика, що базується на принципі аргументації і контраргументації у поєднанні з використанням аналогів (прецедентів), включає етапи формування гіпотез з подальшим їх обгрунтуванням або відхиленням шляхом залучення додаткових фактів. Серед факторів, які можуть вести до неправильним діагнозами, зустрічаються помилки в судженнях як наслідок недостатньо конструктивного мислення або нелогічності висновків [25]. Талант ж діагноста передбачає вміння швидко виділяти провідні симптоми і аналізувати нечіткі подання. Виходячи з цього, стає ясною доцільність побудови інтелектуальної системи, що спирається на систему аргументів, що враховує відносини ознак і включає способи ефективної обробки нечітких даних. Формалізація міркувань в рамках квазіаксіоматіческой теорії дає можливість уточнити феномен правильності (або коректності) міркування допомогою критерію достатньої підстави ухвалення висновку правдоподібного міркування. Використання в якості засобів формалізації як логіки об'єктивного знання, так і логіки суб'єктивного знання (логіки аргументації) може служити основою для відображення принципу міркувань і доказів лікаря, роблячи інтелектуальні системи більш зрозумілими для користувачів.
Список літератури
1. Кобринський Б.А., Казанцева Л.З., Фельдман А.Є. Автоматизовані системи диференціальної діагностики спадкових захворювань// Спадкова патологія людини/За заг. ред. Ю.Є. Вельтіщева і Н.П. Бочкова. Т.II. - М., 1992. - С.229-239. h1> 2. Виноградов А.В. Диференціальний діагноз внутрішніх хвороб: довідкове керівництво для лікарів. - М.: Медицина, 1987.
3. Евербек Г. Диференціальна діагностика хвороб у дитячому віці: Пер. з нім. - М.: Медицина, 1980. p> 4. Ригельман Р. Як уникнути лікарських помилок. Книга практикуючого лікаря: Пер. з англ. - М.: Практика, 1994. p> 5. Лукашевич І.П., Сиркин А.Л. Проблема отримання та передачі медичних знань// Комп'ютерна хроніка. - 1994. - № 8-9. - С.39-43. p> 6. Єсенін-Вольпін А.С. Про антитрадиційна (ультраїнтуїционістськой) програмі підстав математики іприродничо мисленні// Семіотика та інформатика. - 1993. - Вип.33. - С.13-67. p> 7. Левенець Є.В. Міркування за аналогією// Логіка і комп'ютер. 2: Логічні мови, змістовні міркування і методи пошуку доказів. - М.: Наука, 1995. - С.99-112. p> 8. Кобринський Б.А. Логіка та інтуїція фахівця в медичних системах штучного інтелекту// Наукова сесія МІФІ-2000: Зб. науч. тр. Т.3. - М., 2000. - С.64-65. p> 9. Кліні С.К. Введення в метаматематику. - М.: Изд-во іноз. літ., 1957.
10. Таран Т.А. Формалізація міркувань на основі аргументації при прийнятті рішень у конфліктних ситуаціях// НТІ. Сер. 2. - 1998. - № 9. - С.23-33. p> 11. Поспєлов Д.А. Моделювання міркувань. Досвід аналізу розумових актів. - М.: Радіо і зв'язок, 1989.
12. Кулик Б.А. Основні принципи філософії здорового глузду (пізнавальний аспект)// Новини штучного інтелекту. - 1996. - № 3. - С.7-91. p> 13. Фінн В.К. Інтелектуальні системи: проблеми їх розвитку та соціальні наслідки// Майбутнє штучного інтелекту. - М.: Наука, 1991. - С.157-177. p> 14. Воробйов Н.В. Умовиводи за аналогією. - М., 1963. p> 15. Кобринський Б.А. До питання про формальне відображенні образного мислення та інтуїції фахівця в слабо структурованої предметної області// Новини штучного інтелекту. - 1998. - № 3. - С....
