Extensions and Limitations to Logic

Author(s):  
Thomas J. Marlowe

Classical (Aristotelean or Boolean) logics provide a solid foundation for mathematical reasoning, but are limited in expressivity and necessarily incomplete. Effective understanding of logic in the modern world entails for the instructor and advanced students an understanding of the wider context. This chapter surveys standard extensions used in mathematical reasoning, artificial intelligence and cognitive science, and natural language reasoning and understanding, as well as inherent limitations on reasoning and computing. Initial technical extensions include equality of terms, integer arithmetic and quantification over sets and relations. To deal with natural reasoning, the chapter explores temporal and modal logics, fuzzy logic and probabilistic models, and relevance logic. Finally, the chapter considers limitations to logic and knowledge, via an overview of the fundamental results of Turing, Gödel, and others, and their connection to the state of mathematics, computing and science in the modern world.

Author(s):  
TRU H. CAO

Conceptual graphs and fuzzy logic are two logical formalisms that emphasize the target of natural language, where conceptual graphs provide a structure of formulas close to that of natural language sentences while fuzzy logic provides a methodology for computing with words. This paper proposes fuzzy conceptual graphs as a knowledge representation language that combines the advantages of both the two formalisms for artificial intelligence approaching human expression and reasoning. Firstly, the conceptual graph language is extended with functional relation types for representing functional dependency, and conjunctive types for joining concepts and relations. Then fuzzy conceptual graphs are formulated as a generalization of conceptual graphs where fuzzy types and fuzzy attribute-values are used in place of crisp types and crisp attribute-values. Projection and join as basic operations for reasoning on fuzzy conceptual graphs are defined, taking into account the semantics of fuzzy set-based values.


2020 ◽  
Vol 43 (338) ◽  
pp. 75-82
Author(s):  
Vladimir Surgelas ◽  
Irina Arhipova ◽  
Vivita Pukite

AbstractThe technical inspection of a building carried out by an expert in civil engineering can identify and classify the physical conditions of the real estate; this generates relevant information for the protection and safety of users. Given the real conditions of the property, and for the real estate valuation universe, using artificial intelligence and fuzzy logic, it is possible to obtain the market price associated with the physical conditions of the building. The objective of this experiment is to develop a property evaluation model using a civil engineering inspection form associated with artificial intelligence, and fuzzy logic, and also compare with market value to verify the applicability of this inspection form. Therefore, the methodology used is based on technical inspection of civil engineering regarding the state of conservation of properties according to the model used in Portugal and adapted to the reality of Latvia. Artificial intelligence is applied after obtaining data from that report. From this, association rules are obtained, which are used in the diffuse logic to obtain the price of the apartment per square meter, and for comparison with the market value. For this purpose, 48 samples of residential apartments located in the city of Jelgava in Latvia are used, with an inspection carried out from October to December 2019. The main result is the 9% error metric, which demonstrates the possibility of applying the method proposed in this experiment. Thus, for each apartment sample consulted, it resulted in the state of conservation and a market value associated.


2021 ◽  
Vol 3 ◽  
Author(s):  
Marieke van Erp ◽  
Christian Reynolds ◽  
Diana Maynard ◽  
Alain Starke ◽  
Rebeca Ibáñez Martín ◽  
...  

In this paper, we discuss the use of natural language processing and artificial intelligence to analyze nutritional and sustainability aspects of recipes and food. We present the state-of-the-art and some use cases, followed by a discussion of challenges. Our perspective on addressing these is that while they typically have a technical nature, they nevertheless require an interdisciplinary approach combining natural language processing and artificial intelligence with expert domain knowledge to create practical tools and comprehensive analysis for the food domain.


Author(s):  
Toyoaki Nishida

People are proficient in collaboratively forming and maintaining gatherings thereby shaping and cultivating collective thoughts through fluent conversational interactions. A big challenge is to develop a technology for augmenting the conversational environment so that people can conduct even better conversational interactions for collective intelligence and creation. Conversational informatics is a field of research that focuses on investigating conversational interactions and designing intelligent artifacts that can augment conversational interactions. The field draws on a foundation provided by artificial intelligence, natural language processing, speech and image processing, cognitive science, and conversation analysis. In this article, the author overviews a methodology for developing augmented conversational environment and major achievements. The author also discusses issues for making agents empathic so that they can induce sustained and constructive engagement with people.


2017 ◽  
Vol 23 (4) ◽  
pp. 641-647 ◽  
Author(s):  
ROBERT DALE

AbstractThe commercialisation of natural language processing began over 35 years ago, but it’s only in the last year or two that it’s become substantially more visible, largely because of the intense popular interest in artificial intelligence. So what’s the state of commercial NLP today? We survey the main industry categories of relevance, and offer comment on where the action is today.


2021 ◽  
Vol 9 (1) ◽  
pp. 30-38
Author(s):  
Jurgita Mikelionienė ◽  
Jurgita Motiejūnienė

Abstract Artificial Intelligence (AI), as a multidisciplinary field, combines computer science, robotics and cognitive science, with increasingly growing applications in many diverse areas, such as engineering, business, medicine, weather forecasting, industry, translation, natural language, linguistics, etc. In Europe, interest in AI has been rising in the last decade. One of the greatest hurdles for researchers in automated processing of technical documentation is large amounts of specific terminology. The aim of this research is to analyse the semi-automatically extracted artificial intelligence-related terminology and the most common phrases related to artificial intelligence in English and Lithuanian in terms of their structure, multidisciplinarity and connotation. For selection and analysis of terms, two programmes were chosen in this study, namely SynchroTerm and SketchEngine. The paper presents the outcomes of an AI terminological project carried out with SynchroTerm and provides an analysis of a special corpus compiled in the field of artificial intelligence using the SketchEngine platform. The analysis of semi-automatic term extraction use and corpus-based techniques for artificial intelligence-related terminology revealed that AI as a specialized domain contains multidisciplinary terminology, and is complex and dynamic. The empiric data shows that the context is essential for the evaluation of the concept under analysis and reveals the different connotation of the term.


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).


2020 ◽  
Vol 17 (6) ◽  
pp. 76-91
Author(s):  
E. D. Solozhentsev

The scientific problem of economics “Managing the quality of human life” is formulated on the basis of artificial intelligence, algebra of logic and logical-probabilistic calculus. Managing the quality of human life is represented by managing the processes of his treatment, training and decision making. Events in these processes and the corresponding logical variables relate to the behavior of a person, other persons and infrastructure. The processes of the quality of human life are modeled, analyzed and managed with the participation of the person himself. Scenarios and structural, logical and probabilistic models of managing the quality of human life are given. Special software for quality management is described. The relationship of human quality of life and the digital economy is examined. We consider the role of public opinion in the management of the “bottom” based on the synthesis of many studies on the management of the economics and the state. The bottom management is also feedback from the top management.


Sign in / Sign up

Export Citation Format

Share Document