Modeling and Verification of Multi Agent CrossLanguage Information Retrieval
- سال انتشار: 1393
- محل انتشار: هشتمین کنفرانس بین المللی تجارت الکترونیک با رویکرد بر اعتماد الکترونیکی
- کد COI اختصاصی: ECDC08_060
- زبان مقاله: انگلیسی
- تعداد مشاهده: 992
نویسندگان
Electrical and Computer Engineering DepartmentYazd University, Yazd, Iran
Electrical and Computer Engineering DepartmentYazd University, Yazd, Iran
چکیده
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کلیدواژه ها
component; verification; NUSMV; crosslanguage information retrieval;مقالات مرتبط جدید
- بررسی تاثیر سواد تجاری بر عملکرد شرکت با توجه به نقش میانجی خودکارآمدی کارآفرینانه مدیران
- بررسی تاثیر سواد تجاری بر خودکارآمدی کارآفرینانه مدیران
- بررسی تاثیر هوش معنوی بر عملکرد حسابرسان
- بررسی تاثیر بهزیستی روانشناختی بر ارتباط بین تضاد نقش و عملکرد حسابرسان
- بررسی برخی عوامل اجتماعی - فرهنگی موثر بر طلاق عاطفی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.