All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 7 Next

Displaying 121 – 140 of 1306

Showing per page

An approach to solve a fuzzy bi-objective multi-index fixed charge transportation problem

Maroua Hakim, Rachid Zitouni (2024)

Kybernetika

In this paper, we propose a novel approach for solving a fuzzy bi-objective multi-index fixed-charge transportation problem where the aim is to minimize two objectives: the total transportation cost and transportation time. The parameters of the problem, such as fixed cost, variable cost, and transportation time are represented as fuzzy numbers. To extract crisp values from these parameters, a linear ranking function is used. The proposed approach initially separates the main problem into sub-problems....

An axiom system for full 3 -dimensional Euclidean geometry

Jarosław Kosiorek (1991)

Mathematica Bohemica

We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.

An axiom system for incidence spatial geometry.

Rafael María Rubio, Alfonso Ríder (2008)

RACSAM

Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.

An extension method for t-norms on subintervals to t-norms on bounded lattices

Funda Karaçal, Ümit Ertuğrul, M. Nesibe Kesicioğlu (2019)

Kybernetika

In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on L from the t-norm on a subinterval of L need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...

An extension of the ordering based on nullnorms

Emel Aşıcı (2019)

Kybernetika

In this paper, we generally study an order induced by nullnorms on bounded lattices. We investigate monotonicity property of nullnorms on bounded lattices with respect to the F -partial order. Also, we introduce the set of incomparable elements with respect to the F-partial order for any nullnorm on a bounded lattice. Finally, we investigate the relationship between the order induced by a nullnorm and the distributivity property for nullnorms.

An ILP model for a monotone graded classification problem

Peter Vojtáš, Tomáš Horváth, Stanislav Krajči, Rastislav Lencses (2004)

Kybernetika

Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised annotated...

An inquiry-based method for Choquet integral-based aggregation of interface usability parameters

Miguel-Ángel Sicilia, Elena García Barriocanal, Tomasa Calvo (2003)

Kybernetika

The concept of usability of man-machine interfaces is usually judged in terms of a number of aspects or attributes that are known to be subject to some rough correlations, and that are in many cases given different importance, depending on the context of use of the application. In consequence, the automation of judgment processes regarding the overall usability of concrete interfaces requires the design of aggregation operators that are capable of modeling approximate or ill-defined interactions...

An investigation on the n -fold IVRL-filters in triangle algebras

Saeide Zahiri, Arsham Borumand Saeid (2020)

Mathematica Bohemica

The present study aimed to introduce n -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of n -fold (positive) implicative IVRL-extended filters and n -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the n -fold IVRL-extended filters, n -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.

An upper bound on the space complexity of random formulae in resolution

Michele Zito (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We prove that, with high probability, the space complexity of refuting a random unsatisfiable Boolean formula in k -CNF on n variables and m = Δ n clauses is O n · Δ - 1 k - 2 .

Currently displaying 121 – 140 of 1306