Исследование методов представления и обработки знаний средствами дескриптивной логики
Диссертация
Целью работы является исследование семейства языков дескриптивных логик. Для этой цели в диссертации решаются следующие задачи: построение расширения дескриптивных логик средствами, достаточными для описания неоднородных семантических сетей. Исследование свойств этого расширенияпостроение полиномиальных алгоритмов поиска вывода для задач моделирования рассуждений типа аргументации в дескриптивной… Читать ещё >
Список литературы
- Анохин М.И., Варновский В. М., Сидельников В. М., Ященко В. В. Курс лекций по теории кодирования. // www.creptography.ru
- Аншаков О.М. Исчисление с обобщенными кванторами, связанное с формализацией правдоподобных рассуждений // КИИ'2000. Труды конференции. М.: Физматлит, 2000.
- Ашиньянц Р.А., Богданов К. С. Представление знаний и логический вывод в сети фреймов. // КИИ'2000. Труды конференции. М.: Физматлит, 2000.
- Беляев А.Б., Годовников М. Н., Голубев С. А., Загоровский И. М., Комаров С. И., Куршев Е. П., Осипов Г. С., Сазонова Л. И. Технология создания распределённых интеллектуальных сетей, // Переславль-Залесский, УГП, 1997.
- Вагин В.Н. Параллельная дедукция на семантических сетях, К Известия АН СССР. Техническая кибернетика, 1986. № 5. С 51−61.
- Вагин В.Н., Загорянская А. А. Аргументация в правдоподобном выводе. // КИИ'2000. Труды конференции. М.: Физматлит, 2000.
- Верещагин Н. К. Шень А. Вычислимые функции, Москва, МЦНМО, 1999.
- Виноградов Д.В. Выразимость фигур правдоподобных рассуждений в логике предикатов первого порядка. // КИИ'2000. Труды конференции. -М.: Физматлит, 2000.
- Виноградов Д.В. Корректные формализации правдоподобных рассуждений. // КИИ'2000. Труды конференции. М.: Физматлит, 2000.
- Ю.Гаврилова Т. А., Хорошевский В. Ф. Базы знаний интеллектуальных систем. СПб: Питер, 2000.11 .Дорофеева А. Моделирование абдуктивных рассуждений / Университет города Переславля, фак. прикл. математика и информатика, 1997.
- Дорофеева А.Г. Описание и исследование неоднородной семантической сети средствами дескриптивной логики. Международная научно- техническая конференция «Интеллектуальные САПР'99». Таганрог: ТРТУ, место проведения г. Геленжик 2−7 сентября 1999 г.
- Жилякова Л.Ю. Исследование алгебраических и топологических свойств неоднородных семантических сетей, Дисс. к-та физ.-мат. наук. Переславль-Залеский., 2001. — 165 с.
- Кейслер Г. Чэн Ч. Теория моделей.-М.: Мир, 1977.
- Кнут Д. Искусство программирования. Том 1−3.- М.: Мир, 1999.
- Комаров С.И., Куршев Е. П., Осипов Г. С., Построение моделей предметных областей. 4.2. Прямое приобретение знаний в системе SIMER. // Изв. АН СССР. Техническая кибернетика. 1991. — № 3. -с. 192−197
- Кон П. Универсальная алгебра. М.: Мир. — 1968.
- Лебедева Т.Г., Осипов Г. С. Архитектура и управляемость дискретных динамических систем, основанных на знаниях. // Известия АН. Теория и системы управления. М: Наука, 2000, № 5, 703 709.
- Лисица А.П., Сазонов В. Ю. Д-язык для гипермножеств и базы данных типа WEB. // КИИ'98. Труды конференции. М.: Физматлит, 1998.
- Лорьер Ж.-Л. Системы искусственного интеллекта. -М.: Мир, 1990.
- Майкевич Н.В. От информационного пространства к пространству знаний. // КИИ'98. Труды конференции. -М.: Физматлит, 1998.
- Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
- Минский М. Фреймы для представления знаний. М.: Энергия, 1979.29.0комин И. Теория сложности и ее использование в криптографии. // Курс лекций, http://se.math.spbu.ru/
- Осипов Г. С. Выявление «грубой» модели предметной области. // Всесоюзная конференция по искусственному интеллекту. Тезисы докладов. Т. I.-M., 1988.-е. 512−513.
- Осипов Г. С. Динамика в системах, основанных на знаниях. // Изв. РАН. ТиСУ. 1998. № 5.
- Осипов Г. С. Инструментарий для экспертных систем. Теория SIMER+MIR // Программные продукты и системы 1990, № 3. -с.23 -32.
- Осипов Г. С. Метод формирования и структурирования модели знаний одного типа предметных областей // Изв. АН СССР. Техническая кибернетика. 1988, № 2 — с. 3 — 12.
- Осипов Г. С. О формировании модели для плохо структурированной предметной области // Изв. АН СССР. Техн. кибернетика 1987, № 5, с. 198−200.
- Осипов Г. С. Построение моделей предметных областей. Неоднородные семантические сети. // Известия РАН СССР. Техн. кибернетика 1990, № 5 — с. 32 — 45.
- Осипов Г. С. Приобретение знаний интеллектуальными системами // М: Наука Физматлит, 1997.
- Осипов Г. С. Специальные знания и синтез механизма рассуждений в задачах концептуального анализа // Изв. РАН Техническая кибернетика. 1992 -№ 5, с. 22 — 27.
- Падучева Е.В. О семантике синтаксиса. М.: Наука, 1974
- Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982.
- Попов Э.В. Экспертные системы: решение неформальных задач в диалоге с ЭВМ. М.: Мир, 1987.
- Поспелов Д.А. Ситуационное управление. Теория и практика. М.: Наука, 1986.
- Построение экспертных систем / под ред. Ф. Хейс-Рот, Д. Уотерман, Д. Ленат. М.: Мир, 1987.
- Приобретение знаний. / под ред. С. Осуги, Ю. Саэки. М.: Мир, 1990.
- Сазонова Л.И. Разработка методов создания прикладных интеллектуальных систем с использованием технологии SIMER+MIR. Автореферат. Переславль-Залесский, — 1998.
- Сазонова Л.И., Годовников М. Н., Куршев Е. П., Осипов Г. С. Создание интегрированных распределенных систем прогнозирования запасов рыбных объектов с использованием методов искусственного интеллекта. // Сб. трудов АзНИИРХ -Ростов-на-Дону: БКИ, 1998.
- Сердюк Ю.П. К оцениванию интеллекта систем ИИ. // ICIT'99. Труды международной конференции интеллектуальное управление: новые интеллектуальные технологии в задачах управления. М.: Физматлит, 1999.
- Тарский А. О обосновании научной семантики. // www.philisiphy.ru
- Тейз А. Грибомомн П., Луи Ж. И др. Логический подход к искусственному интеллекту. М.: Мир, 1990.
- Финн В.К. Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. теория вероятности, математическая статистика, теоретическая кибернетика. Т. 28. М.: ВИНИТИ, 1988.
- Шушакова А.Г. Решение задач представления и обработки знаний средствами дескриптивной логики. // Программные продукты и системы № 3, 2002 М: НТП «Фактор» — с. 14 — 19
- Экспертные системы. Под. Ред. Р. Форсайта. М.: Радио и связь, 1987.
- Artale A. Lunz С. A Corespondence betwyen Temporal Description Logics // In Proceeding of the 1998 International Workschop on Description Logics (DL-98), Povo-Treno. Italy, pp.-21−29, 1998.
- Baader F., Borgida A., McGuines D.L. Matching in Description Logics: Preliminary results. // In Proceeding of the Sixth International Conference of Conceptual Structuries (ICCS' 98), Lecture Notes in Artificial Intelligence. Springer-Vertag, 1998.
- Baader F., Hanschke P., «A scheme for integrating concrete domain into concept languages», Technical report, DFKI Research Report RR-91−10, 1991.
- Badea Liviu, Planning in Description Logics: Deduction versus Satisfiability Testing. // In Proceeding of the 1998 International Workschop on Description Logics (DL-98), Povo-Treno. Italy, pp.-21 -29, 1998.
- Berrnudez J., Illarramendi A. A description logic with concrete domain for a metaclass level of an interoperable data system. // In Proceedings of DL'2000, International Workshop of Description Logics, 2000, Aachen, Germany.
- Blanco J.M., Goni A. Illaramedi A. Mapping among Knowledge Base and Databases: Precise definition of is syntax and semantics. // Information Systems, 24(4). pp: 275−301, 1999.
- Borgida A. On the relative expressiveness of description logics and pordicate logics // Artificial Intelligence, 1982 (996) pp.: 353−367.
- Borgida A., McGuiness D. Asking Queries about Frames. // In Procidings of the First International Conference on Knowledge Representation and Reasoning. (KR-96) Cambrige. Mass., pp.-340−349, 1996.
- Borgida Alexander, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick. CLASSIC: A Structural Data Model for Objects. In Proc. of the ACM SIGMOD // Int. Conf. On Management of Data, 1989, pp.: 59−67.
- Brachman, Ronald J., Hector J. Levensque The Tractability of Subsumption in Frame-Based Description Languages. // In Proc. of the 4th Nat. Conf. On Artificial Intelligence (AAAI-84), 1984, pp.: 34 37.
- Brachman, Ronald J., James G. Schmolze An Overview of the KL-ONE // Knowledge Representations System: Cognitive Science 9 (2), 1985 pp.: 171−216.
- Calvanese D., Giacomo G. Lenzerini M., Nardi D., Infornation Integration: Conceptual Modeling and Reasoning Support. // In Proceeding of the 6 th International Conference on Cooperative Information Systems (CoopIS'98), pp.- 280−291, 1998.
- Calvanese D., Lenzerini M., Nardi D., Description Logics for conceptual data modeling. In J. Chomicki and G. Saake editors // Logics for Databases and Information Systems, pp.- 229−264., Kluwer Academic Publisher, 1998.
- Calvanese D., Lenzerini M., Nardi D., Unifying Class-Based representation formalisms. // J. of Artificial Intelligence Research, 11: 199−240, 1999.
- Chomichi Jan, Saake Gunter, Logics for Databases and Information Systems.// The Kluwer International series in engineering and computer science, v.436, 1998.
- Donini F.M., Lenzerini M. Nardi D. Schaerf A. Reasoning in Description Logics // In. Principles of Artificial Intelligence. Ed: G. Brewska, Springer Verlag, 1995.
- Donini F.M., Lenzerini M., Nardi D., Nutt W., Reasoning in Description Logics // In Procedings of the Second International Conference on
- Principles of Knowledge Representation and Reasoning. (KR-91), pp. -151 162, 1991.
- Donini F.M., Lenzerini M., Nardi D., Nutt W., The complexity of concept languages//Inform.and Сотр. 134, 1997. pp: 1−58.
- Donini, Francesco M., Maurizio Lenzerini, Daniele Nardi, Werner Nutt. The Complexity of Concept Language. // In Proc. of the 2nd Int. Conf. On the Principles of Knowledge Representation and Reasoning (KR-91), 1991.
- Dorofeyeva A. Analysis of Semantic Networks By Means of Description Logics// In Proceedings of the 1999 International Workshop on Description Logics (DL'99) Linku-ping, Sweden July 30 August 1, 1999. pp.167 — 168.
- Dorofeyeva A. G., Lisitsa A.P., Labelled deductive systems for semantic network based reasoning: A semantic view. // In Proc. of Second Workshop on Applied Semiotics, September 15, AIICSR'97, Smolenice Castle, Slovakia, 1997. pp.97 105
- Dr. Diego Calvanese Dr. Giuseppe De Giacomo, Dr. Maurizio Lenzerini, Identification Constraints and Functional Dependencies in Description Logics // In Proceedings of DL'2001, International Workshop of Description Logics, august 2001, USA.
- Dr. Diego Calvanese, Dr. Giuseppe De Giacomo, Dr. Maurizio Lenzerini. Keys for Free in Description logics II In Proceedings of DL'2000, International Workshop of Description Logics, 2000, Aachen, Germany.
- Elhaik Q., Rousset M., Making an Abox Persistent // In Proceeding of the 1998 International Workschop on Description Logics (DL-98), Povo-Treno. Italy, 1998.
- Gabbay Dov M. Labelled Deductive System- priciples and applicatopns 11 Volume 1: Basic Principles, Oxford University Press, 1996.
- Giunchiglia E., Giunchiglia F., Tacchella A. SAT, KSATC, DLP and ТА: a comparative analisis // In Proceeding of the 1998 International Workschop on Description Logics (DL-98), Povo-Treno. Italy, 1998.
- Horrocks I., Sattler U. A. Description Logic with Transitive and Inverse Roles and Role hierarchies. // Technical Report 98−05, LuFg Theoretical Computer Science, RWTH Aachen, 1998.
- Hustadt U., Schmidt R.A., On the Relation and Resolution and Tableaux Proof Systems for Description Logics.// Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), 31 july- 6 august, 1999, Stockholm, Sweden.
- Kaczmarek, Thomas S., Raymond Bates, Gabriel Robins. 1986 Recent Developments in NIKL. // In Proc. of the 5th Nat. Conf. on Artificial Intellegence, (AAAI-86), pp.: 978 985.
- Kambhampati S. Refinement Planning as a Unifying Framework for Plan Synthesis // AI Magazine, 18(2): Summer 1997, pp.: 67 97
- Kurtonona N., Rijke M., Expressivenes of concept espressions in first-order description logics // Artificial Intelligence, v.107, 1999.
- Lambrix P., Larocchia P. Learning Composite Objects. // In Proceedings of the 1998 International Workschop on Description Logics (DL-98). Povo-Trento. Italy, pp. 147 — 152, 1998.
- Lambrix P., Maleki J. Learning Composite Concepts in Description Logics: A First Step. // Proceedings of the 9 th International Symposium of Methodologies for Intelligent Systems ISMIS 96, LNAI 1079, pp: 68−77, 1996.
- Lambrix P., Part-Whole Reasoning in Description Logics, Ph.D. Thesis, Department of Computer and Information Scince, Linkopring University, Sweden, 1996.
- Larocchia P. Learning Composite Concepts in Description Logics: A First Step. // M.Sc. Thesis, Department of Computer and Information Scince, Linkopring University, Sweden, LiTH-IDA-Ex-9657.
- Levesque, Hector J., and Ron J. Brachman, 1987, Expressiveness and Tractability in Knowledge Representation and Reasoning. Computational Intellegence 3. pp: 78−93.
- Lisitsa Alexei P., Osipov Gennady S. Evolving algebras and labeled deductive systems for the semantic network based reasoning // In Proceedings of Workshop on Applied Semiotics, held in conjunction with ECАГ96, Budapest, Aug 1996, pp: 5−12.
- Logics for Databases and Information System, edited by Jan Comicki, Gunter Saake, Monmouth University/ University of Magdeburg, Kluwer Academic Publishers, Boston/ Dordercht/ London, 2000.
- Lutz C., Reasoning with Concrete Domains // Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), 31 july 6 august, 1999, Stockholm, Sweden.
- MacGregor, Robert, R. Bates, 1987. The Loom Knowledge Representations Language. Technical Reports ISI/RS-87 pp. 188.
- Mayer M., Pirri F., A Study on the Logic of Abduction. // Proc. of 12 th European Conference on Artificial Itelligence (ECAI'96), 1996.
- Patel-Schneider, P.F., and Bill Swatou. Working version: Description Logic Specification from the KRSS Effort, June 1993.
- Scherf A. On the complexity of the instance checking problem in concept languages with existential quantification. // Journal of Intelligent Information Systems, 1993. № 2: pp: 265 278,
- Scherf A. Reasoning with individuals in concept languages. // Data and Knowledge Engieneering, 13: pp: 141 176, 1994.
- Scherf A., Query Answering in Concept- Based Knowledge Representations System: Algorithms, Complexity, and Semanic Issues. Docoral dissertation, Departimento di Informaticd Sistemisica, Universita di Roma «La Sapienza», 1994.
- Schmidt-Schauss, Manfred, Gert Smolka, 1991. Attributive Concept Description with Complements, // Artificial Intelligence Journal 48(1): 1 -26.
- Tobies Stephan, On the Complexity in Description Logics // In Proceeding of the 1998 International Workschop on Description Logics (DL-98), Povo-Treno. Italy, 1998.
- Wolter F., Zakharyaschev, Multi- dimensional description logics // Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAF99), 31 july 6 august, 1999, Stockholm, Sweden.
- Woods, William A. 1975 What’s in a Link. Foundations for Semantic Networks / In Representation and Understanding: Studies in Cognitive Science, ed. D.G. Bobrow and A.M. Collins.35−82. Academic Press. Republished in Brachman and Levesque 1985.