kth.sePublications KTH
Change search
Link to record
Permanent link

Direct link
Publications (1 of 1) Show all publications
Odelstad, J. (2009). An essay on msic-systems. In: Normative Multi-Agent Systems 2009: . Paper presented at Normative Multi-Agent Systems 2009, Wadern, Germany, Mar 15 2009 - Mar 20 2009. Dagstuhl Publishing
Open this publication in new window or tab >>An essay on msic-systems
2009 (English)In: Normative Multi-Agent Systems 2009, Dagstuhl Publishing , 2009Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Dagstuhl Publishing, 2009
Keywords
Agent architecture, Concept formation, Intermediary, Intermediate concept, Legal concept, Norm-regulated system, Normative position, Normative system
National Category
Information Systems
Identifiers
urn:nbn:se:kth:diva-339284 (URN)2-s2.0-85174633335 (Scopus ID)
Conference
Normative Multi-Agent Systems 2009, Wadern, Germany, Mar 15 2009 - Mar 20 2009
Note

QCR 20231106

Available from: 2023-11-06 Created: 2023-11-06 Last updated: 2024-08-01Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-3245-7721

Search in DiVA

Show all publications