Cleaning of young forest stands is a multicriteria problem with conflicting goals. This kind of forest management treatment is performed by human beings but it is possible that this work may be performed by artificial agents in the future. The artificial agents need detailed information about how to clean a forest stand and/or what are the goals for cleaning. One problem in development of cleaning rules for artificial cleaning agents is that explicit knowledge about good cleaning results is not detailed. In this paper we present a tool for developing and testing rules and judging evaluation functions for cleaning. We illustrate this tool by presenting examples of some ways to clean forest stands in a computer environment and we present how the cleaning results can be evaluated. In order to obtain material for experiments it is also possible to simulate forest stands using this tool.

A norm-regulated Deontic Action-Logic Multi-Agent System (DALMAS) is regulated by a normative system consisting of norms, which are expressed in an algebraic notation based on the Kanger-Lindahl theory of normative positions. A general-level Prolog implementation of the abstract DALMAS architecture makes it possible to implement specific systems in Prolog. This work describes jDALMAS, a Java library that may be used to create DALMAS applications in Java. A jDALMAS application has a client/server architecture, where a Prolog implementation of a specific system acts as a logic server. Together, the general-level Prolog implementation and the jDALMAS packages offer a framework for implementation of specific systems. Two examples of such implementations are presented here.

In legal theory, a well-known idea is that an intermediate concept like "ownership" joins a set of legal consequences to a set of legal grounds. In our paper we attempt to make the idea of a joining between grounds and consequences more precise by using an algebraic representation of normative systems earlier developed by the authors. In the first main part the idea of intermediate concepts is presented and earlier discussions of the subjects are outlined. Subsequently, in the second main part, we introduce a more rigorous framework and develop the formal theory. In the third part the formal framework is applied to examples and some remarks on a methodology of intermediate concepts are given.

The paper discusses normative systems and their revision within an algebraic framework. If a system is logically well-formed, certain norms, called connecting norms, determine the system as a whole. It is maintained that, if the system is well-formed, a relation "at least as low as" determines a lattice or quasi-lattice of its connecting norms. The ideas are presented mainly in the form of comments on a legal example concerning acquisition of movable property by extinction of another person's previous rights.

Many concepts in legal texts are "intermediaries", in the sense that they serve as links between statements of legal grounds, on one hand, and of legal consequences, on the other. In our paper, an algebraic representation of normative systems is used for distinguishing between different kinds of intermediaries and making the idea of a joining between grounds and consequences more precise. In Section 1, the idea of intermediaries is presented and earlier discussions of the subjects are outlined. In Section 2, we introduce the algebraic framework and develop the formal theory. After introducing our approach to the representation of a normative system, we here present a theory of "intervenients", seen as a tool for analysing intermediaries. In Section 3, dealing with applications, after presenting a model of the formal theory, suited for the analysis of concepts in normative systems, we apply the theory to a number of examples, introduced in the first part. Finally, in Section 4, we make some remarks on the methodology of intermediate concepts.

Writing a contract with a specific content is a ground for purchase, purchase is a ground for ownership, ownership is a ground for power to dispose. Also power to dispose is a consequence of ownership, ownership is a consequence of purchase, etc. The paper presents a continuation of the authors' previous work on the algebraic representation of ground-consequence chains in normative systems. The paper analyzes different kinds of "implicative closeness" between grounds and consequences in chains of legal concepts, in particular combinations of "weakest ground". "strongest consequence" and "minimal joining". The idea of a concept's being intermediate between concepts of two different sorts is captured by the technical notion of "intervenient", defined in terms of weakest ground and strongest consequence. Lattice theory is used for studying the links between different strata and the structure of intervenient strata. We focus on (1) intervenient minimality, (2) conjunctions and disjunctions of intervenients, (3) organic wholes of intervenients, and (4) a typology of different kinds of intervenients. Also (5), we pay attention to the properties of intervenients in a network of "strata". A legal example concerning grounds and consequences of "ownership" and "trust" is used to illustrate the application of the formal theory. (C) 2011 Elsevier B.V. All rights reserved.

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.

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.

The Theory of Joining Systems, abbreviated TJS, is a general theory of representing for example legal and other normative systems as formal structures. It uses algebraic tools and a fundamental idea in this algebraic approach is the representation of a conditional norm as an ordered pair of concepts. Another fundamental idea is that the components in such a pair are concepts of different sorts. Conditional norms are thus links from for example descriptive to normative concepts and the result is the joining of two conceptual systems. However, there are often at least three kinds of concepts involved in many normative systems, viz. descriptive, normative and intermediate concepts. Intermediate concepts such as `being the owner' and `being a citizen' have descriptive grounds and normative consequences and can be said to be located intermediately between the system of grounds and the system of consequences. Intermediate concepts function as bridges (links, joinings) between concepts of different sorts. The aim of this paper is to further develop TJS and widen the range of application of the theory. It will be shown that the idea of norms as ordered pairs is flexible enough to handle nested implications and hypothetical consequences. Minimal joinings, which are important in TJS, are shown to be closely related to formal concepts in Formal Concept Analysis. TJS was developed for concepts of a special kind, namely conditions. In this paper a new model of TJS is developed, where the concepts are attributes and aspects, and the role of intermediate concepts in this model is discussed.

Det är i många fall viktigt att skilja mellan deskriptiva begrepp som används för att uttrycka fakta och normativa begrepp som används för att formulera värderingar och normer. Men det gäller inte att alla begrepp antingen är enbart deskriptiva el. normativa. Istället kan många begrepp sägas vara både och, vilket innebär att de ”ligger mellan” de deskriptiva och de normativa. Dylika mellanbegrepp, också kallade kopplingstermer (på engelska intermediate concepts el. intermediaries), är vanligt förekommande i samband med många mänskliga aktiviteter, t.ex. vid utvärdering, beslutsfattande och regelstyrning. Det hävdas inte sällan att inom juridiken är huvuddelen av de intressanta begreppen mellanbegrepp och i Skandinavien fördes på 40- och 50-talen en djuplodande rättsfilosofisk diskussion om mellanbegreppens funktion vid utformningen av lagar och andra regelsystem. Inte minst diskuterades äganderättsbegreppet.

I denna rapport presenteras en teori om mellanbegrepp. Enligt denna har mellanbegrepp två sidor, en grundsida som vetter mot det deskriptiva och en följdsida som vetter mot det normativa. Dessa begrepp har därför funktionen att koppla ihop deskriptivt med normativt och har karaktären av en sorts mellanstationer i begreppsbildningen. Som grund för framställningen ligger en logisk och formaliserad teoribildning, men syftet med rapporten är beskriva teorin utan att förutsätta speciella logisk-matematiska förkunskaper. Framställningen fokuserar därför på tillämpning inom ett speciellt problemområde, nämligen arbetsvärdering med fokus på begreppet 'likvärdigt arbete' och därmed sammanhängande begrepp. Rapporten är således avsedd att vara en introducerande framställning av teorin om mellanbegrepp exemplifierad med problemområdet arbetsvärdering. Läsaren kan sedan tillämpa teorin på andra problemområden. Ett tema som berörs i rapporten med relevans för diskussionen om mellanbegrepp är det ofta missförstådda förhållandet mellan mätning och värdering.

Om man förbiser att ett begrepp egentligen är ett mellanbegrepp så kan det leda till allvarliga begreppsliga och teoretiska oklarheter. När begreppet 'likvärdigt arbete' missförstås i detta avseende leder det till missuppfattning av vad arbetsvärderingsmetoder egentligen är och hur de kan användas. Gällande 'likvärdigt arbete' föreligger inte bara en gängse uppfattning av likvärdigt arbete som är felaktig utan det tycks föreligga minst två vanliga uppfattningar av 'likvärdigt arbete' som är helt olika men båda felaktiga. Den ena uppfattningen skulle kunna kallas realism- el. deskriptivism-misstaget och den andra relativism- el. subjektivism-misstaget. Ett av syftena med denna rapport är att visa att vissa missförstånd gällande 'likvärdigt arbete' och många andra begrepp upplöses om man förstår dem som mellanbegrepp, dvs. begrepp som kopplar deskriptiva grunder till normativa följder.

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.

Tillståndsprövning av vindkraft är en omfattande process med många aktörer och ofta förekommer som en del av processen komplicerade avvägningar och sammanvägningar av olika intressen. I denna rapport presenteras några verktyg som kan användas vid avvägningar och sammanvägningar och vidare illustreras och diskuteras hur de kan användas i tillståndsprocesser. Verktygen är av teoretiskt slag, det är fråga om modeller, begreppssystem, formella metoder m.m. och har sin teoretiska grund inom begrepps- och beslutsanalys samt mätningsteori. Dessa discipliner har i sin tur en del av sin teoretiska grundval inom modern logik och diskret matematik, och det kommer alltså sekundärt att gälla också de här behandlade verktygen. Det är dock inte möjligt att inom ramen för denna rapport bygga en sådan rigorös matematisk-logisk grund som egentligen vore önskvärt utan framställningen får i detta avseende bli mer översiktlig oc hkompletteras med referenser till litteraturen. Förhoppningen är att framställningen ska kunna läsas utan förkunskaper i logik och diskret matematik, men en läsare som saknar sådana får räkna med att läsningen kräver tålamod och ansträngning.

I rapporten utvecklas och analyseras också bl.a. resonemangsmodeller för intresseavvägning. En av modellerna fokuserar på vad som är tillräckligt för att kunna acceptera en ansökan medan en annan fokuserar på vad som är nödvändigt för att acceptera denna. Den senare modellen utvecklas till en stegvis process där varje steg innebär att undersöka om det finns tillräckliga skäl att avslå ansökan. Om detta inte är fallet så bifalles den.

De verktyg som presenteras i rapporten kan, när de vidareutvecklats, systematiserats och strukturerats, utgöra grunden för ett beslutsanalytiskt datorstöd. Resultatet blir naturligtvis självt ett verktyg: den beslutsanalytiska teoribildningen uttryckt i en kraftfull logisk ram, datalogiskt implementerad och sedan slutligen formulerad med användarvänligt gränssnitt i ett lämpligt programmeringsspråk. Beslutsstödet kan hjälpa beslutsfattaren att hantera fakta och värderingar av relevans för beslutet på ett rationellt sätt. Syftet är inte att ersätta beslutsfattaren utan förse beslutsfattaren med metoder och verktyg som kan leda till mer genomtänkt och välgrundad hantering av beslutsfattandet. Den datavetenskapliga implementeringen av verktygen behandlas inte i denna rapport utan är ett tema för fortsatt forskning.

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.

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.