18 found
Order:
Disambiguations
Marek Sergot [18]Marek J. Sergot [1]
  1.  21
    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 (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  2. 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 (5 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  3. Making Sense of Raw Input.Richard Evans, Matko Bošnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli & Marek Sergot - 2021 - Artificial Intelligence 299 (C):103521.
    How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  47
    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   19 citations  
  5.  9
    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, KD45ni-j, is a stronger version of KD, the system often referred to as Standard Deontic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  6. Making Sense of Sensory Input.Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli & Marek Sergot - 2021 - Artificial Intelligence 293 (C):103438.
    This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. 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   1 citation  
  8.  6
    Agent strands in the action language n C +.Robert Craven & Marek Sergot - 2008 - Journal of Applied Logic 6 (2):172-191.
  9.  19
    Some Forms of Collectively Bringing About or ‘Seeing to it that’.Marek Sergot - 2021 - Journal of Philosophical Logic 50 (2):249-283.
    One of the best known approaches to the logic of agency are the ‘stit’ logics. Often, it is not the actions of an individual agent that bring about a certain outcome but the joint actions of a set of agents, collectively. Collective agency has received comparatively little attention in ‘stit’. The paper maps out several different forms, several different senses in which a particular set of agents, collectively, can be said to bring about a certain outcome, and examines how these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  38
    The Use of Logical Models in Legal Problem Solving.Robert Kowalski & Marek Sergot - 1990 - Ratio Juris 3 (2):201-218.
    The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  6
    An executable specification of a formal argumentation protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.
  12.  7
    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  
  13.  13
    A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States.Piotr Kulicki, Robert Trypuz, Robert Craven & Marek J. Sergot - forthcoming - Logic and Logical Philosophy:1-35.
    This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with a (coloured) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  52
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  37
    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  
  16.  27
    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  
  17.  16
    Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.Piotr Kulicki, Robert Trypuz & Marek Sergot - 2020 - Artificial Intelligence and Law 29 (3):395-415.
    The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  95
    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   16 citations