nach oben

Erschienen in:

2014 | OriginalPaper | Buchkapitel

Instrumentalization of Norm-regulated Transition System Situations

verfasst von : Magnus Hjelmblom

Erschienen in: Agents and Artificial Intelligence

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

An approach to normative systems in the context of multi-agent 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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Framework Covering the Influence of ffm/neo pi-r Traits over the Dialogical Process of Rational Agents

Nächstes Kapitel Path Planning for Tentacle Robots Using Soft Constraints

Note that no special assumptions are made regarding whether or not \(s_{0}\) is an element of \(S\), i.e. whether or not the action \(a\) may lead back to \(s_{0}\).

We can form negations \({({d}^{\lnot })}\) of conditions in the following way: \({({d}^{\lnot })(}X_{\nu })\) iff \(\lnot {d(}X_{\nu })\). In the following, the latter notation will be used to facilitate the presentation. Note that conjunctions \((c\wedge d)\) and disjunctions \((c\vee d)\) may be formed in a similar way; hence, it is possible to construct Boolean algebras of conditions.

The numbering is based on the numbering used in [8].

Normative-position condition-implication structure; see, e.g., [14, 22].

More precisely, the agents may choose between three acts: \(left\), \(stay\) or \(right\), but \(left\) and \(right\) are only feasible if there is a doorway in the corresponding direction. Note that the specific example in [4, p. 178ff] has one female and two male agents and two rooms, while the Rooms system has three rooms.

http://drp.name/norms/nrtssit

As noted in [21, p. 31], the computational complexity of any specific implementation may be more formally analysed through algorithmic analysis, e.g. average-case analysis.

This approach was originally developed in a series of papers; see for example [13, 15‐17].

Cliffe, O., De Vos, M., Padget, J.: Specifying and analysing agent-based social institutions using answer set programming. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 99–113. Springer, Heidelberg (2006)CrossRef

Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA VII. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)CrossRef

Combettes, S., Hanachi, C., Sibertin-Blanc, C.: Organizational petri nets for protocol design and enactment. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS ’06, pp. 1384–1386. ACM, New York (2006). doi:10.1145/1160633.1160892

Craven, R., Sergot, M.: Agent strands in the action language nC+. J. Appl. Log. 6(2), 172–191 (2008). doi:10.1016/j.jal.2007.06.007. selected papers from the 8th International Workshop on Deontic Logic in Computer Science, 8th International Workshop on Deontic Logic in Computer ScienceMathSciNetCrossRefMATH

Gaertner, D., Clark, K., Sergot, M.J.: Ballroom etiquette: a case study for norm-governed multi-agent systems. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 212–226. Springer, Heidelberg (2007)CrossRef

Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL ’05, pp. 25–34. ACM, New York (2005). doi:10.1145/1165485.1165490

Hjelmblom, M.: Deontic action-logic multi-agent systems in Prolog. Technical report 30, University of Gävle, Division of Computer Science (2008). http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-1475

Hjelmblom, M.: State transitions and normative positions within normative systems. Technical report 37, University of Gävle, Department of Industrial Development, IT and Land Management (2011). http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-10595

Hjelmblom, M.: Norm-regulated transition system situations. In: Filipe, J., Fred, A. (eds.) Proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, pp. 109–117. SciTePress, Portugal (2013)

10.

Hjelmblom, M., Odelstad, J.: jDALMAS: a Java/Prolog framework for deontic action-logic multi-agent systems. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2009. LNCS (LNAI), vol. 5559, pp. 110–119. Springer, Heidelberg (2009)

11.

Laaksolahti, J., Boman, M.: Anticipatory guidance of plot. CoRRcs.AI/0206041 (2002). doi:10.1007/978-3-540-45002-3_14

12.

Lindahl, L.: Position and change: a study in law and logic. Synthese library, D. Reidel Pub. Co. (1977). http://www.google.com/books?id=_QwWhOK8aY0C

13.

Lindahl, L., Odelstad, J.: Normative systems and their revision: an algebraic approach. Artif. Intell. Law 11, 81–104 (2003). doi:10.1023/B:ARTI.0000046005.10529.47 CrossRef

14.

Lindahl, L., Odelstad, J.: Normative positions within an algebraic roach to normative systems. J. Appl. Log. 2(1), 63–91 (2004). doi:10.1016/j.jal.2004.01.004. the Sixth International Workshop on Deontic Logic in Computer ScienceMathSciNetCrossRefMATH

15.

Lindahl, L., Odelstad, J.: Intermediaries and intervenients in normative systems. J. Appl. Log. 6(2), 229–250 (2008). doi:10.1016/j.jal.2007.06.010. selected papers from the 8th International Workshop on Deontic Logic in Computer ScienceMathSciNetCrossRefMATH

16.

Lindahl, L., Odelstad, J.: Stratification of normative systems with intermediaries. J. Appl. Log. 9(2), 113–136 (2011). doi:10.1016/j.jal.2010.01.002. special Issue: Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)MathSciNetCrossRefMATH

17.

Lindahl, L., Odelstad, J.: The theory of joining-systems. In: Gabbay, D., Horthy, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 545–634. College Publications, London (2013)

18.

Makinson, D., van der Torre, L.: What is input/output logic? input/output logic, constraints, permissions. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems. No. 07122 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany (2007). http://drops.dagstuhl.de/opus/volltexte/2007/928

19.

van der Meyden, R.: The dynamic logic of permission. J. Log. Comput. 6(3), 465–479 (1996)CrossRefMATH

20.

Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1987). doi:10.1305/ndjfl/1093637776 CrossRef

21.

Odelstad, J.: Many-sorted implicative conceptual systems. Ph.D. thesis, Royal Institute of Technology, Computer and Systems Sciences, DSV (2008), qC 20100901

22.

Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Ann. Math. Artif. Intell. 42, 141–166 (2004). doi:10.1023/B:AMAI.0000034525.49481.4a MathSciNetCrossRefMATH

23.

Raskin, J.F., van der Torre, L.W., Tan, Y.H.: How to model normative behavior in petri nets. In: Proceedings of the 2nd Modelage Workshop on Formal Models of Agents, pp. 223–241 (1996). http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/70564

24.

Sergot, M.J.: Action and agency in norm-governed multi-agent systems. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 1–54. Springer, Heidelberg (2008)CrossRef

25.

Solin, K.: Modal semirings with operators for knowledge representation. In: Filipe, J., Fred, A. (eds.) Proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, pp. 197–202. SciTePress, Portugal (2013)

26.

Vázquez-Salceda, J., Aldewereld, H., Dignum, F.P.M.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)CrossRef

Titel: Instrumentalization of Norm-regulated Transition System Situations
verfasst von: Magnus Hjelmblom
Verlag: Springer Berlin Heidelberg
Buch: Agents and Artificial Intelligence
Print ISBN: 978-3-662-44439-9

Electronic ISBN: 978-3-662-44440-5

Copyright-Jahr: 2014
DOI: https://doi.org/10.1007/978-3-662-44440-5_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"