Параллельная обработка данных и знаний методами алгебры кортежей
Ключевые слова:
параллельные вычисления, алгебра кортежей, структуры данных, базы знанийАннотация
Алгебра кортежей – математическая система для формализации многоместных отношений. С ее помощью можно моделировать в одних и тех же структурах как данные (графы, многоместные отношения), так и знания (семантические сети, модели рассуждений, формулы исчисления высказываний и предикатов, продукционные системы, онтологии и т.д.). В то же время сами эти структуры имеют матрицеподобную форму, а все алгоритмы их обработки легко распараллеливаются.
Литература
1. Kowalski R. A. Proof Procedure Using Connection Graphs // J. of the ACM. 1975. vol. 22(4). pp. 572–599.
2. Loganantharaj R., Mueller R. A. Parallel Theorem Proving with Connection Graph // 8th Int. Conf. on Autom. Deduc. LNCS 230. 1986. pp. 337–352.
3. Кулик Б.А. Вероятностная логика на основе алгебры кортежей // Известия РАН. Теория и системы управления. 2007. № 1. С. 118–127.
4. Kulik B., Fridman A., Zuenko A. Logical Inference and Defeasible Reasoning in N-tuple Algebra // In: “Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems”. IGI Global. 2013. pp. 102–128.
5. Кулик Б.А., Зуенко А.А., Фридман А.Я. Алгебраический подход к интеллектуальной обработке данных и знаний // СПб.: Изд-во Политехн. ун-та. 2010. 235 с.
6. Кулик Б.А. Новые классы КНФ с полиномиально распознаваемым свойством выполнимости // Автоматика и телемеханика. 1995. № 2. С. 111–124.
7. Severance C., Dowd K. High Performance Computing (RISK Architectures, Optimization & Benchmarks). 2nd Edition // O’Reily Media. 1998. 466 p.
8. Batcher K. E. Design of a Massively Parallel Processor. IEEE Transactions on Computers. 1980. vol. C–29 (9). pp. 836–840.
2. Loganantharaj R., Mueller R. A. Parallel Theorem Proving with Connection Graph // 8th Int. Conf. on Autom. Deduc. LNCS 230. 1986. pp. 337–352.
3. Кулик Б.А. Вероятностная логика на основе алгебры кортежей // Известия РАН. Теория и системы управления. 2007. № 1. С. 118–127.
4. Kulik B., Fridman A., Zuenko A. Logical Inference and Defeasible Reasoning in N-tuple Algebra // In: “Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems”. IGI Global. 2013. pp. 102–128.
5. Кулик Б.А., Зуенко А.А., Фридман А.Я. Алгебраический подход к интеллектуальной обработке данных и знаний // СПб.: Изд-во Политехн. ун-та. 2010. 235 с.
6. Кулик Б.А. Новые классы КНФ с полиномиально распознаваемым свойством выполнимости // Автоматика и телемеханика. 1995. № 2. С. 111–124.
7. Severance C., Dowd K. High Performance Computing (RISK Architectures, Optimization & Benchmarks). 2nd Edition // O’Reily Media. 1998. 466 p.
8. Batcher K. E. Design of a Massively Parallel Processor. IEEE Transactions on Computers. 1980. vol. C–29 (9). pp. 836–840.
Опубликован
2014-12-16
Как цитировать
Кулик, Б. А., Курбанов, В. Г. о., & Фридман, А. Я. (2014). Параллельная обработка данных и знаний методами алгебры кортежей. Труды СПИИРАН, 5(36), 168-179. https://doi.org/10.15622/sp.36.10
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
