Искусственный интеллект

Развитие высокоуровневых онтологий, хорошо обоснованных и аксиоматизированных, является несомненно важным шагом на пути к обоснованию формальной онтологии в информационных системах. Каждая уровнево-специализированная онтология в качестве своих рамок должна иметь некоторую онтологию высшего уровня, которая описывала бы наиболее общие категории реальности, не зависящие от уровня рассмотрения.

ЛИТЕРАТУРА

[Смирнов 1987] Смирнов В А. Логические методы анализа научного знания. М.: Наука, 1987.

[Твардовский 1997] Твардовский К.Логико-философские и психологические исследования. М: РОССПЭН. 1997.

[Cocchiarella 1974] CocchiarellaN.Formal Ontology and the Foundations of Mathematic // Bertran Russell Philosophy / G Nakhikian (ed.). Duckworth, London 1974. pp. 29-46.

[Degen et al 2001] Degen W., Heller B., Herre H, Smith B.GOL: A General Ontological Language // http://www.ontology.uni-leipzig.de[Gangemi et al 2001]GangemiA., Guarino N.,MasoloC.,OtramariA.Understanding Top-level Ontological Distinctions // Technical Report 04/2001, LADSEB-CNR.

[Genesereth Fikes 1992] Genesereth V.R, FikesR.E.Knowledge Interchange Format, Version 3.0, Reference Manual. Logic Group Report Logic-92-1, Computer Science Department, Stanford University.

[Guarino 98] Guarino N.Formal Ontology and Information Systems // Ajhvfl Ontology in Information Systems. Proceedings of FOIS»98, Trento. Italy / N. Guarino (ed.), Amsterdam, IOS-Press.

[Perzanowski 1994] Perzanowski J.Ontologic // Logic and Logical Philosophy. No 2. 1994. P.4.

[Poli 1992] PoliR.OntologiaFormale. Genova Marieth. 1992.

[Russell Norvig 19951 RussellS., NorvigP.Artificial Intelligence. Prentice Hall. 1995.

[Simons 1982] Simons P.B.The Formalization of Husserbs Theory of Wholes and Parts // Parts and Moments. Studies in Logic and Formal Ontology/В. Smith (ed), Munich: Philosophia, 1982. P. 113-159.

[Smith Mulligan 1983] Smith B. and Mulligan K. Framework for Formal Ontology // Topoi, v.2.1983. P. 73-85.

[Sowa2000] SowaJ.//http://bestweb.net/sowa/ontology/toplevel.htm.

|Staehniak 1981] StachniakZ.Introduction to model theory forLcsnicwski»s Ontology. Wroclaw, 1981. [SU02001] http://suo.iee.org.

О ЛОГИКЕ СИМВОЛЬНЫХ ВЫРАЖЕНИЙ ДЛЯ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА

С.А. Павлов

С.А. Павле»

Обработка информации компьютерными системами включает в себя преобразования и различные операции с символьными выражениями языка. Целью этой работы является обсуждение языка логики, которая допускает логические операции в области символьных выражений языка. Символьным выражением некоторого языка L называется любая конечная линейная последовательность (упорядоченная и-ка) символов из алфавита этого языка L. Синонимом символьного выражения являются слово, выражение или строка в алфавите [5]. Отметим, что в языках программирования имеется несколько типов переменных: числовые, логические (булевы), строковые и др.