ГОСТ Р ИСО 18629-12—2010
Библиография
[1] Федеральные стандарты по обработке информации. Публикация 184. Определение интеграции для инфор
мационного моделирования ( IDEF3). FIPS PUB 184. Национальный институт стандартов и технологий,
декабрь 1993 г.. IDEF3”
(Federal Information Processing Standards Publication 184, Integration Definition (or Information Modeling (IDEF3).
FIPS PUB 184. National Institute of Standards and Technology. December 1993. IDEF3. Available from the Internet:
<
http://wvvw.idef.com
>)
[2] McCarthy. J. и Hayes, P. Некоторые философские проблемы с точки зрения искусственного интеллекта. Журнал
«Машинный интеллект». 4. под род. В. Meltzer и D. Michie. Edinburgh University Press. Эдинбург. 1969 г, стр.
463 — 502
(McCarthy. J.. and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence. In Machine
Intelligence 4. B. Meltzer and D. Michie, eds. Edinburgh University Press. Edinburgh. 1969, pp. 463 — 502)
[3] Pinto. J. Временное рассмотрение в ситуационном исчислении, технический отчет KRR-TR-94-1. Отделение
компьютерных наук. Университет Торонто, 1994 г.
(Pinto. J. Temporal Reasoning in the Situation Calculus. Technical Report
KRR-TR-94-1. Department of Computer Science. University of Toronto. 1994)
[4] Reiter. R. Проблема систем отсчета в ситуационном исчислении: простое (частное) решение и полнота резуль
тата для целевой регрессии. В сб. под ред. Vladimir Lifschitz. Искусственный интеллект и математическая
теория вычислений: сборник статей в честь John McCarthy. 1991г. стр. 418 — 440. Academic Press. Сан-
Диего.
(Reiter. R. The frame problem in the situation calculus: a ample solution (sometimes) and a completeness result for goal
regression. In Vladimir Lifschitz. editor. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor
of John McCarthy. 1991. pp. 418 — 440. Academic Press. San Diego)
11 Документ доступен в сети Интернет по адресу <http:/M%vw.idef.com >.
33