-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
220 lines (188 loc) · 12 KB
/
index.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
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-gb" xml:lang="en-gb">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>COMS30106</title>
<link rel="icon" href="http://www.bristol.ac.uk/favicon.gif" type="image/gif">
<link rel="stylesheet" type="text/css" media="screen" href="css/normalize.css">
<link rel="stylesheet" type="text/css" media="screen" href="css/uobcms_corporate.css">
<link rel="stylesheet" type="text/css" media="screen" href="css/department.css">
<link rel="stylesheet" type="text/css" media="screen" href="css/coms30106.css">
<title>Artificial Intelligence with Logic Programming</title>
</head>
<body>
<div id="uobcms-wrapper" class="width-master">
<br><br>
<h1>Artificial Intelligence with Logic Programming</h1>
<!--
<TABLE BGCOLOR=pink>
<STRONG>
<TR><TD>
The material below is partly out of date and will be updated for 2013-14 in due course.
</TD></TR>
</STRONG>
</TABLE>
-->
<br><br>
Welcome to the homepage for COMS30106!
The relevant people for this unit are:
<table style="width: 600px; height: 100px;">
<tbody>
<tr>
<td class="blank">Who</td>
<td class="blank">Where </td>
<td class="blank">Contact </td>
</tr>
<tr>
<td class="peter"><a href="http://www.cs.bris.ac.uk/home/flach/">Peter Flach (unit director)</a></td>
<td class="peter">MVB 3.31 </td>
<td class="peter">Drop in to see if I'm free, <br>or book an appointment <a href="http://cspaf.youcanbook.me/">here</a>.<br></td>
</tr>
<tr>
<td class="lab">Kacper Sokol (teaching assistant)</td>
<td class="lab">In the lab </td>
<td class="lab">Ask a question on the Blackboard forum</td>
</tr>
<tr>
<td class="lab">Benny Clark (teaching assistant)</td>
<td class="lab">In the lab </td>
<td class="lab">Ask a question on the Blackboard forum</td>
</tr>
</tbody>
</table>
<p>
<!--
<h3>Hand-outs</h3>
<ul>
<li><a HREF=slides/COMS30106.pdf>COMS30106</a>,
<a HREF=slides/SLchapter1.pdf>SLchapter1</a>,
<a HREF=slides/haskell2prolog.pdf>haskell2prolog</a>
<li><a HREF=slides/SLchapter3.pdf>SLchapter3</a>
<li><a HREF=slides/SLchapter5.pdf>SLchapter5</a>
<li><a HREF=slides/SLchapter6.pdf>SLchapter6</a>
<li><a HREF=slides/SLchapter7.pdf>SLchapter7</a>
<li><a HREF=slides/SLchapter2.pdf>SLchapter2</a>
<li><a HREF=slides/SLchapter9.pdf>SLchapter9</a>
<li><a HREF=slides/SLchapter8.pdf>SLchapter8</a>
</ul>
-->
</p><h3>Links</h3>
<ul>
<li><a href="http://www.swi-prolog.org/">SWI-Prolog homepage</a> (go here for documentation and if you want to install SWI-Prolog on your own computer)
</li><li><a href="https://www.cs.bris.ac.uk/~flach/SimplyLogical.html">Simply Logical homepage</a> (go here for an on-line copy of the textbook and downloadable programs)
</li><li><a href="http://book.simply-logical.space/">NEW: interactive version of the book</a> (work in progress)
</li><li><a href="http://www.swi-prolog.org/Links.txt">Lots of Prolog links</a>
<!--li><a HREF=http://kti.mff.cuni.cz/~bartak/prolog/>On-line guide to Prolog programming</a-->
<!--LI><a HREF=http://gnu-prolog.inria.fr/>GNU Prolog</a-->
<!--LI><a HREF=http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html>On-line Prolog tutorial</a-->
<!--LI><a HREF=http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq-doc-2.html>public domain Prolog interpreters</a-->
<!--LI><a HREF=http://members.xoom.com/winikoff/wp/>W-Prolog</a> (Java applet interpreting Prolog variant)-->
<!--li><a HREF=http://directory.google.com/Top/Computers/Programming/Languages/Prolog/>Prolog on Google</a-->
<!--LI><a HREF="photos.jsp?unit=COMS30106"">COMS30106 students</a-->
</li></ul>
<hr>
<a name="syllabus"><h2>Syllabus and coursework</h2></a>
The course syllabus is outlined in the table below.
We follow Chapters 1-9 of
<a href="https://www.cs.bris.ac.uk/~flach/SimplyLogical.html">Simply Logical</a>
(Chapters 2 and 4 are for self-study and not examinable).
Please try to read the indicated parts of the book <b>before</b> the lecture.
Handouts with copies of the slides will be available at the lectures.
<p>
The book is now out of print; a PDF file can be freely downloaded via the link above.
If you want a hardcopy, you may be able to
<a href="http://www.amazon.co.uk/Simply-Logical-Intelligent-Reasoning-Example/dp/0471941522/sr=8-1/qid=1159875514/ref=sr_1_1/026-8793947-7577228?ie=UTF8&s=books">buy a new or second-hand copy through Amazon</a>.
The Engineering library holds a number of copies of the book.
</p><p>
</p><table style="width: 1000px; height: 400px;">
<tbody>
<tr><td class="blank">Week (approx)
</td><td class="topic">Topic
</td><td class="materials">Materials
</td><td class="lab">Lab and coursework
</td><td class="blank">Stuff to try
</td></tr><tr><td class="blank">13-14
</td><td class="topic">Getting started
</td><td class="materials"><a href="https://github.com/COMS30106/slides/raw/master/COMS30106.pdf">COMS30106 slides</a><br>
<a href="http://book.simply-logical.space/part_i.html#a_brief_introduction_to_clausal_logic">Chapter 1 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter1.pdf">SLchapter1 slides</a><br>
<a href="https://github.com/COMS30106/slides/raw/master/haskell2prolog.pdf">haskell2prolog slides</a>
</td><td class="lab"><a href="https://github.com/COMS30106/prolog_intro/wiki">Getting started</a>
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter1.pl"><code>chapter1.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_intro/master/ailp_movies.pl"><code>ailp_movies.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_scripts/master/other/Eliza.pl"><code>Eliza.pl</code></a><br>
<a href="https://github.com/COMS30106/prolog_intro/wiki/Graphviz">Graphviz</a>
</td></tr><tr><td class="blank">15-16
</td><td class="topic">Prolog programming
</td><td class="materials"><a href="http://book.simply-logical.space/part_i.html#logic_programming_and_prolog">Chapter 3 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter3.pdf">SLchapter3 slides</a><br>
</td><td class="lab"><a href="https://github.com/COMS30106/labs">Lab examples</a><br>
<a href="https://github.com/COMS30106/assignment/wiki">Assignment 1</a>
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter3.pl"><code>chapter3.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_scripts/master/other/lecture2.pl"><code>lecture2.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_scripts/master/other/path.pl"><code>path.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_scripts/master/other/wp.pl"><code>wp.pl</code></a>
</td></tr><tr><td class="blank">17-18
</td><td class="topic">Search
</td><td class="materials"><a href="https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf">Chapters 5-6 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter5.pdf">SLchapter5 slides</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter6.pdf">SLchapter6 slides</a><br>
</td><td rowspan="3" class="lab"><a href="https://github.com/COMS30106/assignment/wiki">Assignment 2</a>
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter5.pl"><code>chapter5.pl</code></a><br>
<a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter6.pl"><code>chapter6.pl</code></a>
</td></tr><tr><td class="blank">19-20
</td><td class="topic">Natural language
</td><td class="materials"><a href="https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf">Chapter 7 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter7.pdf">SLchapter7 slides</a>
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter7.pl"><code>chapter7.pl</code></a><br>
<a href="https://raw.githubusercontent.com/COMS30106/prolog_scripts/master/other/nl_shell2.pl"><code>nl_shell2.pl</code></a>
</td></tr><tr><td class="blank">21-22
</td><td class="topic">Reasoning with incomplete information
</td><td class="materials"><a href="https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf">Chapter 8 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter8.pdf">SLchapter8 slides</a>
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter8.pl"><code>chapter8.pl</code></a>
</td></tr><tr><td class="blank">23-24
</td><td class="topic">Advanced topics and revision
</td><td class="materials"><a href="https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf">Chapter 9 of the book</a><br>
<a href="https://github.com/simply-logical/slides/raw/master/SLchapter9.pdf">SLchapter9 slides</a>
</td><td class="lab">
</td><td class="prolog"><a href="https://raw.githubusercontent.com/simply-logical/programs/master/chapter9.pl"><code>chapter9.pl</code></a><br>
<a href="https://raw.githubusercontent.com/simply-logical/programs/master/section92.pl"><code>section92.pl</code></a><br>
<a href="https://raw.githubusercontent.com/simply-logical/programs/master/section93.pl"><code>section93.pl</code></a>
</td></tr></tbody>
</table>
<p>
</p><hr>
<h2>Support</h2>
<p><b>General:</b> Please see the page about <a href="https://www.cs.bris.ac.uk/Teaching/communication.html">communication in the department</a> for a general
introduction. If you need to contact me, my personal preferences are outlined below. The
bottom line is: <i>I much prefer personal communication to email, but I will expect that you
first have exhausted all other resources</i>, in particular:
</p><ul>
<li>the hand-outs (searchable PDF);
</li><li>the textbook (searchable PDF);
</li><li>the helpdesk.
</li></ul>
<p></p>
<p><b>Office:</b> I don't have office hours, but I am in my office about half the time.
Problems are often solved quickest by a face to face discussion, so feel free to drop in if
you want to discuss something of importance, and don't be too disheartened if I'm not in the
first time. If I'm in
but busy with something else, I will make an appointment with you. Of course, you can often
catch me for a brief word just before or after a lecture. </p>
<p><b>Forum:</b> The forum can be a very effective medium for students to help each other.
I keep an eye on the postings and may answer some questions myself, particularly if they are
good questions and the answer would be useful to everyone.
However, you shouldn't rely on the forum as a means to get a quick response from me. </p>
<p><b>Email:</b> Email is very useful for me to contact all of you, but it is a bad way for
you to contact me due to the sheer volume of email I receive. Try to assess whether your
email can be answered in a couple of sentences; if not, come to see me instead. And please
don't send me large (>500KB) attachments, put them in your web space and email me the URL.
</p>
<p><b>Feedback:</b> The assignments on this unit are marked semi-automatically. An
individual marking report consisting of a break-down of the marks and the <b>automark</b>
output will be made available through the on-line submission system.
</p>
<!--MkFrame-->
</div>
</body><div></div></html>