Sökning: "Normative data"

Visar resultat 1 - 5 av 191 avhandlingar innehållade orden Normative data.

  1. 1. Analysing normative contracts : On the semantic gap between natural and formal languages

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

  3. 2. Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms

    Författare :Magnus Hjelmblom; Magnus Boman; Jan Odelstad; Kim Solin; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Agent System; Norm-regulated; Norm-governed; Normative MAS; Normative Positions; Normative system; Transition system; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. LÄS MER

  4. 3. Analysing normative contracts

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; timed automata; model checking; contract analysis; formal methods; controlled natural language;

    Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

  5. 4. Contracts and Computation — Formal modelling and analysis for normative natural language

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; normative texts; contract analysis; controlled natural language; model checking;

    Sammanfattning : Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. LÄS MER

  7. 5. Many-Sorted Implicative Conceptual Systems

    Författare :Jan Odelstad; Magnus Boman; Bengt Hansson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : 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. LÄS MER