Sökning: "deontic logic"

Hittade 3 uppsatser innehållade orden deontic logic.

1. 1. The Possibility of Norm-Violation in Deontic Logics for Action Types : An Analysis of Bentzen's Action Type Deontic Logic and a New Semantics

   Magister-uppsats, Linköpings universitet/Avdelningen för kulturvetenskaper, KVA

   Författare :Karl Nygren; [2016]
   Nyckelord :Action Type Deontic Logic; action types; action tokens; deontic logic; free choice; norm-violation; semantic tableau;

   Sammanfattning : In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Logic, where normative concepts are applied to action expressions, rather than propositional statements. The logic offers solutions to many of the paradoxes of deontic logic. LÄS MER

3. 2. Electronic Contracting for Inter-Enterprise Collaboration

   Master-uppsats, Blekinge Tekniska Högskola/Avdelningen för för interaktion och systemdesign

   Författare :Maria Perez; [2008]
   Nyckelord :Contract; Virtual Enterprise; Ontology;

   Sammanfattning : A Virtual Enterprise (VE) is a temporal alliance between two or more Small and Medium Enterprises (SMEs) geographically dispersed, which collaborate together in order to reach new business opportunities that would be unreachable in other ways. It is a business collaboration paradigm that aims at responding to the uncertainty and instability of the current global economy. LÄS MER

4. 3. Normsystem för wastecollectorssystemet

   Kandidat-uppsats, Institutionen för matematik, natur- och datavetenskap

   Författare :Jan Olsson; [2006]
   Nyckelord :multiagentsystem; normativt system; deontisk logik; normativa positioner;

   Sammanfattning : Deontic Action Logic Multi Agent System (DALMAS) är en typ av multiagentsystem där agenternas handlingar regleras av ett normativt system. Teorin för DALMAS bygger på deontisk logik, och normer i det normativa systemet uttrycks i termer av Kanger-Lindahls teori om normativa positioner. LÄS MER