برنامج أليس   

**برنامج أليس**

& ﻳﺴﺘﻄﻴﻊ ﺑﺮﻧﺎﻣﺞ أﻟﻴﺲ-اﻟﺬي أﻋﺪ ﺑﻮاﺳﻄﺔ حين ﻟﻮي ﻟﻮرﻳـﻴـﺮ ﻣﻦ ﺟﺎﻣﻌﺔ ﺑﺎرﻳﺲ-أن ﻳﺤﻞ المسائل اﻟﺮﻳﺎﺿﻴﺔ و المنطقية المكتوبة ﺑﻠﻐﺔ ﺗﺴﺘﺨﺪم ﻣﻔﺮدات ﻧﻈﺮﻳﺔ اﻟﻤﺠﻤﻮﻋﺎت و المنطق اﻟﺘﻘﻠﻴﺪي.

و تحدد المسالة ﻓﻲ أرﺑﻌﺔ أﺟﺰاء:

1. اﻟﺘﻌﺮﻳﻒ ﻣﺴﺒﻮﻗﺎ ﺑﻜﻠﻤﺔ " دع " , وﻳﻌﺮف ﻫﺬه اﻟﻌﻨﺎﺻﺮ اﻟﺘﻲ ﺗﺘﻜﻮن ﻣﻨﻬﺎ المشكلة وﻳﺤﺪد أﻧﻮاﻋﻬﺎ.
2. اﻟﻬﺪف ﻣﺴﺒﻮﻗﺎ ﺑﻜﻠﻤـﺔ " أوﺟـﺪ" و ﻳﺤﺪد اﻟﻘﻴﻢ اﻟﺘﻲ ﻳﺠـﺐ ان توجد .
3. اﻟﻘﻴﻮد ﻣﺴﺒﻮﻗﺎ ﺑﻜﻠﻤﺔ " ﻣـع وﻳﺤﺪد اﻟﻌﻼﻗﺎت بين المتغيرات ﻓﻲ المسالة .
4. اﻟﺒﻴﺎﻧﺎت اﻟﺘﻲ يمكن أن ﺗﻜﻮن ﻋﺪدﻳﺔ أو رﻣﺰﻳﺔ.

وﻫﻨﺎك ﺛﻼث ﻣﺮاﺣﻞ رﺋﻴﺴﺔ ﻓﻲ ﻋﻤﻠﻴﺔ الحل :

• ﻣﺪ اﻟﻘﻴﻮد ﺑﺎﺳﺘﺒﺪال اﻟﻘﻴﻢ اﻟﺘﻲ اﺧﺘﻴﺮت لمتغيرات ﻣﻌﻴﻨﺔ. وﻫﻨﺎ ﻳﻈﻬﺮ ﺑﺮﻧﺎﻣﺞ " أﻟﻴﺲ " ﻣﻬﺎرﺗﻪ ﺑﺎﺳﺘﺨﺪام اﻟﻘﻴﻮد ﻓﻬﻮ ﻻ ﻳـﺴـﺘـﺨـﺪﻣـﻬـﺎ وﻓـﻖ ﺗـﺮﺗـﻴـﺐ ﺛﺎﺑﺖ ﻣﺴﺒﻖ ﺑﻞ ﻃﺒﻘﺎ لمعايير ﺧﺎﺻﺔ ﻣﺜﻞ اﺳﺘﺨﺪام اﻟﻘـﻴـﻮد اﻟـﻘـﺼـﻴـﺮة ﻗـﺒـﻞ اﻟﻄﻮﻳﻠﺔ ﻣﻨﻬﺎ.
• ﺗﻮﻟﻴﺪ اﻟﻔﺮوض ؟ ﺗﺘﻢ اﻻﺧـﺘـﻴـﺎرات ﺑـﺄﻛـﺒـﺮ ﻗـﺪر ممكن ﻣـﻦ الذكاء ﺑﺎﻧﺘﻘﺎء اﻟﻘﻴﻢ اﻷﻛﺜﺮ اﺣﺘﻤﺎﻻ.
• اﻟﺘﻮﺻﻞ إﻟﻰ الحل ﻣﻊ إﻇﻬﺎر أﻧﻪ الحل اﻷﻣﺜﻞ.

وﻳﺘﻤﻴﺰ ﺑﺮﻧﺎﻣﺞ "أﻟﻴﺲ" ﺑﻘﺪرﺗﻪ ﻋﻠﻰ ﺣﻞ ﻣﺴﺎﺋﻞ اﻟﻬﺎﻟﻴﺰ اﻟﺮﻳﺎﺿﻴﺔ ﺑﻮﺟﻪ ﺧﺎصL ﻓﻤﺜﻼ:

G E R A L D + D O N A L D = R O B E R T

ﺣﻴﺚ يمثل ﻛﻞ ﻣـﻦ الحروف G E R A L D O N B T رﻗﻤﺎ تحت اﻟﻌﺸـﺮة , ﺻﻔﺮ ٩٠٠٠ ٢٬١ و ﻛﻠﻬﺎ ﻣﺨﺘﻠﻒ و اﻟﻤﺠﻤﻮع ﺻﺤﻴﺢ L و اﻷرﻗﺎم اﻷوﻟﻴـة G D R ﻛﻠﻬﺎ