A Semantic Approach to Identifier Management in Engineering Systems

Author(s):  
Rustam Mehmandarov ◽  
Arild Waaler ◽  
David Cameron ◽  
Roar Fjellheim ◽  
Thomas B. Pettersen
2004 ◽  
Author(s):  
Parsa Mirhaji ◽  
S. Lillibridge ◽  
R. Richesson ◽  
J. Zhang ◽  
J. Smith

2012 ◽  
Author(s):  
Paula Schnurr ◽  
Matthew Friedman ◽  
Thomas Oxman ◽  
Allen Dietrich ◽  
Mark Smith ◽  
...  

Discourse ◽  
2020 ◽  
Vol 6 (3) ◽  
pp. 109-117
Author(s):  
O. M. Polyakov

Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series. The problem of natural language logic still remains relevant, since this logic differs significantly from traditional mathematical logic. Moreover, with the appearance of artificial intelligence systems, the importance of this problem only increases. The article analyzes logical problems that prevent the application of classical logic methods to natural languages. This is possible because R-linguistics forms the semantics of a language in the form of world model structures in which language sentences are interpreted.Methodology and sources. The results obtained in the previous parts of the series are used as research tools. To develop the necessary mathematical representations in the field of logic and semantics, the formulated concept of the interpretation operator is used.Results and discussion. The problems that arise when studying the logic of natural language in the framework of R–linguistics are analyzed. These issues are discussed in three aspects: the logical aspect itself; the linguistic aspect; the aspect of correlation with reality. A very General approach to language semantics is considered and semantic axioms of the language are formulated. The problems of the language and its logic related to the most General view of semantics are shown.Conclusion. It is shown that the application of mathematical logic, regardless of its type, to the study of natural language logic faces significant problems. This is a consequence of the inconsistency of existing approaches with the world model. But it is the coherence with the world model that allows us to build a new logical approach. Matching with the model means a semantic approach to logic. Even the most General view of semantics allows to formulate important results about the properties of languages that lack meaning. The simplest examples of semantic interpretation of traditional logic demonstrate its semantic problems (primarily related to negation).


Improving the efficiency of life cycle management of capital construction projects using information modeling technologies is one of the important tasks of the construction industry. The paper presents an analysis of accumulated domestic practices, including the legal and regulatory framework, assessing the effectiveness of managing the implementation of investment construction projects and of complex and serial capital construction projects, as well as the life cycle management of especially dangerous technically complex and unique capital construction projects using information modeling technologies, especially capital construction projects, as well as their supporting and using systems, primarily in the nuclear and transport sectors. A review of modern approaches to assessing the effectiveness of life cycle management systems of complex engineering systems in relation to capital construction projects is carried out. The presented material will make it possible to formulate the basic principles and prospects of applying approaches to assessing the effectiveness of the life cycle management system of a capital construction project using information modeling technologies.


2018 ◽  
Vol 17 (4) ◽  
pp. 977-998
Author(s):  
Hai-Liang Song ◽  
Shi-Bei Huang ◽  
Xiao-Li Yang
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document