A Formal Model for Constructing Semantic Expansions of the Search Requests about the Achievements and Failures

Fomichov Vladimir Alexandrovich; Kirillov Anton V.

Глава

A Formal Model for Constructing Semantic Expansions of the Search Requests about the Achievements and Failures

P. 296-304.

Fomichov V. A., Kirillov A. V.

Статья описывает новый метод конструирования семантических расширений запросов о достижениях и неудачах активных систем (организаций, людей). Этот метод базируется на теории К-представлений (концептуальных представлений), предложенной В.А. Фомичевым – новой теории проектирования семантико-синтаксических анализаторов естественно-языковых текстов с широким применением формальных средств представления входных, промежуточных и выходных данных. Метод использует оригинальную формальную модель базы целей – базы знаний, содержащей информацию о целях активных систем. Изложенный подход реализован с помощью языка Веб-программирования Java: разработана и протестирована экспериментальная поисковая система AOS (Аспектно-Ориентированный Поиск).

Язык: английский

Полный текст (PDF, 58 Кб)

Ключевые слова: semantic transformation of search request requests about achievements and failures theory of K-representations SK-languages goals base semantic transformation pattern AOS search system

В книге

A Formal Model for Constructing Semantic Expansions of the Search Requests about the Achievements and Failures

Artificial Intelligence: Methodology, Systems, and Applications. 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

Под науч. редакцией: A. Ramsay, G. Agre. Iss. 7557. Heidelberg; Dordrecht; L.; NY: Springer, 2012.

The Theory of K-representations as a Flexible Tool for Designing Natural-Language Interfaces of Recommender System

Fomichov V. A. In bk.: Advances in Decision Technology and Intelligent Information Systems, Vol. XIII. Iss. 13. Tecumseh: The International Institute for Advanced Studies in Systems Research and Cybernetics, 2012. P. 6-10.

Предлагается новый метод проектирования рекомендательных систем с естественно-языковым интерфейсом. Метод базируется на теории К-представлений (концептуальных представлений) – новой теории проектирования семантико-синтаксических анализаторов естественно-языковых текстов с широким применением формальных средств представления входных, промежуточных и выходных данных. Текущая версия теории изложена в монографии В.А. Фомичева, опубликованной издательством Шпрингер в 2010 году. Предложенный подход реализован в программной среде PHP + MySQL: разработана экспериментальная рекомендательная система.

Добавлено: 23 ноября 2012

Theory of K-representations as a Comprehensive Formal Framework for Developing a Multilingual Semantic Web

Fomichov V. A. Informatica. 2010. Vol. 34. No. 3. P. 287-296.

Добавлено: 20 января 2013

SK-languages as a Powerful and Flexible Semantic Formalism for the Systems of Cross-Lingual Intelligent Information Access

Fomichov V. A. Informatica. An International Journal of Computing and Informatics. 2017. Vol. 41. No. 2. P. 221-232.

Первой отправной точкой данной статьи является широко принятая идея применения в качестве перспективной методологии искусственного семантического языка-посредника для реализации межьязыкового интеллектуального информационного доступа к текстам на естественном языке (ЕЯ), хранящимся в Вебе. Второй отправной точкой является возникновение в компьютерной семантике в 2013 - 2016 годах большого интереса к семантическому формализму (более точно, нотации), названному Абстрактным представлением смыслов (АМС). Этот подход был предложен в 2013 г. в публикации Ассоциации компьютерной лингвистики (ACM) группой, состоящей из 10 исследователей ведущих научных центров Великобритании и США. В настоящей статье показано, что значительно более широкие перспективы разработки семантических языков-посредников по сравнению с АПС открывает теория К-представлений (ТКП), предложенная В.А. Фомичевым. Базовая математическая модель ТКП описывает закономерности структурированных значений текстов на ЕЯ. Математическая сущность подхода заключается в том, что модель предлагает систему, состоящую из десяти частичных операций на концептуальных структурах. Первая версия модели была опубликована В.А. Фомичевым в том же международном научном журнале Informatica. An International Journal of Computing and Informatics (Ljubljana). Вторая версия модели (изложенная в монографии В.А. Фомичева, выпущенной издательством Шпрингер в 2010 г.) определяет класс формальных языков, названных СК-языками (стандартными концептуальными языками). В настоящей статье показано, что СК-языки позволяют моделировать все выразительные механизмы нотации АПС. Преимуществами по сравнению с АПС являются, в частности, возможности построения семантических представлений (СП) сложных инфинитивных конструкций (выражающих цели, обязательства и т.д.), СП составных описаний понятий и множеств, и СП сложных дискурсов (связных текстов на ЕЯ) и фрагментов знаний.

Добавлено: 4 сентября 2017

The prospects revealed by the theory of K-representations for bioinformatics and Semantic Web

Fomichov V. A. In bk.: Actes de la 18e conference sur le Traitement Automatique des Langues Naturels. Actes de la 15e Rencontre des Etudiants Cercheurs en Informatique pour le Traitement Automatique des Langues. France, Montpellie, 27th June - 1st July 2011. Vol. 1: Actes: articles longs. Montpellier: AVL Diffusion, 2011. P. 5-20.

Статья является текстом часового пленарного доклада на открытии 18- международной конференции по автоматической обработке естественных языков (Франция, Университет Монпелье 2, 27 июня – 1 июля 2011 года).

The paper describes the structure and possible applications of the theory of K-representations (knowledge representations) in bioinformatics and in the development of a Semantic Web of a new generation. It is an original theory of designing semantic-syntactic analyzers of natural language (NL) texts with the broad use of formal means for representing input, intermediary, and output data. The current version of the theory is set forth in a monograph by V. Fomichov (Springer, 2010). The first part of the theory is a formal model describing a system consisting of ten operations on conceptual structures. This model defines a new class of formal languages – the class of SK-languages. The broad possibilities of constructing semantic representations of complex discourses pertaining to biology are shown. A new formal approach to developing multilingual algorithms of semantic-syntactic analysis of NL-texts is outlined. This approach is realized by means of a program in the language PYTHON.

Добавлено: 22 марта 2013