Sökning: "implies"
Visar resultat 1 - 5 av 1590 avhandlingar innehållade ordet implies.
1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems
Sammanfattning : Deontic logic is a branch of logic that deals with normative concepts, propositions, arguments and systems. The main purpose of this compilation thesis is to investigate how deontic logic can be extended in a number of ways. We consider several multimodal systems, i.e. LÄS MER
2. Applications of Gaussian Noise Stability in Inapproximability and Social Choice Theory
Sammanfattning : Gaussian isoperimetric results have recently played an important role in proving fundamental results in hardness of approximation in computer science and in the study of voting schemes in social choice theory. In this thesis we prove a generalization of a Gaussian isoperimetric result by Borell and show that it implies that the majority function is optimal in Condorcet voting in the sense that it maximizes the probability that there is a single candidate which the society prefers over all other candidates. LÄS MER
3. Tillsammans : Bidrag till den etniska boendesegregationens geofilosofi
Sammanfattning : What happens if geography itself is posed as a question instead of as a mere framework for other, geographical, questions? What about the geography of ethnic residential segregation? If we did not start out by postulating individuals, ethnicities, neighbourhoods, nation-states or other geographies, what would it be? This thesis is an attempt to investigate the geography of ethnic residential segregation as a question of radical empiricism. It begins in the observation that ideology, in the broadest sense, permeates the question of ethnic residential segregation, both politically and scientifically. LÄS MER
4. Reasoning about concurrent actions in the trajectory semantics
Sammanfattning : We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. LÄS MER
5. Computerized Agents from a Linguistic Perspective
Sammanfattning : There are many fashion words in AI, such as introspection, reflection, metalanguage, belief and intention. The usual way of looking at such concepts is proof theoretical even if it is not at all clear that these concepts can be described in a formal language. LÄS MER