12 found
Order:
  1. Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  64
    Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
    We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  3.  8
    A Formal Characterisation Of Institutionalised Power.Andrew Jones & Marek Sergot - 1996 - Logic Journal of the IGPL 4 (3):427-443.
    We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  4.  43
    Deontic Interpreted Systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63 - 92.
    We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  5.  4
    Deontic Interpreted Systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63-92.
    We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, $\text{KD}45_{n}^{i-j}$, is a stronger version of KD, the system often referred to as Standard Deontic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  75
    Deontic Logic in the Representation of Law: Towards a Methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
    There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  3
    A Formalisation of Violation, Error Recovery, and Enforcement in the Bit Transmission Problem.Alessio Lomuscio & Marek Sergot - 2004 - Journal of Applied Logic 2 (1):93-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  2
    Agent Strands in the Action Language N C +.Robert Craven & Marek Sergot - 2008 - Journal of Applied Logic 6 (2):172-191.
  9.  29
    The Use of Logical Models in Legal Problem Solving.Robert Kowalski & Marek Sergot - 1990 - Ratio Juris 3 (2):201-218.
  10.  19
    Executable Specification of Open Multi-Agent Systems.Alexander Artikis & Marek Sergot - 2010 - Logic Journal of the IGPL 18 (1):31-65.
    Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  25
    The Representation of Legal Contracts.Aspassia Daskalopulu & Marek Sergot - 1997 - AI and Society 11 (1-2):6-17.
    The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  35
    Distant Causation in C+.Robert Craven & Marek Sergot - 2005 - Studia Logica 79 (1):73-96.
    The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also define a new kind (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark