Causal Laws and Multi - Valued
نویسنده
چکیده
منابع مشابه
Causal Laws and Multi-Valued Fluents
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being true and being caused, as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz. The only fluents directly representable in language C are truth-valued fluents, which is often...
متن کاملSoft Computing-based New Interval-valued Pythagorean Triangular Fuzzy Multi-criteria Group Assessment Method without Aggregation: Application to a Transport Projects Appraisal
In this paper, an interval-valued Pythagorean triangular fuzzy number (IVPTFN) as a useful tool to handle decision-making problems with vague quantities is defined. Then, their operational laws are developed. By introducing a novel method of making a decision on the concept of possibility theory, a multi-attribute group decision-making (MAGDM) problem is considered, in which the attribute value...
متن کاملMulti-valued fixed point theorems in complex valued $b$-metric spaces
The aim of this paper is to establish and prove some results on common fixed point for a pair of multi-valued mappings in complex valued $b$-metric spaces. Our results generalize and extend a few results in the literature.
متن کاملEndpoints of multi-valued cyclic contraction mappings
Endpoint results are presented for multi-valued cyclic contraction mappings on complete metric spaces (X, d). Our results extend previous results given by Nadler (1969), Daffer-Kaneko (1995), Harandi (2010), Moradi and Kojasteh (2012) and Karapinar (2011).
متن کاملχChek: A Model Checker for Multi-Valued Reasoning
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001