检索结果-内蒙古大学图书馆

Tsinghua Science and Technology 2024年第6期29卷 1642-1650页

作者： Nikolay Bazhenov Manat Mustafa Anvar Nurakunov Laboratory of Computability Theory and Applied Logic Sobolev Institute of MathematicsNovosibirsk 630090Russia Department of Mathematics School of Sciences and HumanitiesNazarbayev UniversityAstana 010000Kazakhstan Institute of Mathematics National Academy of SciencesBishkek 720071Kyrgyzstan

The theory of numberings studies uniform computations for families of mathematical objects. In this area, computability-theoretic properties of at most countable families of sets S are typically classified via the corresponding Rogers upper semilattices. In most cases, a Rogers semilattice cannot be a lattice. Working within the framework of Formal Concept Analysis, we develop two new approaches to the classification of families S. Similarly to the classical theory of numberings, each of the approaches assigns to a family S its own concept lattice. The first approach captures the cardinality of a family S: if S contains more than 2 elements, then the corresponding concept lattice FC1(S) is a modular lattice of height 3, such that the number of its atoms to the cardinality of S. Our second approach gives a much richer environment. We prove that for any countable poset P, there exists a family S such that the induced concept lattice FC2(S) is isomorphic to the Dedekind-MacNeille completion of P. We also establish connections with the class of enumerative lattices introduced by Hoyrup and Rojas in their studies of algorithmic randomness. We show that every lattice FC2(S) is anti-isomorphic to an enumerative lattice. In addition, every enumerative lattice is anti-isomorphic to a sublattice of the lattice FC2(S) for some family S.

关键词： theory of numberings concept lattice index set complete lattice enumerative lattice Formal Concept Analysis

来源：评论

学校读者我要写书评

暂无评论

Argumentative Dialogue System for Product Selection in the Sales Industry 25

Argumentative Dialogue System for Product Selection in the S...

引用

25th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2024

作者： Palchunov, Dmitry E. Yakobson, Alexander Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Department of General Informatics Novosibirsk State University Novosibirsk Russia

ISBN: (纸本)9798350389234

The paper presents the principles for the design of an intelligent assistant for the sales domain, which is intended to help the customer to find the right product. The user of the system is represented by a three-level model (general knowledge, intentions and representation on the current situation), supplemented by a number of objective and subjective characteristics of the user, formalised in the form of partial models. During the reasoning dialogue, the intelligent assistant identifies the user's needs based on the user's current intentions. Based on the user's needs, the class of tasks to be solved by the user is determined. As a result, the intelligent assistant selects the required solution based on the user's wishes and objections. The results of previous dialogues between the system and other users are used. The user's reactions to the intelligent assistant's decisions can correct the final result of the system's work. The selection of the desired solution is made by comparing partial models formalising the objects of the domain, the classes of tasks and the user's needs. The argumentation and justification of the found solution is based on the correspondence of the partial model of the proposed device with the formal models of the user's needs and the classes of tasks to be solved. The intelligent assistant is able both to conduct a dialogue with the customer independently and to act as an advisor to the sales manager, prompting him with response options and providing references to previous solutions, depending on the context of the dialogue. © 2024 IEEE.

关键词： Sales

来源：评论

学校读者我要写书评

暂无评论

Automated Methods of Dialog with the User to Conduct an Interview 25

Automated Methods of Dialog with the User to Conduct an Inte...

引用

25th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2024

作者： Palchunov, Dmitry E. Zaitsev, Alexander Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Department of General Informatics Novosibirsk State University Novosibirsk Russia

ISBN: (纸本)9798350389234

The article is devoted to the methods of creating intelligent assistants. An intellectual assistant for interviewing candidates for available vacancies of enterprises is developed. When creating intellectual assistants the model-theoretic approach based on formal representation of precedents of subject areas in the form of partial models is applied. Knowledge about situations is formally represented in the form of fragments of atomic diagrams of algebraic systems. In order to solve the problems of hiring new employees of companies, a software system is developed, designed to conduct automated initial testing of knowledge, skills of candidates, as well as assessment of their competencies. The purpose of the work is to build a module of the intellectual assistant, which performs processing and analysis of the received user's answer, selection of the next question for the candidate and control over the interview process. The created program complex is a link of the developed system, and can also be used in other subject domains and on other platforms. In the work of the intellectual assistant a four-level ontological model of the subject domain is used. The implemented methods of knowledge processing are based on the use of partial models and their ontological homomorphisms. The system provides the possibility of automated identification of knowledge, skills and competencies of candidates, allowing qualified specialists to save effort and time. © 2024 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Automated methods for conducting an argumented dialogue with the user

Automated methods for conducting an argumented dialogue with...

引用

2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2022

作者： Palchunov, Dmitry Yakobson, Alexander Sobolev Institute of Mathematics Laboratory of Computability Theory and Applied Logic Novosibirsk Russia Novosibirsk State University Department of General Informatics Novosibirsk Russia

ISBN: (纸本)9781665464802

Human-computer interaction in the modern world has become a necessity, but the lack of user confidence in automatic systems creates great difficulties in their implementation. The problem is that in each case it is often impossible to understand the reasons for the decision. Therefore, the user has to try to find the arguments for this solution proposed by the system. The purpose of the work is to create an intelligent assistant capable of arguing his decisions, thereby strengthening the user's confidence in the correctness of his advice. The development of an intelligent assistant is based on a three-level semantic user model and an ontological domain model. The developed software package is designed to work as a virtual digital assistant in various fields. The implemented methods are based on the application of partial models and ontological homomorphisms. The system allows the user to search for the desired solution using the theory of argumentation and case-based reasoning, receiving a reasoned answer with a clear and transparent argumentation tree. © 2022 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Argumentative Dialogue System for Product Selection in the Sales Industry

Argumentative Dialogue System for Product Selection in the S...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Dmitry E. Palchunov Alexander Yakobson Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Department of General Informatics Novosibirsk State University Novosibirsk Russia

ISBN: (数字)9798350389234

ISBN: (纸本)9798350353051

The paper presents the principles for the design of an intelligent assistant for the sales domain, which is intended to help the customer to find the right product. The user of the system is represented by a three-level model (general knowledge, intentions and representation on the current situation), supplemented by a number of objective and subjective characteristics of the user, formalised in the form of partial models. During the reasoning dialogue, the intelligent assistant identifies the user’s needs based on the user’s current intentions. Based on the user’s needs, the class of tasks to be solved by the user is determined. As a result, the intelligent assistant selects the required solution based on the user’s wishes and objections. The results of previous dialogues between the system and other users are used. The user’s reactions to the intelligent assistant’s decisions can correct the final result of the system’s work. The selection of the desired solution is made by comparing partial models formalising the objects of the domain, the classes of tasks and the user’s needs. The argumentation and justification of the found solution is based on the correspondence of the partial model of the proposed device with the formal models of the user’s needs and the classes of tasks to be solved. The intelligent assistant is able both to conduct a dialogue with the customer independently and to act as an advisor to the sales manager, prompting him with response options and providing references to previous solutions, depending on the context of the dialogue.

关键词： Industries Natural languages Estimation Computer architecture Software systems Cognition Task analysis

来源：评论

学校读者我要写书评

暂无评论

Automated Methods of Dialog with the User to Conduct an Interview

Automated Methods of Dialog with the User to Conduct an Inte...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Dmitry E. Palchunov Alexander Zaitsev Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Department of General Informatics Novosibirsk State University Novosibirsk Russia

ISBN: (数字)9798350389234

ISBN: (纸本)9798350353051

The article is devoted to the methods of creating intelligent assistants. An intellectual assistant for interviewing candidates for available vacancies of enterprises is developed. When creating intellectual assistants the model-theoretic approach based on formal representation of precedents of subject areas in the form of partial models is applied. Knowledge about situations is formally represented in the form of fragments of atomic diagrams of algebraic systems. In order to solve the problems of hiring new employees of companies, a software system is developed, designed to conduct automated initial testing of knowledge, skills of candidates, as well as assessment of their competencies. The purpose of the work is to build a module of the intellectual assistant, which performs processing and analysis of the received user’s answer, selection of the next question for the candidate and control over the interview process. The created program complex is a link of the developed system, and can also be used in other subject domains and on other platforms. In the work of the intellectual assistant a four-level ontological model of the subject domain is used. The implemented methods of knowledge processing are based on the use of partial models and their ontological homomorphisms. The system provides the possibility of automated identification of knowledge, skills and competencies of candidates, allowing qualified specialists to save effort and time.

关键词： Open Access Software algorithms Process control Companies Software systems Filling Interviews

来源：评论

学校读者我要写书评

暂无评论

Development of Automated Methods for the Domain Ontology Population with the Help of a Virtual Assistant 22

Development of Automated Methods for the Domain Ontology Pop...

引用

22nd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2021

作者： Orlovsky, Andrey Palchunov, Dmitriy Novosibirsk State Univercity Department of General Informatics Novosibirsk Russia Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia

ISBN: (纸本)9781665414982

In the paper, we consider the use of a virtual assistant with a natural language interface for the task of population of the OWL ontology of computer equipment products based on the information provided on the websites of online stores. The practical value of the work is to provide the user with the opportunity to search for the required products simultaneously on several sites based on a search query described in natural language. © 2021 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

The Use of Model-Theoretical Methods for Automated Knowledge Extraction from Medical Texts 22

The Use of Model-Theoretical Methods for Automated Knowledge...

引用

22nd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2021

作者： Pogodin, Ruslan S. Palchunov, Dmitry Novosibirsk State Univercity Department of General Informatics Novosibirsk Russia Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia

ISBN: (纸本)9781665414982

The paper is devoted to the application of model-theoretical methods for extraction of knowledge from medical texts and documents and its formal representation. The aim of the work is to automate the filling of knowledge bases of the IACPaaS platform using knowledge from texts of disease descriptions. IACPaaS is a cloud platform for the development, management and remote use of intelligent cloud services. The peculiarities of disease description texts are the presence of medical word terms (such as 'blood pressure') and the abundance of sentences with clauses and homogeneous sentence members. To solve the problem of knowledge extraction, methods of transforming natural language sentences into quantifier-free formulas of the first-order predicate logic are used. Knowledge extracted from texts is formalized in the form of sets of atomic sentences that form fragments of atomic diagrams of algebraic systems. Further, a knowledge tree is built from the fragments of atomic diagrams, which serves as an intermediate representation of knowledge for subsequent translation into the format of IACPaaS information resources. The software system allows medical workers to fill knowledge bases with descriptions of diseases in shorter time, and gives the opportunity to check the consistency of the obtained formal specifications automatically. © 2021 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Semantic methods of intelligent assistant developing

Semantic methods of intelligent assistant developing

引用

2021 International Symposium on Knowledge, Ontology, and Theory, KNOTH 2021

作者： Palchunov, Dmitry Tregubov, A.S. Sobolev Institute of Mathematics Laboratory of Computability Theory and Applied Logic Novosibirsk Russia Novosibirsk State University Department of General Informatics Novosibirsk Russia

ISBN: (纸本)9781665467193

Human-computer interaction with people whose visual perception is limited is possible only with tactile and voice interfaces, the latter are being used more and more recently. The aim of the work is to create an intelligent assistant for an indoor navigation system designed for blind and visually impaired people. The development of an intelligent assistant is based on a semantic user model and a four-level ontological model of the subject domain. To build a dialogue between an intelligent assistant and a user, we use the theory of speech acts, argumentation theory and case-based reasoning. The developed software system is aimed at identifying the desires and user needs and proposing possible user actions aimed at achieving them. The system allows for the decomposition of user tasks and the formation of a sequence of their execution based on semantic models of the user and the subject domain. © 2021 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Methods for Developing Digital Twins of Roles Based on Semantic Domain-Specific Languages 22

Methods for Developing Digital Twins of Roles Based on Seman...

引用

22nd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2021

作者： Palchunov, Dmitry Vaganova, Anna Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Novosibirsk State University Department of General Informatics Novosibirsk Russia

ISBN: (纸本)9781665414982

A digital twin is a virtual representation of a physical object or system throughout its entire lifecycle using real-time data. Digital twins of business processes are used to develop management and production methodologies. To create such digital twins, it is necessary to describe the knowledge about the subject domain, to model the regulations and roles involved in the processes. To solve this problem, we use semantic domain-specific languages (sDSL). They allow knowledge about the subject domain to be declaratively described and this knowledge into executable code to be implemented. The d0s1 language implements the ideas of sDSL in practice and allows domain-specific languages for modeling business processes to be created. The digital twin of role includes the knowledge and competencies of the original, is described in the d0s1 language and is able to perform the actions of its original as part of the implementation of business processes. © 2021 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：