Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:t40nf5z2r73bk42m > Many-Sorted Implica...

Many-Sorted Implicative Conceptual Systems [Elektronisk resurs]

Odelstad, Jan (författare)
Boman, Magnus (preses)
Hansson, Bengt (opponent)
KTH Skolan för informations- och kommunikationsteknik (ICT) (utgivare)
Publicerad: Stockholm : KTH, 2008
Engelska xiv, 61
Serie: Report series / DSV, 1101-8526 1101-8526
Läs hela texten
Läs hela texten
  • E-bokAvhandling(Diss. (sammanfattning) Stockholm : Kungliga Tekniska högskolan, 2008)
Sammanfattning Ämnesord
Stäng  
  • 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. 

Ämnesord

Natural Sciences  (hsv)
Computer and Information Sciences  (hsv)
Information Systems  (hsv)
Naturvetenskap  (hsv)
Data- och informationsvetenskap  (hsv)
Systemvetenskap, informationssystem och informatik  (hsv)
SOCIAL SCIENCES  (svep)
Statistics, computer and systems science  (svep)
Informatics, computer and systems science  (svep)
Computer and systems science  (svep)
SAMHÄLLSVETENSKAP  (svep)
Statistik, data- och systemvetenskap  (svep)
Informatik, data- och systemvetenskap  (svep)
Data- och systemvetenskap  (svep)

Genre

government publication  (marcgt)
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Övriga bibliotek (1)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy