Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Measurement of three-jet production cross-sections in pp collisions at 7 TeV centre-of-mass energy using the ATLAS detector

Double-differential three-jet production cross-sections are measured in proton--proton collisions at a centre-of-mass energy of s√=7TeV using the ATLAS detector at the Large Hadron Collider. The measurements are presented as a function of the three-jet mass (mjjj), in bins of the sum of the absolute rapidity separations between the three leading jets (|Y∗|). Invariant masses extending up to 5 TeV are reached for 8<|Y∗|<10. These measurements use a sample of data recorded using the ATLAS detector in 2011, which corresponds to an integrated luminosity of 4.51fb−1. Jets are identified using the anti-kt algorithm with two different jet radius parameters, R=0.4 and R=0.6. The dominant uncertainty in these measurements comes from the jet energy scale. Next-to-leading-order QCD calculations corrected to account for non-perturbative effects are compared to the measurements. Good agreement is found between the data and the theoretical predictions based on most of the available sets of parton distribution functions, over the full kinematic range, covering almost seven orders of magnitude in the measured cross-section values.

Experimental evidence that quorum rules discourage turnout and promote election boycotts

Many democratic decision making institutions involve quorum rules. Such rules are commonly motivated by concerns about the “legitimacy” or “representativeness” of decisions reached when only a subset of eligible voters participates. A prominent example of this can be found in the context of direct democracy mechanisms, such as referenda and initiatives. We conduct a laboratory experiment to investigate the consequences of the two most common types of quorum rules: a participation quorum and an approval quorum. We find that both types of quora lead to lower participation rates, dramatically increasing the likelihood of full-fledged electoral boycotts on the part of those who endorse the Status Quo. This discouraging effect is significantly larger under a participation quorum than under an approval quorum.

Basel III liquidity rules : measuring the impact on portuguese small banks activity

Mestrado em Finanças

Partially supervised learning of fuzzy classification rules

Fuzzy classification, semi-supervised learning, data mining

A vegetação no município de Ilhéus Estado da Bahia: IV - Caracaterísticas analíticas e periodicidade sociológica

It is well-known that diverse groups of vegetation with an analogous but not identical floristic composition show an ecological similarity which leads to a determined type of vegetation. Starting from this fact it becomes evident that the scope of phytosociological work is the establishing of the significance of the species within the association and the discovery of the rules which govern associations. The floristic surveys made in the field have to be analysed statistically so as to obtain satisfactory results. The usefulness of this method depends largely on the possibilities of comparing the results with previous studies of the same kind, in the same country, or elsewhere. The method used in this paper is that of measuring circumferences and counting individuals in the different associations studied because it permits the presentation of the results in tables which show the phytosociological complexity of the Brazilian rain-forests. The classical method of characteristics is valuable because the more evolved an association is the less sociable are the species it contains, so that such groups do not show clear differences between species but rather between sinusia or strata of individuals. Five tables are presented in which several of the qualitative and quantitative characteristics are studied with a view to discussing their value in relation to groups and species. They are: I - Abundance (number of individuals). II - Density (distance in meters between the individuals belonging to each stratum). III - Basal coverture (circles measured in square meters of the mean projection of the individuals on the surface). IV - Basal area (mean circle in square meters occupied by individuals on the surface). V - Frequency, abundance and sociability in relation to occurrence. TABLE I. This table indicates first the number of individuals in relation to the sinusia studied: next, the sum total of the individuals belanging to the strata are given for each association, thus providing the numeric value of the sinusia: finally, the relation between the total number of individuals in the association and the total for the sinusium thus fursnishing the abundance per sinusium, in the classic sence, that is the percentage, or rather the relative number, of the elements which compose the group. CONCLUSIONS. The general character of abundance of the regional vegetation of Ilheos may be summed up in the following way: as an association evolves towards permanent equilibirum the number of individuals the inferior strata diminishes in relation to those of the superior strata which increase. For the shrub sinusium, two important facts were observed: a) in a given association the number of elements of the inferior strata diminishes as the diameter of the individuals increases; b) the percentage of individuals belonging to the shrub sinusium in the sere diminishes as the association evolve. In the subarboreal sinusium it is seen that: in the sere the number of subarboreal individuals does not vary much; whereas in the climax or the prisere there is a fall owing to the equilibrum of the biologic forms. In the arboreal sinusium the following conclusion can be deduced from analogous facts: the number of individuals of the lower strata diminishes as circumference increases. Also, in the sere there is a progressive sequence for the individuals belonging to the superior strata. TABLE II. The relation between the mean distances of individuals belonging to the same stratum and the area of an association is equal to the density. The table shows that the mean density of the association and the distance between the individuals belonging to the strata of the same sinusium in relation to the total number of individuals belonging to the association. CONCLUSIONS. As rule, the density of individuals in the associations studied follows a very general character or at least a regional one: the distance between the individuals in the diverse strata varies according to their abundance and sociability. Two other facts of some sociological importance are: a) in identical strata of the same sere the density of individuals oscillates in an analogous manner in teh subclimaces and varies in the stages which have reached equilibrium. b) the density of individuals varias in accordance with the sinusium and the distances between individuals of the same sinusium varg in accordance with the strata. TABLE III. This table presents the mean basal individual coverture, that is the mean projection of the frond of the various individuals belonging to the same stratum. The means were obtained by measurement in the field, of 100 individuals belonging to each stratum and their projection on the surface. In the latoratory these measurements were converted into mean circles (in square meters) and the result was multiplied by the individuals belonging to the strata corresponding to the sinusium of each association. The result obtained is named basal coverture. CONCLUSIONS. As a rule, the basal coverture of the vegetation of the county of Ilhéus indicates that: in the evolution of the vegetation the basal coverture of the arbustive sinusium diminishes progressively whereas that of the arboreal one increases. The special norms obtained are: 1) in the shrub sinusium the basal coverture seems to follow a uniform norm, that is, in stages of evolution of the subclimax the basal coverture oscillates with a certain uniformity. 2) in the subarboreal sinusium this fact is related to the vitality and age of the species, as in the subclimax the number of young trees is large and the vitality of the species very variable. This permits the conclusion that: in the sere the basal coverture increases with the evolution of the vegetation and diminishes when an equilibrium is reached. 3) in the tree sinusium the climax association of the prisere and subsere seem to obey a binomial rule, as the coverture (density-abundance) increases until a determined stratum is reached and...

Scoring rules on dichotomous preferences

In this paper, we study individual incentives to report preferences truthfully for the special case when individuals have dichotomous preferences on the set of alternatives and preferences are aggregated in form of scoring rules. In particular, we show that (a) the Borda Count coincides with Approval Voting on the dichotomous preference domain, (b) the Borda Count is the only strategy-proof scoring rule on the dichotomous preference domain, and (c) if at least three individuals participate in the election, then the dichotomous preference domain is the unique maximal rich domain under which the Borda Count is strategy-proof.

Choosing how to choose: self-stable majority rules and constitutions

Constitutional arrangements affect the decisions made by a society. We study how this effect leads to preferences of citizens over constitutions; and ultimately how this has a feedback that determines which constitutions can survive in a given society. Constitutions are stylized here, to consist of a voting rule for ordinary business and possibly different voting rule for making changes to the constitution. We deffine an equilibrium notion for constitutions, called self-stability, whereby under the rules of a self-stable constitution, the society would not vote to change the constitution. We argue that only self-stable constitutions will endure. We prove that self-stable constitutions always exist, but that most constitutions (even very prominent ones) may not be self-stable for some societies. We show that constitutions where the voting rule used to amend the constitution is the same as the voting rule used for ordinary business are dangerously simplistic, and there are (many) societies for which no such constitution is self-stable rule. We conclude with a characterization of the set of self-stable constitutions that use majority rule for ordinary business.

Bribe-proof rules in the division problem

The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated. A rule is bribe-proof if no group of agents can compensate another agent to misrepresent his preference and, after an appropriate redistribution of their shares, each obtain a strictly preferred share. We characterize all bribe-proof rules as the class of efficient, strategy-proof, and weak replacement monotonic rules. In addition, we identify the functional form of all bribe-proof and tops-only rules.

Efficient priority rules

We study the assignment of indivisible objects with quotas (houses, jobs, or offices) to a set of agents (students, job applicants, or professors). Each agent receives at most one object and monetary compensations are not possible. We characterize efficient priority rules by efficiency, strategy-proofness, and renegotiation-proofness. Such a rule respects an acyclical priority structure and the allocations can be determined using the deferred acceptance algorithm.

Stable condorcet rules

We consider the following allocation problem: A fixed number of public facilities must be located on a line. Society is composed of $N$ agents, who must be allocated to one and only one of these facilities. Agents have single peaked preferences over the possible location of the facilities they are assigned to, and do not care about the location of the rest of facilities. There is no congestion. In this context, we observe that if a public decision is a Condorcet winner, then it satisfies nice properties of internal and external stability. Though in many contexts and for some preference profiles there may be no Condorcet winners, we study the extent to which stability can be made compatible with the requirement of choosing Condorcet winners whenever they exist.

A maximal domain of preferences for tops-only rules in the division problem

The division problem consists of allocating an amount M of a perfectly divisible good among a group of n agents. Sprumont (1991) showed that if agents have single-peaked preferences over their shares, the uniform rule is the unique strategy-proof, efficient, and anonymous rule. Ching and Serizawa (1998) extended this result by showing that the set of single-plateaued preferences is the largest domain, for all possible values of M, admitting a rule (the extended uniform rule) satisfying strategy-proofness, efficiency and symmetry. We identify, for each M and n, a maximal domain of preferences under which the extended uniform rule also satisfies the properties of strategy-proofness, efficiency, continuity, and "tops-onlyness". These domains (called weakly single-plateaued) are strictly larger than the set of single-plateaued preferences. However, their intersection, when M varies from zero to infinity, coincides with the set of single-plateaued preferences.

Equilibrium play and best response to (Stated) beliefs in constant sum games

We report experimental results on one-shot two person 3x3 constant sum games played by non-economists without previous experience in the laboratory. Although strategically our games are very similar to previous experiments in which game theory predictions fail dramatically, 80% of actions taken in our experiment coincided with the prediction of the unique Nash equilibrium in pure strategies and 73% of actions were best responses to elicited beliefs. We argue how social preferences, presentation effects and belief elicitation procedures may influence how subjects play in simple but non trivial games and explain the diferences we observe with respect to previous work.

Learning the ropes and embracing the rules: CFSP institutions as arenas for learning and strategic socialisation

The aim of this article is to analyse those situations in which learning and socialisation take place within the context of the Common Foreign and Security Policy (CFSP), in particular, at the level of experts in the Council Working Groups. Learning can explain the institutional development of CFSP and changes in the foreign policies of the Member States. Some scope conditions for learning and channels of institutionalisation are identified. Socialisation, resulting from learning within a group, is perceived as a strategic action by reflective actors. National diplomats, once they arrive in Brussels, learn the new code of conduct of their Working Groups. They are embedded in two environments and faced with two logics: the European one in the Council and the national one in the Ministries of Foreign Affairs (MFA). The empirical evidence supports the argument that neither rational nor sociological approaches alone can account for these processes.