Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Intermediaries and intervenients in normative systems
Faculty of Law, University of Lund.
KTH, School of Information and Communication Technology (ICT), Computer and Systems Sciences, DSV.
2008 (English)In: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 6, no 2, 229-250 p.Article in journal (Refereed) Published
Abstract [en]

Many concepts in legal texts are “intermediaries”, in the sense that they serve as links between statements of legal grounds, on one hand, and of legal consequences, on the other. In our paper, an algebraic representation of normative systems is used for distinguishing between different kinds of intermediaries and making the idea of a joining between grounds and consequences more precise. In Section 1, the idea of intermediaries is presented and earlier discussions of the subjects are outlined. In Section 2, we introduce the algebraic framework and develop the formal theory. After introducing our approach to the representation of a normative system, we here present a theory of “intervenients”, seen as a tool for analysing intermediaries. In Section 3, dealing with applications, after presenting a model of the formal theory, suited for the analysis of concepts in normative systems, we apply the theory to a number of examples, introduced in the first part. Finally, in Section 4, we make some remarks on the methodology of intermediate concepts.

Place, publisher, year, edition, pages
2008. Vol. 6, no 2, 229-250 p.
Keyword [en]
Concept formation, Counts-as, Dummett, Intermediary, Intermediate concept, Intervenient, Legal concept, Normative system-as
National Category
Information Science
Identifiers
URN: urn:nbn:se:kth:diva-9621DOI: 10.1016/j.jal.2007.06.010Scopus ID: 2-s2.0-42649113073OAI: oai:DiVA.org:kth-9621DiVA: diva2:126744
Note
QC 20100901Available from: 2008-11-20 Created: 2008-11-20 Last updated: 2017-12-14Bibliographically approved
In thesis
1. Many-Sorted Implicative Conceptual Systems
Open this publication in new window or tab >>Many-Sorted Implicative Conceptual Systems
2008 (English)Doctoral thesis, comprehensive summary (Other academic)
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.

Place, publisher, year, edition, pages
Stockholm: Department of Computer and Systems Sciences, Royal Institute of Technology, 2008. xiv, 61 p.
Series
Report series / Department of Computer & Systems Sciences, ISSN 1101-8526 ; 08-012
National Category
Information Science
Identifiers
urn:nbn:se:hig:diva-3967 (URN)978-91-7415-141-1 (ISBN)
Public defence
2008-12-03, Hall C,KTH-Forum, Isafjordsgatan 39, Kista, 13:00 (Swedish)
Opponent
Supervisors
Note
Teknologie doktorsexamenAvailable from: 2009-03-19 Created: 2009-03-18 Last updated: 2009-05-08Bibliographically approved
2. Many-Sorted Implicative Conceptual Systems
Open this publication in new window or tab >>Many-Sorted Implicative Conceptual Systems
2008 (English)Doctoral thesis, comprehensive summary (Other academic)
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.

Place, publisher, year, edition, pages
Stockholm: KTH, 2008. xiv, 61 p.
Series
Report series / DSV, ISSN 1101-8526 ; 08-012
National Category
Information Science
Identifiers
urn:nbn:se:kth:diva-9624 (URN)978-91-7415-141-1 (ISBN)
Public defence
2008-12-03, Hall C, KTH-Forum, Isafjordsgatan 39, Kista, 13:00 (English)
Opponent
Supervisors
Note
QC 20100901Available from: 2009-01-26 Created: 2008-11-20 Last updated: 2010-09-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopushttp://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B758H-4P2YWS4-5&_user=4478132&_coverDate=06%2F30%2F2008&_rdoc=8&_fmt=high&_orig=browse&_srch=doc-info(%23toc%2312927%232008%23999939997%23687670%23FLA%23display%23Volume)&_cdi=12927&_sort=d&_docanchor=&_ct=9&_acct=C000034958&_version=1&_urlVersion=0&_userid=4478132&md5=2bb010a17a5341d2d47c2f63d136dad4

Search in DiVA

By author/editor
Odelstad, Jan
By organisation
Computer and Systems Sciences, DSV
In the same journal
Journal of Applied Logic
Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 71 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf