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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Many-Sorted Implicative Conceptual Systems
KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
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: KTH , 2008. , s. xiv, 61
Serie
Report series / DSV, ISSN 1101-8526 ; 08-012
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:kth:diva-9624ISBN: 978-91-7415-141-1 (tryckt)OAI: oai:DiVA.org:kth-9624DiVA, id: diva2:126749
Disputation
2008-12-03, Hall C, KTH-Forum, Isafjordsgatan 39, Kista, 13:00 (Engelska)
Opponent
Handledare
Anmärkning
QC 20100901Tillgänglig från: 2009-01-26 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
Delarbeten
1. Normative positions within an algebraic approach to normative systems
Öppna denna publikation i ny flik eller fönster >>Normative positions within an algebraic approach to normative systems
2004 (Engelska)Ingår i: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 2, nr 1, s. 63-91Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

The formal analysis of normative systems as initiated by Alchourrón and Bulygin can be complemented by the analysis of normative positions as pursued by Kanger, Lindahl, Sergot and Jones. The paper is a step towards integrating the two approaches within an algebraic theory of so-called Boolean quasi-orderings (Bqo's). In the general Bqo theory presented, a number of theoretical tools are introduced and elucidated by theorems, in particular those of fragment, connection, coupling and pair coupling. Condition implication structures (cis's) are models of the Bqo theory used for the representation of normative systems. A system of normative positions is introduced as a special kind of cis. The final section is devoted to an example exhibiting a legal mini-system where a cis of normative positions (np-cis) is joined to a descriptive cis.

Nyckelord
Normative systems, Alchourrón, Bulygin, Normative positions, Kanger, Implication structures, Boolean algebra, Deontic logic, Logic of action
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:kth:diva-9617 (URN)10.1016/j.jal.2004.01.004 (DOI)
Anmärkning
QC 20100901Tillgänglig från: 2008-11-20 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
2. Algebras for Agent Norm-Regulation
Öppna denna publikation i ny flik eller fönster >>Algebras for Agent Norm-Regulation
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-166Artikel 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.

Nyckelord
norm, multi-agent system, norm-regulated system, agent architecture, Boolean algebra, normative position
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:kth:diva-9618 (URN)10.1023/B:AMAI.0000034525.49481.4a (DOI)000222604500006 ()2-s2.0-3843051224 (Scopus ID)
Anmärkning
QC 20100827Tillgänglig från: 2008-11-20 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
3. Normative Systems and their Revision: An Algebraic Approach
Öppna denna publikation i ny flik eller fönster >>Normative Systems and their Revision: An Algebraic Approach
2003 (Engelska)Ingår i: Artificial Intelligence and Law, ISSN 0924-8463, E-ISSN 1572-8382, Vol. 11, nr 2-3, s. 81-104Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

 The paper discusses normative systems and their revision within an algebraic framework. If a system is logically well-formed, certain norms, called connecting norms, determine the system as a whole. It is maintained that, if the system is well-formed, a relation at least as low as determines a lattice or quasi-lattice of its connecting norms. The ideas are presented mainly in the form of comments on a legal example concerning acquisition of movable property by extinction of another person's previous rights.

Nyckelord
Alchourrón, Boolean quasi-ordering, Bulygin, connecting norm, defeasibility, norm revision
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:kth:diva-9620 (URN)10.1023/B:ARTI.0000046005.10529.47 (DOI)
Anmärkning
20100901Tillgänglig från: 2008-11-20 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
4. Intermediaries and intervenients in normative systems
Öppna denna publikation i ny flik eller fönster >>Intermediaries and intervenients in normative systems
2008 (Engelska)Ingår i: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 6, nr 2, s. 229-250Artikel i tidskrift (Refereegranskat) 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.

Nyckelord
Concept formation, Counts-as, Dummett, Intermediary, Intermediate concept, Intervenient, Legal concept, Normative system-as
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:kth:diva-9621 (URN)10.1016/j.jal.2007.06.010 (DOI)2-s2.0-42649113073 (Scopus ID)
Anmärkning
QC 20100901Tillgänglig från: 2008-11-20 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
5. Strata of Intervenient Concepts in Normative Systems
Öppna denna publikation i ny flik eller fönster >>Strata of Intervenient Concepts in Normative Systems
2008 (Engelska)Ingår i: Lecture notes in artificial intelligence, ISSN 0302-9743, Vol. 5076, s. 203-217Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Writing a contract of a specific content is a ground for purchase, purchase is a ground for ownership, ownership is a ground for power to dispose. Also power to dispose is a consequence of ownership, ownership is a consequence of purchase. etc. The paper presents a continuation of the authors’ previous algebraic representation on ground - consequence chains in normative systems.The paper analyzes different kinds of “implicative closeness” between grounds and consequences in chains of legal concepts, in particular combinations of “weakest ground”, “strongest consequence” and “minimal joining”. The idea of a concept’s being intermediate between concepts of two different sorts is captured by the technical notion of “intervenient”, defined in terms of weakest ground and strongest consequence. A legal example concerning grounds and consequences of “ownership” and “trust” is used to illustrate the application of the formal theory.

Nyckelord
Normative system, Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
urn:nbn:se:kth:diva-9622 (URN)10.1007/978-3-540-70525-3_16 (DOI)000257946600016 ()2-s2.0-48949098215 (Scopus ID)
Anmärkning
QC 20100901. Ingår i 9th International Conference on Deontic Logic in Computer Science, DEON 2008.Tillgänglig från: 2008-11-20 Skapad: 2008-11-20 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

fulltext(3167 kB)362 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 3167 kBChecksumma SHA-512
1518249b4c8946bbd6e4f1014d8fb1c7bb8ccfa3fd59cd88601c540433666dec3b7dad6bd3bbab60eda1670464e15474b7538ad4a07bfff20c6fb03cd6eb3f02
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Odelstad, Jan
Av organisationen
Data- och systemvetenskap, DSV
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 362 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 1356 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf