Sökning: "IMPLIES"

Visar resultat 1 - 5 av 1465 avhandlingar innehållade ordet IMPLIES.

  1. 1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems

    Författare :Daniel Rönnedal; Paul Needham; Lennart Åqvist; Allard Tamminga; Stockholms universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Deontic logic; Modal logic; Dyadic deontic logic; Semantic tableau; Conditional obligation; Commitment; Counterfactuals; Multi-modal logic; Bimodal logic; Temporal logic; T x W logic; Ought-implies-can; The means-end principle; Theoretical Philosophy; teoretisk filosofi;

    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. 2. Applications of Gaussian Noise Stability in Inapproximability and Social Choice Theory

    Författare :Marcus Isaksson; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Gaussian noise stability; inapproximability theory; invariance principle; max-q-cut; condorcet voting; max-q-cut;

    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. 3. Tillsammans : Bidrag till den etniska boendesegregationens geofilosofi

    Författare :Kenny Jansson; Roger Andersson; Irene Molina; Tom Mels; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Etnisk boendesegregation; etnicitet; geofilosofi; Gilles Deleuze; William James; Henri Lefebvre; radikal empirism; integration; non-representational theory; rytmanalys; Rinkeby; Stockholm; Human geography; Kulturgeografi; kulturgeografi; Social and Economic Geography;

    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. 4. Reasoning about concurrent actions in the trajectory semantics

    Författare :Choong-Ho Yi; Linköpings universitet; []

    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. 5. Computerized Agents from a Linguistic Perspective

    Författare :Bertil Ekdahl; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; Systems engineering; Anticipatory systems.; Autonomous Agents; Artificial Intelligence; Describability; Induction; computer technology; Data- och systemvetenskap;

    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