Essays about: "Horn fragment"

Found 1 essay containing the words Horn fragment.

  1. 1. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust

    University essay from Linköpings universitet/Linköpings universitet/Matematik och tillämpad matematikTekniska högskolan

    Author : Karl Nygren; [2015]
    Keywords : Trust; modal logic; multi-agent systems; Horn fragment;

    Abstract : This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust as an essentially mental notion, making the theory particularly well suited for formalizations in multi-modal logics of beliefs, goals, intentions, actions, and time. READ MORE