Представление и обработка неполных, противоречивых и немонотонных знаний в интеллектуальных системах. Возможность установления внешней структуры связей разного типа между информационными единицами. Проблема ассимиляции противоречия в эротетической логике.
Аннотация к работе
При переходе к знаниям в память машины вводится информация о некоторой протоструктуре информационных единиц, «шапка» таблицы в нашем примере. Между информационными единицами могут устанавливаться также пространственные и временные отношения, а также отношения, определяющие порядок выбора информационных единиц из памяти машины или указывающие на то, что две информационные единицы несовместимы друг с другом в одном описании. Отношения релевантности при работе со знанием позволяет сузить пространство поиска нужной информации и находить знания, близкие к уже найденным. Действительно, чтобы убедиться в истинности или ложности некоторого утверждения, надо обосновать его статус новыми объяснениями, фактами или наблюдениями и в зависимости от подтверждения или опровержения его истинности перевести это утверждение в статус или знания, или ошибочного убеждения. Обоснование третьего утверждения здесь не требуется, если нам удалось обосновать истинность первых двух утверждений (такое обоснование легко сделать для второго утверждения, но что касается первого утверждения, возникают трудности с квантором «все»).
Список литературы
1. Кондрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах. / Под ред. Д.А. Поспелова. Москва: Наука, 1989, 328 стр.
2. Искусственный интеллект. - В 3-х книгах. Книга 2. Модели и методы: Справочник. / Под ред. Д.А. Поспелова. М.: Радио и связь, 1990, 304 стр.
3. Асмус В.Ф. Платон. М.: Мысль, 1975, 220 стр.
4. Платон. Сочинения в 3-х томах. Под ред. В.Ф. Асмуса и А.Ф. Лосева. T.1. M., 1968.
5. Чанышев А.Н. Аристотель. Издание 2, дополненное. М.: Мысль, 1987, 221 стр.
6. Аристотель. Соч.: В 4-х томах. М., 1975-1983.
7. Delgrande J.P. and Mylopoulos J. Knowledge Representation: Features of Knowledge. // Fundamentals of Artificial Intelligence. An Advanced Course. W. Bibel and Ph. Jorrand (eds.) / Lecture Notes in Computer Science. Springer-Verlag. 1986, vol. 232, pp. 3-36.
8. Вагин В.Н. Не-факторы знания и нетрадиционные логики. // Третья международная школа-семинар по искусственному интеллекту для студентов и аспирантов (Браславская школа-1999). Сборник научных трудов. Беларусь, 1999, стр. 10-14.
9. Белнап Н., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981, 288 стр.
10. Тей А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту. От классической логики к логическому программированию. М.: Мир, 1990, 429 стр.
11. Journal of Applied Non-Classical Logics. Special Issue. Uncertainty, Conditionals and Non-Monotonicity. Vol. 1, № 2, 1991, 310 p.
12. International Journal of Intelligent Systems. Special Issue. Reasoning under Incomplete Information in Artificial Intelligence. Vol. 5, № 4, September 1990, 472 p.
13. Dempster A.P. A Generalization of Bayesian Inference. // Journal of the Royal Statistical Society, vol. 30, 1968, pp. 205-247.
14. Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике. М.: Радио и связь, 1990, 287 стр.
15. Zadeh L.A. Fuzzy Logic and Approximate Reasoning. // Synthese 30, 1975, pp. 407-428.
16. Reiter R. A Logic for Default Reasoning. // Artificial intelligence, 13, 1980, pp. 81-132.
17. Marquis P. Extending Abduction from Propositional to First-Order Logic. P. 141-155. // Lecture Notes in Artificial Intelligence. Vol. 535. / Ph. Jorrand, J. Kelemen (eds.) Fundamentals of Artificial Intelligence Research. Springer-Verlag, 1991, 255 p.
18. MCDERMOTT D. and Doyle J. Non-Monotonic Logic I. / Artificial Intelligence, 13, 1980, pp. 41-72.
19. Moore R.C. Semantical Considerations on Non-Monotonic Logic. // Proceedings IJCAI-83, Karlsruhe, 1983, pp. 272-279.
20. Vagin V.N. Non-Classical Logics in Semiotic Systems. // CAI’98. Sixth National Conference with International Participants. Proceedings Workshop Applied Semiotics and Abstracts of CAI’98. Reports, vol. III, Pushchino, 1998, pp. 34-39.
21. Вагин В.Н. Зачем нужны нетрадиционные логики? // Международный форум информатизации-98: Доклады международной конференции «Информационные средства и технологии», том 1, 20-22 октября 1998, М.: Издательство «Станкин», с. 6-14.