Mathematical Logics

1
Mathematical Logics

• Course introduction

2
Forehead

• Lecturers Fausto Giunchiglia, Vincenzo Maltese
• Scheduling Tuesday 1030-1230, room A213
• Thursday 1430-1630, room A213
• Reception times on appointment
• Course website http//dit.unitn.it/ldkr/ml2012/
• Objective Learn how to use logics in practice
• Contents Modeling, PL, ClassL, FOL, Modal logic
• Exam policy grading written exams (midterm
  final)

3
Purpose

• Logic as a tool Data and Knowledge
  Representation
• What is the right representation language given
  the purpose we have?
• Natural language (NL) e.g. for specifications
• Entity-Relationship (ER) e.g. for abstraction
• UML e.g. to model classes and functions
• XML e.g. to exchange data
• Kinds of logic PL, Class-L, FOL, DL
• They can be used for representation and reasoning