Skip to content

GhazaleZe/Artificial-Intelligence

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

27 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Artificial-Intelligence

If you hava something to say join Discussion.

Local Search: ☺️

Requirement

  • python3.x
  • Although it's not necessary, I use Pycharm mostly for coding python.

Solved Problems

In local_seach file:
The max sat problem is solved with Random Restart Hill Climbing.
The 0-1 knapsack problem is sovled with Tabu Search.

CSP: 😍

Course Scheduling Problem

Requirement

Explanation of the solution

Problem:
There is 5 course in 3 fix days of each week. Course Scheduling is like this:

  • course1 : 8-9AM
  • course2 : 8:30-9:30 AM
  • course3 : 9-10 AM
  • course4 : 9-10 AM
  • course5 : 9:30-10:30 AM

There are 3 teachers who can teach specific courses like:

  • Teacher A: courses 3,4
  • Teacher B: courses 2,3,4,5
  • Teacher C: all courses

Solution is in Courses.mzn

N-Queen with minizinc

Requirement

Explanation of the solution

  • This is a famous n-queen problem which n in the input and n * n board after placing n queen in the output.
  • soulution is in n_queen.mzn file.

Orthogonal Latin Square with Choco

Requirement

Explanation of the solution

Solution is in OLS_CSP.java

  • Input: DNF
  • Goal: Transfer DNF to CNF and check satisfiability.
  • Soulution is ghazale.mw

Support

[email protected]
Thanks @arman324 😅