Системы искусственного интеллекта

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

Для студентов и аспирантов вузов, обучающихся по специальностям «Информационные системы и технологии» и «Автоматизированные системы обработки информации и управления» по направлениям подготовки «Информационные системы» и «Информатика и вычислительная техника».

Список литературы

1. Лорьер Ж.Л. Системы искусственного интеллекта. М.: Мир, 1991. 568 с.
2. Девятков В.В. Системы искусственного интеллекта. М.: Изд-во МГТУ им. Н.Э. Баумана, 2001. 350 с.
3. Рассел С., Норвиг П. Искусственный интеллект. Современный подход. М.: Вильямс, 2018. 1407 с.
4. Winstone P.H. Artificial Intelligence. New York: Addison-Wesley Publishing Company, 1993
5. Wooldridge М. An Introduction to Multiagent Systems. West Sussex: John Wiley & Sons LTD, 2009. 488 с.
6. Bellman R.E. An introduction to artificial intelligence: Сan computers think? San Francisco: Boyd & Fraser, 1978. 146 с.
7. Charniak E., McDermot D. Introduction to Artificial Intelligence. Boston: Reading, Addison-Wesley, 1987. 701 р.
8. Haugeland J. Artificial Intelligence: The Very Idea. Cambridge: MIT Press, 1985. 287 c.
9. Ивахненко А.Г. Моделирование сложных систем. Киев: Вища школа, 1987. 120 c.
10. Поспелов Г.С. Искусственный интеллект — основа новой информационной технологии. М.: Наука, 1988. 278 c.
11. Kurzweil R. The Age of Intelligent Machines. Cambridge: MIT Press, 1990. 580 c.
12. Schalkoff J.R. Artificial Intelligence. An Engineering Approach. New York: McGraw-Hill, 1990.
13. Rich E. Knight K. Artificial Intelligence. New York: McGraw-Hill, 1991. 646 c.
14. Winstone P.H. Artificial Intelligence. New York: Addison-Wesley, 1992. 444 c.
15. Luger G., Stubblefield W. Artificial Intelligence. Structures and strategies for complex problem solving. New York: Benjamin Cummings, 1993. 740 c.
16. DeLoach A.S. Multiagent Systems Engineering // A Methodology and Language for Designing AgentSystems // Proc. Agent Oriented Information Systems. Seattle: Wright-Patterson, 1999. Рр. 45–57.
17. Розенталь М.М., Юдин П.Ф. Философский словарь. М.: Политиздат, 1963. 544 c.
18. Zadeh L.A. Fuzzy sets // Information And Control. 1965. Vol. 8. Pp. 338–353
19. Homsky N. Syntactic structures. Berlin; New York: Mouton de Gruyter, 2002. 117 c.
20. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978. 275 c.
21. Medvedovic T. Classification and Comparision Framtwork for Software Architecture Description Languages // IEEE Transaction on Software Engineering. 2000. Vol 26. No. 1. Рр. 70–93.
22. Milner R. Communicating and Mobile Systems: The pi-caculus. Cambridge: UK Cambridge University Press, 2003. 161 с.
23. Pandey R. Architectural description languages (ADL): a review // ACM SIGSOFT Soft-ware Engineering Notes. Мay 2010. Vol. 35. Iss. 3. Pр. 1–5.
24. Hudak P. Proceedings of the 5th Int. Conf. Software Reuse // Modular domain specific languages and tools. 1998. Рр. 134–142.
25. Клини С. Математическая логика. М.: Мир, 1973. 480 c.
26. Kruchten P. Rational Unified process. An Introduction. New York: Addison-Wesley, 2004
27. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977. 351 c.
28. Бэкус Д.В. Сообщение об алгоритмическом языке АЛГОЛ-60 // Журнал вычислительной математики и математической физики. 1961. Т. 1. С. 308–342.
29. Robinson J. A mashine-oriented logic based on the resolution principle // J. American Society for Information Science. 1965. No. 27. Рр. 129–146
30. Девятков В.В. Системы искусственного интеллекта. М.: МГТУ им. Н.Э. Баумана, 2001. 350 с.
31. Bruni R. Tile Logic for Synchronized Rewriting of Concurrent Systems. Phd Thesis. Pisa: University of Pisa, 1999.
32. Девятков В.В., Алфимцев А.Н. Необходимые и достаточные формаль-ные свойства мультимодального интерфейса // Вестник МГТУ им. Н.Э. Бау- мана. Сер. Приборостроение. Спец. вып. Информационные технологии и компьютерные системы. 2011. С. 159–167.
33. Кельберт М.Я., Сухов Ю.М. Вероятность и статистика в примерах и задачах. Марковские цепи как отправная точка теории случайных процессов и их приложения. М.: МЦНМО, 2009. 559 c.
34. Wooldridge M.J., Jennings N.R., Kinny D. The Gaia methodology for agent-oriented analysis and design // Autonomous Agents and Multi-Agent Systems. 2000. No. 3. Рр. 285–312.
35. Zambonelli F., Jennings N.R., Omicini A., Wooldridge M.J. Software Engineering for Internet Applications // First NTNU CSGSC. Сhapter 13. May 20. Heidelberg: Springer-Verlag, 2000. Pp. 326–346.
36. Aridor Y., Lange D.B. Agent Design Patterns: Elements of Agent Application Design // Proc. 2nd Int. Conf. on Autonomous Аgents. Minneapolis: ASM Press, 1997. Рр. 108–115
37. Erol K., Lang J., Levy R. Designing Agents from Reusable Components // Proc. 4th Int. Conf. on Autonomous Agents. 2000. Рр. 76–77.
38. Depke R., Heckel R. Formalizing the Development of Agent-вased Systems Using GraphProcesses // Proc. ICALP’2000 Satellite Workshops, Workshop on Graph Transformation & Visual Modelling Techniques (GTVMT’00). 2000. Рр. 419–426
39. Lovelock J. Gaia: A New Look at Life on Earth. Oxford: Oxford University Press, 1995. XVIII. 148 c.
40. Саттон Р.С., Барто Э.Г. Обучение с подкреплением. М.: ДМК Пресс, 2020. 552 с.
41. Закревский А.Д. Логика распознавания. Минск: УРСС, 2003. 144 с.
42. Сакулин С.А., Девятков В.В. Анализ состояния технологических процессов на основе нечетких экспертных знаний. М.: Lambert Academic, 2012. 248 с.
43. Beth E.W. Formal Methotds: An introduction to symbolic logic and to the study of effective operations in arthmetic and logic. Dordrecht, Holland: D. Reidel Pudlishing Co., 1962. 170 p.