Search results for "Axiom"

Harsanyi Power Solutions for Cooperative Games on Voting Structures

2019

International audience; This paper deals with Harsanyi power solutions for cooperative games in which partial cooperation is based on specific union stable systems given by the winning coalitions derived from a voting game. This framework allows for analyzing new and real situations in which there exists a feedback between the economic influence of each coalition of agents and its political power. We provide an axiomatic characterization of the Harsanyi power solutions on the subclass of union stable systems arisen from the winning coalitions from a voting game when the influence is determined by a power index. In particular, we establish comparable axiomatizations, in this context, when co…

Towards Self-explanatory Ontology Visualization with Contextual Verbalization

2016

Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help users to understand the connections among entities. However, the users first need to learn the visual notation before they can interpret it correctly. Controlled natural language representation would be readable right away and might be preferred in case of complex axioms, however, the structure of the ontology would remain less apparent. We propose to combine ontology visualizations with contextual ontology verbalizations of selected ontology (diagram) e…

Benchmarking the sustainable manufacturing paradigm via automatic analysis and clustering of scientific literature: A perspective from Italian techno…

2019

Abstract The number of scientific papers in the field of Sustainable Manufacturing (SM) shows a strong growth of interest in this topic in the last 20 years. Despite this huge number of publications, a clear statement of the profound meaning of Sustainable Manufacturing, or at least a strong theoretical support, is still missing. The 6R framework seems to be a first attempt to rationalize this issue, as it is an axiomatic identification of its true nature. Recognizing the pursuing of one or more of the Reduce-Recycle-Reuse-Recover-Redesign-Remanufacture principles allows users to identify if any manufacturing action is in the right direction of sustainability. In the paper, the authors spec…

An axiomatic treatment of ratios in an affine plane

1967

Finitary shadows of compact subgroups of $$S(\omega )$$

2020

AbstractLet LF be the lattice of all subgroups of the group $$SF(\omega )$$SF(ω) of all finitary permutations of the set of natural numbers. We consider subgroups of $$SF(\omega )$$SF(ω) of the form $$C\cap SF(\omega )$$C∩SF(ω), where C is a compact subgroup of the group of all permutations. In particular, we study their distribution among elements of LF. We measure this using natural relations of orthogonality and almost containedness. We also study complexity of the corresponding families of compact subgroups of $$S(\omega )$$S(ω).

Pieri’s 1900 Point-and-Motion Memoir

2021

This chapter contains an English translation of Mario Pieri’s 1900a memoir, On Elementary Geometry as a Hypothetical Deductive System: Monograph on Point and on Motion.1 By elementary geometry, Pieri meant Euclidean geometry as taught then in elementary courses, except for the theorems dependent on the Euclidean parallel axiom.

Ein Axiomensystem f�r partielle affine R�ume

1994

A partial linear space with parallelism is called partial affine space if it is embeddable in an affine space with the same pointset preserving the parallelism. These partial affine spaces will be characterized by a system of three axioms for partial linear spaces with parallelism.

Construction of Fibred Categories

2019

In Section 5, we introduce methods from classical homological algebra (i.e. using mostly the language of derived categories of abelian categories and their Verdier quotients) to construct the main examples of premotivic categories of interest in this book, while, in Section 6, we study how to check that the localization axiom holds in practice. Section 7 is devoted to the process of obtaining new fibred categories from old ones, by considering homotopy theoretic modules over a ring object.

Fibred Categories and the Six Functors Formalism

2019

In Section 1, we introduce the basic language used in this book, the so-called premotivic categories and their functoriality. This is an extension of the classical notion of fibered categories. They appear with different categorical structures. In Section2, the language of premotivic categories is specialized to that of triangulated categories and to algebraic geometry. We introduce several axioms of such categories which ultimately will lead to the full six functors formalism. An emphasis is given on the study of the main axioms, with a special care about the so-called localization axiom. Then in Section 3, the general theory of descent is formulated in the language of premotivic model cat…

On Conditioning Operators

1999

The construction of conditional events (so-called measure-free conditioning) has a long history and is one of the fundamental problems in non-deterministic system theory (cf. [6]). In particular, the iteration of measure-free conditioning is still an open problem. The present paper tries to make a contribution to this question. In particular, we give an axiomatic introduction of conditioning operators which act as binary operations on the universe of events. The corresponding axiom system of this type of operators focus special attention on the intuitive understanding that the event ‘α given β’ is somewhere in “between” ‘α and β’ and ‘β implies α’. A detailed motivation of these axioms can …