Advanced Logic
A.Y. 2022/2023
Learning objectives
The course aims to provide students with an overview of the most important formal systems that have been put forward as extensions of, or alternatives to classical logic. More specifically, students will acquire a basic knowledge of the following topics:
- intuitionistic logic
- informational view of logical consequence
- modal and epistemic logics
- non-monotonic logics
The acquired knowledge will be fruitfully employed in teaching, and in all activities requiring the usage of a variety of reasoning tools that are more powerful than elementary logic and more suited to problem-solving in a variety of applications.
- intuitionistic logic
- informational view of logical consequence
- modal and epistemic logics
- non-monotonic logics
The acquired knowledge will be fruitfully employed in teaching, and in all activities requiring the usage of a variety of reasoning tools that are more powerful than elementary logic and more suited to problem-solving in a variety of applications.
Expected learning outcomes
Knowledge and understanding:
- knowledge of the foundations of non-monotonic reasoning;
- knowledge of the main extensions of, and alternatives to classical logic.
- knowledge of the most recent investigations into the relationship between logic and information.
Ability to apply knowledge and understanding
At the end of the course students are expected to be able to apply the acquired knowledge in order to:
- read and understand original scientific contributions in the field of logic;
- analyze and solve scientific, philosophical and practical problems that do not admit of natural solutions in terms of standard logic.
- knowledge of the foundations of non-monotonic reasoning;
- knowledge of the main extensions of, and alternatives to classical logic.
- knowledge of the most recent investigations into the relationship between logic and information.
Ability to apply knowledge and understanding
At the end of the course students are expected to be able to apply the acquired knowledge in order to:
- read and understand original scientific contributions in the field of logic;
- analyze and solve scientific, philosophical and practical problems that do not admit of natural solutions in terms of standard logic.
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
Second semester
Course syllabus
The aim of the course is to provide students with tools and methods from practical logic, with a particular focus on knowledge representation and reasoning in artificial intelligence.
Main topics covered:
1 In-depth classical logic
2 Elementary algebraic logic
3 Nonmonotonic reasoning
The program for 6 CFU consists in the first 2 topics (20 lectures, 40 hours)
The program for 9 CFU consists in all topics
Main topics covered:
1 In-depth classical logic
2 Elementary algebraic logic
3 Nonmonotonic reasoning
The program for 6 CFU consists in the first 2 topics (20 lectures, 40 hours)
The program for 9 CFU consists in all topics
Prerequisites for admission
Logical Methods
Teaching methods
Frontal and flipped lectures and assignments. The approach will be problem-oriented and students will be trained to learn by solving basic problems and exercises.
Teaching Resources
Handouts provided by the lectures that will be uploaded on the Moodle site for the course
Assessment methods and Criteria
There is no difference between attending and non-attending students as far as the evaluation is concerned.
The exam is written and it is taken online and it is marked as follows:
End-of-course project: 50% of the final mark
Questions-based exam: 50% of the final mark
Attending students have the option of replacing the question-based written exam (worth 50% of the total grade) with the successful participation to the weekly Flipped classrooms (see Moodle for details)
Practical details on Projects: 5 pages, standard LaTeX, which summarises and comments on one item from the projects list which will be made available at the end of the course. Projects are mandatory for both attending and non attending students.
The exam is written and it is taken online and it is marked as follows:
End-of-course project: 50% of the final mark
Questions-based exam: 50% of the final mark
Attending students have the option of replacing the question-based written exam (worth 50% of the total grade) with the successful participation to the weekly Flipped classrooms (see Moodle for details)
Practical details on Projects: 5 pages, standard LaTeX, which summarises and comments on one item from the projects list which will be made available at the end of the course. Projects are mandatory for both attending and non attending students.
Professor(s)
Reception:
Friday 8:30-11:30
Second Floor, Cortile Ghiacchiaia. Please email me to secure your slot.