A General Framework for Priority Arguments

1995 ◽  
Vol 1 (2) ◽  
pp. 189-201 ◽  
Author(s):  
Steffen Lempp ◽  
Manuel Lerman
Keyword(s):  
Information Content ◽  
Equivalence Relation ◽  
Decision Problem ◽  
General Framework ◽  
Equivalence Classes ◽  
Partial Ordering ◽  
Decision Problems ◽  
Natural Numbers ◽  
Relative Complexity ◽  
Degrees Of Unsolvability

The degrees of unsolvability were introduced in the ground-breaking papers of Post [20] and Kleene and Post [7] as an attempt to measure theinformation contentof sets of natural numbers. Kleene and Post were interested in the relative complexity of decision problems arising naturally in mathematics; in particular, they wished to know when a solution to one decision problem contained the information necessary to solve a second decision problem. As decision problems can be coded by sets of natural numbers, this question is equivalent to: Given a computer with access to an oracle which will answer membership questions about a setA, can a program (allowing questions to the oracle) be written which will correctly compute the answers to all membership questions about a setB? If the answer is yes, then we say thatBisTuring reducibletoAand writeB≤TA. We say thatB≡TAifB≤TAandA≤TB. ≡Tis an equivalence relation, and ≤Tinduces a partial ordering on the corresponding equivalence classes; the poset obtained in this way is called thedegrees of unsolvability, and elements of this poset are calleddegrees.Post was particularly interested in computability from sets which are partially generated by a computer, namely, those for which the elements of the set can be enumerated by a computer.

scholarly journals Integrating imperfection of information into the promethee multicriteria decision aid methods: a general framework

2012 ◽  
Vol 37 (1) ◽  
pp. 9-23 ◽  
Author(s):  
Sarah Ben Amor ◽  
Bertrand Mareschal
Keyword(s):  
Decision Problem ◽  
Decision Aid ◽  
General Framework ◽  
Imperfect Information ◽  
Possibility Theory ◽  
Decision Problems ◽  
Multicriteria Decision Aid ◽  
Multicriteria Decision ◽  
Information Models ◽  
Multicriteria Methods

Abstract.Multicriteria decision aid methods are used to analyze decision problems including a series of alternative decisions evaluated on several criteria. They most often assume that perfect information is available with respect to the evaluation of the alternative decisions. However, in practice, imprecision, uncertainty or indetermination are often present at least for some criteria. This is a limit of most multicriteria methods. In particular the PROMETHEE methods do not allow directly for taking into account this kind of imperfection of information. We show how a general framework can be adapted to PROMETHEE and can be used in order to integrate different imperfect information models such as a.o. probabilities, fuzzy logic or possibility theory. An important characteristic of the proposed approach is that it makes it possible to use different models for different criteria in the same decision problem.

Classifying positive equivalence relations

1983 ◽  
Vol 48 (3) ◽  
pp. 529-538 ◽  
Author(s):  
Claudio Bernardi ◽  
Andrea Sorbi
Keyword(s):  
Topological Space ◽  
Equivalence Relation ◽  
Recursive Function ◽  
Equivalence Classes ◽  
Point Of View ◽  
Classification Theorem ◽  
Equivalence Relations ◽  
Natural Numbers ◽  
Uniformity Property

AbstractGiven two (positive) equivalence relations ~1, ~2 on the set ω of natural numbers, we say that ~1 is m-reducible to ~2 if there exists a total recursive function h such that for every x, y ∈ ω, we have x ~1y iff hx ~2hy. We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a “uniformity property” holds). This result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration.From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory.

Many-one degrees associated with problems of tag

1973 ◽  
Vol 38 (1) ◽  
pp. 1-17 ◽  
Author(s):  
C. E. Hughes
Keyword(s):  
Formal Proof ◽  
Extensive Study ◽  
Decision Problems ◽  
Turing Machines ◽  
Natural Numbers ◽  
Halting Problem ◽  
The Family ◽  
Form Part ◽  
The Many ◽  
Degrees Of Unsolvability

Tag systems were defined by Post [9], [10] and have been studied by a number of researchers including Minsky [7], Maslov [6] and Aanderaa and Belsnes [1]. In their recent paper Aanderaa and Belsnes demonstrated that every r.e. many-one degree (exclusive of the degree of the empty set) is represented by the general halting problem for tag systems, that is, by the family of halting problems ranging over all tag systems. Their result depends upon an informal proof of this property for Turing machines but may be seen to be correct in light of a formal proof due to Overbeek [8]. Our aim is to extend their results to the general word problem for these systems. Specifically, we shall present an effective method which, when applied to an arbitrary r.e. set S, where S is neither empty nor the set of all natural numbers, produces a tag system R′ whose word and halting problems are both of the same many-one degree as the decision problem for S. The proof is realized by first constructing, from the description of an arbitrary Turing machine M, which machine has at least one mortal and one immortal configuration, a 5-register machine R, whose word and halting problems are both of the same many-one degree as the halting problem for M. From R we then construct the desired tag system R′. This construction combined with Overbeek's [8] shows that every r.e. many-one degree (exclusive of the degrees of the empty set and the set of all natural numbers) is represented by the general word and halting problems for tag systems. Moreover our results are seen to be best possible with regard to degrees of unsolvability in that it is not the case that every nonrecursive r.e. one-one degree is represented by either of the general decision problems for tag systems which are considered here. These results were first shown in the author's thesis [3] and were announced in [4], They form part of an extensive study into the many-one equivalence of general decision problems. An overview of the initial findings of this research project may be found in [5].

scholarly journals On the cardinality of a factor set in the symmetric group

2014 ◽  
Vol 07 (02) ◽  
pp. 1450027
Author(s):  
Krasimir Yordzhev
Keyword(s):  
Positive Integer ◽  
Symmetric Group ◽  
Equivalence Relation ◽  
Combinatorial Problem ◽  
Oriented Graph ◽  
Equivalence Classes ◽  
Natural Numbers ◽  
Factor Set

Let n be a positive integer, σ be an element of the symmetric group [Formula: see text] and let σ be a cycle of length n. The elements [Formula: see text] are σ-equivalent, if there are natural numbers k and l, such that σk α = βσl, which is the same as the condition to exist natural numbers k1 and l1, such that α = σk1 βσl1. In this work, we examine some properties of the so-defined equivalence relation. We build a finite oriented graph Γn with the help of which is described an algorithm for solving the combinatorial problem for finding the number of equivalence classes according to this relation.

Logical Decision Problems and Complexity of Logic Programs

1987 ◽  
Vol 10 (1) ◽  
pp. 1-33
Author(s):  
Egon Börger ◽  
Ulrich Löwen
Keyword(s):  
Fixed Point ◽  
Computational Complexity ◽  
Decision Problem ◽  
Decision Problems ◽  
Complexity Classes ◽  
Logic Programs ◽  
Finite Structures ◽  
Syntactic Restrictions

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.

Two variable implicational calculi of prescribed many-one degrees of unsolvability

1976 ◽  
Vol 41 (1) ◽  
pp. 39-44 ◽  
Author(s):  
Charles E. Hughes
Keyword(s):  
Decision Problems ◽  
Constructive Proof ◽  
Distinct Variable ◽  
The Family ◽  
Propositional Calculi ◽  
Degrees Of Unsolvability

AbstractA constructive proof is given which shows that every nonrecursive r.e. many-one degree is represented by the family of decision problems for partial implicational propositional calculi whose well-formed formulas contain at most two distinct variable symbols.

SINGULAR SWITCHED LINEAR SYSTEMS: SOME GEOMETRIC ASPECTS

2012 ◽  
Vol 26 (25) ◽  
pp. 1246006
Author(s):  
H. DIEZ-MACHÍO ◽  
J. CLOTET ◽  
M. I. GARCÍA-PLANAS ◽  
M. D. MAGRET ◽  
M. E. MONTORO
Keyword(s):  
Linear Systems ◽  
Group Action ◽  
Lie Group ◽  
Equivalence Relation ◽  
Geometric Approach ◽  
Differentiable Manifold ◽  
Equivalence Classes ◽  
Switched Linear Systems ◽  
Lie Group Action

We present a geometric approach to the study of singular switched linear systems, defining a Lie group action on the differentiable manifold consisting of the matrices defining their subsystems with orbits coinciding with equivalence classes under an equivalence relation which preserves reachability and derive miniversal (orthogonal) deformations of the system. We relate this with some new results on reachability of such systems.

scholarly journals COVID-19 Vaccination Priority Evaluation

2021 ◽  
Author(s):  
Jozo J Dujmovic ◽  
Daniel Tomasevich
Keyword(s):  
Decision Problem ◽  
Evaluation Method ◽  
Social Conditions ◽  
Decision Problems ◽  
Organ Transplants ◽  
Quantitative Criterion

Computing the COVID-19 vaccination priority is an urgent and ubiquitous decision problem. In this paper we propose a solution of this problem using the LSP evaluation method. Our goal is to develop a justifiable and explainable quantitative criterion for computing a vaccination priority degree for each individual in a population. Performing vaccination in the order of the decreasing vaccination priority produces maximum positive medical, social, and ethical effects for the whole population. The presented method can be expanded and refined using additional medical and social conditions. In addition, the same methodology is suitable for solving other similar medical priority decision problems, such as priorities for organ transplants.

scholarly journals A General Theory of Wilf-Equivalence for Catalan Structures

10.37236/5629 ◽  
2015 ◽  
Vol 22 (4) ◽  
Author(s):  
Michael Albert ◽  
Mathilde Bouvel
Keyword(s):  
General Theory ◽  
Equivalence Relation ◽  
Generating Functions ◽  
Asymptotic Estimate ◽  
Equivalence Classes ◽  
Catalan Number ◽  
Combinatorial Structures ◽  
Dyck Paths ◽  
Significant Interest ◽  
Wilf Equivalence

The existence of apparently coincidental equalities (also called Wilf-equivalences) between the enumeration sequences or generating functions of various hereditary classes of combinatorial structures has attracted significant interest. We investigate such coincidences among non-crossing matchings and a variety of other Catalan structures including Dyck paths, 231-avoiding permutations and plane forests. In particular we consider principal subclasses defined by not containing an occurrence of a single given structure. An easily computed equivalence relation among structures is described such that if two structures are equivalent then the associated principal subclasses have the same enumeration sequence. We give an asymptotic estimate of the number of equivalence classes of this relation among structures of size $n$ and show that it is exponentially smaller than the $n^{th}$ Catalan number. In other words these "coincidental" equalities are in fact very common among principal subclasses. Our results also allow us to prove in a unified and bijective manner several known Wilf-equivalences from the literature.

Universal recursion theoretic properties of r.e. preordered structures

1985 ◽  
Vol 50 (2) ◽  
pp. 397-406 ◽  
Author(s):  
Franco Montagna ◽  
Andrea Sorbi
Keyword(s):  
Equivalence Relation ◽  
Point Of View ◽  
Main Concern ◽  
Natural Numbers ◽  
Axiomatic Theory ◽  
Recursive Functions ◽  
Theoretic Point

When dealing with axiomatic theories from a recursion-theoretic point of view, the notion of r.e. preordering naturally arises. We agree that an r.e. preorder is a pair = 〈P, ≤P〉 such that P is an r.e. subset of the set of natural numbers (denoted by ω), ≤P is a preordering on P and the set {〈;x, y〉: x ≤Py} is r.e.. Indeed, if is an axiomatic theory, the provable implication of yields a preordering on the class of (Gödel numbers of) formulas of .Of course, if ≤P is a preordering on P, then it yields an equivalence relation ~P on P, by simply letting x ~Py iff x ≤Py and y ≤Px. Hence, in the case of P = ω, any preordering yields an equivalence relation on ω and consequently a numeration in the sense of [4]. It is also clear that any equivalence relation on ω (hence any numeration) can be regarded as a preordering on ω. In view of this connection, we sometimes apply to the theory of preorders some of the concepts from the theory of numerations (see also Eršov [6]).Our main concern will be in applications of these concepts to logic, in particular as regards sufficiently strong axiomatic theories (essentially the ones in which recursive functions are representable). From this point of view it seems to be of some interest to study some remarkable prelattices and Boolean prealgebras which arise from such theories. It turns out that these structures enjoy some rather surprising lattice-theoretic and universal recursion-theoretic properties.After making our main definitions in §1, we examine universal recursion-theoretic properties of some r.e. prelattices in §2.

Sign in / Sign up

Export Citation Format

Share Document