Filters








906 Hits in 6.3 sec

New contributions into the Dezert-Smarandache theory: Application to remote sensing image classification

Fatma Haouas, Zouhour Ben Dhiaf
2014 2014 6th International Conference of Soft Computing and Pattern Recognition (SoCPaR)  
The application of the DSmT needs at first the generation of the hyper-powerset and more exactly the composites events.  ...  The theory of Dezert and Smarandache (DSmT) called also the theory of plausible and paradoxical reasoning represents a suitable formalism to fuse paradoxical sources.  ...  Yet the new theory of Dezert and Smarandache can deals with this problem.  ... 
doi:10.1109/socpar.2014.7008026 dblp:conf/socpar/HaouasD14 fatcat:qaf3kon52be7rof3ivfvagjsoy

A Compact Representation of Preferences in Multiple Criteria Optimization Problems

Francisco Salas-Molina, David Pla-Santamaria, Ana Garcia-Bernabeu, Javier Reig-Mullor
2019 Mathematics  
To enhance the process of setting preferences, we propose a compact representation that subsumes the most common preference schemes in a single algebraic object.  ...  A critical step in multiple criteria optimization is setting the preferences for all the criteria under consideration.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/math7111092 fatcat:wohewxs7zjdjhmjobaxt53kmcy

Uncertainty of value and structure

Patrik Eklund, Magnus Löfstrand
2019 Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019)  
We also aim to explain why that is so, and we then provide suggestions on how to overcome the situation, as related to applications involving information structures.  ...  In this paper we argue that 'uncertainty of information' traditionally focuses more on 'uncertainty' leaving 'information' mostly as unravelled.  ...  ) projects, with gratefully acknowledged funding, respectively, from the Knowledge Foundation (Stiftelsen för kunskaps-och kompetensutveckling), the Interreg Botnia-Atlantica 2014-2020 programme, and the  ... 
doi:10.2991/eusflat-19.2019.52 dblp:conf/eusflat/EklundL19 fatcat:vgxbt6eknzblbb6ynbhschuggy

Powerset Theory of Fuzzy Soft Sets

Jiří Močkoř
2020 International Journal of Fuzzy Logic and Intelligent Systems  
As in the case of fuzzy sets, in fuzzy soft set theory, it is possible to use several theoretical constructions requiring the existence of a powerset theory and monads.  ...  Fuzzy soft sets generalize fuzzy sets and have considerable application potential in, for instance, decision-making and optimization.  ...  Acknowledgement This research was partially supported by the ERDF/ESF project CZ.02.1.01/0.0/0.0/17-049/0008414.  ... 
doi:10.5391/ijfis.2020.20.4.298 fatcat:rsrwobg4j5eqhpy6xvbavaoefa

Application Of Referee Functions To The Vehicle-Born Improvised Explosive Device Problem

Frederic Dambreville
2011 Zenodo  
This solution is based on a modelling by belief functions, and involves the construction of a combination rule dedicated to this problem.  ...  We propose a solution to the Vehicle-Born Improvised Explosive Device problem.  ...  For this quick introduction, our presentation is restricted to the powerset G = 2 Ω , i.e. the set of subsets of Ω. In this case, the set Ω is the frame of discernment of our problem.  ... 
doi:10.5281/zenodo.34770 fatcat:tzlxeswiynegvfxskiutjvkpgm

Referential Integrity for Database Design [chapter]

Bonn-Oh Kim
2000 Best Practices  
Our experiments with synthetic and benchmark data sets confirm that our index structures do not only boost the performance of the state-of-the-art recommendation for enforcing partial semantics in real-world  ...  Referential integrity is fundamental for data processing and data quality. The SQL standard proposes di↵erent semantics under which referential integrity can be enforced in practice.  ...  further indices in Powerset and to choose the index from all the options in Powerset outweighs the time gains for the actual operations by Powerset in comparison to Bounded.  ... 
doi:10.1201/9781420031560.ch28 fatcat:o2chpzrgd5b3phi757dlwsgnfe

Page 6526 of Mathematical Reviews Vol. , Issue 2003i [page]

2003 Mathematical Reviews  
(I-LAQL-PM; L'Aquila) Formative processes with applications to the decision problem in set theory. I. Powerset and singleton operators.  ...  This is part of the ongoing program in computable set theory started by Jacob Schwartz and associated with the SETL programming language.  ... 

Learning to Program in LISP1

John R. Anderson, Robert Farrell, Ron Sauers
1984 Cognitive Science  
architecture for production systems as specified i n the ACT* theory (Anderson, 1983 Of moior concern is the process by which GRAPES compiles operators i n solving one problem to facilitate the solution  ...  The decision to consider the relationship between (POWERSET L) and (POWERSET (CDR L)) is not just a stab in the dark.  ...  I still don't know how to get the right answer. R: Let's assume that I had said to you 'Ok,  ... 
doi:10.1207/s15516709cog0802_1 fatcat:ig6azappp5ebpl5wd6klw4mhsa

Application Of Referee Functions To The Vehicle-Born Improvised Explosive Device Problem

Frederic Dambreville
2011 Zenodo  
Referee functions are decisional arbitrament conditionally to basic decisions provided by the sources of information, and allows rule definitions at logical level adapted to the application.We construct  ...  This tool implies a tripartite architecture, with respective parts implementing the logical framework, the combination definition (referee function) and the computation processes.  ...  For this quick introduction, our presentation is restricted to the powerset G = 2 Ω , i.e. the set of subsets of Ω. In this case, the set Ω is the frame of discernment of our problem.  ... 
doi:10.5281/zenodo.22862 fatcat:okruhn4lirf6xa2wtfmzulmtfa

Learning to program in LISP

J ANDERSON, R FARRELL, R SAUERS
1984 Cognitive Science  
architecture for production systems as specified i n the ACT* theory (Anderson, 1983 Of moior concern is the process by which GRAPES compiles operators i n solving one problem to facilitate the solution  ...  The decision to consider the relationship between (POWERSET L) and (POWERSET (CDR L)) is not just a stab in the dark.  ...  I still don't know how to get the right answer. R: Let's assume that I had said to you 'Ok,  ... 
doi:10.1016/s0364-0213(84)80013-0 fatcat:trgsvo77vfcxffnfe2nkxqjgqy

Proofs and Reconstructions [chapter]

Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
2015 Lecture Notes in Computer Science  
This system is demonstrated and evaluated through an implementation to reconstruct proofs generated by Leo-II and Satallax in Isabelle/HOL, and is shown to work better than the current method of rediscovering  ...  It requires significant knowledge of the source and target systems. One cannot simply re-target to another logic.  ...  The anonymous reviewers and Chad Brown provided feedback, for which we are grateful.  ... 
doi:10.1007/978-3-319-24246-0_16 fatcat:kl2dkbn7prbftp4rbr6nxadmmi

Subset-equational programming in intelligent decision systems

B. Jayaraman
1990 Computers and Mathematics with Applications  
in defining the resulting set of the goal expression.  ...  We provide several examples to illustrate the paradigm, and also describe extensions to improve programming convenience: negation by failure, relative sets and quantities.  ...  Acknowledgement,s--I am grateful to Bruce T.  ... 
doi:10.1016/0898-1221(90)90113-x fatcat:i2mc6bdtp5fdnke2hloumaxiiu

Deciding floating-point logic with abstract conflict driven clause learning

Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 Formal methods in system design  
The generalisation of CDCL we propose is widely applicable and can be used to derive abstraction-based SMT solvers for other theories.  ...  We present a bit-precise decision procedure for the theory of floating-point arithmetic.  ...  To alleviate these problems, approaches such as theory decisions on demand [4] and theory-based decision heuristics [36] have been proposed.  ... 
doi:10.1007/s10703-013-0203-7 fatcat:fkn6fznwrrfzvahi3hlitjnywu

Ordering Objects via Attribute Preferences

Inma P. Cabrera, Manuel Ojeda-Aciego, Jozef Pócs
2014 International Conference on Concept Lattices and their Applications  
We apply recent results on the construction of suitable orderings for the existence of right adjoint to the analysis of the following problem: given a preference ordering on the set of attributes of a  ...  given context, we seek an induced preference among the objects which is compatible with the information provided by the context.  ...  In a pre-processing stage, factor analysis is used to choose variables, and rough set theory to construct the decision rules; FCA is applied in the post-processing stage from these suitable rules to explore  ... 
dblp:conf/cla/CabreraOP14 fatcat:zlqivmgncfc3lmyhvmvaceklze

Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate [article]

Domenico Cantone, Pietro Ursino
2013 arXiv   pre-print
In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property and the theory of formative  ...  processes.  ...  with Singleton and Powerset operators") .  ... 
arXiv:math/0411227v3 fatcat:6qowleqtlncvbdakte44fiu3xy
« Previous Showing results 1 — 15 out of 906 results