Algebras for Agent Norm-Regulation

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger-Lindahl theory of normative positions, and an algebraic representation of normative systems.Comment: 25 page

An essay on msic-systems

A theory of many-sorted implicative conceptual systems (abbreviated msic-systems) is outlined. Examples of msic-systems include legal systems, normative systems, systems of rules and instructions, and systems expressing policies and various kinds of scientific theories. In computer science, msic-systems can be used in, for instance, legal information systems, decision support systems, and multi-agent systems. In this essay, msic-systems are approached from a logical and algebraic perspective aiming at clarifying their structure and developing effective methods for representing them. Of special interest are the most narrow links or joinings between different strata in a system, that is between subsystems of different sorts of concepts, and the intermediate concepts intervening between such strata. Special emphasis is put on normative systems, and the role that intermediate concepts play in such systems, with an eye on knowledge representation issues. In this essay, normative concepts are constructed out of descriptive concepts using operators based on the Kanger-Lindahl theory of normative positions. An abstract architecture for a norm-regulated multi-agent system is suggested, containing a scheme for how normative positions will restrict the set of actions that the agents are permitted to choose from

Agents, Norms and Forest Cleaning

The automation of forest cleaning presupposes principles for choosing those trees that ought to be taken away and those that shall be left standing. In this paper, which is a report on a work in progress, the question is raised whether those principles can be structured as a combination of a normative system and a utility function. Of special interest is the possibility that the agent system can evaluate the efficiency of the normative system and the utility function and, furthermore, suggest improvements of them. Earlier works on norms and norm-regulation of agent systems that the author has been involved in are used to elucidate the problem area discussed in the paper

Many-Sorted Implicative Conceptual Systems

A theory of many-sorted implicative conceptual systems (abbreviated msic-systems) is presented. Examples of msic-systems include legal systems, normative systems, systems of rules and instructions, and systems expressing policies and various kinds of scientific theories. In computer science, msic-systems can be used in, for instance, legal information systems, decision support systems, and multi-agent systems. In the thesis, msic-systems are studied from a logical and algebraic perspective aiming at clarifying their structure and developing effective methods for representing them. Of special interest are the most narrow links or joinings between different strata in a system, that is between subsystems of different sorts of concepts, and the intermediate concepts intervening between such strata. Special emphasis is put on normative systems, and the role that intermediate concepts play in such systems, with an eye on knowledge representation issues. Normative concepts are constructed out of descriptive concepts using operators based on the Kanger-Lindahl theory of normative positions. An abstract architecture for a norm-regulated multi-agent system is suggested, containing a scheme for how normative positions will restrict the set of actions that the agents are permitted to choose from. Technical results inlude a characterization of an msic-system in terms of the most narrow joinings between different strata, characterization of the structure of the most narrow joinings between two strata, conditions for the extendability of intermediate concepts, and finally, a specification of the conditions such that the Boolean operations on intermediate concepts will result in intermediate concepts and characterization of most narrow joinings in terms of weakest grounds and strongest consequences.QC 2010090

Resonemangsmodeller för tillståndsprövning av vindkraft

Den forskning som redovisas i denna rapport har som övergripande utgångspunkt att det beslutsanalytiska språket är en verktygslåda för rationell hantering av beslutsproblem (se avsnitt 2.3.8). I rapporten fokuseras verktygslådans användning på utformning av några teoretiska verktyg med syfte att bl.a. kunna användas vid tillståndsprövning av vindkraft. För Del 1 är temat resonemangsmodeller och deras tillämpning vid beslutsfattande och beslutsanalys. Huvudsakligen behandlas resonemangsmodeller gällande aggregering, framför allt villkorsbaserade modeller. Den abstrakta resonemangsmodellen VBS karakteriseras i Kapitel 2 och den kan ses som ett begreppssystem (ett språk) för att uttrycka villkorsbaserad aggregering. Inom ramen för den formalism som utvecklas kan olika modeller konstrueras. I Kapitel 3 ges några exempel. I Del 2 behandlas resonemangsmodellers roll i samband med legala regelsystem och policyer. Begreppet ’policy’ges i denna rapport en vid tolkning. En policy är ett regelsystem som styr beslutsfattande, beteenden och olika former av handlingar. Policyer och resonemangsmodeller hänger samman. En policy kan innehålla en eller flera resonemangsmodeller och en resonemangsmodell kan få status som en policy. En resonemangsmodell kan också i viss mening innehålla en eller flera policyer. I Del 1 används här och var fragment av predikatlogik, inte minst i avsnitt 2.2 med syftet att göra framställningen av villkorsbaserad sammanvägning kortare och mer entydig. I Del 2 används predikatlogik på en annan typ av frågeställning, nämligen för att representera vissa typer av rättsliga regler. Predikatlogisk formalisering är en form av representation, nämligen av språkliga utsagor med utsagor i predikatlogiken. Det är inte meningen att fullständigt formalisera de rättsliga reglerna utan användningen av predikatlogiken är informell. Två vanliga omständigheter som åberopas vid överklagande av tillstånd för lokalisering av vindkraftverk är störande buller och påverkan på kungsörns-populationen. Genom utredningar, myndigheters ställningstaganden och utslag i olika domstolar har det utvecklats riktlinjer för hur buller resp. kungsörnspåverkan ska bedömas och dessa riktlinjer konstituerar en praxis för bedömningen av dessa aspekter. I avsnitt 1.3.5 diskuteras buller kortfattat och i Del 2 studeras hänsynstagande till kungsörn. I Kapitel 5 skisseras det juridiska regelverket för skydd av kungsörnar vid lokalisering av vindkraftverk. Om det finns något man skulle kunna kalla en "kungsörnspolicy" för tillståndsbeslut gällande vindkraftslokalisering och vad den i så fall kan tänkas innehålla diskuteras i Kapitel 6. Det är viktigt att notera att störande buller och påverkan på kungsörnspopulationen är här enbart tillämpningsexempel för att antyda hur vissa teoretiska verktyg skulle kunna användas praktiskt och konkret och utgör inte någon detaljerad analys av dessa aspekter.Utveckling av beslutstödsmodeller för planering av vindkraftsutbyggna