Modeling and Verification of Multi Agent CrossLanguage Information Retrieval
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: English
View: 1,010
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ECDC08_060
تاریخ نمایه سازی: 6 آذر 1393
Abstract:
Today, because of explosion of non-English documents, Cross Language Information Retrieval (CLIR) has become more important. On the other hand, multi agentsystems are widely used to perform the tasks in parallel mode to handle the complexity and distribution feature of CLIR. In this paper, our designed Agent based CLIR system leads in defining four different classes of agents co-operating with each other based on MAS-CommonKADS methodology. To verify the correctness of co-operation and interaction among agents defined in a multi agent environment we modeled the system and verified it by NUSMV model checker. This is accomplished by examining agent conversations before deploying the system. Our experiments validate some of the important properties identified in this model. Results prove the agent’s specification and indicate that our proposed model works accurately
Keywords:
Authors
Farzad Peyravi
Electrical and Computer Engineering DepartmentYazd University, Yazd, Iran
Alimohammad Latif
Electrical and Computer Engineering DepartmentYazd University, Yazd, Iran
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :