Skip to main content
INF - e-learning - Dipartimento di Informatica
You are currently using guest access (Log in)

Artificial Intelligence fundamentals - 2017

  1. Home
  2. Courses
  3. Corso di Laurea Magistrale in Informatica (LM-18)
  4. AIF-17
  5. I - Constraint Satisfaction
  6. Your turn - Section I

Your turn - Section I

Completion requirements
Opened: Friday, 29 September 2017, 12:00 AM
Due: Friday, 6 October 2017, 11:55 PM

Upload your proposal (one line) and your contribution (silde of a presentation, code, written report ...)  about the introduction and CSP.

Possible tasks I have proposed are:

  • Searching for solutions: basic search algorithms, heuristic search algorithms (A* and variants) AIMA cap. 3. Lecture
    slides IIA-2017, Lecture 3&4 (Background material if you did not take an Introduction to AI).
  • Local search algorithms and optimization problems: AIMA cap. 4.1, Lecture slides IIA-2017, Lecture 5 (Background material if you did not take an Introduction to AI).
  • Read the introduction of the online book “Artificial Intelligence Foundations of Computational Agents” by Poole and Macworth
    http://artint.info/2e/html/ArtInt2e.html an report about one aspect, for example "Dimensions of complexity".
  • Study one of the examples in the introduction of the online book “Artificial Intelligence Foundations of Computational Agents” by Poole and Macworth (1.6 Prototypical Applications) and report about it.
  • Formalize one of the following as CSP:
    - Sudoku
    - Zebra puzzle or Einstein's Puzzle [https://en.wikipedia.org/wiki/Zebra_Puzzle]
    - Car sequencing
    - Scene labelling
    - Other ...
  • Look at the Python implementation of AC-3 and use it to reduce a CSP problem
  • Study and present AC-4
  • Compare AC with Path Consistency (cost vs effect).
I am open to other proposals, provided they are relevant to the topics discussed in class.
◄ Heuristic search for CSP
Characterization of Knowledge Based systems ►

Blocks

Skip Navigation

Navigation

  • Home

    • Site pages

      • My courses

      • Tags

      • ForumSite news

    • My courses

    • Courses

      • Corso di Laurea Magistrale in Informatica (LM-18)

        • CNS 2025

        • CMCS 2025

        • P2P2425

        • IQC(24-25)

        • ADB 24/25

        • CL 24/25

        • ICT-RA

        • AIF24-25

        • ML 2024

        • CM24

        • SDC 24/25

        • AIF-17

          • General

          • Introduction

          • I - Constraint Satisfaction

            • FileFormalization and problem formulation

            • FileConstraint propagation

            • FileHeuristic search for CSP

            • AssignmentYour turn - Section I

          • II - Knowledge representation and reasoning

          • III - Reasoning under uncertainty

          • IV - Planning

          • V - Rule based systems

          • Bibliography

      • Corso di Laurea in Informatica (L-31)

      • Corso di Laurea Magistrale in Informatica e Networ...

      • Corso di Laurea Magistrale in Data Science and Bus...

      • Corso di Laurea Magistrale in Informatics for Digi...

      • Corsi erogati dal Dipartimento di Matematica

      • Master di II livello in "Professione formatore in ...

      • Corsi CLIL

      • Altri Corsi

      • Anno Accademico 2013-14

Blocks

You are currently using guest access (Log in)
AIF-17
Data retention summary
Get the mobile app