University of Dundee - School of Computing

wanderooswarrenΤεχνίτη Νοημοσύνη και Ρομποτική

21 Νοε 2013 (πριν από 3 χρόνια και 4 μήνες)

51 εμφανίσεις


1

University of Dundee

Module Specification Template

Code


Module title

Logic and Information Theory

College

College of Art, Science and Engineering

School

Computing

Credit rating:
level, no. of
credits

SHE M (SCQF 11
)

20 SCQF credits

10 ECTS credits

Aims

This module
aims to
provide students with

(i) a
working understanding of

a variety of logical and
symbolic reasoning techniques in ar
tificial
intelligence (AI) and

an ability to ap
pl
y many of
them in software; (ii
) the concept of information
and the transmission of information over imperfect

communication channels; and (iii
) the use of codes
to prevent transmission errors and to ensure the
security of transmitted information.


Inte
nded learning outcomes

Knowledge

of:



various logical systems including
propositional Logic, predicate Logic and
various automated reasoning systems
including resolution



artificial intelligence applications of
automated logical reasoning techniques



the concepts of information and entropy;
coding, compression and redundancy;
capacity and the Shannon limit



coding methods for error control and
security

Understanding

of:



the relationships between logical systems

and
how logics relate to implementations
in
Prolog



fundamental symbolic artificial intelligence
problems

and how they
can be formulated as
logical inference



the nature of information and uncertainty,
and of communication channels, and the
resulting limitations on the speed and
accuracy with which data can be
compressed for transmission and storage



techniques
(& their limitations)
for
(i)
error
reduction

and (ii)
secure digital
encryption

Skills



Use Prolog to build theorem provers



Solve symbolic reasoning problems in AI
applications


2

Indicative content

1.

Propositional Logic (Connectives, Truth
Tables, MP, DeM)

2.

Logic Programming I (Intro to Prolog,
syntax,
recursion)

3.

Predicate Logic (Existential, Universal)

4.

SLD Resolution and Resolution in Prolog

5.

Logic Programming II (Advanced Prolog,
Lists, Negation)

6.

AI Applications such as Planning

7.

Information theory


ran摯洠癡d楡扬i猬s
e湴牯nyⰠ浵,畡氠l湦n牭rt楯i



Source
coding, compression and
redundancy, Huffman and Lempel
-
Ziv
coding

9.

Channel models and coding, capacity,
Shannon limit

10.

Error control coding

11.

Secret key and public key cryptography

Modes of delivery and student
participation

Delivery will be on
-
campus using
standard School
of Computing facilities, e.g. lecture rooms &
laboratories.

Teaching, learning and
assessment

Material will be delivered
using

conventional face
-
to
-
face, lecture
-
based delivery (accompanied by
slides) and tutorials with supervised lab sessions for
hands
-
on practical work using appropriate software.

Summative assessment:



Coursework (%)



Examination (%, No. and
duration of
exams.)


E
xamination (8
0%) via a single 2
-
hour degree
examination

plus coursework (20%)

When taught


Semester
2

Pre
-
requisites or entry
requirements

AC51021 Probability


Co requisites

-

Anti
-
requisites

-

Further information

Students with disabilities

are supported on this
module through the

University's Disability Support
Services and will be given appropriate aid and
guidance consistent with their disability.

http://www.dundee.ac.uk/disabilitysupport/


Support for students with disabilities in the School
of Computing is also available via:

http://www.computing.dundee.ac.uk/staff/a
waller/disability.asp


Date of Approval

TBC

Applicability of Module
Specification


Students first matriculating from session 2010
-
11



3

Academic Affairs

December 2008