In this research paper, we present certain types of single-valued neutrosophic graphs, including edge regular single-valued neutrosophic graphs and totally edge regular single-valued neutrosophic graphs. We investigate some of their related properties. We describe an application of single-valued neutrosophic graph in decision making process and present the procedure of our method that is used i...

Simulating organizational processes characterized by interacting human activities, resources, business rules and constraints, is a challenging task, because of the inherent uncertainty, inaccuracy, variability and dynamicity. With regard to this problem, currently available business process simulation (BPS) methods and tools are unable to efficiently capture the process behavior along its lifec...

Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Given a dataset of function-valued traits generated by evolution, we develop a practical, statistical approach to infer ancestral function-valued traits, and estimate the generative evolutionary process. We do this by combining dimension reduction and phylogenetic Gaussian process regress...

In this report we present a translation of Belnap’s four-valued logic[1] into classical first-order logic. Soundness and completeness of the translation approach with respect to Belnap’s notion of entailment are proved. Examples derivations are also given. These results provide the basis for developing a belief revision approach for Belnap’s logic in terms of standard AGM [3] belief revision op...

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. A Belief Maintenance System hal! been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. Such a system may be thought of as a generalization of a. Truth Maintenance System. It enables one to reason using normal...

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

In order to obtain the information from an L-Fuzzy context, the complete relation between the objects and the attributes is needed. However, the contexts that model many situations have absent values. To solve this problem, at the beginning of the paper we remind the interval-valued linguistic variable definition and, later, we propose an extension of the fuzzy propositions to the interval-valu...