English
Related papers

Related papers: Partial representations of orderings

200 papers

In the present paper we study necessary and sufficient conditions for the existence of a semicontinuous and finite Richter-Peleg multi-utility for a preorder. It is well know that, given a preorder on a topological space, if there is a…

General Topology · Mathematics 2024-01-25 Gianni Bosi , Asier Estevan , Armajac Raventós

This paper deals with the revision of partially ordered beliefs. It proposes a semantic representation of epistemic states by partial pre-orders on interpretations and a syntactic representation by partially ordered belief bases. Two…

Artificial Intelligence · Computer Science 2007-05-23 Salem Benferhat , Sylvain Lagrue , Odile Papini

Over time, there have hen refinements in the way that probability distributions are used for representing beliefs. Models which rely on single probability distributions depict a complete ordering among the propositions of interest, yet…

Artificial Intelligence · Computer Science 2013-02-28 Paul Snow

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

Logic · Mathematics 2009-05-19 Jaap van Oosten

We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations. We discuss the respective roles…

Rings and Algebras · Mathematics 2012-10-12 J-P. Antoine , G. Bellomonte , C. Trapani

One of the fundamental results in computability is the existence of well-defined functions that cannot be computed. In this paper we study the effects of data representation on computability; we show that, while for each possible way of…

Computational Complexity · Computer Science 2017-06-30 Jaun Casanova , Simone Santini

Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…

Algebraic Topology · Mathematics 2015-09-08 Clara Loeh

The elements of a finite nonempty partially ordered set are exposed at independent uniform times in $[0,1]$ to a selector who, at any given time, can see the structure of the induced partial order on the exposed elements. The selector's…

Optimization and Control · Mathematics 2010-10-07 Ragnar Freij , Johan Wästlund

Despite its centrality in the philosophy of cognitive science, there has been little prior philosophical work engaging with the notion of representation in contemporary NLP practice. This paper attempts to fill that lacuna: drawing on ideas…

Computation and Language · Computer Science 2023-11-21 Jacqueline Harding

We give an extension to a nonconvex setting of the classical radial representation result for lower semicontinuous envelope of a convex function on the boundary of its effective domain. We introduce the concept of radial uniform upper…

Classical Analysis and ODEs · Mathematics 2013-09-18 Omar Anza Hafsa , Jean-Philippe Mandallena

We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized systems with unordered or unstructured topologies) the new…

Logic in Computer Science · Computer Science 2015-03-20 Ahmed Rezine

We consider integration of functions with values in a partially ordered vector space, and two notions of extension of the space of integrable functions. Applying both extensions to the space of real valued simple functions on a measure…

Functional Analysis · Mathematics 2021-10-18 Arnoud van Rooij , Willem van Zuijlen

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…

Logic · Mathematics 2015-03-04 Arno Pauly

Partiality is a natural phenomenon in computability that we cannot get around. So, the question is whether we can give the areas where partiality occurs, that is, where non-termination happens, more structure. In this paper we consider…

Logic in Computer Science · Computer Science 2023-11-13 Dieter Spreen

Motivated by appearance of multisemigroups in the study of additive $2$-categories, we define and investigate the notion of a multisemigroup with multiplicities. This notion seems to be better suitable for applications in higher…

Representation Theory · Mathematics 2015-10-07 Love Forsberg

Representations are essential to mathematically model phenomena, but there are many options available. While each of those options provides useful properties with which to solve problems related to the phenomena in study, comparing results…

Logic in Computer Science · Computer Science 2025-10-01 Luke Bayzid , Alexandre Madeira , Manuel A. Martins

Spectrahedra are sets defined by linear matrix inequalities. Projections of spectrahedra are called semidefinitely representable sets. Both kinds of sets are of practical use in polynomial optimization, since they occur as feasible sets in…

Optimization and Control · Mathematics 2009-12-17 Tim Netzer

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

Logic in Computer Science · Computer Science 2025-06-12 Danel Ahman , Andrej Bauer

Representations play a central role in the study of both biological and artificial intelligence, as well as philosophy of mind. Across neuroscience, computer science, and philosophy, a recurring theme is that representations not only carry…

Other Computer Science · Computer Science 2026-04-22 Ben Baker , Richard D. Lange , Andrew Richmond , Nikolaus Kriegeskorte , Rosa Cao , Xaq Pitkow , Odelia Schwartz

The paper deals with partial and weak preference relations defined on infinite-dimensional vector spaces and compatible with algebraic operations. By a partial preference we mean an asymmetric and transitive binary relation, while a weak…

Optimization and Control · Mathematics 2024-01-17 V. V. Gorokhovik