Course Catalog 2007-2008

TTE-5506 KNOWLEDGE REPRESENTATION AND REASONING MACHINES, 5 cr
Knowledge Representation and Reasoning Machines

Courses persons responsible
Jose Martinez Lastra

Lecturers
Aleksandra Dvoryanchikova
Jose Martinez Lastra

Objectives
This course provides an in-depth look at different knowledge representation languages and their application to intelligent manufacturing systems. The course will explore how reasoning machines are able to collaborate and automatically reconfigure to meet evolving production needs and achieve rapid product changeover. This is the basis for creating Rapidly Reconfigurable Manufacturing Systems (RRMS). Considering knowledge as the fundamental premise for attaining intelligence, the course will cover different automatic reasoning mechanisms based on logics and inference.

Content
Content Core content Complementary knowledge Specialist knowledge
1. Knowledge Representation Languages: First-Order Logic, Horn rules, production rules, Description Logics and Semantic Web Ontology Language (OWL), Concrete Domains and Description Logic Programming.       
2. Reasoning: Resolution, Classification and Subsumption.       
3. Knowledge Domains and Ontologies: manufacturing processes, machine skills, process and skill composition, introduction to situation calculus, product state and world state evolution.       

Requirements for completing the course
Final exam AND Assignment(s)

Evaluation criteria for the course

  • Used assessment scale is numeric (1-5)

    • Study material
    Type Name Auhor ISBN URL Edition, availability... Exam material Language
    Book Domain Ontologies and Reasoning Machines in Factory Automation Martinez Lastra, J.L., Delamer, I.M., Ubis Lopez, F. 952-15-1522-8   TUT library Yes  English 
    Book Semantic Web Services in Factory Automa Martinez Lastra J.L., Delamer I.M. 952-15-1374-8   TUT library Yes   

    Prerequisites
    Code Course Credits M/R
    TTE-5016 TTE-5016 Introduction to Robotics and Automation 5 Mandatory
    TTE-5036 TTE-5036 Control in Robotics and Automation 6 Mandatory
    TTE-5046 TTE-5046 Laboratory Course in Robotics and Automation 5 Mandatory
    TTE-5206 TTE-5206 System Engineering in Factory Automation 3 Mandatory

    Prequisite relations (Sign up to TUT Intranet required)

    Additional information about prerequisites
    Students interested on the course and no having the selected prerequisites are invited to visit the course's responsible and discuss his/her case in order to participate

    Remarks

    This course is implemented every second year

  • The course is suitable for postgraduate studies.

  • Course will not be lectured in the academic year 2007-2008.

    • Distance learning

  • ITC utilized during the course

    • - In information distribution via homepage, newsgroups or mailing lists, e.g. current issues, timetables
    - In compiling teaching material, particularly for online use or other electronic media
    - In compiling exercise, group or laboratory work
    - In distributing and/or returning exercise work, material etc
    - The course utilizes a learning platform, which? Moodle

  • Estimate as a percentage of the implementation of the course

    • - Contact teaching: 80 %
    - Distance learning: 20 %
    - Proportion of a student's independent study: 0 %

    Scaling
    Methods of instructionHours
    Lectures 70
    Assignments 86
    Total sum 156

    Course homepage

    Last modified 22.10.2007
    Modified byVirpi Hämäläinen