Васильев С.Н. - Логический подход к управлению динамическими системами (1072115), страница 5
Текст из файла (страница 5)
[4] Поспелов Д.А. Предисловие к книге: Экспертные системы: состояние и перспективы. М., Наука, 1989, с. 3-8.
[5] Климов Д.М., Леонов В.В., Руденко В.М. Методы аналитических вычислений на ЭВМ в нелинейных задачах механики. М., Наука, 1989.
[6] Kifer M., Wu J. A Logic for Object-Oriented Logic Programming. - Proc. 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989, pp. 379-393.
[7] Kifer M., Lausen G. A Higher Order Language for Reasoning about Objects, Inheritance and Scheme. - Proc. of 1989 ACM SIGMOD Intern. Conference on Management of Data, 1990, v. 18, N 2, pp. 134-146.
[8] Kifer M., Lausen G., Wu J. Logical Foundations of Object-Oriented and Frame-Based Languages. Tech. Report 90/14, SUNY at Stony Brook, 1990.
[9] Handelman D.A., Stengel R.F. An Architecture for Real-Time Rule-Based. - Proc. American Control Conference, 1987, pp. 1636-1642.
[10] Wos L. Solving Open Questions with an Automated Theorem Proving Program. - Lecture Notes in Computer Science, 1982, v. 138, pp. 1-31; русский перевод: Л.Воз. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем. - Киберн. сб., Нов.сер., вып. 21, М., Мир, 1984, с. 235-263.
[11] Wos L., Veroff R. Logical Basis for the Automation of Reasoning: Case Studies. - In: Handbook of Logic in Artificial Intelligence and Logic Programming / D.M.Gabbay, C.J.Hogger, J.A.Robinson (eds.), Clarendon Press, Oxford, 1994, v. 2, pp. 1-40.
[12] Kohn W. Declarative Control Architecture. - Communications of the ACM, 1991, 34, N 8, pp. 65-79.
[13] Fikes R., Nilsson N. STRIPS: A New Approach to the Application of Theorem Proving in Problem Solving. - Artificial Intelligence, 1971, 2, pp. 189-208; русский перевод в сб. "Интегральные роботы", вып.1, М., Мир, 1973.
[14] Fikes R.E., Nilsson N.J. STRIPS, a Retrospective. – Artificial Intelligence, 1993, 59, NN 1-2, pp. 227-232.
[15] Bibel W. A Deductive Solution for Plan Generation. – New Generation Computing, 1986, 4, N 2, pp. 115-132.
[16] Фельдбаум А.А. Новые принципы автоматического управления. - Изв. ВУЗов СССР, Радиотехника, 1960, N 3, с. 299-308, N 4, с. 419-430.
[17] Gabbay D.M. Preface to Handbook of Logic in Artificial Intelligence and Logic Programming / Gabbay D.M., Hogger C.J., Robinson J.A., Nute D. (eds). Clarendon Press, Oxford, 1994, v. 3, pp. v-xxii.
[18] Васильев С.Н., Жерлов А.К., Федосов Е.А., Федунов Б.Е. Интеллектное управление динамическими системами. М., ФИЗМАТЛИТ, МАИК “Наука / Интерпериодика'', 2000.
[19] Robinson J.A. The Generalised Resolution Principle. - In: Machine Intelligence / D.Michie (ed.), 1968, 3, NY, American Elsevier, pp. 77-94.
[20] Васильев С.Н. Метод синтеза условий выводимости хорновских и некоторых других формул. - Сибирский математический журнал, 1997, т. 38, N 5, c. 1034-1046.
[21] Такеути Г. Теория доказательств. М., Мир, 1978.
[22] Васильев С.Н., Черкашин Е.А. Интеллектное управление телескопом. - Сибирский журнал индустриальной математики, 1998, т. 1, N 2, с. 81-98.
[23] Васильев С.Н., Жерлов А.К. Логическое моделирование и управление в реальном времени. - Труды Всесоюзной конференции "Интеллектуальные системы в машиностроении" / Под ред. В.А.Виттиха, Самара, 1991, вып. 2, с. 33-38.
[24] Gabbay D.M., Reynolds M. Towards a Computational Treatment of Time. - Handbook of Logic in Artificial Intelligence and Logic Programming. Epistemic and Temporal Reasoning / D.M.Gabbay, C.J.Hogger, J.A.Robinson (eds.), Clarendon Press, Oxford, 1995, v. 4, pp. 351-437.
[25] Васильев С.Н., Черкашин Е.А. Временной вывод в интеллектном управлении телескопом. - Труды III Междунар. Симпозиума "Интеллектуальные системы" (INTELS'98) / Под ред. К.А.Пупкова, Псков, 1998, с. 70-75.
[26] Cherkashin E.A., Vassilyev S.N. Telescope Guidance via Automatic Theorem Proving. - Proc. of Intern. Conference on Systems, Man and Cybernetics (SMC'98), San-Diego, 1998, pp. 1439-1444.
[27] Reiter R. A Theory of Diagnosis from First Principles. - Artificial Intelligence, 1987, 32, N 1, pp. 57-95.
[28] Wang H. Towards Mechanical Mathematics. - IBM J. Res. Develop., 1960, v. 4, N 1, pp. 2-22.
[29] Lee R. A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms. - Doctoral Diss., Dept. of Electrical Engineering and Computer Science, Univ. of California, Berkeley, 1967.
[30] Глушков В.М. Машина доказывает. - М., Знание, 1981.
[31] Матросов В.М., Васильев С.Н., Анапольский Л.Ю. Метод сравнения в математической теории систем. - Новосибирск, Наука, 1981.
[32] Матросов В.М., Васильев С.Н., Каратуев В.Г., Козлов Р.И., Суменков Е.А., Ядыкин С.А. Алгоритмы вывода теорем метода векторных функций Ляпунова. - Новосибирск, Наука, 1981.
[33] Vassilyev S.N. Machine Synthesis of Mathematical Theorems. - J. of Logic Programming, 1990, v. 9, N 2 & 3, pp. 235-266.
[34] Таутс А.И. Решение логических уравнений итерационным методом в исчислении предикатов. - Известия Института физической астрономии Академии наук ЭССР, 1964, т. 24, с. 17-24.
[35] Muggleton S. Inductive Acquisition of Expert Knowledge. - Turing Institute Press, Addison-Wesley Publ. Company, Wokingham, 1990.
[36] Moore J.S., Boyer R.S. A Computational Logic Handbook. - Perspectives in Computing. Academic Press, 1988, vol. 23.
[37] Muggleton S., Buntine W. Machine Invention of First-Order Predicates by Inverting Resolution. - Proc. 5 Intern. Conference on Machine Learning / J.Laird (ed.), 1988, pp. 339-352.
[38] Flach P.A. Towards the Inductive Logic Programming. - Proc. BENELEARN-91, Depart. of Social Science Informatics, Univ. of Amsterdam, 1991, pp. 88-96.
[39] Lenat D.B. On Automated Scientific Theory Formation: A Case Study Using the AM Program. - Machine Intelligence, 1981, N 9, pp. 251-283.
[40] ДавыдовГ.В. О корректировании недоказуемых формул. - Зап. Научн. Сем. ЛОМИ АН СССР, 1967, т. 4, c. 18-29.
[41] Levy A.Y., Fikes R.E., Sagiv Y. Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. - Artificial Intelligence, 1997, 97, pp. 83-136.
*) Работа выполнена при поддержке РФФИ (грант № 0001-00922), ФПП ВНШ (грант № 00-15-96037) и ФЦП “Интеграция” (грант № 2.1-186).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
