-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathabout.html
137 lines (132 loc) · 9.75 KB
/
about.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
<!--
I/O Logic Workbench: Automated Reasoner for I/O Logics
Copyright (C) 2020 Alexander Steen <alexander.steen@uni.lu>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
-->
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta content="none" name="referrer">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta http-equiv="Cache-control" content="no-cache, no-store, must-revalidate">
<meta http-equiv="Pragma" content="no-cache">
<title>I/O Logic Workbench</title>
<meta name="application-name" content="I/O Logic Workbench">
<meta name="keywords" content="I/O Logic, Automated Reasoning, Deontic Logic, Automated Theorem Proving, Logical Reasoning, Input/Output logics, Logic Workbench">
<meta name="description" content="An automated reasoning system for Input/Output logics.">
<meta name="author" content="Alexander Steen">
<link rel="apple-touch-icon" sizes="180x180" href="img/apple-touch-icon.png">
<link rel="icon" type="image/png" sizes="32x32" href="img/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="16x16" href="img/favicon-16x16.png">
<link rel="stylesheet" href="css/bootstrap.min.css">
<link rel="stylesheet" href="css/style.css">
</head>
<body>
<!-- GitHub corner from <http://tholman.com/github-corners/>, color adapted to #0069d9 -->
<a href="https://github.com/I-O-Logic/iol-workbench" class="github-corner" aria-label="View source on GitHub"><svg width="80" height="80" viewBox="0 0 250 250" style="fill:#0069d9; color:#fff; position: absolute; top: 0; border: 0; left: 0; transform: scale(-1, 1);" aria-hidden="true"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></a><style>.github-corner:hover .octo-arm{animation:octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0%,100%{transform:rotate(0)}20%,60%{transform:rotate(-25deg)}40%,80%{transform:rotate(10deg)}}@media (max-width:500px){.github-corner:hover .octo-arm{animation:none}.github-corner .octo-arm{animation:octocat-wave 560ms ease-in-out}}</style>
<div class="container">
<div class="row">
<div class="col-sm text-center">
<div class="float-right h2"><a href="index.html"><span style="font-size:medium;font-variant:small-caps">Back</span></a></div>
<h1 class="h2" style="font-variant:small-caps">I/O Logics Workbench</h1>
</div>
</div>
<div class="row">
<div class="col-sm-12 p-3" style="background-color:#f5f5f5;border-radius:1em 1em 1em 1em">
<h2 class="h4 mt-0">I/O Logic Workbench</h2>
<p><em>A browser-based automated reasoner for Input/Output Logics</em></p>
<p>
Input/Output (I/O) logics have been devised by Makinson and van der Torre [1]
as a class of formal systems for norm-based deontic reasoning. Intuitively,
they formalize the question what obligations can be detached (the output) from a given
set of conditional norms and a specific situation (the input). It differs from
other deontic logics in the sense that the norms themselves are not part of the
object logic and hence do not carry truth values. Constrained I/O logic [2]
addresses contrary-to-duty situations and other dilemmas.
</p>
<h2 class="h4">The Tool</h2>
<p>
The I/O Logic Workbench is aimed at providing a browser-based automated reasoning system for various I/O logics.
In short, the system allows you to input a set of norms and an input (the description of the current situation),
and provides automated means for inferring whether a certain formula can be derived as an obligation from this.
</p>
<h2 class="h4">Usage</h2>
<p>
The graphical user interface consists of two main panels: The configuration panel (on the left)
and the main panel (on the right).
</p>
<p>
In the left menu panel, a user can choose which out operation should be used for the reasoning process.
Furthermore, a selection of semantic parameters can be accessed for the output operations.
Fially, some example scenarios can be loaded using the respective buttons at the top left.
</p>
<p>
On the right side, the input <code>A</code>, the set of norms <code>N</code> and a prospective output
<code>x</code> can be entered. The input language is an ASCII representation of propositional logic,
where <code>|</code>, <code>&</code> and <code>~</code> denote disjunction, conjunction and negation,
respectively. There are no binding preferences between conjunction and disjunction,
so they have to be properly parenthesised. Atomic propositions are any sequence of letters,
e.g. <code>a</code>, <code>abc</code> or <code>veryLongNameForMyAtomicProposition</code>.
The literals <code>T</code> and <code>F</code> are interpreted as truth and falsehood, respectively.
An example formula is <code>x & (c | d) & ~e</code>.
</p><p>
The input <code>A</code> is a comma separated list of formulas (possibly empty), whereas the
set of norms <code>N</code> is, as usual, represented as a set of pairs. Every norm is entered
as a separate line in the text area. The prospective output <code>x</code> is a simple formula.
</p>
<p>
<b>Use case 1:</b> <em>Checking a prospective output</em>.
To check whether a formula is in the output set of the selected out operator, enter the respective
information for <code>A</code>, <code>N</code> and <code>x</code> and press "check given output".
</p>
<p>
<b>Use case 2:</b> <em>Generating the output set</em>.
To let the tool generate the complete output set, enter the respective
information for <code>A</code> and <code>N</code> (<code>x</code> is not required here)
and press "generate output set". The (infinite) output set is represented by its finite base.
Example: <code>Cn(a,b,c)</code> represents the set of all (classical) consequences of the set
<code>{a,b,c}</code>, including, e.g., <code>a</code>, <code>a & b</code> and <code>a | (x & y)</code>.
</p>
<h2 class="h4">Development/Version</h2>
<p>
The source code of the I/O Logic Workbench is open-source and freely available at
<a href="https://github.com/I-O-Logic/iol-workbench">GitHub</a>.
It is implemented as a client-side application in JavaScript, so that there is no
need for any backend server infrastructure. Hence, it runs in every reasonably current browser,
ready-to-use for conducting own experiments without any major installation or set-up.
</p>
<p>
Current version: see the <a href="https://github.com/I-O-Logic/iol-workbench">GitHub</a>
project for more details.
</p>
<h2 class="h4">License</h2>
<p>
The I/O Logic Workbench is licensed using the GNU GPL license (see <a href="LICENSE">LICENSE</a> file),
and uses third party libraries that are distributed under their own terms
(see <a href="LICENSE-3RD-PARTIES">LICENSE-3RD-PARTIES</a> file).
</p>
<h2 class="h4">References</h2>
<dl>
<dd>[1] Makinson, D., van der Torre, L.W.N.: Input/Output Logics. J. Philosophical Logic 29(4), 383–408 (2000). https://doi.org/10.1023/A:1004748624537</dd>
<dd>[2] Makinson, D., van der Torre, L.W.N.: Constraints for Input/Output Logics. J. Philos. Log. 30(2): 155-185 (2001). https://doi.org/10.1023/A:1017599526096</dd>
<dd>[3] A. Steen, Goal-Directed Decision Procedures for Input/Output Logics. In 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/2021, Munich), Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte (Eds.), College Publications, London, 2021. (to appear). See: http://www.collegepublications.co.uk/DEON/?00003</dd>
</dl>
</div>
</div>
</div>
<br>
<footer class="footer text-muted small d-flex justify-content-center">
(c) 2020 by Alexander Steen
</footer>
</body>
</html>