hig.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1 - 11 av 11
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Hjelmblom, Magnus
    Högskolan i Gävle, Institutionen för matematik, natur- och datavetenskap, Ämnesavdelningen för datavetenskap.
    Deontic action-logic multi-agent systems in Prolog2008Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This work describes the process of implementing a particular kind of multi-agent system called Deontic Action-Logic-based Multi-Agent Systems, DALMAS, in Prolog. The DALMAS is regulated by a normative system which is based on the Kanger-Lindahl theory of normative positions. The algebraic model for the DALMAS is inspected and instrumentalized through an executable logic program. In particular, important issues in the transition from a set-theoretical description to a Prolog implementation are discussed. Results include a general-level Prolog implementation, which may be freely used to implement specific systems. Two such systems have already been implemented and tested, and are described and discussed here.

  • 2.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Department of Computer and Systems Sciences, Stockholm University.
    Instrumentalization of Norm-Regulated Transition System Situations2014Ingår i: Agents and Artificial Intelligence: 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers / [ed] Joaquim Filipe and Ana Fred, Berlin/Heidelberg: Springer Berlin/Heidelberg, 2014, s. 80-94Konferensbidrag (Refereegranskat)
    Abstract [en]

    An approach to normative systems in the context of multiagent systems (MAS) modeled as transition systems, in which actions are associated with transitions between different system states, is presented. The approach is based on relating the permission or prohibition of actions to the permission or prohibition of different types of state transitions with respect to some condition d on a number of agents x(1), ... , x(nu) in a state. It introduces the notion of a norm-regulated transition system situation, which is intended to represent a single step in the run of a (norm-regulated) transition system. The normative framework uses an algebraic representation of conditional norms and is based on a systematic exploration of the possible types of state transitions with respect to d(x(1), ... , x(nu)). A general-level Java/Prolog framework for norm-regulated transition system situations has been developed, and this implementation together with a simple example system is presented and discussed.

  • 3.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Department of Computer and Systems Sciences, University of Stockholm, Stockholm, Sweden.
    Normative Positions in Multi-Agent Systems2016Ingår i: Web Intelligence, ISSN 2405-6456, Vol. 14, nr 2, s. 153-171Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundation for normative systems for MAS, and its generality allows for great freedom when interpreting the theory. As a first step towards a typology of interpretations of the theory, we study the application of normative positions in the context of a class of transition systems in which transitions are deterministic and associated with a single agent performing an act. By an interpretation of different types of normative positions in terms of permitting or prohibiting different state transition types in this context, lexicons for two different systems of types of normative positions are suggested and discussed. It is demonstrated that both interpretations areuseful foundations for normative systems semantics in a MAS context.

  • 4.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Department of Computer and Systems Sciences, University of Stockholm, Stockholm, Sweden.
    Normative positions within norm-regulated transition system situations2014Ingår i: 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Vol. 3: Vol. 3, IEEE Computer Society Digital Library, 2014, Vol. 3, s. 238-245Konferensbidrag (Refereegranskat)
    Abstract [en]

    In recent years, the study of norm-regulated multiagent systems (MAS) has attracted a lot of attention. The Kanger-Lindahl theory of normative positions has great potential of serving as the logical foundation for normative systems for MAS, but its generality, which allows for great freedom when interpreting the theory, may also become a challenge for practical applications. As an important step towards a typology of interpretations of the theory, we study the application of normative positions in the context of a basic class of transition systems in which transitions are deterministic and associated with a single agent performing an act. By an interpretation of the types of normative positions in terms of permitting or prohibiting different types (with respect to some condition on a numberof agents) of state transitions in this context, lexicons for two different systems of types of normative positions are suggested and discussed. It is demonstrated that both interpretations are natural and useful, depending on how the notion of agency is understood and whether a ‘system norms’ or an ‘agent-specific norms’ perspective is taken.

  • 5.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys.
    Norm-regulated Transition System Situations2013Ingår i: Proceedings of the 5th International Conference on Agents and Artificial Intelligence / [ed] Joaquim Filipe and Ana Fred, 2013, s. 109-117Konferensbidrag (Refereegranskat)
    Abstract [en]

    Many multi-agent systems (MAS) and other kinds of dynamic systems may be modeled as transition systems, in which actions are associated with transitions between different system states. This paper presents an approach to normative systems in this context, in which the permission or prohibition of actions is related to the permission or prohibition of different types of state transitions with respect to some condition d on a number of agents x1, ... , xn in a state. It introduces the notion of a norm-regulated transition system situation, which is intended to represent a single step in the run of a (norm-regulated) transition system. The normative framework uses an algebraic representation of conditional norms and is based on a systematic exploration of the possible types of state transitions with respect to d(x1, ... , xn). A general-level Java/Prolog framework for norm-regulated transition system situations is currently being developed.

  • 6.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Stockholms universitet, Institutionen för data- och systemvetenskap.
    Norm-Regulation of Agent Systems: Instrumentalizing an algebraic approach to agent system norms2015Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [sv]

    En arkitektur för normreglerade multiagentsystem baserad på en algebraisk representation av normativa system instrumentaliseras och vidareutvecklas. Kärnan i instrumentaliseringen utgörs av en Prolog-modul som tillsammans med ett Java-bibliotek kan användas för att skapa client/server-baserad körbar kod. Normer representeras som ordnade par av grundvillkor och följdvillkor. De senare konstrueras genom att normativa operatorer appliceras på deskriptiva villkor. Från sådana generella normativa villkor följer normativa satser om specifika sakförhållanden, vilka i sin tur ger upphov till förbud mot eller tillåtelse att utföra enskilda handlingar i olika situationer. Vidare skisseras en metod för att göra körbara multiagentsystem till verktyg för problemlösning genom att använda evolutionära mekanismer för att odla fram normativa system. Konstruktionen av normskapande operatorer på villkor, vilka ligger till grund för representationen av normativa system, betraktas ur två olika synvinklar. (i) En logisk analys, baserad på Kanger-Lindahls teori om normativa positioner. Denna resulterar i två utökade uppsättningar av typer av normativa positioner och utgående från en algebraisk version av ett av dessa utökade system konstrueras sedan en uppsättning operatorer för att skapa agentspecifika normer. (ii) En alternativ analys, som tar sin utgångspunkt i en systematisk undersökning av olika typer av tillståndsövergångar. Denna ger upphov till en uppsättning av normskapande operatorer som är baserade på förbud mot olika typer av övergångar. Argument presenteras vidare för att inom ramen för en klass av övergångssystem, där övergångar är deterministiska och associerade med en agent som utför en handling, så specificerar operatorer baserade på (ii) en meningsfull semantik för operatorer baserade på (i). Teoretiska resultat tillsammans med tillgängliggjord programkod och exempel på tillämpningar bidrar till att underlätta skapandet av teoretiskt sunda, transparent beskrivna och effektivt implementerade normreglerade system av autonoma agenter.

  • 7.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Department of Computer and Systems Sciences, Stockholm University, Sweden.
    Offline Evolution of Normative Systems2015Ingår i: Proceedings of the International Conference on Agents and Artificial Intelligence: Volume 2 / [ed] Stephane Loiseau, Joaquim Filipe, Béatrice Duval and Jaap van den Herik, Lisbon, Portugal: SciTePress, 2015, s. 213-224Konferensbidrag (Refereegranskat)
    Abstract [en]

    An approach to the pre-runtime design of normative systems for problem-solving multi-agent systems (MAS) is suggested. A key element of this approach is to employ evolutionary mechanisms to evolve efficient normative systems. To illustrate, a genetic algoritm is used in the process of designing a normative system for an example MAS based on the DALMAS architecture for norm-regulated MAS. It is demonstrated that an evolutionary algorithm may be a useful tool when designing norms for problem-solving MAS.

  • 8.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Besluts-, risk- och policyanalys. Department of Computer and Systems Sciences, Stockholm University, Stockholm, Sweden .
    O­ffline Norm Evolution2015Ingår i: Agents and Artificial Intelligence: 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / [ed] Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe, Springer, 2015, Vol. 9494, s. 316-333Konferensbidrag (Refereegranskat)
    Abstract [en]

    An approach to the pre-runtime design of normative systems for a class of problem-solving norm-regulated multi-agent systems is suggested. The basic idea is to employ evolutionary mechanisms to evolve efficient normative systems for so-called norm-regulated Dalmases, as part of the design process. The Dalmas architecture uses an algebraic approach to normative systems, in which normative consequences are based on an extended set of one-agent types of normative positions, which is given a semantics in terms of prohibition of certain types of state transitions. To illustrate the approach, a genetic algorithm is used to evolve norms for an example system. Furthermore, some approaches to reducing the algorithm’'s search space, including to employ a notion of ‘operational equivalence’ of norms, are discussed. It is demonstrated that an evolutionary algorithm may be a useful tool when designing norms for problem-solving multi-agent systems.

  • 9.
    Hjelmblom, Magnus
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Datavetenskap.
    State Transitions and Normative Positions within Normative Systems2011Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Many multi-agent systems are naturally viewed as transition systems, in which the transitions between states are connected to the actions of the agents in the system. The behaviour of the individual agents can be regulated by a normative system in which norms are formulated in terms of permissible or prohibited state transitions. This report examines the set of types of such transitions, and their connection to different interpretations of the Kanger-Lindahl theory of normative positions. A refinement of Lindahl's system of one-agent types of normative positions is presented and discussed, and is put in relation to another refinement by Jones and Sergot. It is shown in the report that, based on different interpretations of the action operator Do, each of these refinements can be given an interpretation within the context of norm-regulated Dalmas (a class of transition systems regulated by conditional norms based on the theory of normative positions) and other similar systems.

  • 10.
    Hjelmblom, Magnus
    et al.
    Högskolan i Gävle, Institutionen för matematik, natur- och datavetenskap, Ämnesavdelningen för datavetenskap.
    Odelstad, Jan
    Högskolan i Gävle, Institutionen för matematik, natur- och datavetenskap, Ämnesavdelningen för datavetenskap.
    jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems2009Ingår i: Agent and Multi-Agent Systems: Technologies and Applications / [ed] Anne Håkansson, Ngoc Thanh Nguyen, Ronald L. Hartung, Robert J. Howlett and Lakhmi C. Jain, Berlin Heidelberg: Springer-Verlag , 2009, s. 110-119Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    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.

  • 11.
    Hjelmblom, Magnus
    et al.
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för datavetenskap och samhällsbyggnad, Besluts-, risk- och policyanalys.
    Paasch, Jesper M.
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för datavetenskap och samhällsbyggnad, Samhällsbyggnad.
    Paulsson, Jenny
    KTH Royal Institute of Technology.
    Edlund, Marina
    The Swedish Mapping, Cadastral and Land Registration Authority.
    Bökman, Fredrik
    Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för datavetenskap och samhällsbyggnad, Besluts-, risk- och policyanalys.
    Towards Automation of the Swedish Property Formation Process: A Structural and Logical Analysis of Property Subdivision2019Ingår i: Nordic Journal of Surveying and Real Estate Research, ISSN 1459-5877, E-ISSN 2341-6599, Vol. 14, nr 1, s. 29-63Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The ongoing digitalization of public administration and increasedautomation of legal decision-making bears promise to benefit citizens,businesses and other stakeholders through simpler and more efficient civilprocesses, and thus has great impact on the urban planning and buildingprocess. However, automation of decision-making that is directed orconstrained by normative systems such as laws, regulations and policies,requires a detailed and accurate representation of these concepts andtheir constituent parts, and the domain to which they are applied. Thispaper combines two perspectives on formalisation and classification oflegal relations within the urban planning and building domain. In a crossdisciplinaryfashion, the paper analyses and describes a small part of thisdomain at a higher level of abstraction and formalization using two differentanalysis instruments. Using these tools, we perform structural and conceptualas well as logical analyses of two specific snapshots of a fictitious propertysubdivision case in Sweden, focusing on the legal relations between differententities and parties involved in the specific situations. The structural analysisuses the Land Administration Domain Model ISO 19152:2012 standardformalism, and the logical analysis is based on the notion of atomic types oflegal relations. The paper discusses some of the strengths and weaknesses ofthe two tools regarding the formal representation of rights, restrictions andresponsibilities of different parties in the land administration domain, as wellas how the tools relate to each other and how they can be aligned. This papertakes one step towards a deeper understanding of the domain, and identifyareas for future research that may provide better conditions for efficient andtransparent use of geospatial information, and automation of the propertysubdivision process and other related civil processes.

1 - 11 av 11
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf