Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. Comprehensive formal modeling and analysis of argumentation presupposes a dynamical approach to the following phenomena: the deductive logic notion, the dialectical notion and the cognitive notion of justified belief. For each step of an argumentation these phenomena form networks of rules which determine the propositions to be allowed to make sense as admissible, acceptable, and accepted. We present a formal logic framework for a computational account of formal modeling and systematical analysis of the dynamical, exhaustive and dialectical aspects of adversarial argumentation and dispute. Our approach addresses the mechanisms of admissibility, acceptability and acceptance of arguments in adversarial argumentation by use of metalogic representation and Artificial Intelligence-techniques for dynamical problem solving by exhaustive search. We elaborate on a common framework of board games and argumentation games for pursuing the alternatives facing the adversaries in the argumentation process conceived as a game. The analogy to chess is beneficial as it incorporates strategic and tactical operations just as argumentation. Drawing on an analogy to board games like chess, the state space representation, well researched in Artificial Intelligence, allows for a treatment of all possible arguments as paths in a directed state space graph. It will render a game leading to the most wins and fewest losses, identifying the most effective game strategy. As an alternate visualization, the traversal of the state space graph unravels and collates knowledge about the given situation/case under dispute. Including the private knowledge of the two parties, the traversal results in an increased knowledge of the case and the perspectives and arguments of the participants. As we adopt metalogic as formal basis, arguments used in the argumentation, expressed in a non-monotonic defeasible logic, are encoded as terms in the logical argumentation analysis system. The advantage of a logical formalization of argumentation is that it provides a symbolic knowledge representation with a formally well-formed semantics, making the represented knowledge as well as the behavior of knowledge representation systems reasoning comprehensible. Computational logic as represented in Horn Clauses allows for expression of substantive propositions in a logical structure. The non-monotonic nature of defeasible logic stresses the representational issues, i.e. what is possible to capture in non-monotonic reasoning, while from the (meta)logic program, the sound computation on what it is possible to compute, and how to regard the semantics of this computation, are established.

<p>Val av nätverksoperativsystem är något som blivit viktigt att besluta i många företag och organisationer. Nätverken får fler och fler tjänster, många som ursprungligen utvecklades för Internet. Organisationerna och företagen måste hänga med i utvecklingen för att kunna få ett nätverk som är lätt att administrera och som är användarvänligt. Det finns ett flertal nätverksoperativsystem att välja på. De två vanligaste är Windows NT och Novell NetWare.</p><p>Denna rapport innehåller en undersökning av ett flertal faktorer som kan vara viktiga att ta hänsyn till vid val av nätverksoperativsystem. Faktorerna som tas upp är hanterbarhet, skalbarhet, prestanda, säkerhet, feltolerans, Internet verktyg, integrering, kompatibilitet och migrering. Undersökningen tar fram olikheter mellan NT och NetWare avseende faktorerna. Integrering har varit viktigt att undersöka för att kunna lösa problem med flera användarplattformar. Detta för att underlätta systemadministration och göra systemet mer användarvänligt. Metoden som använts för att få fram fakta är en litteraturstudie av böcker och aktuella datatidskrifter.</p>

<p>För att kunna underhålla en stor website måste många saker tas i åtanke. Särskilt om man arbetar i en blandad miljö, som sker vid Högskolan i Skövde. Eftersom högskolan använder både PC-, Macintosh- och UNIX-datorer för att designa och uppdatera sina hemsidor, måste ett verktyg hittas som integrerar dessa tre plattformar på ett bra sätt.</p><p>Denna rapport behandlar de problem som kan uppstå då en website skall underhållas, med tyngdpunkten på vad som gäller vid Högskolan i Skövde. Olika verktyg som innehar den önskade funktionaliteten undersöks innan ett av dem slutligen väljs. Det valda verktyget är Microsoft FrontPage 98, för dess möjligheter att integreras med olika UNIX-webservrar och för dess möjligheter att användas på både PC och på Macintosh.</p>

<p>Rapporten behandlar arbetet att med data mining-metoder finna ett samband i insamlad information. Data mining är ett begrepp för att tillämpa artificiell intelligens på en större datamängd. Syftet är i detta fall att hitta ett sätt att klassificera dieselmotorer.</p><p>Den datamängd som används kommer från mätningar vid testkörning av dieselmotorer och garantikostnader som motorerna ger upphov till efter leveransen från fabriken. Målet är att finna ett samband mellan testvärdena och kostnaden i syfte att kunna identifiera kostnadsbenägna motorer redan vid testkörningen.</p><p>En klusteranalys görs med två olika tekniker, K-means method och Kohonen-nät, som visar att det föreligger ett svagt men ändå förnimbart samband. En jämförelse mellan teknikernas resultat och användbarhet görs.</p><p>Två tekniker används till att bygga klassificeringsverktyg som skall kunna sortera ut motorerna med höga kostnader. Teknikerna som används är Beslutsträd och Artificiella neurala nätverk. Båda dessa tekniker klarar att klassificera motorerna rätt till omkring 70%. Resultaten och användbarheten jämförs även här.</p><p>Slutsatsen av arbetet är att det föreligger ett samband. Detta är dock för svagt och otydligt för att kunna användas som klassificeringsunderlag för praktiskt bruk. Jämförelsen visar att Kohonen-nät och Artificiella neurala nätverk är att föredra för den här typen av problem.</p>

<p>Det finns ett stort behov av att skydda information från obehöriga eftersom inte all information är offentlig. För institutionen för datavetenskap på högskolan i Skövde gäller det att skydda information som tentor, inlämningsuppgifter och lösningsförslag med mera. Detta är information som gör datorsystemet attraktivt för inkräktare. För att höja säkerheten till en nivå som gör det svårare för inkräktare att läsa informationen bör denna krypteras. Olika krypteringsalgoritmer från de symmetriska och asymmetriska systemen beskrivs, studeras och exemplifieras i rapporten.</p><p>Resultatet av rapporten ger en rekommendation till vilka algoritmer som kan vara lämpliga att införa som krypteringsalgoritmer hos institutionen för datavetenskap på högskolan i Skövde.</p>

<p>Att välja rätt nätverksoperativsystem för verksamheten vid en omorganisation av nätverket är en svår uppgift. Rätt nätverksoperativsystem är avgörande för hur nätverket i organisationen eller företaget skall fungera. När en omorganisation planeras kan andra nätverksoperativsystem, som kan passa verksamheten bättre, än det existerande systemet väljas. Valet av system beror till exempel på vilken nivå av säkerhet, åtkomlighet, utbyggbarhet, ekonomisk kostnad och driftsäkerhet nätverket skall ha.</p><p>Denna rapport fokuserar på val av nätverksoperativsystem. Detta görs med avseende på hur det är möjligt att implementera säkerhet, åtkomlighet och driftsäkerhet. Målet är att förse Högskolan i Skövde med ett förslag på nätverksoperativsystem. Förslaget baseras på de problem, krav och önskemål på ett framtida nätverk, som har framkommit under de intervjuer som har gjorts. Rapporten resulterar i ett förslag på det nätverksoperativsystem som borde passa skolan bäst. Förslaget grundas alltså på de aspekter som utrönades i litteraturstudien för systemen jämfört med de aspekter som gavs i de intervjuer som gjorts. Valet stod mellan de tre olika nätverksoperativsystemen: Novell NetWare, Microsoft Windows NT och Sun Solaris.</p>

<p>Vid designande av artificiella nätverk (ANN) är en viktig fas att identifiera en bra topologi. Topologin har betydelse för hur väl ett ANN klara att klassificera tidigare osedd data och även hur väl ett ANN klarar av att klassificera generellt. Ett sätt att automatisera detta designarbete är att använda genetiska algoritmer. Att använda GA för att evolvera ANN kallas neuroevolution.</p><p>Vid användande av neuroevolution sker en automatisering av nätverksdesignen. Men eftersom GA använder en population, d.v.s. en mängd av nätverk i detta fall, och alla dessa nätverk behöver tränas ett antal träningsepoker så blir denna automatisering tids och resurskrävande. Just träningen av ANN har en stor betydelse för hur lång tid evolutionsprocessen tar.</p><p>I detta arbete har fyra olika metoder för reducering av träning vid neuroevolution identifierats. Av dessa identifierade metoder har tre metoder ansetts tillräckligt lovande att utföra tester med. Dessa tre kvarvarande har implementerats och testats på två olika problemtyper. Använda testproblem är åtta bitars paritetsproblem och ett klassificeringsproblem rörande klassificering av bilder på träd (tall och gran).</p><p>Metoderna har utvärderats teoretiskt och även baserat på resultat från experiment. Som bedömningskriteria har resulterande nätverks klassificeringsförmåga, storlek hos resulterande nätverk och hur stor minskningen av antal använda träningsepoker är.</p>

<p>I detta arbete studeras möjligheten att förbättra en metod för analys av biologiska sekvenser. En på senare tid populär metod för sekvensanalys är baserad på Hidden Markov models (HMM). HMM har haft stora framgångar i att modellera biologisk data, såsom proteinfamiljer, men används även inom bland annat taligenkänning. Existerande problem med HMM är bland annat långa träningstider och oförmåga att finna globala lösningsoptima.</p><p>En metod för att försöka effektivisera träningsfasen hos en HMM presenteras och utvärderas. Denna är avsedd för att undersöka om modeller som på förhand kan initieras med hjälp av förkunskap i problemdomänen får lika bra klassificeringsförmåga som modeller som tränas på konventionellt sätt.</p><p>Metoden tillämpas på två proteinfamiljer av relativt olika karaktär. Resultaten utvisar att prestandan hos de olika modellerna inte direkt kan kopplas till effekten av metoden utan är mycket beroende av proteinets karaktär.</p>

<p>I detta arbete har jag försökt att besvara frågan om hur hypertext kan nyttjas för att förbättra hanteringen av anteckningar i UCASE-verktyg. Detta har inte minst varit motiverat av de goda erfarenheter andra forskare har haft av CASE-verktyg med hypertextfunktionalitet.</p><p>För att kunna besvara frågan har jag först utarbetat ett ramverk med krav på hanteringen av anteckningar i CASE-verktyg utifrån bl. a. anteckningarnas och dokumentationens roll i systemutvecklingsprocessen.</p><p>Detta ramverk har sedan använts för att utvärdera två UCASE-verktygs hantering av anteckningar. Utifrån denna utvärdering har sedan möjliga förbättringar föreslagits.</p><p>Som ett resultat av detta har jag funnit att det sannolikt finns vissa brister i UCASE-verktygs hantering av anteckningar. Inte minst förefaller möjligheten att koppla anteckningar till andra anteckningar och objekt i modeller att vara begränsad. Jag har därför föreslagit att sådan funktionalitet ska införas med hjälp av hypertext.</p>

<p>Denna rapport behandlar distansarbete som arbetsform. Inriktningen på rapporten är hur den svenska lagstiftningen och avtal kan används vid arbetsformen. Rapporten inleds med en genomgång av begreppet distansarbete och de olika former av distansarbete som finns. Vad rapporten avser med distansarbete är att en arbetstagare arbetar hemma hel- eller deltid med stöd av data- och telekommunikation. Arbetstagaren arbetar med en uppkoppling mot företaget, där han eller hon kan hämta och skicka information.</p><p>Vidare går rapporten igenom fakta som berör frågeställningar som; vilka kan arbeta hemma?, vilka personliga förutsättningar underlättar för att arbeta på distans?, vilka är motiven för att företag inför distansarbete?.</p><p>Argument som är för och emot distansarbete tas upp. Argumenten är uppdelade i fördelar och nackdelar för den enskilde individen och företaget. Det följer också en diskussion om hur samhället påverkas av att människor börjar att arbeta på distans.</p><p>Den problemformulering och de frågeställningar som rapporten behandlar är:</p><p>- Hur kan den befintliga lagstiftningen användas vid arbetsformen distansarbete?</p><p>- Vad säger lagen om distansarbete?</p><p>- Vilka lagar berörs av arbetsformen?</p><p>- Vad säger fackföreningarna om distansarbete?</p><p>- Vad kan behöva regleras genom avtal mellan arbetstagare och arbetsgivare?</p><p>Det följer en redovisning över vilka möjliga metoder det finns för att lösa frågeställningarna. Jag valde att söka information genom en litteraturstudie samt med intervjuer. Intervjuundersökningen genomfördes för att få fram fackföreningarnas uppfattning om distansarbete som arbetsform.</p><p>Vidare följer en analysdel där jag analyserar de fakta jag fått fram genom litteraturstudien och intervjuerna. Analysdelen bearbetar en lag i taget och till sist fackföreningarnas åsikter om distansarbete.</p><p>Mina slutsatser av examensarbetet är att den lagstiftning som nu reglerar distansarbete som arbetsform kan användas. Det finns luckor i lagstiftningen som behöver regleras med avtal mellan arbetsgivare och arbetstagare. Anledningen till att luckorna finns är att lagstiftningen är skriven för en arbetstagare med fast arbetstid, fast arbetsplats och kan kontrolleras av arbetsgivaren.</p>