A model category for the homotopy theory of concurrency.
A model for opinion agreement and confidence in multi-expert multi-criteria decisión making.
In multi-expert multi-criteria decision making problems, we often have to deal with different opinions, different importance of criteria and experts, missing data, unexpressed opinions and experts who are not fully confident with their judgment. All these factors make the problem more difficult to solve, and run the risk of making the model logic less transparent. In this paper, we present a model based on simple assumptions described by logical rules, in order to maintain the model transparency...
A model of decision with linguistic knowledge.
The aim of this paper is to develop a new aggregating method for the decision problem in which the possible values of rewards are known in linguistic terms. We show new operators for solving this problem, as well as the way in which OWA operators provide us with an adequate framework for representing the optimism degree of the decision maker in case we have no information about the real state.
A Model of Mizar Concepts - Unification
The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and the unification of Mizar expressions.
A model of regular sparsity map representation.
A model of route lifetime optimization with linguistic knowledge in wireless ad-hoc networks.
Ad-hoc On-Demand Distance Vector (AODV) routing protocol has been and continues to be a very active and fruitful research protocol since its introduction in the wireless ad-hoc networks. AODV uses a static value for its route lifetime parameter called Active Route Timeout (ART) which indicates the time that the route can stay active in the routing table. Route lifetime may be more accurately determined dynamically via measurement, instead of static value. To accomplish this, the fuzzy logic system...
A modified rough set approach to incomplete information systems.
A modified standard embedding for linear complementarity problems
We propose a modified standard embedding for solving the linear complementarity problem (LCP). This embedding is a special one-parametric optimization problem . Under the conditions (A3) (the Mangasarian–Fromovitz Constraint Qualification is satisfied for the feasible set depending on the parameter ), (A4) ( is Jongen–Jonker– Twilt regular) and two technical assumptions, (A1) and (A2), there exists a path in the set of stationary points connecting the chosen starting point for with a certain...
A more efficient notion of zigzag stability
A morphic approach to combinatorial games : the Tribonacci case
We propose a variation of Wythoff’s game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word for the two piles game. Thanks to the corresponding exotic numeration system built on the Tribonacci sequence, deciding whether a game position is losing or not can be computed in polynomial time.
A morphic approach to combinatorial games: the Tribonacci case
We propose a variation of Wythoff's game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word for the two piles game. Thanks to the corresponding exotic numeration system built on the Tribonacci sequence, deciding whether a game position is losing or not can be computed in polynomial time.
A multi-agent brokerage platform for media content recommendation
Near real time media content personalisation is nowadays a major challenge involving media content sources, distributors and viewers. This paper describes an approach to seamless recommendation, negotiation and transaction of personalised media content. It adopts an integrated view of the problem by proposing, on the business-to-business (B2B) side, a brokerage platform to negotiate the media items on behalf of the media content distributors and sources, providing viewers, on the business-to-consumer...
A multi-agent system based on fuzzy logic applied to RoboCup's environment.
Artificial Intelligent has been applied successfully to many and varied domains. In particular, the recent steps forward which are been producing in the development of dynamic, collaborative, real time and adversarial multi-agent environments are very interesting. In this work, we carry out a proposal, which uses a soccer robot simulator, called TeamBots, that simulates the RoboCup Small'', involved into the RoboCup World Championship''. The objective is to bring a team into operation, even though,...
A multicriteria genetic tuning for fuzzy logic controllers.
This paper presents the use of genetic algorithms to develop smartly tuned fuzzy logic controllers in multicriteria complex problems. This tuning approach has some specific restrictions that make it very particular and complex because of the large time requirements existing due to the need of considering multiple criteria -which enlarges the solution search space-, and to the long computation time models usually used for fitness assessment. To solve these restrictions, two efficient genetic tuning...
A multi-granular linguistic model to evaluate the suitability of installing an ERP system.
The use of Enterprise Resource Planning (ERP) has shown clearly useful and economically profitable in most very large organizations which manage a great deal of data in their information systems. Nevertheless, the decision of installing an ERP system is not easy and it depends on the size, future profits and other features of the companies. The assessments of the parameters (features, aspects) used to evaluate the suitability of the ERP may be vague and imprecise because they are usually perceptions...
A multilevel algorithm for force-directed graph-drawing.
A multilevel algorithm for the minimum 2-sum problem.
A neural implementation of multi-adjoint logic programs via sf-homogenization.
A generalization of the homogenization process needed for the neural implementation of multi-adjoint logic programming (a unifying theory to deal with uncertainty, imprecise data or incomplete information) is presented here. The idea is to allow to represent a more general family of adjoint pairs, but maintaining the advantage of the existing implementation recently introduced in [6]. The soundness of the transformation is proved and its complexity is analysed. In addition, the corresponding generalization...
A neuro-fuzzy system for isolated hand-written digit recognition.
A neuro-fuzzy system for isolated hand-written digit recognition using a similarity fuzzy measure is presented. The system is composed of two main blocks: a first block that normalizes the input and compares it with a set of fuzzy patterns, and a second block with a multilayer perceptron to perform a neuronal classification. The comparison with the fuzzy patterns is performed via a fuzzy similarity measure that uses the Yager parametric t-norms and t-conorms. Along this work, several values of the...
A neuro-fuzzy system for sequence alignment on two levels.
The similarity judgerment of two sequences is often decomposed in similarity judgements of the sequence events with an alignment process. However, in some domains like speech or music, sequences have an internal structure which is important for intelligent processing like similarity judgements. In an alignment task, this structure can be reflected more appropriately by using two levels instead of aligning event by event. This idea is related to the structural alignment framework by Markman and Gentner....