hig.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlä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
Algebras for Agent Norm-Regulation
Högskolan i Gävle, Institutionen för matematik, natur- och datavetenskap, Ämnesavdelningen för datavetenskap.
2004 (Engelska)Ingår i: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 42, nr 1-3, s. 141-160Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
2004. Vol. 42, nr 1-3, s. 141-160
Identifikatorer
URN: urn:nbn:se:hig:diva-1043DOI: 10.1023/B:AMAI.0000034525.49481.4aISI: 000222604500006OAI: oai:DiVA.org:hig-1043DiVA, id: diva2:117705
Tillgänglig från: 2007-12-12 Skapad: 2007-12-12 Senast uppdaterad: 2018-03-13Bibliografiskt granskad
Ingår i avhandling
1. Many-Sorted Implicative Conceptual Systems
Öppna denna publikation i ny flik eller fönster >>Many-Sorted Implicative Conceptual Systems
2008 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
Stockholm: Department of Computer and Systems Sciences, Royal Institute of Technology, 2008. s. xiv, 61
Serie
Report series / Department of Computer & Systems Sciences, ISSN 1101-8526 ; 08-012
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:hig:diva-3967 (URN)978-91-7415-141-1 (ISBN)
Disputation
2008-12-03, Hall C,KTH-Forum, Isafjordsgatan 39, Kista, 13:00 (Svenska)
Opponent
Handledare
Anmärkning
Teknologie doktorsexamenTillgänglig från: 2009-03-19 Skapad: 2009-03-18 Senast uppdaterad: 2018-03-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Odelstad, Jan

Sök vidare i DiVA

Av författaren/redaktören
Odelstad, Jan
Av organisationen
Ämnesavdelningen för datavetenskap
I samma tidskrift
Annals of Mathematics and Artificial Intelligence

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 252 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlä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