T-Equivalences: The Metric Behavior Revisited

Since the notion of T-equivalence, where T is a t-norm, was introduced as a fuzzy generalization of the notion of crisp equivalence relation, many researchers have worked in the study of the metric behavior of such fuzzy relations. Concretely, a few techniques to induce metrics from T-equivalences, and vice versa, have been developed. In several fields of computer science and artificial intelligence, a generalization of pseudo-metric, known as partial pseudo-metrics, have shown to be useful. Recently, Bukatin, Kopperman and Matthews have stated that the notion of partial pseudo-metric and a type of generalized T-equivalence are linked. Inspired by the preceding fact, in this paper, we state a concrete relationship between partial pseudo-metrics and the aforesaid generalized T-equivalences. Specifically, a method for constructing partial pseudo-metrics from the new type of T-equivalences and, reciprocally, for constructing the generalized T-equivalences from partial pseudo-metrics are provided. However, important differences between the new approach and the classical one are established. Special interest is paid to the case in which the minimum, drastic, and Łukasiewicz t-norms are under consideration.

Download Full-text

A.I.- Smart Assistant

International Journal for Research in Applied Science and Engineering Technology ◽

10.22214/ijraset.2021.35553 ◽

2021 ◽

Vol 9 (VI) ◽

pp. 2384-2387

Author(s):

Nayan Srivastava

Keyword(s):

Artificial Intelligence ◽

Information Processing ◽

Computer Science ◽

Everyday Life ◽

Way Of Life ◽

New Approach ◽

Artificial Intelligent ◽

The World ◽

Technology Intervention ◽

Computer Based

Artificial Intelligent is widely used when it comes to everyday life. Computer science explains AI research as a study of brilliant agents. Every In almost any direction one turns to today, some computer-based information processing technology intervention, whether by a person knowingly or not. Artificial Intelligence has already changed our way of life. A device that we can see in its nature and take action increases its chances of success goals. Input to the recommendations algorithm can be a file for user database and items, and careless removal will be recommendations. User to install in the system by voice or text. This paper presents a new approach to it. All over the world, many people use the assistant. This paper introduces visual applications an assistant that helps to give humanity a chance at various domains. This paper also describes the annoyance of using visual assistant technology.

Download Full-text

New Approach for Comparison of Countries’ Achievements in Science Olympiads

OLYMPIADS IN INFORMATICS ◽

10.15388/ioi.2018.05 ◽

2018 ◽

Vol 12 ◽

pp. 53-68

Author(s):

Mile JOVANOV ◽

Marija MIHOVA ◽

Bojan KOSTADINOV ◽

Emil STANKOV

Keyword(s):

Secondary School ◽

Eastern Europe ◽

Computer Science ◽

Secondary School Students ◽

School Students ◽

New Approach ◽

Government Institutions ◽

South Eastern Europe ◽

The Government ◽

Valuable Content

There are several International Olympiads for secondary school students (for example, mathematics, physics, chemistry, biology and informatics). These Olympiads are not just a science competition, but a means to care for talent in the particular science. The goal of this paper is to identify the necessary topics important for good results at these international contests, and to compare the contest systems for the countries in South Eastern Europe, in the field of Informatics (Computer Science), as a region that is one of the prominent world regions in the context of high results in the international competitions. Here, we provide comparison through detailed analysis of several countries, and further we present a new approach that may be used to compare the achievements of the countries based on the results that students achieved at these competitions. Finally, we present an application of this approach on the results of some of the discussed countries compared to Macedonia. We strongly believe that the paper will provide a valuable content and approach for the entities involved in the organization of the contests, to measure their results compared to other countries, to use the information for improvement, and to use their achievements to raise awareness among the government institutions and companies in order to get support from them.

Download Full-text

Aggregation of Indistinguishability Fuzzy Relations Revisited

Mathematics ◽

10.3390/math9121441 ◽

2021 ◽

Vol 9 (12) ◽

pp. 1441

Author(s):

Juan-De-Dios González-Hedström ◽

Juan-José Miñana ◽

Oscar Valero

Keyword(s):

Equivalence Relation ◽

Fuzzy Relations ◽

Measure Of Similarity ◽

Dual Notion ◽

The Relationship

Indistinguishability fuzzy relations were introduced with the aim of providing a fuzzy notion of equivalence relation. Many works have explored their relation to metrics, since they can be interpreted as a kind of measure of similarity and this is, in fact, a dual notion to dissimilarity. Moreover, the problem of how to construct new indistinguishability fuzzy relations by means of aggregation has been explored in the literature. In this paper, we provide new characterizations of those functions that allow us to merge a collection of indistinguishability fuzzy relations into a new one in terms of triangular triplets and, in addition, we explore the relationship between such functions and those that aggregate extended pseudo-metrics, which are the natural distances associated to indistinguishability fuzzy relations. Our new results extend some already known characterizations which involve only bounded pseudo-metrics. In addition, we provide a completely new description of those indistinguishability fuzzy relations that separate points, and we show that both differ a lot.

Download Full-text

Human-Centered AI to Support an Adaptive Management of Human-Machine Transitions with Vehicle Automation

Information ◽

10.3390/info12010013 ◽

2020 ◽

Vol 12 (1) ◽

pp. 13

Author(s):

Thierry Bellet ◽

Aurélie Banet ◽

Marie Petiot ◽

Bertrand Richard ◽

Joshua Quick

Keyword(s):

Artificial Intelligence ◽

Adaptive Management ◽

Driving Simulator ◽

End Users ◽

Point Of View ◽

Human Centered Design ◽

Perceived Utility ◽

New Type ◽

Future Potential ◽

Vehicle Automation

This article is about the Human-Centered Design (HCD), development and evaluation of an Artificial Intelligence (AI) algorithm aiming to support an adaptive management of Human-Machine Transition (HMT) between car drivers and vehicle automation. The general principle of this algorithm is to monitor (1) the drivers’ behaviors and (2) the situational criticality to manage in real time the Human-Machine Interactions (HMI). This Human-Centered AI (HCAI) approach was designed from real drivers’ needs, difficulties and errors observed at the wheel of an instrumented car. Then, the HCAI algorithm was integrated into demonstrators of Advanced Driving Aid Systems (ADAS) implemented on a driving simulator (dedicated to highway driving or to urban intersection crossing). Finally, user tests were carried out to support their evaluation from the end-users point of view. Thirty participants were invited to practically experience these ADAS supported by the HCAI algorithm. To increase the scope of this evaluation, driving simulator experiments were implemented among three groups of 10 participants, corresponding to three highly contrasted profiles of end-users, having respectively a positive, neutral or reluctant attitude towards vehicle automation. After having introduced the research context and presented the HCAI algorithm designed to contextually manage HMT with vehicle automation, the main results collected among these three profiles of future potential end users are presented. In brief, main findings confirm the efficiency and the effectiveness of the HCAI algorithm, its benefits regarding drivers’ satisfaction, and the high levels of acceptance, perceived utility, usability and attractiveness of this new type of “adaptive vehicle automation”.

Download Full-text

Cryogenic Exfoliation of 2D Stanene Nanosheets for Cancer Theranostics

Nano-Micro Letters ◽

10.1007/s40820-021-00619-1 ◽

2021 ◽

Vol 13 (1) ◽

Author(s):

Jiang Ouyang ◽

Ling Zhang ◽

Leijiao Li ◽

Wei Chen ◽

Zhongmin Tang ◽

...

Keyword(s):

Biomedical Applications ◽

Density Functional ◽

Biomedical Application ◽

Density Functional Theory Calculations ◽

Free Electrons ◽

Functional Theory ◽

New Approach ◽

New Type ◽

Average Size ◽

Cancer Theranostics

Abstract Stanene (Sn)-based materials have been extensively applied in industrial production and daily life, but their potential biomedical application remains largely unexplored, which is due to the absence of the appropriate and effective methods for fabricating Sn-based biomaterials. Herein, we explored a new approach combining cryogenic exfoliation and liquid-phase exfoliation to successfully manufacture two-dimensional (2D) Sn nanosheets (SnNSs). The obtained SnNSs exhibited a typical sheet-like structure with an average size of ~ 100 nm and a thickness of ~ 5.1 nm. After PEGylation, the resulting PEGylated SnNSs (SnNSs@PEG) exhibited good stability, superior biocompatibility, and excellent photothermal performance, which could serve as robust photothermal agents for multi-modal imaging (fluorescence/photoacoustic/photothermal imaging)-guided photothermal elimination of cancer. Furthermore, we also used first-principles density functional theory calculations to investigate the photothermal mechanism of SnNSs, revealing that the free electrons in upper and lower layers of SnNSs contribute to the conversion of the photo to thermal. This work not only introduces a new approach to fabricate 2D SnNSs but also establishes the SnNSs-based nanomedicines for photonic cancer theranostics. This new type of SnNSs with great potential in the field of nanomedicines may spur a wave of developing Sn-based biological materials to benefit biomedical applications.

Download Full-text

Forensic Block Chain and it's linkage with Artificial Intelligence: A new Approach

2021 2nd International Conference on Computation, Automation and Knowledge Management (ICCAKM) ◽

10.1109/iccakm50778.2021.9357739 ◽

2021 ◽

Author(s):

Nikitha Mani ◽

Soham Sanjay Parab ◽

Srikuja Manaswini ◽

Sharon Philip ◽

Parli B Hari ◽

...

Keyword(s):

Artificial Intelligence ◽

New Approach ◽

Block Chain

Download Full-text

Quotienting the delay monad by weak bisimilarity

Mathematical Structures in Computer Science ◽

10.1017/s0960129517000184 ◽

2017 ◽

Vol 29 (1) ◽

pp. 67-92 ◽

Cited By ~ 6

Author(s):

JAMES CHAPMAN ◽

TARMO UUSTALU ◽

NICCOLÒ VELTRI

Keyword(s):

Computer Science ◽

Equivalence Relation ◽

Type Theory ◽

Partial Functions ◽

Homotopy Type Theory ◽

Inductive Type ◽

Alternative Approach ◽

The One ◽

Axiom Of Countable Choice

The delay datatype was introduced by Capretta (Logical Methods in Computer Science, 1(2), article 1, 2005) as a means to deal with partial functions (as in computability theory) in Martin-Löf type theory. The delay datatype is a monad. It is often desirable to consider two delayed computations equal, if they terminate with equal values, whenever one of them terminates. The equivalence relation underlying this identification is called weak bisimilarity. In type theory, one commonly replaces quotients with setoids. In this approach, the delay datatype quotiented by weak bisimilarity is still a monad–a constructive alternative to the maybe monad. In this paper, we consider the alternative approach of Hofmann (Extensional Constructs in Intensional Type Theory, Springer, London, 1997) of extending type theory with inductive-like quotient types. In this setting, it is difficult to define the intended monad multiplication for the quotiented datatype. We give a solution where we postulate some principles, crucially proposition extensionality and the (semi-classical) axiom of countable choice. With the aid of these principles, we also prove that the quotiented delay datatype delivers free ω-complete pointed partial orders (ωcppos).Altenkirch et al. (Lecture Notes in Computer Science, vol. 10203, Springer, Heidelberg, 534–549, 2017) demonstrated that, in homotopy type theory, a certain higher inductive–inductive type is the free ωcppo on a type X essentially by definition; this allowed them to obtain a monad of free ωcppos without recourse to a choice principle. We notice that, by a similar construction, a simpler ordinary higher inductive type gives the free countably complete join semilattice on the unit type 1. This type suffices for constructing a monad, which is isomorphic to the one of Altenkirch et al. We have fully formalized our results in the Agda dependently typed programming language.

Download Full-text

A new approach to EHV transmission line fault classification and fault detection based on the wavelet transform and artificial intelligence

2012 IEEE Power and Energy Society General Meeting ◽

10.1109/pesgm.2012.6344762 ◽

2012 ◽

Cited By ~ 1

Author(s):

Jianyi Chen ◽

R. K. Aggarwal

Keyword(s):

Artificial Intelligence ◽

Wavelet Transform ◽

Fault Detection ◽

Transmission Line ◽

Fault Classification ◽

New Approach

Download Full-text

From Decline of the West to Dawn of Day

Janus Head ◽

10.5840/jh20201815 ◽

2020 ◽

Vol 18 (1) ◽

pp. 53-66

Author(s):

Hub Zwart ◽

Keyword(s):

Artificial Intelligence ◽

Computer Science ◽

Science And Religion ◽

Natural Sciences ◽

The Novel ◽

Human Beings ◽

Cultural Significance ◽

Religion And Science ◽

The West ◽

Smart Technologies

This paper subjects Dan Brown’s most recent novel Origin to a philosophical reading. Origin is regarded as a literary window into contemporary technoscience, inviting us to explore its transformative momentum and disruptive impact, focusing on the cultural significance of artificial intelligence and computer science: on the way in which established world-views are challenged by the incessant wave of scientific discoveries made possible by super-computation. While initially focusing on the tension between science and religion, the novel’s attention gradually shifts to the increased dependence of human beings on smart technologies and artificial (or even “synthetic”) intelligence. Origin’s message, I will argue, reverberates with Oswald Spengler’s The Decline of the West, which aims to outline a morphology of world civilizations. Although the novel starts with a series of oppositions, most notably between religion and science, the eventual tendency is towards convergence, synthesis and sublation, exemplified by Sagrada Família as a monumental symptom of this transition. Three instances of convergence will be highlighted, namely the convergence between science and religion, between humanity and technology and between the natural sciences and the humanities.

Download Full-text