авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 12 | 13 ||

«В.В. Голенков, О.Е. Елисеева, В.П. Ивашенко, В.М. Казан Н.А. Гулякина, Н.В. Беззубенок, Т.Л. Лемешева, Р.Е. Сердюков И.Б. Фоминых ПРЕДСТАВЛЕНИЕ И ...»

-- [ Страница 14 ] --

425. Р е й н г о л ь л д Э.. 1 9 8 0 к н - К о м б и А Т и П Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. / пер.с англ. под ред.

В.Б.Алексеева. - М.: Мир, 1980.

426. Р е й т м а н У. Р. 1 9 6 8 к н - П о з н а И М Рейтман У.Р. Познание и мышление. Моделирование на уровне информационных процессов. - М.: Мир, 1968.

427. Р о д р и г а Г. р е д. 1 9 8 6 - П а р а л В Параллельные вычисления. Под. ред. Родрига Г. - М.: Наука, 1986.

428. Р о з е н к р а н ц Д. 1 9 7 0 с т - П р о г р Г Розенкранц Д. Программные грамматики и классы формальных языков // Сборник переводов по вопросам информационной теории и практики. - М.: ВИНИТИ, 1970. - N 16. - с.117-146.

429. Р у б а ш к и н В. Ш. 1 9 8 9 к н - П р е д с И А С Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. - М.:

Наука, 1989.

430. Р ы б и н а Г. В.. 1 9 7 9 с т - С и с т е П П З Системы представления понятийных знаний с использованием фреймов / Рыбина Г.В., Строганова Н.А., Фардзинова М.И., Хромов А.А. // Интеллектуальные банки данных. - М.: Сов. радио, 1979. - с. 25-48.

431. С а в у ш к и н С. А. 1 9 9 2 с т - Н е й р о Э С Савушкин С.А. Нейросетевые экспертные системы // Нейрокомпьютер. - 1992. - N 2.

Литература 432. С а п а т ы й П. С. 1 9 8 3 с т - о Э ф ф е к С Р О Сапатый П.С. Об эффективности структурной реализации операций над семантическими сетями // Техн.

кибернет. - 1983. - N 5. - с. 128-134.

433. С а п а т ы й П. С. 1 9 8 4 с т - А к т и в И П Сапатый П.С. Активное информационное поле как модель структурного решения задач на графах и сетях // Изв. АН СССР. Техн. кибернет. - 1984. - N 5. - с. 184-208.

434. С а п а т ы й П. С. 1 9 8 6 с т - Я з ы к В О Л Н А - Сапатый П.С. Язык ВОЛНА-0 как основа навигационных структур для баз знаний на основе семантических сетей // Изв. АН СССР. Техн. кибернет. - 1986. - N 5. - с.198-210.

435. С в а м и М.. 1 9 8 4 к н - Г р а ф ы С и А Свами М., Тхуласираман К. Графы, сети и алгоритмы. - М.: Мир, 1984.

436. С е м е н о в В. В. 1 9 8 0 с т - С е м а н Ф С Семенов В.В. Семантические фреймовые сети как модели предметной области для САПР САУ // Пред ставление знаний в системах искусственного интеллекта. - М.: МДНТП, 1980. - с. 117-122.

437. С е м и о А Ф И Д - 1 9 8 5 к н Семиотические аспекты формализации интеллектуальной деятельности. - М.: Наука, 1985.

438. С е р г е й ч у к И. М. 1 9 7 7 с т - В ы ч и с У Сергейчук И.М. Вычислительное устройство для оперативного решения сетевых задач одного класса. // Управляющие системы и машины. - 1977. - N 3. - с. 84-90.

439. С и м о н с Д ж. 1 9 8 5 к н - Э В М П П Симонс Дж. ЭВМ пятого поколения: компьютеры 90-х годов.- М.: Финансы и статистика. - 1985.

440. С к в о р ц о в Д. П.. 1 9 8 1 с т - З а м е ч О О Р Я Скворцов Д.П., Финн В.К. Замечание об одном расширении языка многосортной логики предикатов // НТИ.

- Сер. 2. - 1981. - N 8. - с. 25-26.

441. С к в о р ц о в Д. П. 1 9 8 2 с т - о Н е к о т С П Л Я Скворцов Д.П. О некоторых способах построения логических языков с кванторами по кортежам // Семио тика и информатика. - 1982. - Вып. 20. - с. 102-126.

442. С к о р н я к о в Л. А. р е д. 1 9 9 0 к н - О б щ а я А Скорняков Л.А. ред. Общая алгебра. Т.1 / Мельников О.В., Ремесленников В.Н., Романьков В.А. и др. – М.:

Наука, 1990.

443. С к о р н я к о в Л. А. р е д. 1 9 9 1 к н - О б щ а я А Скорняков Л.А. ред. Общая алгебра. Т.2 / Артамонов В.А., Салий В.Н., Скорняков Л.А. и др. – М.: Наука, 1991.

444. С к о р о х о д ь к о Э. Ф. 1 9 8 3 к н - С е м а н С и А О Т Скороходько Э.Ф. Семантические сети и автоматическая обработка текста. - Киев: Наук. думка, 1983.

445. С к р э г г П. 1 9 8 3 с т - С е м а н С к М П Скрегг П. Семантические сети как модели памяти. // Новое в зарубежной лингвистике. - М.: Прогресс, 1983. - Вып. 12. - с.228-271.

446. С к р и г а н Н. И.. 1 9 7 9 п р - С р е д с О И Г С Скриган Н.И., Никитин А.С. Средства обработки иерархических графовых структур на базе расширения языка ПЛ/1 ОС (язык ГРАСПЛ). - Минск, 1979. (Препринт / Ин-т математики АН БССР;

N 6-62).

447. С м а л ь я н Р. 1 9 8 1 к н - Т е о р и Ф С Смальян Р. Теория формальных систем. - М.: Наука, 1981.

448. С м и р н о в а Е. Д. 1 9 9 0 к н - О с н о в Л С Смирнова Е.Д. Основы логической семантики.-М.:Высш.шк.,1990.

449. С м и р н о в В. А. 1 9 7 2 к н - Ф о р м а В и Л И Смирнов В.А. Формальный вывод и логические исчисления. - М.: Наука, 1972. - 272 с.

Представление и обработка знаний в графодинамических ассоциативных машинах 450. С м и р н о в В. К.. 1 9 8 8 с т - Л И С П П Смирнов В.К., Рубин А.Г. ЛИСП-процессоры - аппаратная база для создания систем искусственного ин теллекта // Машинная реализация систем искусственного интеллекта: Сб. науч. тр. / Под ред. Кузина Л.Т. М.: Энергоатомиз- дат, 1988. - с. 48-58.

451. С о л о в ь е в В. А. 1 9 9 0 с т - Ф о р м и Н С С П и С Соловьев В.А. Формирование на семантической сети понятий и суждений с помощью рассуждений по аналогии // II Всесоюзная конференция "Искусственный интеллект-90". Секционные и стендовые доклады.

- Минск, 1990. - Т. 1. - с. 166-169.

452. С т е п а н о в А. М. 1 9 8 1 п р - Ф р е й м И П С В Степанов А.М. Фреймы и параллельные смешанные вычисления. - Новосибирск, 1981. (Препринт / СО ВЦ АН СССР;

N 297).

453. С т е п а н о в А. М. 1 9 8 1 п р - Э к с п е С П Степанов А.М. Экспериментальная система программирования. - Новосибирск, 1981. (Препринт / СО ВЦ АН СССР;

N 305).

454. С т е р л и н г Л.. 1 9 9 0 к н - И с к у с П Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 1990.

455. С т о г н и й А. А.. 1 9 8 7 с т - Э В М С е р и и М И Р Стогний А.А., Гринченко Т.А. ЭВМ серии МИР и пути повышения машинного интеллекта // Кибернетика. 1987. - N 6. - с. 72-80.

456. С т о л я р А. А. 1 9 8 2 к н - К а к М У в П П Столяр А..А. Как математика ум в порядок приводит. - Мн.: Высш. школа, 457. С у в о р о в Е. В.. 1 9 8 1 п р - С п е ц и П Суворов Е.В., Фет Я.И. Специализированный процессор для аппаратной поддержки реляционных баз данных. - Новосибирск, 1981. (Препринт / Ин-т матем. СО АН СССР).

458. С у в о р о в Е. В.. 1 9 8 5 с т - П р о ц е Б Д Суворов Е.В., Фет Я.Н. Процессоры баз данных // Изв. АН СССР. Техн. кибернет. - 1985. - N 6. - с. 63-75.

459. С у в о р о в Е. В. 1 9 8 4 п р - О б о б щ П к Р И Л П Суворов Е.В. Обобщенный подход к реализации информационно-логических процедур. - Новосибирск, 1984. - (Преп- ринт / Ин-т матем. СО АН СССР;

N 517).

460. С у в о р о в П. Ю. 1 9 7 9 с т - П р е д с Д Р Г Суворов П.Ю. Представление доказательств раскрашенными графами и гипотеза Хадвигера // Записки научных семинаров Ленинградского отделения Математического института АН СССР им. В.А.Стеклова. 1979. - Т.88. - N 8. - с. 209-217.

461. С у н ь ю а н ь Г. 1 9 8 4 с т - С и с т о И В М П Суньюань Г. Систолические и волновые матричные процессоры / Пер. с англ. // ТИИЭР. - 1984. - Т. 72. - N 7. - с.133-153.

462. С ы р к о в Б. Ю.. 1 9 9 2 к н - П р о г р О М С Сырков Б.Ю., Матвеев С.В. Программное обеспечение мультитранспьютерных систем. -М.: ДИАЛОГ МИ ФИ, 1992.

463. Т а к е у т и Г. 1 9 7 8 к н - Т е о р и Д Такеути Г. Теория доказательств. - М.: Мир, 1978.

464. Т а р а н Т. А. 1 9 9 8 к н - О с н о в Д М Таран Т. А. Основы дискретной математики. – К.: Просвiта, 1998.

465. Т а р а с о в В. Б. 1 9 9 8 с т - А г е н т М С В С Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте// Новости искусственного интеллекта.№2, 1998.

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

Литература 467. Т е й л о р Р.. 1 9 8 2. с т - Я з ы к О н П Тейлор Р., Уилсон П. Язык, ориентированный на процессы и удовлетворяющий требованиям распреде лённой обработки // Электроника. - 1982. - N 24. - с. 26-34.

468. Т е р б е р К. Д ж. 1 9 8 5 к н - А р х и т В В С Тербер К.Дж. Архитектура высокопроизводительных вычислительных систем / Пер. с англ. - М.: Наука, 1985.

469. Т и к Э.. 1 9 8 8 к н - К о н в е П р о л о г П Тик Э., Уоррен Д.Г.Д. Конвейерный Пролог-процессор //Язык Пролог в пятом поколении ЭВМ. - М.: Мир, 1988.

470. Т о н д л Л. 1 9 7 5 к н - П р о б л С Тондл Л. Проблемы семантики. - М.: Прогресс, 1975.

471. Т о р г а ш е в В. А. 1 9 8 2 с т - У п р а в В П Торгашев В.А. Управление вычислительными процессами в машинах с динамической архитектурой // Вы числительные системы и методы автоматизации исследований и управления. - М.: Наука, 1982.

472. Т о р г а ш е в В. А. 1 9 8 2 с т - Э В М С Д А Торгашев В.А. ЭВМ с динамической архитектурой // Вычислительные системы и методы автоматизации исследований и управления. - М.: Наука, 1982.

473. Т о р г а ш е в В. А. 1 9 8 3 с т - Р Я Д Торгашев В.А. РЯД - развивающийся язык программирования динамического типа для распределенных вычислений // Информационно-вычислительные проблемы автоматизации научных исследований. - М.:

Наука, 1983. - с. 215-224.

474. Т р а х т е н г е р ц Э. А. 1 9 8 7 к н - П р о г р О П П Трахтенгерц Э.А. Программное обеспечение параллельных процессоров. - М.: Наука, 1987.

475. Т у з о в В. А. 1 9 8 4 к н - М а т е м М Я Тузов В.А. Математическая модель языка. - Л.: Изд-во ленингр. ун-та, 1984.

476. Т у з о в В. А. 1 9 8 6 с т - о Ф о р м а П З Тузов В.А. О формализации понятия задачи // Методы и системы автоматизации в задачах науки и произ водства. - М.: Наука, 1986. - с. 73-83.

477. Т у р ч и н В. Ф. 1 9 6 8. п р - А л г о р Я Р Ф Турчин В.Ф. Алгоритмический язык рекурсивных функций (РЕФАЛ). - М., 1968.(Препринт / ИПМ АН СССР).

478. Т у р ч и н В. Ф. 1 9 6 8 с т - М е т а а Я Турчин В.Ф. Метаалгоритмический язык // Кибернетика. - 1968. - N 4.

479. Т ы у г у Э. Х.. 1 9 8 5 с т - О б ъ е к О Я Н У Т Тыугу Э.Х., Мацкин М.Б., Пеньям Я.Э., Эомойс П.В. Объектно-ориентированный язык НУТ // Прикладная информатика.- М.: Финансы и статистика, 1985. - Вып. 2(9). - с. 45-66.

480. Т ы у г у Э. Х. 1 9 8 9 с т - И н т е г З Тыугу Э.Х. Интеграция знаний // Изв. АН СССР. Техн. кибернет. - 1989. - N 5. - с. 3-13.

481. Т ы у г у Э. Х. 1 9 9 0 с т - О б ъ е к О П Тыугу Э.Х. Объектно-ориентированное программирование // Программирование. - 1990. - N 6. - с. 16-26.

482. Т ы у г у Э. Х. 1 9 8 4 к н - К о н ц е П Тыугу Э.Х. Концептуальное программирование. - М.: Наука, 1984.

483. Т ю х т и н В. С. 1 9 7 7 с т - О с о б е П З И Тюхтин В.С. Особенности переработки знаковой информации человеком и ЭВМ // Психологические про блемы переработки знаковой информации. - М.: Наука, 1977. - с. 57-69.

484. У в а р о в а Т. Г.. 1 9 8 7 к н - Ф о р м а О О Я д С С Уварова Т.Г., Лифшиц Л.Л. Формальное описание операционного языка для семантических сетей. - М.: ВЦ АН СССР, 1987.

Представление и обработка знаний в графодинамических ассоциативных машинах 485. У в а р о в а Т. Г. 1 9 8 7 с т - О п е р а С В Я Уварова Т.Г. Операционная семантика волновых языков и метод ее описания // Изв. АН СССР. Техн. ки бернет. - 1987. - с. 128-142.

486. У и н с т о н П. Г. 1 9 8 0 к н - И с к у с И Уинстон П. Искусственный интеллект. Пер. с англ. - М.: Мир, 1980.

487. У и н с т о н П. Г. 1 9 8 7 с т - Л и с п С Р Уинстон П.Г. Лисп совершает революцию / Пер. с англ. // Реальность и прогнозы искусственного интел лекта. - М.: Мир, 1987. - с. 71-84.

488. У о с с е р м е н Ф. 1 9 9 2 к н - Н е й р о Т Уоссермен Ф. Нейрокомпьютерная техника: Теория и практика. М.: Мир, 1992.

489. У о т е р м е н Д. 1 9 8 9 к н - Р у к о в П Э С Уотермен Д. Руководство по экспертным системам: Пер. с англ. - М.: Мир, 1989.

490. У с п е н с к и й В. А.. 1 9 8 7 к н - Т е о р и А Успенский В.А., Семенов А.Л. Теория алгоритмов, основные открытия и приложения. - М.: Наука, 1987.

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

492. Ф а й н В. С. 1 9 8 7 к н - Р а с п о О Файн В.С. Распознавание образов и машинное понимание естественного языка. - М.: Наука, 1987.

493. Ф е т Я. И. 1 9 8 0 с т - П р е о б С Д Фет Я.И. Преобразование структур данных в специализированных однородных процессорах // Управляю щие системы и машины. - 1980. - N 4. - с. 32-38.

494. Ф е т Я. И. 1 9 8 1 к н - П а р а л П д У С Фет Я.И. Параллельные процессоры для управляющих систем. - М.: Энергоиздат, 1981.

495. Ф е т Я. И. 1 9 8 6 с т - В е р т и О Фет Я.И. Вертикальная обработка как основа крупноблочной архитектуры // Известия АН СССР. Техн. ки бернет. - 1986. - N 5. - с. 139-152.

496. Ф и л д А.. 1 9 9 3 к н - Ф у н к ц П Филд А., Харрисон П. Функциональное программирование / Пер. с англ. - М.: Мир, 1993.

497. Ф и н н В. К. 1 9 8 1 с т - к Ф о р м а О И П С Финн В.К. К формальному определению информационно-поисковой системы // НТИ. Сер. 2. - 1981. - N 5. с. 5-15.

498. Ф и н н В. К. 1 9 7 6 к н - Л о г и ч П И П Финн В.К. Логические проблемы информационного поиска. - М.: Наука, 1976.

499. Ф и н н В. К. 1 9 8 3 с т - о М а ш и н О Ф П Р Финн В.К. О машинно-ориентированной формализации правдоподобных рассуждений в стиле Ф.Бэкона Д.С.Миля // Семиотика и информатика. - 1983. - Вып. 20. - с. 35-101.

500. Ф и н н В. К. 1 9 8 4 с т - И н ф о р С и П И И Финн В.К. Информационные системы и проблемы их интеллектуализации //НТИ. Сер.2.-1984.- N 1. -с.1-14.

501. Ф и н н В. К. 1 9 8 6 с т - о Л о г и ч И В С Финн В.К. О логических информационно-вычислительных системах // НТИ. Сер. 2. - 1986. - N 1. - с. 7-10.

502. Ф и н н В. К. 1 9 9 1 с т - П р а в д Р Финн В.К. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ // Итоги науки и техни ки. Серия Информатика. Том 15. - М.: ВИНИТИ, 1991. - с. 54-101.

503. Ф о м и н ы х И. Б. 1 9 9 9 с т - А д а п т С Фоминых И.Б. Адаптивные системы и информационная модель эмоций// Сб. трудов Международной конференции “Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT 99)”.- Переславль-Залесский.- Наука, Физматлит, 6-9 декабря 1999.- с.103-107.

Литература 504. Ф о м и н ы х И. Б. 2 0 0 0 с т - И н т е г Н и С М Фоминых И.Б. Интеграция нейронных и символьно-логических моделей в интеллектуальных технологиях// Сб. научных трудов VII Национальной конференции с международным участием “Искусственный интел лект - 2000”, Переславль-Залесский, 2000.-т. 2, с.588-595.

505. Ф о м и н ы х И. Б. 1 9 9 6 с т - К л а с с Д Э С Фоминых И.Б. Классификация динамических экспертных систем. // Динамические интеллектуальные сис темы в управлении и моделировании. Материалы семинара. - М., 1996. с.38-42.

506. Ф о м и н ы х И. Б. 1 9 9 8 с т - о С о о т н О и Л П Фоминых И.Б. О соотношении образной и логической парадигм в системах искусственного интеллекта /Новости искусственного интеллекта. - М.: АИИ, №3, 1998.- С.76-85.

507. Ф о м и н ы х И. Б. 1 9 9 9 с т - Н е к о т Ф А Фоминых И.Б. Некоторые формальные аспекты информационного подхода к построению нейроэксперт ных систем//Известия РАН. Теория и системы управления.- М: Наука, 1999.- №5.- с.83-86.

508. Ф о с т е р К. 1 9 8 1 к н - А с с о ц П П Фостер К. Ассоциативные параллельные процессоры. - М.: Энергоиздат, 1981.

509. Ф р е г е Г. 1 9 7 7 с т - С м ы с л И Д Фреге Г. Смысл и денотат // Семиотика и информатика. - М., 1977. - Вып. 8. - с. 181-210.

510. Ф р и д м а н Г. Ш. 1 9 7 6 с т - И с с л е О З К н Г Фридман Г. Ш. Исследование одной задачи классификации на графах // Методы моделирования и обра ботки информации. - Новосибирск: Наука, 1976.-с. 147-177.

511. Ф р о л о в А. А.. 1 9 8 7 к н - Н е й р о М А П Фролов А.А., Муравьев И.П. Нейронные модели ассоциативной памяти. - М.: Наука, 1987.

512. Ф у К. С. 1 9 7 7 к н - С т р у к М в Р О Фу К. С. Структурные методы в распознавании образов. - М.: Мир, 1977.

513. Ф у т и К.. 1 9 8 8 к н - Я з ы к и П и С С Б И С Фути К., Судзуки Н. Языки программирования и схемотехника СБИС / Пер. с япон. - М.: Мир, 1988.

514. Х а л и м З. 1 9 8 8 с т - И Л И П П М Халим З. ИЛИ-параллельная потоковая Пролог-машина // Язык Пролог в пятом поколении ЭВМ. - М.: Мир, 1988. - с.276-309.

515. Х а н т Э. 1 9 7 8 к н - И с к у с И Хант Э. Искусственный интеллект / Пер. с англ. - М.: Мир, 1978.

516. Х а р а р и Ф. 1 9 7 3 к н - Т е о р и Г Харари Ф. Теория графов.-М.:Мир, 1973.

517. Х е й с - Р о т Ф.. 1 9 8 7 к н. - П о с т р Э С Хейс-Рот и др. Построение экспертных систем// Под ред. Ф.Хейес-Рота, Д.Уотермана, Д.Лената. М.: Мир, 1987.

518. Х а р п Г. М. р е д. 1 9 9 3 к н - Т р а н с Транспьютеры. Архитектура и программное обеспечение: Пер. с англ./Под ред. Харпа. Г.-М.: Радио и связь, 1993.

519. Х е л ь б и г Г. 1 9 8 0 с т - С е м а н П З Хельбиг Г. Семантическое представление знаний в вопросно-ответной системе FAS-80 // Представление знаний и моделирование процессов понимания. - Новосибирск, 1980. - с. 97-123.

520. Х е н д е р с о н П. 1 9 8 3 к н - Ф у н к ц П Хендерсон П. Функциональное программирование. Применение и реализация / Пер. с англ. - М.: Мир, 1983.

521. Х е н д р и к с Г. 1 9 7 5 с т - о Р а с ш и П С С В Р Хендрикс Г. О расширении применяемости семантических сетей введением разбиений // Труды IV Меж дународной объ- единенной конференции по искусственному интеллекту. - М., 1975. - Т. 1. - с. 190-206.

Представление и обработка знаний в графодинамических ассоциативных машинах 522. Х и г м а н Б. 1 9 7 4 к н - С р а в н И Я П Хигман Б. Сравнительное изучение языков программирования: Пер. с англ. - М.: Мир, 1974.

523. Х и л л и с У. Д. 1 9 8 7 с т - К о м м у М Хиллис У.Д. Коммуникационная машина // В мире науки. - М.: Мир, 1987. - N 8.

524. Х и н т и к к а Я. 1 9 7 4 с т - к В о п р о О В Хинтикка Я. К вопросу о вопросах // Философия в современном мире. Философия и логика. - М.: Наука, 1974.

525. Х и н т и к к а Я. 1 9 8 0 с т - Л о г и к о Э И Хинтикка Я. Логико-эпистемологические исследования: Сб. избранных статей / Составление, вступитель ная статья, общ. ред. Садовского В.Н., Смирнова В.А. - М.: Прогресс, 1980.

526. Х и н т о н Д ж. Е. 1 9 8 7 с т - О б у ч е В П С Хинтон Дж.Е. Обучение в параллельных сетях / Пер. с англ // Реальность и прогнозы искусственного ин теллекта. - М.: Мир, 1987. - с. 124-136.

527. Х о а р Ч. 1 9 8 9 к н - В з а и м П П Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ. - М.: Мир, 1989.

528. Х о г г е р К. 1 9 8 8 к н - В в е д е в Л П Хоггер К. Введение в логическое программирование: Пер. с англ. - М.: Мир, 1988.

529. Х о к н и Р.. 1 9 8 6 к н - П а р а л Э В М Хокни Р., Джессхоуп К. Параллельные ЭВМ. Архитектура, программирование, алгоритмы. - М.: Мир, 1986.

530. Х о л л П. 1 9 7 8 к н - В ы ч и с С Холл П. Вычислительные структуры. Введение в нечисленное программирование. - М.: Мир, 1978.

531. Х о л с т е д М. Х. 1 9 8 1 к н - Н а ч а л Н о П Холстед М.Х. Начала науки о программах / Пер. с англ. под ред. В.М.Юфы - М.: Финансы и статистика, 1981.

532. Х о о р Ч. Э. Р.. 1 9 8 0 к н - Н е п р о т В Т С Я П Хоор Ч.Э.Р., Лауэр П.Е. Непротиворечивые взаимодополняющие теории семантики языков программиро вания // Семантика языков программирования. - М.: Мир, 1980.

533. Х о р о ш е в с к и й В. Ф. 1 9 9 9 с т - П о в е д И А Хорошевский В.Ф. Поведение интеллектуальных агентов: модели и методы реализации // Труды 4-го ме ждунар. семинара по прикладной семиотике, семиотическому и интеллектуальному управлению ASC/IC'99. - М. - 1999. - С.5- 534. Х о р о ш е в с к и й В. Ф.. 1 9 8 9 с т - П р о г р И П З в Э С Хорошевский В.Ф., Шерстнев В.Ю. Программный инструментарий представления знаний в экспертных системах // Экспертные системы: состояние и перспективы. М.: Наука, 1989. - с.38-46.

535. Х о р о ш е в с к и й В. Ф. 1 9 8 8 у ч - А в т о м П Э С Хорошевский В.Ф. Автоматизация программирования экспертных систем: Учебное пособие. - М.: МИФИ, 1988.

536. Х о ф м а н И. 1 9 8 6 к н - А к т и в П Хофман И. Активная память: Экспериментальные исследования и теории человеческой памяти. - М.: Про гресс, 1986.

537. Х ю в е н е н Э.. 1 9 9 0 - М и р Л и с п а - К Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программиро вание /Пер. с финск. - М.: Мир, 1990. - 447 с.

538. Х ю в е н е н Э.. 1 9 9 0 - М и р Л и с п а - К Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.2: Методы и системы программирования. Пер.с финск. - М.:

Мир, 1990. - 319 с.

539. Ц а л е н к о М. Ш. 1 9 8 9 к н - М о д е л С в Б Д Цаленко М.Ш. Моделирование семантики в базах данных. - М.: Наука, 1989.

Литература 540. Ц е й т и н Г. С. 1 9 8 5 к н - П р о г р Н А С Цейтин Г.С. Программирование на ассоциативных сетях. - в сб.: ЭВМ в проектировании и производстве / Под ред. Орловского Г.В. - Л.: Машиностроение, Ленинградское отд., 1985.

541. Ц е л и щ е в В. В.. 1 9 8 2 к н - Л о г и к И Я Н Т Целищев В.В., Карпович В.Н., Поляков И.В. Логика и язык научной теории. - Новосибирск: Наука, 1982.

542. Ц о й С.. 1 9 7 1 к н - П р и к л Т Г Цой С., Цхай С.М. Прикладная теория графов. - Алма-Ата: Наука, 1971.

543. Ч а п л я А. А.. 1 9 8 8 к н - В о п р о П А Чапля А.А.. Вопросы построения архитектуры для решения задач искусственного интеллекта. - М.: ВЦ АН СССР, 1988.

544. Ч е н ь Ч.. 1 9 8 3 к н - М а т е м Л и А Д Т Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. - М.: Наука, 1983.

545. Ч е р и С.. 1 9 9 2 к н - Л о г и ч П и Б Д Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных: Пер. с англ. - М.: Мир, 1992.

546. Ч е р к о н е Н.. 1 9 7 5 с т - к В о п р о О С П С Черконе Н., Шуберт Л. К вопросу о семантическом представлении состояния // Труды IV Международной объединенной конференции по искусственному интеллекту, т.2. - М., 1975.

547. Ч е р н а я И. С. 1 9 7 7 с т - Н е к о т З И П Черная И.С. Некоторые задачи информационного поиска на ассоциативном параллельном процессоре // Программирование. - 1977. - N 1. - с. 74-83.

548. Ч е р н ы х А. Н. 1 9 8 2 п р - Н е к о т В П В Черных А.Н. Некоторые вопросы параллельных вычислений. - М., 1982. (Препринт / ИТМ и ВТ АН СССР;

N 10).

549. Ч е р н ы х А. Н. 1 9 8 2 с т - П а р а л И И О Я Черных А.Н. Параллельная интерпретация операторного языка в экспериментальной системе програм мирования // Многопроцессорные вычислительные системы и их математическое обеспечение / Под ред.

Котова В.Е. - Новосибирск: ВЦ СО АН СССР, 1982. - с. 123-146.

550. Ч и р к о в а Р. Ю.. 1 9 9 6 с т - Т е х н о С Э С Чиркова Р.Ю., Мальковский М.Г. Технология создания экспертных систем для динамических задач управ ления процессами в критических ситуациях // Программирование, N 6, 1996, с.48-62.

551. Ш а н и н Н. А.. 1 9 6 5 к н - А л г о р М П Шанин Н.А. и др. Алгоритм машинного поиска естественного логического вывода в исчислении высказы ваний. - М.: Наука, 1965.

552. Ш е н к Р.. 1 9 8 7 к н - П о з н а М М Шенк Р., Хантер Л. Познать механизмы мышления// Реальность и прогнозы искусственного интеллекта.

М.: Мир, 1987.

553. Ш е н к Р.. 1 9 8 9 к н - к И н т е г С и П Шенк Р., Бирнбаум Л., Мей Дж. К интеграции семантики и прагматики// Новое в зарубежной лингвистики.

Компьютерная лингвистика. Вып.14. М.: Прогресс, 1989.

554. Ш е н к Р. 1 9 8 0 к н - О б р а б К И Шенк Р. Обработка концептуальной информации: Пер. с англ. - М.: Энергия, 1980.

555. Ш и р о к о в Ф. В. 1 9 8 6 к н - н П у т и К П П К Широков Ф.В. На пути к пятому поколению компьютеров. - М.: Наука, 1986.

556. Ш п а к о в с к и й А. С.. 1 9 8 8 к н - П а р а л О С Д Параллельная обработка структур данных / Г.И.Шпаковский, А.С. Липницкий, В.М. Вашкевич и др.;

Под ред. В.А. Мищенко.- Мн.: Университетское, 1988.

557. Ш р е й д е р Ю. А. 1 9 7 1 к н - Р а в е н С П Шрейдер Ю.А. Равенство, сходство, порядок. – М.: Наука, 1971.

Представление и обработка знаний в графодинамических ассоциативных машинах 558. Ш р е й д е р Ю. А.. 1 9 8 2 к н - С и с т е м И М Шрейдер Ю.А., Шаров А.А. Системы и модели. - М.: Радио и связь, 1982.

559. Ш у б е р т Л. 1 9 7 9 с т - У с и л е В М С С Шуберт Л. Усиление выразительной мощности семантических сетей / Пер. с англ. Кибернетический сбор ник. Новая серия. - 1979. - Вып. 16. - с. 171-212.

560. Ш у р а - Б у р а М. Р.. 1 9 8 1 с т - У в е л и С Н А В Шура-Бура М.Р., Вольдман Г.Ш. Увеличение степени непроцедурности арифметических выражений в языках программирования // Программирование. - 1981. - N 2.

561. Э к с п е С - 1 9 8 9 с б Экспертные системы: Состояние и перспективы. Сборник научных трудов. - М.: Наука, 1989.

562. Я г е р а Р. Р. 1 9 8 6 к н - Н е ч е т М Нечеткие множества и теория возможностей. Последние достижения: Пер. с англ./Под ред. Р.Р.Ягера. М.: Радио и связь, 1986.

563. Я з ы к П А д а - 1 9 8 1 к н Язык программирования Ада (предварительное описание) / Пер. с англ. - М.: Финансы и статистика, 1981.

564. Я з ы к П р о л о г В П П - 1 9 8 8 с б - Я з ы к П р о л в П П Э В М Язык Пролог в пятом поколении ЭВМ / Сб. статей. - М.: Мир, 1988.

565. Я н с о н А. 1 9 9 1 к н - Т П р о л о г В С И Янсон А. Турбо-Пролог в сжатом изложении. Пер. с нем. - М.: Мир, 1991.

566. Я с у х а р а Х.. 1 9 8 8 с т - O R B I T Ясухара Х., Нитадори К. ORBIT - параллельная модель выполнения Пролог-программы // Язык Пролог в пятом поколении ЭВМ. - М.: Мир, 1988. - с. 231-247.

567. Я х н о Т. М. 1 9 8 4 п р - С и с т е П Яхно Т.М. Системы продукций как стиль программирования задач искусственного интеллекта. - Новоси бирск, 1984. (Препринт / ВЦ СО АН СССР;

N 499) 568. Я х н о Т. М. 1 9 8 8 с т - Ф о р м а М В в С П Яхно Т.М. Формальная модель вычислений в системах продукций // Изв. АН СССР. Техн. кибернет. - 1988.

- N 2. - с. 106-109.

569. A m a m i y a M.. 1 9 8 5 a r t - N e w A f K B M Amamiya M., Hakozaku K., Yokoi T. et al. New architecture for knowledge base mechanisms // Fifth generation computer Systems, edited by Motooka T. - Proceeding of the Intern. Conf. Tokyo. - Japan. - Oct. 1985. - P.179 187.

570. A r t a l e A.. 1 9 9 8 a r t - a T e m p o D L Artale A. and Franconi E. A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artifi cial Intelligence Research 9 (1998) 463-506.

571. B a c k u s J. 1 9 7 8 a r t - C a n P b L Backus J. Can programming be liberated from the von Neumann Style? A functional Style and its algebra of pro grams // Com. ACM. - 1978. - V. 21. - N 8. - P. 613-641.

572. B a i l e y D. A.. 1 9 8 7 a r t - G r a p h G B S o I S Bailey D.A., Cuny J.E. Graph grammar based specification of interconnection structures for massively parallel computation // Graph Grammars and their Application to Computer Science, LNCS 291 / H.Ehrig, M.Nagl, G.Rozen- berg, A.Rosenfeld, ed. - Sprinnger-Verlag. - 1987. - P.73-85.

573. B e e r J.. 1 9 8 7 a r t - P O P E Beer J., Giloi W.K. POPE - a Parallel-Operating Prolog Engine // Future Generation Computer Systems. - 1987. Vol. 3. - N 2. - P. 83-92.

574. B e n k e r H.. 1 9 8 9 a r t - K n o w l C M Benker H. et al. The Knowledge Cruching Machine at ECRC: A Joint R & D Project of a High Speed Prolog Sys tem // ICL Technical Journal. - November. - 1989. - Vol. 6. - N 4. - P. 737-753.

Литература 575. B i b e l W.. 1 9 8 7 a r t - P a r a l I M Bibel W. et al. Parallel Inference Machines // Future Parallel Computers, Lecture Notes in Computer Science. 1987. - N 272. - P. 185-226.

576. B i b e l W.. 1 9 8 5 а r t - B i b l i O P I M Bibel W., Aspetsberger K. A Bibliography on Parallel Inference Machines // Journal of Symbolic Computations. 1985. - Vol. 1. - N 1. - P. 115-118.

577. B i c L. 1 9 8 5 a r t - D a t a f A f K R S Bic L. Dataflow architecture for knowledge representation systems // AFIPS NCC. - Chicago. - 1985. - P.136-145.

578. B i c L. 1 9 8 5 a r t - P r o c e O N o D A Bic L. Processing of nets on dataflow architectures // Artificial Intelligence. - 1985. - V. 27. - N 2. - P.219-227.

579. B o r a l H.. 1 9 8 3 a r t - D a t a b M Boral H., Dewitt D. Database machines: an idea whose time has passed? A critigue of the future of database ma chines // Proc. Ant. Workshop on Database $ Dataflow Machines, Munich. - 1983. - P. 166-187.

580. B o r g h o f f U.. 1 9 9 8 b k - I n f o r T f K M Borghoff U., Pareschi R., 1998. Information Technology for Knowledge Management. – Springer-Verlad, Bln.

581. B o s y g i t M. 1 9 8 7 a r t - D i s t r C S A S Bosygit M. Distributed computing system architectures: hardware // Distributed operating systems: theory and practice. - Springel-Verlag. - 1987. - P. 201-218.

582. B o t t g e r H. 1 9 8 4 a r t - I n f e r I R Bottger H. Inferential information retrieval over an ex- tended semantics network // Computers and Artificial Intelli gence. - 1984. - V. 3. - N 2. - P. 115-126.

583. B r a c h m a n R. J. 1 9 7 9 a r t - o E p i s t S Brachman R. J. On the Epistemological Status of Semantic Networks // Associative Networks Representation and Use of Knowledge by Computers.-New York: Academic Press, 1979.-P. 3-50.

584. B r u k l e H. J. 1 9 7 8 a r t - H i g h L L Brukle H.J. High level language oriented hardware and post - von Neumann era // Proc. 5-th Symp Computer Ar chitecture. - 1978. - P. 60-65.

585. C a s t e l l a n i I.. 1 9 8 2 a r t - G r a p h G f D S Castellani I., Montanari U. Graph grammars for distributed systems // Graph Grammars and their Application to Computer Science. LNCS 153 / H.Ehrig, M.Nagl, G.Rozen- berg, ed. - Springer-Verlag. - 1982. - P. 20-38.

586. C h u Y. 1 9 7 6 a r t - E v o l u O C M S Chu Y. Evolution of Computer Memory Structure // Proc. National Computer Conf. AFIPS Press. - 1976. - P.733 748.

587. C i e p i e l e w s k i A.. 1 9 8 9 a r t - O R P P R O L O G Ciepielewski A., Haridi S., Hausman B. OR-parallel PROLOG on shared memory multiprocessors // J. Logic Prog ramming. - 1989. - N 7. - p. 125-147.

588. C l a r k K. L. 1 9 8 7 a r t - P A R L O G Clark K.L. PARLOG: the language and its applications // Lecture Notes in Computer Science. - V. 259: PARLE Pa- rallel Architectures and Languages Europe. - Springer-Verlag. - 1987. - P. 30-53.

589. C l o c k s i n W. F.. 1 9 8 8 a r t - M e t h o F E E H C P Clocksin W.F., Alshawi H. A Method for Efficiently Exe Horn Clause Programs Using Multiple Processors // New Generation Computing. - 1988. - Vol. 5. - N 4. - P.361-376.

590. C l o c k s i n W. F. 1 9 8 7 a r t - P r i n c O D e l P h i Clocksin W.F. Principles of the DelPhi Parallel Inference Machine // Computer Journal. - 1987. - Vol. 30. - N 5. P. 386-392.

591. C o n e r y J. S... 1 9 8 1 a r t - P a r a l I o L P Conery J.S., Kibler D.F. Parallel interpretator of logic programs // Proc. of ACM Conf. on Functional Programming Languages and Computer Architecture, Portsmouth. - New Hampshire. - 1981. - P. 163-170.

Представление и обработка знаний в графодинамических ассоциативных машинах 592. C o n e r y J. S.. 1 9 8 5 a r t - A N D P Conery J.S., Kibler D.F. AND parallelism and nondeterminism in logic programs // New generation Computing. 1985. - V. 3. - N 1.

593. C o n k l i n J. 1 9 8 7 a r t - H y p e r Conklin J., 1987. Hypertext: An Introduction and Survey // Computer. Vol.20, No. 9. P. 17-41.

594. C o n k l i n J. 1 9 9 6 b k - D e s i g O M Conklin J., 1996, Designing organizational memory: Preserving intellectual assets in a knowledge economy // Elec tronic Publication by Corporate Memory Systems, Inc.

595. D a v i s A. L. 1 9 8 8 a r t - F A I M - Davis A.L. FAIM-1: An Architecture for Symbolic Multiprocessing // Parallel Computation and Computers for Artifi cial Intelligence. - Kluwer Academia Publishers. - 1988. - P. 223-246.

596. D e g a n o P.. 1 9 8 7 a r t - M o d e l f D S Degano P., Montarani U. A model for distributed systems based on graph rewriting // J. ACM. - 1987. - V. 34(2). P. 411-449.

597. D e l i y a n i A.. 1 9 7 9 a r t - L o g i c A S M Deliyani A., Kowalski R.A. Logic and semantic networks// Communications of the ACM. - 1979. - V. 22. - N 3. P.184-192.

598. D i e l H. 1 9 8 4 a r t - C o n c u D A A Diel H. Concurrent data access architecture // Proc. Int. Conf. Fifth generation computer Systems / ed. by ICOT. 1984. - P. 373-382.

599. D i e l H. 1 9 8 6 a r t - P a r a l L P Diel H. Parallel logic programming based on an extended machine architecture // Fifth generation computer archi tectures / ed. by J.W.Woods Proc. IFIP TC 10 Working Conf. - 1986. - P. 15-30.

600. E d m u n d D. H. e d. 1 9 8 9 a r t - T r e n d I C D P S Trends in cooperative distributed problem solving / Durfee Edmund H., Lesser Victor R., Corkill Daniel D.//IEEE Trans. Knowledge and Data Eng.- 1989. - Vol.1. - N 1. - P.63-83.

601. E n g e l s G.. 1 9 8 7 a r t - G r a p h G E S S M Engels G., Lewerentz C., Schafer W. Graph grammar engineering: a software specification method // Graph Grammars and their Application to Computer Science. LNCS 291 / H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld, ed. - Springer-Verlag. - 1987. - P. 186-201.

602. F a r q u h a r A.. 1 9 9 6 a r t - t O n t o l S Farquhar A., Fikes R., Rice J., 1996. The Ontolingua Server: A Tool for Collaborative Ontology Construction // Knowledge System Laboratory, KSL-96-26, September, 1996.

603. F i n d l e r N. V. e d. 1 9 7 9 b k - A s s o c N R a U o K Associative Networks Representation and Use of Knowledge by Computers/Nic. V. Findler Ed.-New York: Aca demic Press, 1979.

604. F i s h e r K. M. 1 9 9 0 a r t - S e m a n N Fisher K.M., 1990. Semantic networking: New kid of the block // Journal of Research of Science Teaching. No. (10). P. 1001-1018.

605. F i s h e r K. M. 1 9 9 2 a r t - S e m N e t Fisher K.M., 1992. SemNet: A tool for personal knowledge construction // In P. Kommers, D. Jonassen, & T.

Mayes (Eds.) Cognitive tools for Learning. Berlin: Springer Verlad. P. 63-76.

606. F o m i n y k h I. B. 1 9 9 9 a r t - S o m e F F Fominykh I.B. Some Formal Fspects of the Informational Approach to the Construction of Neural Expert Sys tems//J. of Computer and System Sciences International ISSN 1064-2037, 1999.- No.5.- pp.83-86.

607. F o m i n y k h I. B. 2 0 0 0 a r t - N e u r o M i I T Fominykh I.B. Neurological Models in Intellectual Technologies//Proceeding of the International Conf. ”Intelligent Systems and Information Technologies in Control”(IS&ITS-2000), Pscov, June 2000.- St.Peterburg/pskov. SPbSTU Publishers 2000.- pp.50-52.


Литература 608. F r i d m a n N.. 1 9 9 7 b k - O n t o l D Fridman N., Hafner, 1997. Ontology Design: A Survey and Comparative Review // AI Magazine. No. 18(3). P. 53 74.

609. G a b o r D. 1 9 6 9 a r t - A s s o c H M Gabor D. Associative Holographical Memories. IBM J. of research and development, 1969, vol.13, № 2.

610. G a v r i l o v a T.. 1 9 9 9 a r t - C o g n i A o V K B D Gavrilova T., Chernigovskaya T., 1999. Cognitive Aspects of Visual Knowledge Base Desing // Proceedings of the International Conference PEG, Intelligent Computer and communications technology (Teaching & Learning for the 21-st Century), Great Britain. P. 174-181.

611. G a v r i l o v a T.. 1 9 9 9 b k - A d a p t D L C Gavrilova T., Kotova E., Stash N., 1999. Adaptive Distance Learning Course on Artificial Intelligence, ICL99, Aus tria.

612. G o e r i n g S. K. 1 9 9 0 r e p - G r a p h G A t C P Goering Steven K. A Graph Grammar Approach to Concurrent Programming. - Technical Report UIUCDCS-R-90 1576. - University of Illinois, Department of Computer Science.- May 1990.

613. G o l e n k o v V. V.. 1 9 9 2 a r t - P r o j e O P C Golenkov V.V., Korolyov V.G., Solovyov A.S., Tatarenko V.A. The Project of a Parallel Computer for Hardware Support of Processing Semantic and Neural Networks // Proc. RNNS/IEEE Symposium on Neuroinformatics and Neurocomputers. Rostov-on-Don, Russia. October 7-10, 1992.- Vol.1.- P.623-634.

614. G o l e n k o v V. V.. 1 9 9 3 a r t - K n o w l P T S a N L I Golenkov V.V., Kornyevskaya L.I., Korolev V.G., Lobanov B.М., Malevitch I.Е. Knowledge Processing Tolls With Speech and Natural Language Interface// Proc East-West conference on Artificial Intelligence. From Theory to Practice. Moscow, Russia. September 7-9, 1993.- P.198-200.

615. G o l e n k o v V. V.. 1 9 9 3 a r t - P r o g r L f P P o K Golenkov V.V., Gaponov P.A., Kuzmitsky V.М., Solovyov A.S., Tatarenko V.A. A Programming Language for Pa rallel Processing of Knowledge, Represented by Graph Structures // Proc. East-West conference on Artificial Intel ligence. From Theory to Practice. Moscow, Russia. September 7-9, 1993.- P.17-19.

616. G o l e n k o v V. V.. 1 9 9 4 b k - P G C Golenkov V.V., Korolyov V.G., Kuzmitsky V.M., Tatarenko V.A., Vasilevskaya I.V. Parallel Graph Computer (PGC) for Solving Problems in the Area of Artificial Intelligence and Its Applications. - Minsk, 1994. - 48 p. (Pre print/Institute for Engineering Cybernetics of Belarusian Academy of Sciences;

N 5).

617. G o n c a l v e s G.. 1 9 8 8 a r t - N e t w o O T Goncalves G. et al. A network of transputers to emulate a parallel simbolic processor // Microprocessing and Mi croprogramming. - 1988. - V. 23. - P. 149-152.

618. G o n c h a r o v S. S.. 1 9 8 6 a r t - S e m a n P Goncharov S.S., Ershov Yu.L., Sviridenko D.I. Semantic programming // Information Processing, Congr., IFIP. North Holland, 1986. - p. 1093-1100.

619. G o t o A.. 1 9 8 4 a r t - H i g h l P I E Goto A., Tanaka H., Motooka T. Highly parallel inference engine PIE - goal rewriting model and machine architec ture // New Generation Computing. - 1984. - V. 2. - N1.- P. 37-58.

620. G o t o A.. 1 9 8 7 a r t - H i g h P P I M Goto A., Ushida S., Toward A. High Performance Parallel Inference Machine - The Intermediate Stage Plan of PIM// Lecture Notes in Computer Science. - Bo 272. - 1987. - P. 299-320.

621. G r u b e r T. R. 1 9 9 5 a r t - T o w a r Gruber T.R., 1995. Toward Principles for the Desing of ontologies Used for Knowledge Sharing // International Journal of Human and Computer Studies. – No. 43(5/6). P. 907-928.

622. G u a r i n o N.. 1 9 9 9 a r t - O n t o S e e k Guarino N., Masolo C., Vetere G., 1999. OntoSeek: Content-Based Access to the Web // IEEE ITELLIGENT SYSTEMS. – May/June 1999.

623. G u a r i n o N. 1 9 9 6 a r t - O n t o l Guarino N., 1996. Ontologies: What Are They, and Where’s The Research? // A panel held at KR’96, the Fifth In Представление и обработка знаний в графодинамических ассоциативных машинах ternational Conference on Principles of Knowledge Representation and Reasoning, November 5, 1996, Cam bridge, Massachusetts. http://www-ksl.stanford.edu/KR96/Panel.html.

624. G u p t a A.. 1 9 8 7 a r t - P a r a l A a A Gupta A., Forgy C., Newell A., Weding R. Parallel algorithms and architectures for rule-based systems // Comp.

Archit. News. - 1987. - V. 14. - N 2. - P. 28-37.

625. H a l i m Z. 1 9 8 6 a r t - D a t a D M Halim Z. A data-driven machine for OR-parallel evaluation of logic programs // New Generat. Comput. - 1986. – N 1. - p. 5-33.

626. H a l s t e a d R. H. 1 9 8 5 a r t - M u l t i L f C S C Halstead R.H. Multilisp: A language for concurrent symbolic computation // ACM Trans. Progr. Lang. and Sys tems. - 1985. - V. 7. - N 4. - P. 501-538.

627. H a r l a n d J.. 1 9 8 7 a r t - o P a r a l U f P r o l o g Harland J., Jaffar J. On Parallel Unification for Prolog // New Generation Computing. - 1987. - Vol. 5. - N 3. - P.

259-279.

628. H a r s a t A.. 1 9 9 0 a r t - C A R M E L - Harsat A., Ginosar R. CARMEL-2: a second generation VLSI architecture for flat concurrent Prolog // New Gene rat. Comput. - 1990. - N 7. - p. 197-218.

629. H a y e s - R o t h B. 1 9 8 5 a r t - B l a c k A f C Hayes-Roth B. A blackboard architecture for control // Artificial Intelligence. - 1985. - V. 26. - P. 251-321.

630. H e e r d e n P. J. 1 9 6 8 b k - F o u n d O E K Heerden P.J.van. The Foundation of Empirical Knowledge. N.V.Uitgeverij Wistik-Wassenaar, Netherland, 1968.

631. H e n d r i x G. G. 1 9 7 9 a r t - E n c o d K i P N Hendrix G.G. Encoding Knowledge in Partitioned Networks// Associative Networks. Representation and Use of Knowledge by Computers. - New York: Academic Press, 1979. - P. 51-92.

632. H i g u c h i T. A. 1 9 8 5 a r t - S e m a n N L M Higuchi T. A semantic network language machine // Micro- computers, Usage and Design 11-th Euromicro Symp.

Microproc. and Microcomp. - Brussels. - 3-6 Sept. 1985. - P. 95-104.

633. H i l l i s W. D. 1 9 8 4 a r t - C o n n e M Hillis W.D. The Connection Machine: a computer Architecture Based on Cellular Automata // Physica. - 1984. V.10D. - N 1,2.

634. I b a n e z M. 1 9 8 8 a r t - P a r a l I i F O L Ibanez M. Parallel Inferencing in First Order Logic Based on the Connection Method. - Artificial Intelligence III: Me thodology, Systems, Applications (AIMSA) - North-Holland. - 1988. - P. 149-158.

635. J o n a s s e n D. H.. 1 9 9 9 b k - D e s i g H Jonassen D.H., Mandl H. (Eds), 1999. Designing Hypermedia for Learning, – Springer-Verlad N.Y., Incorporated.

636. K a p l a n S. M.. 1 9 8 9 a r t - G a r p Kaplan S.M., Goering S.K. Garp - a graphical/textual language for concurrent programming. - in: Proceedins of the Workshop on Object-Based Concurrent Programming. ACM Sigplan Notices. - April 1989. - P. 184-186.


637. K a s c u k P. A. 1 9 8 4 a r t - H i g h l P P r o l o g I Kascuk P.A. Highly parallel Prolog interpreter based on generalized data flow model // Proc. 2nd Int. Logic Pro gramming Conf. - Uppsala, 1984. - p. 195-205.

638. K o l o d n e r J. L. 1 9 8 1 a r t - K n o w l B S O M Kolodner J.L. Knowledge-Based Self-Organizing Memory // Proc. 1981 Int. Conf on Cybernetics and Society. At lan- ta, Georgia. October 26-28, 1981. Vol.1.-P.289- 639. K r e o w s k i H. - J.. 1 9 8 7 a r t 2 - i P a r a l A C P Kreowski H.-J., Wilharm A. Is parallelism already concurrency? Part 2: non sequential processes in graph gram mars // Graph Grammars and their Application to Com- puter Science. LNCS 291 / H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld, ed. - Springer-Verlag. - 1987. - P.361-377.

Литература 640. K r e o w s k i H. - J. 1 9 8 7 a r t 1 - i P a r a l A C P Kreowski H.-J. Is parallelism already concurrency? Part 1: derivations in graph grammars // Graph Grammars and their Application to Computer Science. LNCS 291 / H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld, ed. - Sprin- ger Verlag. - 1987. - P. 343-360.

641. K u n e n K. 1 9 8 7 a r t - N e g a t I L P Kunen K. Negation in logis programming // J. Logis Programming. - 1987. - 4. - N 3. - p. 289-308.

642. K ь h n O.. 1 9 9 8 b k - C o r p o M Kьhn O., Abecker A., 1998. Corporate Memories for Knowledge Management in Industrial Practice: Prospects and Challenges.

643. L e v e s q u e H.. 1 9 7 9 a r t - P r o c e S f S N Levesque H., Mylopoulos J. A Procedural Semantics for Semantic Networks // Associative Networks. Representa ti- on and Use of Knowledge by Computers. - New York: Academic Press, 1979.-P 93-120.

644. L o w e D.. 1 9 9 9 b k - H y p e r A W Lowe D., Hall W.,1999. Hypermedia and the Web: An Engineering Approach. Wiley, John & Sons, Incorporated.

645. L u k e S.. 1 9 9 6 a r t - O n t o l B K D Luke S., Spector L., Rager D., 1996. Ontology-Based Knowledge Discovery on the World-Wide Web // In: Proc. Of the Workshop on Internet-based Information Systems, AAAI-96, Portland, Oregon.

646. M a c i n t o s h A. 1 9 9 7 a r t - K n o w l A M Macintosh A.,1997. Knowledge asset management // Airing. No. (20), April.

647. M a c i n t o s h D. J.. 1 9 8 7 a r t - D i s t r D E f D E S Macintosh Douglas J., Conry Susan E. A distributed development environment for distributed expert systems // 3rd Annu. Expert Syst. Gov. Conf, Washington, Oct.19-23, 1987. - P.72-79.

648. M a i d a A. S.. 1 9 8 2 a r t - I n t e n C i P S N Maida A.S.,Shapiro S.C. Intensional concepts in propositional semantic networks // Cogn. Sci. - 1982. - V. 6. P. 291-330.

649. M a i k e v i c h N. V.. 1 9 9 8 a r t - K n o w l D P Maikevich N.V., Khoroshevsky V.F., 1998. Knowledge Driven Processing of HTML-Based Information for Intellec tual Spaces on Web // In: Proceedings of the Third Joint Conference on Knowledge-Based Software Ingineering, Smolenice, Slovakia.

650. M a i k e v i c h N. V.. 1 9 9 9 a r t - I n t e l P Maikevich N.V., Khoroshevsky V.F., 1999. Intelligent Processing of Web Resources: Ontology-Based Approach and Multiagent Support // In. Proceedings of 1st International Workshop of Central and Eastern Europe on Multi agent Systems (CEEMAS’99). –1–4 June, 1999, St.-Petersburg, Russia.

651. M o l d o v a n D. I.. 1 9 8 5 a r t - S N A P Moldovan D.I., Tung Y.-W. SNAP: A VLSI Architecture for Artificial Intelligence Processing // J. Parallel Distribut.

Comput. - 1985. - V. 2. - N 2. - P. 109-131.

652. M o l d o v a n D. I.. 1 9 9 2 a r t - P a r a l P A t A I Moldovan D.,I. Lee W., Lin C., Chung M. SNAP: Parallel Processing Applied to AI// Computer.-May 1992.-P.39 49.

653. M o l d o v a n D. I. 1 9 8 6 a r t - M o d e l F P P o P S Moldovan D.I. A Model for Parallel Processing of Production Systems // Proc. of the Int. Conf. on Syst., Man and Cybern., IEEE. - Oct. 1986. - V. 1. - P. 568-573.

654. M u r a k a m i K.. 1 9 8 4 a r t - A r c h i A H S Murakami K., Kakuta T., Onai R. Architectures and hardware Systems: parallel inference machine and knowledge base machine // Proc. Int. Conf. 5-th Generation Computer Systems. - ICOT, ed. - 1984. - P. 18-36.

655. M u r a k a m i K.. 1 9 8 5 a r t - R e s e a O P M A Murakami K. et al. Research on Parallel Machine Architecture for Fifth-Generation Computing Systems // IEEE Computer. - 1985. - Vol. 18. - N 6. - P. 76-92.

656. M y l o p o u l o s J.. 1 9 7 5 a r t - S e m a n N a G o C Mylopoulos J., Cohen P., Borgida A., Sugar L. Semantic Networks and the Generation of Context // IJCAI-IV. 1975. - V. 1. - P. 134-142.

Представление и обработка знаний в графодинамических ассоциативных машинах 657. N a g l M. 1 9 8 7 a r t - S e t T A t G G Nagl M. Set theoretic approaches to graph grammars // Graph Grammars and their Application to Computer Science. LNCS 291 / H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld, ed. - Springer-Verlag. - 1987. - P. 41-54.

658. O h b u c h i R. 1 9 8 8 a r t - O v e r v O A I A O P P R Ohbuchi R. Overview of AI Application-oriented Parallel Processing Research in Japan // Parallel Computation and Computers for Artificial Intelligence. - Kluwer Academia Publishers. - 1988. - P. 247-260.

659. O l d f i e l d J.. 1 9 8 6 a r t - L o g i c P a E A Oldfield J. et al. Logic programs and an experimental architecture for their execution // IEE Proceedings. - May 1986. - Vol. 133. - Pt. E. - N 3. - P. 163-167.

660. O n a i R.. 1 9 8 5 a r t - A r c h i O R B P I M Onai R. et al. Architecture of a Reduction-Based Parallel Inference Machine: PIM-R // New Generation Computing.

- 1985. - V. 3. - N 2. - P. 197-228.

661. O n t o l S - 1 9 9 8 a r t FIPA, 1998. Ontology Service. FIPA 98 Specification. Part 12. October, 1998. http://www.cset.it/fipa 662. O s h i s a n w o A. O.. 1 9 8 7 a r t - P a r a l M a A Oshisanwo A.O., Dasiewicz P.P. A Parallel Model and Architecture for Production Systems // Proc. of the Int.

Conf. on Parallel Processing. - Aug. 1987. - P. 147-153.

663. P a r a l P a A I - 1 9 8 9 b k Parallel processing and artificial intelligence. - Chichester, Wiley. - 1989.

664. P l a n d e r I. 1 9 8 7 a r t - C o m p u A f A I Plander I. Computer architectures for artificial intelligence in new generation computer system // Artificial Intelli gence and Information-Control System of Robots, I.Plander (ed.). - North-Holland, 1987. - P. 77-92.

665. P o s p e l o v D. A.. 1 9 9 7 a r t - K n o w l I S M Pospelov D.A., Osipov G.S. Knowledge in semiotic models // Seventh Intern, conf. Ar-tif. Intell. and Information Control systems of robots: Second workshop on applied semiotics. - Smolenice Castle, Slovakia. - 1997. - P. 1-12.

666. Q u i l l i a n M. R. 1 9 6 8 a r t - S e m a n M Quillian M. R. Semantic memory // Semantic Information Processing/M. Minsky;

MIT Press.-Cambridge, Mass., 1968.-P.227-270.

667. R a p a p o r t W. J.. 1 9 8 4 a r t - Q u a s i I R Rapaport W.J., Shapiro S.C. Quasi-indexical reference in propositional semantic networks // Proc. 10-th Int. Conf.

on Computational Linguistincs (COLING-84). - 1984. - P. 65-70.

668. R o b i n s o n I. 1 9 8 8 a r t - P a t t e A M Robinson I. Pattern Addressable Memory: Hardware for Associative Proccesing // Int. Workshop VLSI for Artifici al Intelligence. - 1988.

669. R o g e r s G. 1 9 8 8 a r t - V i s u a P w O a R Rogers G. Visual programming with objects and relations// Proceedings IEEE Workshop on Visual Languages. October 1988. - P. 45-51.

670. R u m e l h a r t D. E.. 1 9 7 3 a r t - A c t i v S N Rumelhart D.E., Norman D.A. Active Semantic Networks as a Model of Human Memory // International Joint Con ference on Artificial Intelligence - III. - Stanford University. - 1973. - P. 450-457.

671. S a p a t y P. S. 1 9 8 6 a r t - W a r e L f P P Sapaty P.S. A ware language for parallel processing of semantic networks // Computers and artificial intelligence. 1986. - V. 5. - N 4. - P. 289-314.

672. S a p a t y P. S. 1 9 8 7 a r t - W A V E - Sapaty P.S. The WAVE-1: a new ideology and language for distributed processing on graphs and networks // Compu- ters and artificial intelligence. - 1987. - V. 6. - N5.- P. 421-436.

673. S c h n i t z l e r M. 1 9 8 2 a r t - I s o m o P o P S Schnitzler M. The isomorphism problem is polynomialy solvable for certain graph languages // Graph Grammars and their Application to Computer Science. LNCS 153 / H.Ehrig, M.Nagl, G.Rozenberg, ed. - Springer-Verlag. Heidelberg. - 1982. - P. 369-379.

Литература 674. S c h o n h a g e A. 1 9 8 0 a r t - S t o r a M M Schonhage A. Storage modification machines // SIAM Jo- urn. Comput. - 1980. - V. 9. - N 3. - P. 490-508.

675. S h a p i r o E.. 1 9 8 3 a r t - O b j e c O P i C P Shapiro E., Takeuchi A. Object-oriented programming in Concurrent Prolog // New Generation Computing. - 1983.

- V. 1. - P. 25-49.

676. S h a p i r o S. C. 1 9 7 9 a r t - S n e P S Shapiro S.C. The SNePS Semantic Network Processing Sys- tem // Associative Networks / N.V.Findler, ed. - New York: Academic Press. - 1979. - P. 179-203.

677. S h i b a y a m a K.. 1 9 8 7 a r t - L o g i c P L O P M Shibayama K et al. KPR: A Logic Programming Language-Oriented Parallel Machine // Logic Programming'87, Lecture Notes in Computer Science. - 1987. - N 315. - P.113-131.

678. S o w a J. F. 1 9 8 4 b k - C o n c e S I P Sowa J.F. Conceptual Structures - Information Processing in Mind and Machines. Addison-Wesley Publ.Comp., 1984.

679. S t a n f i l l C.. 1 9 8 6 a r t - P a r a l F T S Stanfill C., Kahle B. Parallel free-text search on the connection machine system // CACM. - 1986. - N 12. - P.1229 1239.

680. S u i g i e M.. 1 9 8 6 a r t - H a r d w S o R B I M Sugie M. et al. Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R // Logic Program ming'85, Lecture Notes in Computer Science. - 1986. - N 221. - P. 13-24.

681. T a k e u c h i A.. 1 9 8 6 a r t - P a r a l Takeuchi A., Furukava K. Parallel logic Programming languages // Lect. Notes Comput. Sci., 225.-1986.-p.242 254.

682. T a n a k a H.. 1 9 8 8 a r t - R e s e a O D F M Tanaka H., Amamiya M. The research of data-flow machines// Japan annual reviews in electronics, computers & telecommunications. - 1988. - V. 18. - P.15-27.

683. T a r u i T.. 1 9 8 7 a r t - P r e l i E o P I M Tarui T. et al. A preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages // Logic Pro gramming'87, Lecture Notes in Computer Science. - 1987. - N 315. - P. 132-147.

684. T o l i a D. 1 9 9 0 a r t - S e r v e A C o P A R L O G Tolia D. Servey and Comparison of PARLOG and Concurrent Prolog // SIGPLAN Notes. - 1990. - Vol. 25. - N 1. P.33-42.

685. T r e l e a v e n P h. 1 9 8 7 a r t C o m p u A f A I Treleaven Ph. Computer Architecture for Artificial Intelligence // Future Parallel Computers, Lecture Notes in Com puter Science. - 1987. - N 272. - P. 416-492.

686. U s c h o l d M.. 1 9 9 6 a r t - O N T O L O G I E S Uschold M., Gruninger M., 1996. ONTOLOGIES: Principles, Methods and Applications, // Knowledge Engineering Review. Vol. 11, No. 2.

687. V a g i n V. N.. 1 9 9 8 a r t - C l a s s L i S S Vagin V.N. Non-Classical Logics in Semiotic Systems // Proc. of Worcshop Applied Semiotics and Abstracts of CAI'98 Reports. Vol III, 1998. Pushchino, Russia, pp. 34-39.

688. V i l l e m i n F. - Y. 1 9 9 9 a r t - O n t o l B R I R Villemin F.-Y., 1999. Ontologies-based relevant information retrieval. – http://www.cnam.fr/f-yv.

689. V i s u a L a A - 1 9 9 0 b k Visual languages and applications. - N.-Y.: Academic Press, 1990.

690. V i s u a L a V P - 1 9 9 0 b k Visual languages and visual programming. - N.-Y.: Academic Press, 1990.

691. W i i g K. 1 9 9 6 a r t - K n o w l M Wiig K., 1996. Knowledge management is no illusion! // Proc. of the First International Conference on Practical As pects of Knowledge Management. Zurich, Switzerland: Swiss Informaticians Society.

Представление и обработка знаний в графодинамических ассоциативных машинах 692. Y e r e m e y e v A. P. 1 9 9 7 a r t - O r g a n O S T K R M Yeremeyev A.P. Organization of Semiotic Type Knowledge Representation Model for Dynamic Decision Support Systems // Proc. of Seventh Int. Conf. 'Artificial Intelligence and Information-Control Systems of Robots' AIICSR'97. Second Workshop on Applied Semiotics, Sept. 15, 1997. Smolenice Castle, Slovakia, pp. 77-81.

693. Y o k o t a H.. 1 9 8 6 a r t - M o d e l A A f R K B Yokota H., Itoh H. A model and architecture for a relation knowledge base // Computer Architecture News. - 1986.

- V. 14. - N 2. - P. 2-19.

Научное издание Голенков Владимир Васильевич, Елисеева Ольга Евгеньевна, Ивашенко Валерьян Петрович, Казан Валентин Михайлович, Гулякина Наталья Анатольевна, Беззубенок Наталья Вячеславовна, Лемешева Татьяна Леонидовна, Сердюков Роман Евгеньевич, Фоминых Игорь Борисович ПРЕДСТАВЛЕНИЕ И ОБРАБОТКА ЗНАНИЙ В ГРАФОДИНАМИЧЕСКИХ АССОЦИАТИВНЫХ МАШИНАХ Под редакцией В.В. Голенкова Редакторы: Е.Н. Батурчик, Н.А. Бебель, Т.Н. Крюкова, Т.А. Лейко Компьютерная верстка: О.Е. Елисеева, В.П. Ивашенко Подписано в печать 22.11.2001. Формат 60х84 1/8. Бумага офсетная.

Печать офсетная. Усл.печ.л.,. Уч.-изд.л.,. Тираж 100 экз. Зак..

Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники»

Лицензия ЛП № 156 от 05.02.2001. Лицензия ЛВ № 509 от 03.08.2001.

220013, Минск, П.Бровки, 6.

Отпечатано в Издательском центре БГУ. Лицензия ЛВ № 315 от 14.07.1998.

220030, Минск, ул. Красноармейская, 6.



Pages:     | 1 |   ...   | 12 | 13 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.