|
برنامهريزي براي سرويسهاي وب معنايي
چکيده
در اين مقاله از
واژگان هستيشناسي وب معنايي براي توصيف اين امر مورد استفاده قرار
گرفته است كه سرويسهاي وب براي امور مختلف و متفاوت از جمله اکتشاف و
تركيب مفيد ميباشند. تکنيکهاي برنامه ريزي AI (هوش مصنوعي) براي
اتوماتيک کردن ساخت سرويسهاي وب که به اين روش توصيف شده به کار
گرفته شدهاند. طراحان از توصيف پيش نيازها و نتايج يک سرويس براي
انجام استدلالهاي گوناگون درباره چگونگي ترکيب سرويسها و تبديل به يک
طرح استفاده ميکنند.OWL-S 1-1 توصيف پيش نيازها و نتايج سرويسها،
با استفاده از دستورات OWL، مشابه اتمهاي موجود در زبان قوانين وب
معنايي(SWRL) را پشتيباني ميکند. بنابراين طراحان بايد معاني OWL را
درك نموده تا بتوانند چنين پيش نيازهايي را مورد ارزيابي قرار دهند.
اما طراحان معمولا تنها مهارتهاي استدلالي نسبتا محدودي که نميتوانند
مفهوم واژگان هستي شناسي وب معنايي را به خوبي ارائه دهند، پشتيباني
ميکنند. مخصوصا اينکه، طراحان معمولا دنياي بستهاي را فرض ميکنند،
در حاليکه OWL داراي معاني جهان باز است. در اين مقاله ثابت ميکنيم که
چگونه يک استدلال کننده OWL ميتواند با يک طراح هوش مصنوعي يا AI
منطبق گشته تا آنكه بتواند بر اين مسائل غلبه کند. ما چالشهاي نوشتن
توصيفات سرويسها و استدلال درباره آنها، به هنگامي که از OWL براي
توصيف نتايج و پيش نيازها استفاده ميشود، را شناسايي ميکنيم. همچنين
کارآيي يک چنين سيستم مجتمعي را بررسي نموده و نشان ميدهيم که چگونه
استدلال OWL ميتواند براي اين سيستم بصورت بهينه مد نظر باشد و در
نهايت، نتايج اجراي نمونه هاي اوليه خود را ارائه مينمائيم...
مقدمه
ديدگاه وب معنايي از دنياي صحبت
مينمايد كه در آن پيوند ضعيف، علوم هستيشناسي با رشد و توسعه مستقل،
نسبت به ارائه درك مشتركي بين عوامل ناهمگن، سيستمها و سازمانها اقدام
مينمايد...
هم اکنون تلاشهايي
(OWL-S,SWSI,WSMO) در حال انجام است تا دو نظريه را با ترکيب کنند،
يعني ايجاد دنيايي كه در آن موارد مرتبط با هستي شناسي وب معنايي نسبت
به پشتيباني بيشتري از کارهاي مرتبط با اتوماسيون سرويسهاي وب، نظير
ساخت و کشف سرويسها، اقدام نمايند. به اين منظور، زبان OWL-S ايجاد شد
تا مجموعهاي از واژگان هستي شناسي، براي توصيف سرويسها با استفاده از
زبان هستي شناسي وب (OWL)، را ارائه نمايد...
1.1 OWL-Sآتي با
ساخت زبان پيش فرض براي برنامه نويسي يا كد نمودن نتايج و پيش نياز
هاي سرويس، گزينهاي از زبان قانون وب معنايي(SWRL) را ارائه نموده
است. براي ارزيابي چنين فرمول هايي طراحان بايد مفاهيم OWL را درک
کنند...
مقدمات
نمايش طراحي کلاسيک
در نمايش طراحي کلاسيک يک حالت،
مجموعه اي از مفاهيم پايه وجود دارند که در يک زبان مرتبه اول بيان شده
اسند. يک عمل اصطلاحي است که مشخص ميکند که کداميک از مفاهيم مرتبه
اول بايد به حالتي خاص تعلق داشته باشند تا عمل قابل استفاده باشد و
اينکه عمل مورد نظر چه مفاهيمي را اضافه يا حذف ميکند تا يک حالت
جهاني جديد را بوجود آورد...
طراحي HNT و SHOP2
طراحي HTN شبيه طراحي
کلاسيک است که در آن حالت جهان با يک مجموعه از کاراکترها که عمل
هرکدام با يک جابجايي حالت مرتبط است، نشان داده ميشود.با اين حال،
طراحان HTN و طراحان AI کلاسيک درچيزي که براي آن طراحي ميکند و
چگونگي طراحي براي آن نقطه نظرات متفاوتي دارند...
منطق هاي توصيفي
منطقهاي توصيفي
خانواده اي از فرمول هاي نمايش اطلاعات بر مبناي کلاس هستند.يک مبناي
اطلاعات DL معمولا شامل دو جزء ميباشد : "TBox" و "ABox". TBox شامل
اطلاعات عمدي به شکل يک اصطلاح ميباشد و ABox شامل اطلاعات غيرعمدي
ميباشد...
زبان STRIPS اصلي،
استفاده از فرمول هاي خوش ساختار اختياري در منطق مرتبه اول براي پيش
نيازها و نتايج را امکان پذير ميسازد. اما،تعريف يک علم معنا شناسي
براي اين طراحي و فرمولي گيج کننده است. بنابراين در کارهاي بعدي،
محققان محدوديت هايي را بر ماهيت عملگر هاي طراحي اعمال کردهاند...
|
