English
Related papers

Related papers: Neutrosophic information in the framework of multi…

200 papers

Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…

Artificial Intelligence · Computer Science 2013-02-08 Luis D. Hernandez , Serafin Moral

In this paper, the concept of neutrosophic soft filter and its basic properties are introduced. Later, we set up a neutrosophic soft topology with the help of a neutrosophic soft filter. We also give the notions of the greatest lower bound…

General Mathematics · Mathematics 2021-03-02 Naime Demirtas

Value-of-information analyses provide a straightforward means for selecting the best next observation to make, and for determining whether it is better to gather additional information or to act immediately. Determining the next best test…

Artificial Intelligence · Computer Science 2015-05-19 David Heckerman , Eric J. Horvitz , Blackford Middleton

The major steps in the development of our knowledge about neutrinos are reviewed. The basics of neutrino oscillation formalism is presented. Neutrino oscillations in the framework of three-neutrino mixing are considered. The evidence for…

High Energy Physics - Phenomenology · Physics 2007-05-23 S. M. Bilenky

A system is described that uses a mixed-level knowledge representation based on standard Horn Clause Logic to represent (part of) the meaning of natural language documents. A variable-depth search strategy is outlined that distinguishes…

Computation and Language · Computer Science 2007-05-23 Michael Hess

Semantic Heterogeneity is conventionally understood as the existence of variance in the representation of a target reality when modelled, by independent parties, in different databases, schemas and/ or data. We argue that the mere encoding…

Artificial Intelligence · Computer Science 2022-07-05 Fausto Giunchiglia , Mayukh Bagchi

Defining various dishonest notions in a formal way is a key step to enable intelligent agents to act in untrustworthy environments. This review evaluates the literature for this topic by looking at formal definitions based on modal logic as…

Logic in Computer Science · Computer Science 2016-12-30 Toni Heidenreich

Capturing the interesting components of an image is a key aspect of image understanding. When a speaker annotates an image, selecting labels that are informative greatly depends on the prior knowledge of a prospective listener. Motivated by…

Computer Vision and Pattern Recognition · Computer Science 2018-12-27 Lior Bracha , Gal Chechik

In probabilistic logic entailments, even moderate size problems can yield linear constraint systems with so many variables that exact methods are impractical. This difficulty can be remedied in many cases of interest by introducing a three…

Artificial Intelligence · Computer Science 2013-03-26 Paul Snow

In present paper, the definition of new metric space with neutrosophic numbers is given. Several topological and structural properties have been investigated. The analogues of Baire Category Theorem and Uniform Convergence Theorem are given…

General Mathematics · Mathematics 2019-07-02 Murat Kirişci , Necip Şimşek

This work analyses main features that should be present in knowledge representation. It suggests a model for representation and a way to implement this model in software. Representation takes care of both low-level sensor information and…

Artificial Intelligence · Computer Science 2007-05-23 Mikalai Birukou

Information theory is a practical and theoretical framework developed for the study of communication over noisy channels. Its probabilistic basis and capacity to relate statistical structure to function make it ideally suited for studying…

Neurons and Cognition · Quantitative Biology 2015-01-09 Robin A. A. Ince , Simon R. Schultz , Stefano Panzeri

According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be…

Quantum Physics · Physics 2017-10-24 Anthony Sudbery

We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in…

Logic in Computer Science · Computer Science 2025-06-19 Francesco A. Genco

We propose a framework to analyze how multivariate representations disentangle ground-truth generative factors. A quantitative analysis of disentanglement has been based on metrics designed to compare how one variable explains each…

Machine Learning · Statistics 2022-02-11 Seiya Tokui , Issei Sato

This book is organized into seven chapters. Chapter one is introductory in content. The notion of neutrosophic set linear algebras and neutrosophic neutrosophic set linear algebras are introduced and their properties analysed in chapter…

General Mathematics · Mathematics 2010-03-10 W. B. Vasantha Kandasamy , Florentin Smarandache , K. Ilanthenral

By considering probability distributions over the set of assignments the expected truth values assignment to propositional variables are extended through linear operators, and the expected truth values of the clauses at any given…

Logic in Computer Science · Computer Science 2010-07-07 Guillermo Morales-Luna

We propose a novel approach to the problem of semantic heterogeneity where data are organized into a set of stratified and independent representation layers, namely: conceptual(where a set of unique alinguistic identifiers are connected…

Databases · Computer Science 2021-05-21 Fausto Giunchiglia , Alessio Zamboni , Mayukh Bagchi , Simone Bocca

In this paper, we present a generalization of the relational data model based on interval neutrosophic set. Our data model is capable of manipulating incomplete as well as inconsistent information. Fuzzy relation or intuitionistic fuzzy…

Databases · Computer Science 2007-10-30 Haibin Wang , Rajshekhar Sunderraman , Florentin Smarandache , Andre Rogatko

Several different approximations and techniques have been developed for the calculation of atomic structure, ionization, and excitation of atoms and ions. These techniques have been used to compute large amounts of spectroscopic data of…

Astrophysics · Physics 2007-05-23 Manuel A. Bautista