Приложение 5. mesto=a(integer,integer,symbol)

domains

mesto=a(integer,integer,symbol)

spisok= mesto*

predicates

a(integer,integer,symbol)

путь(mesto,spisok,spisok)

member(mesto,spisok)

можем_идти(mesto,spisok)

clauses

a(1,1,стена).a(1,2,стена).a(1,3,стена).a(1,4,стена).

a(2,1,пусто).a(2,2,пусто).a(2,3,пусто).a(2,4,стена).

a(3,1,выход).a(3,1,пусто).a(3,2,стена).a(3,3,пусто).a(3,4,стена).

a(4,1,стена).a(4,2,стена).a(4,3,пусто).a(4,4,пусто).

a(5,1,стена).a(5,2,пусто).a(5,3,пусто).a(5,4,стена).

% a(I,J) представляет позицию в i ряду j колонке

% нашли путь?

путь(a(I,J,B),[a(I,J,B)],Были):-

a(I,J,выход),nl,write("Выход",I,J).

% Пытаемся идти на север

путь(a(I,J,B),[a(I,J,B)|P],Были):-

K= I-1,

можем_идти(a(K,J,B),Были),

путь(a(K,J,B),P,[a(K,J,B)|Были]).

% Пытаемся идти на юг

путь(a(I,J,B),[a(I,J,B)|P],Были):-

K= I+1,

можем_идти(a(K,J,B),Были),

путь(a(K,J,B),P,[a(K,J,B)|Были]).

% Пытаемся идти на запад

путь(a(I,J,B),[a(I,J,B)|P],Были):-

L= J-1,

можем_идти(a(I,L,B),Были),

путь(a(I,L,B),P,[a(I,L,B)|Были]).

% Пытаемся идти на восток

путь(a(I,J,B),[a(I,J,B)|P],Были):-

L= J+1,

можем_идти(a(I,L,B),Были),

путь(a(I,L,B),P,[a(I,L,B)|Были]).

% в позицию i j можно попасть если это не стена и мы не были в ней прежде

можем_идти(a(I,J,B),Были):-

a(I,J,пусто),

% проверить были ли?

not (member(a(I,J,_),Были)),

nl.

member(R,[R|T]).

member(R,[H|T]):-member(R,T).

goal

путь(a(4,2,пусто),P,[a(4,2,пусто)]), write(P).

Литература

1. Aikins J.S. Prototypical knowledge for expert systems//Artificial Intelligence.- 1983.v.20. p.163-210.

2. Baldwin J. E., eds. (1996). Fuzzy Logic. New York: Wiley.

3. Clements B.R. and Preto F. Evaluating Commercial Real Time Expert System Software for Use in the Process Industries. – C&I. – 1993. – P.107-114.

4. Hall C. The Intelligent Software Development Tools Market//Part I.. Intelligent Software Strategies. 1996. February. V.12.- № 2. – P.1 – 12.

5. Hall C. The Intelligent Software Development Tools Market//Part II. Intelligent Software Strategies. 1996. V.12.- № 3. – P.1 – 16.

6. Harmon P. The Intelligent Software Development Tools Market//Part I.. Intelligent Software Strategies. 1995. V.11.- № 2. – P.1 – 13.

7. Harmon P. The Size of Commercial Al Market in the US//Part II. Intelligent Software Strategies. 1994. V.10.- №1. – P.1 – 6.

8. Intelligent Software Stretegies. №2. – 1996.

9. Jamshidi M., Tilti A., Zadeh L. And Boverie S., eds. (1997). Applications of Fuzzy Logic: Towards High Machine Intelligence Quotient Systems. Englewood Cliffs, NJ: Prentice Hall.

10. Kowalski, R. Algorithm=logic+control. Communications of the ACM, vol. 22, no.7, pp. 424-436, July 1979.(Prolog)

11. Kowalski, R. Logic for problem solving. New York: American Elsevier, 1979.(Prolog)

12. Minsky M. A framework for representation knowlege//Psychology computer vision. – New York: McGraw-Hill, 1975

13. Moore D. and other., Questions and Answers about G2//Copyright.- 1993. Gensym Corporation. P. 26-28.

14. Robinson J. A. (1979) Logic: Form and Function. Edinburgh: Edinburgh University Press.

15. Feigenbaum E.A. The art of artificial intelligence: Themes and case studio of knowledge engineering// The fifth International Joint Conference on Artificial Intelligence/ -Boston: MIT, 1977.-P.1014-1029.

16. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. – М.: Мир, 1990. – 560 с., ил.

17. В. О. Сафонов. Экспертные системы - интеллектуальные помощники специалистов. С.-Пб: Санкт-Петербургская организация общества “Знания” России, 1992.

18. Гейн К., Сарсонт Т. Структурный системный анализ: средства и методы. В 2-х ч. Ч1/Пер. С англ. Под ред. А.В. Козлинского. – М.:Эйтекс, 1993. – 188с.

19. Горбань А. Нейроинформатика и ее приложения/Открытые системы, 4, 1998

20. Горбань А. Современные направления развития нейрокомпьютерных технологий в России /Открытие системы, 4, 1997, стр. 25-28.

21. Д. Н. Марселлус. Программирование экспертных систем на Турбо Прологе.- М.: Финансы и статистика, 1994.

22. Д. Уотермен. Руководство по экспертным системам. М.: Мир, 1980.

23. Д. Элти, М. Кумбс. Экспертные системы: концепции и примеры. М.: Финансы и статистика, 1987.

24. К. Нейлор. Как построить свою экспертную систему М.: Энергоатомиздат, 1991.

25. К. Таунсенд, Д. Фохт. Проектирование и программная реализация экспертных систем на персональных ЭВМ.- М.: Финансы и статистика, 1990.

26. Малпас Дж. Реляционный язык пролог и его применение: Пер. с англ./Под редакцией В.Н. Соболева. – М.: Наука. Гл. ред. физ-мат.лит., 1990. – 464 с.

27. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении предикатов//Доклады Академии наук СССР.Т 159.–1964. №1.С.17-20.

28. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1971.-320с.

29. Минский М. На пути к созданию искусственного разума//Вычислительные машины и мышление. – М.: Мир, 1967. – 552с.

30. Минский М. Структура для представления знания. –Сб. Психология машинного зрения. Под ред. П. Уинстона. М.: Мир, 1978.- с.249-338.

31. Нейлор К. Как построить свою экспертную систему: Пер. с англ. – М.: Энергоатомиздат, 1991. – 286 с.: ил.

32. Нильсон Н. Искусственный интеллект. Методы поиска решений. – М.: Мир, 1973.-265 с.

33. Нильсон Н. Принципы искусственного интеллекта. – М.: Радио и связь, 1985.-376 с.

34. Осуга С. И др. Приобретение знаний/Пер. с япон.под рук.С.Осуги. - М.: Мир, 1990,-304 с.: ил.

35. Осуга С. Обработка знаний/Пер. с япон. – М.: Мир, 1989.- 293с., ил.

36. Петров Э.И. Система Rethink. Применение. Аспекты//Материалы семинара “Динамические интеллектуальные системы в управлении”. - М: ЦРДЗ, 1996. – с.58-64.

37. Попов Э.В. Фоминых И.Б. Кисель Е.Б. Статические и динамические экспертные системы.- М: ЦРДЗ, 1995. – 126 с.

38. Попов Э.В. Экспертные системы реального времени//Материалы семинара “Экспертные системы реального времени ”. - М: ЦРДЗ, 1995. – с.5-22.

39. Попов Э.В. Экспертные системы. Решение неформализованных задач в диалоге с ЭВМ. – М.: Наука, 1987.

40. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. – М.: Мир, 1976. – 455с.

41. Поспелов Г.С. Искусственный интеллект. Новая информационная технология//Вестник АН СССР. – 1983. - №6. – С. 31-42.

42. Рот М. Интеллектуальный автомат: компьютер в качестве эксперта/ Пер. с нем. А.П. Свиридова. - М.: Энергоатомиздат, 1991

43. Статические и динамические экспертные системы: Учебное пособие/ Э.В. Попов и др. М.: Финансы и статистика, 1996. -320с.: ил.

44. Таусенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ /Пер с англ. В.А. Кондратенко. - М.: Финансы и статистика, 1990

45. Тейлор К. Как построить свою экспертную систему/ Пер. с англ. Н.Н. Слепова. - М.: Энергоатомиздат, 1991

46. Уинстон П. Искусственный интеллект. М.1980.

47. Уотермен Д. Руководство по экспертным системам: пер. с англ./ Под ред. В.Л. Стефанюка. -.М.: Мир, 1989

48. Хант Э. Искусственный интеллект. -М.: Мир,1978.

49. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры/Пер с англ. И предисловие Б.И. Шитикова.- М.: Финансы и статистика, 1987.-191 с.:ил.

50. Грей П. Логика, алгебра и базы данных/Пер. с англ. Под ред. Г.В. Орловского, А.О. Слисенко.- М.: Машиностроение, 1989,- 368 с.: ил.

51. Искусственный интеллект: В 3 кн. Кн. 1. Системы общения и экспертные системы: Справочник/Под ред. Э.В. Попова.-М.: Радио и связь, 1990.-464 с.: ил.

52. Тейз А., Грибомон П., Луи Ж. И др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию/Пер с франц.-М.: Мир, 1990.-43с.: ил.

53. Вагин В.М. Дедукция и обобщение в системах принятия решений. - М.: Наука, 1988. - 384с.

54. Т.А. Гаврилова, В.Ф. Хорошевский. Базы знаний интеллектуальных систем.- СПб: Притер, 2000. – 384с.: ил.

55. Нильсон Н. Принципы искусственного интеллекта. - М.: Радио и связь, 1985. - 376с.

56. Искусственный интеллект. - В 3-х кн. Кн.2. Модели и методы: Справочник / Под ред. Д.А. Поспелова - М.: Радио и связь, 1990. - 304с.

57. Представление и использование знаний: Пер. с япон. / Под ред. Х. Уэно, М. Исидзука. - М.: Мир, 1989. - 220с.

58. Осуга С. Обработка знаний: Пер. с япон. - М.: Мир, 1989. - 293с.

59. Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ.-М.:Мир, 1990.-300 с.

60. Нечеткие множества в моделях управления и искусственного интеллекта. /Под редакцией Д.А. Поспелова. - М.: Наука, 1986.- 312 с.

61. Джексон П. Введение в экспертные системы: Пер. с англ.: Уч.пос.- М.; Издательский дом Вильямс,2001.- 624 с.

62. Дж. Доорс, А. Р. Рейблейн, С. Вадера Пролог – язык программирования будущего; Пер. с англ.; -М.: Финансы и статистика 1990. 144 с.:ил.

63. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. –СПб.: БХВ-Петербург, 2003.-992 с.: ил.

64. Бондарев В.Н. Искусственный интеллект: Учеб.пособие для вузов/ В.Н. Бондарев Ф.Г. Аде- Севастополь: Изд-во СевНТУ, 2002.-615с.: ил.

65. Обработка нечеткой информации в системах принятия решения / А.Н. Борисов, А.В. Алексеев, Г.В. Меркурьев.- М.: Радио и связь, 1989. – 304с.

66. Представление и исследование знаний / Под ред. Х. Уэно, М. Исидзука; Пер. с япон.-М.:Мир 1989. –220с.

67. Голицын Г.А., Фоминых И.Б. Интеграция нейросетевой технологии с експертными системами // Труды 5 Национальной конференции по ИИ – Казань, 1996.

68. Минский М.Л., Пейперт С. Персептероны. - М.: Мир, 1971.

69. Айзерман М.А., Браверман Э.М., Розоноэр Л.И. Метод потенциальных функций в теории обучения машин. – М.: Наука, 1970. –383с.

70. Hopfield J.J. Neural Network and Physical Systems with Emergent Collective Computation Abilities. //Proc. Nat. Acad. Science USA, 1982-V 79, Pp.2445-2558.

71. Голицын Г.А., Петров В.М. Информация- поведение – творчество. М.: Наука, 1991.- 224с.

72. Ивахненко А.Г. Персептроны. - Киев: Наукова думка, 1974.

73. Дуда Р., Харт П. Распознавание образов и анализ сцен. – М.: Мир, 1976. –512с.

74. Бонгард М.М. Проблема узнавания. М.:Наука.- 320с.

75. Барцев С.И., Охонин В.А. Адаптивные сети обработки информации Красноярск: Ин-т физики СЩ АН СССР, 1986, Препринт 59Б.-20с.

76. Джорж Ф.Люгер Искусственный интеллект: стратегии и методы решения сложных проблем, 4-е издание.: Пер. с англ.- М.: Издательский дом “Вильямс”, 2003.-864 с.