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.

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.

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.

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 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.

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.

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.

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.