Filters








693 Hits in 5.3 sec

Equivalence of defeasible normative systems

José Júlio Alferes, Ricardo Gonçalves, João Leite
2013 Journal of Applied Non-Classical Logics  
We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic.  ...  In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between  ...  This should not be confused with the logic programming notion of fact. 2. Note that our aim is not to enter into a philosophical discussion about the notion of permission.  ... 
doi:10.1080/11663081.2013.798996 fatcat:5w32rtmkmjhqbiexmtydivpika

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) [article]

Alexander Steen, David Fuenmayor
2022 arXiv   pre-print
The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning systems.  ...  In this paper we provide a bridge between the two communities by (i) defining a logic-pluralistic normative reasoning language based on the TPTP format, (ii) providing a translation scheme between relevant  ...  We plan to extend the portfolio of supported deontic logics towards further relevant ones, including Input/Output logic [27] .  ... 
arXiv:2209.05090v1 fatcat:bp6s3zfabfboxhw543wdmieb2m

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications [chapter]

Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas S. E. Maibaum, Nazareno Aguirre
2015 Lecture Notes in Computer Science  
In this paper we introduce syntMaskFT, a tool that synthesizes fault-tolerant programs from specifications written in a fragment of branching time logic with deontic operators, designed for specifying  ...  The tool focuses on producing masking tolerant programs, that is, programs that during a failure mask faults in such a way that they cannot be observed by the environment.  ...  The input of syntMaskFT is a deontic specification dSpec, composed of an interf ace, an init-spec, and a normal-spec. interface is described by a subset of the state variables, which, intuitively, form  ... 
doi:10.1007/978-3-662-46681-0_13 fatcat:gfn3xkloh5alhgdkamefvvw7pu

Page 3222 of Mathematical Reviews Vol. , Issue 97E [page]

1997 Mathematical Reviews  
The work in this paper shows the use of tuple ID as an important technique in optimizing logic programs.”  ...  Our measure of performance is the number of parallel input/output operations, in which each of the D disks can simultaneously transfer a block of B con- tiguous records.  ... 

Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples [article]

Tarek R. Besold, Artur d'Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen
2017 arXiv   pre-print
of the intended model, and a neural-symbolic implementation of Input/Output logic for dealing with uncertainty in dynamic normative contexts.  ...  For the latter claim, two paradigmatic examples are presented: Logic Programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs  ...  Acknowledgements We want to thank the following people for their indispensable contributions to different parts of the work reported in this article: Guido Boella, Silvano Colombo Tosatto, Valerio Genovese  ... 
arXiv:1701.05226v2 fatcat:eg67ppsao5cmvnxv5s5vquchma

Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

Tarek R. Besold, Artur d'Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen
2017 Minds and Machines  
of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic normative contexts.  ...  For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs  ...  Acknowledgements We want to thank the following people for their indispensable contributions to different parts of the work reported in this article: Guido Boella, Silvano Colombo Tosatto, Valerio Genovese  ... 
doi:10.1007/s11023-017-9428-3 fatcat:unbwsv3civd45hivgh5xpuzlzu

Page 3615 of Mathematical Reviews Vol. , Issue 95f [page]

1995 Mathematical Reviews  
An additional axiom defines a protocol to be nontrivial if in some ex- ecution, n —f processes have their input values read, and yet the output value for one of the processes is still undetermined.  ...  This paper proposes deontic logic as such a specification language. Therefore, a short and rather infor- mal introduction to deontic logic is included.  ... 

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support [article]

Christoph Benzmüller, Xavier Parent, Leendert van der Torre
2020 arXiv   pre-print
LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL).  ...  A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented.  ...  Examples of norm-based deontic logics include the input/output (I/O) logic of Makinson & van der Torre [64], Horty's theory of reasons [65] , which is based on Reiter's default logic, and Hansen's logic  ... 
arXiv:1903.10187v6 fatcat:f7zz3meo25ad7fcgbldwecqtsu

What is Input/Output Logic? [chapter]

David Makinson, Leendert van der Torre
2003 Foundations of the Formal Sciences II  
We explain the raison d'être and basic ideas of input/output logic, with pointers to other publications for detailed developments.  ...  To deal with the subtleties of contrary-to-duty situations, input/output operations may be subjected to consistency constraints, expressed via the notion of an outfamily.  ...  We add that in this example, not even Cn({x,y}) is a maximal subset of out(G,a) that is consistent with a, for clearly Cn({x,y}) ⊂ Cn({x,y,¬a∨z}) ⊂ out (G,a).  ... 
doi:10.1007/978-94-017-0395-6_12 fatcat:zhpllkjfjfb5tjb76qpwshok5y

Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective

Gabriella Pigozzi, Leendert W. N. van der Torre
2017 IfColog journal of logics and their applications (FLAP)  
of several challenges studied in deontic logic, with an emphasis on problems of multiagent deontic logic and problems related to normative systems.  ...  More information can be found in the handbook on deontic logic and normative systems, or the website http://deonticlogic.org/ In the first paper of the issue, Pigozzi and van der Torre give an overview  ...  and input/output logic.  ... 
dblp:journals/flap/PigozziT17a fatcat:7z52lqgoxnaqnmxqu3uqmthnja

Permissions and obligations in hierarchical normative systems

Guido Boella, Leendert van der Torre
2003 Proceedings of the 9th international conference on Artificial intelligence and law - ICAIL '03  
In this paper we discuss different types of permissions and their roles in deontic logic.  ...  We study the distinction between weak and strong permissions in the context of input/output logic, combining the logic with constraints, priorities and hierarchies of normative authorities.  ...  INPUT/OUTPUT LOGIC Input/output logic takes its origin in the study of conditional norms.  ... 
doi:10.1145/1047788.1047818 dblp:conf/icail/BoelleT03 fatcat:mgdstikzhbcgfmwi654ahqfe4y

Synthesizing fault-tolerant programs from deontic logic specifications

Ramiro Demasi
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
In our approach, the logical specification of the component is given in dCTL-, a fragment of a branching time temporal logic with deontic operators, especially designed for fault-tolerant component specification  ...  Deontic logics have proved to be useful for reasoning about legal and moral systems, where the situation is more or less similar to fault-tolerance: there exists a set of rules that states what the normal  ...  Acknowledgements First of all, I would like to express my deepest gratitude to my supervisor Tom Maibaum, for his advice, guidance, and encouragement throughout the course of this work.  ... 
doi:10.1109/ase.2013.6693149 dblp:conf/kbse/Demasi13 fatcat:z7sidjnzrfdwnginmj7nujhcg4

A Semantically Rich Framework for Knowledge Representation of Code of Federal Regulations (CFR)

Karuna Joshi, Srishty Saha
2020 Digital Government: Research and Practice (DGOV)  
Num-of-skips represents the number of output words that will be picked in the span of a single word in an (input, output) tuples.  ...  Fig. 8 . 8 Distribution of deontic expressions embedded in Title 48 of the CFR.  ... 
doi:10.1145/3425192 fatcat:ll3rjrbcfjfe7ok632irfdhotq

Interaction in Normative Multi-Agent Systems

Guido Boella, Joris Hulstijn, Leendert van der Torre
2005 Electronical Notes in Theoretical Computer Science  
We consider two extensions of input/output logics and lions. First, we consider input/output logics defined on infinite sequences (or streams) of inputs and outputs.  ...  Lions are based on input/output logic, a deontic logic which is not used as a (non-classical) inference engine deriving output from input, but as a secretarial assistant for logically assisted transformations  ...  Acknowledgements Thanks to David Makinson for the introduction of logical input/output nets (personal communications) and for commenting on an earlier version of this paper, and to Farhad Arbab and his  ... 
doi:10.1016/j.entcs.2005.05.020 fatcat:tny55e7iefdyjc2lfw7cmjvfoa

Norm Conflict Identification Using Deep Learning [chapter]

João Paulo Aires, Felipe Meneguzzi
2017 Lecture Notes in Computer Science  
In this work, we develop an approach to automate the identification of potential conflicts between norms in contracts.  ...  Contracts represent agreements between two or more parties formally in the form of deontic statements or norms within their clauses.  ...  They are often represented using deontic logic, which has its origins in philosophical logic, applied modal logic, and ethical and legal theory.  ... 
doi:10.1007/978-3-319-71679-4_13 fatcat:ybma33feqvfkxkyzlpzdeeppcm
« Previous Showing results 1 — 15 out of 693 results