Search results for 'G. J. C. Lokhorst' (try it on Scholar)

Did you mean: G. J. C. Locust
  1.  25
    G.-J. C. Lokhorst & L. Goble (2004). Mally's Deontic Logic. Grazer Philosophische Studien 67 (1):37-57.
    In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.
    Direct download (2 more)  
    Export citation  
    My bibliography   1 citation  
  2.  11
    V. Wiegel, M. J. Van den Hoven & G. J. C. Lokhorst (2005). Privacy, Deontic Epistemic Action Logic and Software Agents. Ethics and Information Technology 7 (4):251-264.
    In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about the (...)
    Direct download (9 more)  
    Export citation  
    My bibliography   1 citation