ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

دانلود کتاب اعتبار سنجی و تأیید سیستم های مبتنی بر دانش: نظریه، ابزار و عمل

Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

مشخصات کتاب

Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

ویرایش: 1 
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 9781441951076, 9781475769166 
ناشر: Springer US 
سال نشر: 1999 
تعداد صفحات: 362 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 27 مگابایت 

قیمت کتاب (تومان) : 49,000



کلمات کلیدی مربوط به کتاب اعتبار سنجی و تأیید سیستم های مبتنی بر دانش: نظریه، ابزار و عمل: ساختارهای داده، رمز شناسی و نظریه اطلاعات، هوش مصنوعی (شامل رباتیک)، علوم کامپیوتر، عمومی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اعتبار سنجی و تأیید سیستم های مبتنی بر دانش: نظریه، ابزار و عمل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اعتبار سنجی و تأیید سیستم های مبتنی بر دانش: نظریه، ابزار و عمل



فناوری مبتنی بر دانش (KB) برای حل مسئله پیچیده و وظایف حیاتی در بسیاری از حوزه های کاربردی استفاده می شود. نگرانی ها به طور طبیعی در مورد قابلیت اطمینان سیستم های مبتنی بر دانش (KBS) ایجاد شده است. مانند هر نرم افزار دیگری، در طول توسعه KBS باید به کیفیت و ایمنی توجه شود و تکنیک های تأیید و اعتبارسنجی دقیق (V&V) باید به کار گرفته شوند. تحقیقات در V&V KBS تنها در دهه گذشته به عنوان یک زمینه متمایز ظاهر شده است و در نظر گرفته شده است تا مسائل مرتبط با جنبه های کیفیت و ایمنی KBS را مورد توجه قرار دهد و به چنین برنامه هایی با درجه ای از قابلیت اطمینان مشابه برنامه های معمولی اعتبار دهد. در سال‌های اخیر، V&V KBS موضوع کارگاه‌های سالانه مرتبط با کنفرانس‌های اصلی هوش مصنوعی، مانند AAAI، IJACI و ECAI بوده است.
اعتبار و تأیید سیستم‌های مبتنی بر دانش حاوی مجموعه‌ای از مقالات است که به تمام جنبه‌های KBS V&V می‌پردازد، که در پنجمین سمپوزیوم اروپایی در راستی‌آزمایی و اعتبارسنجی سیستم‌ها و مؤلفه‌های مبتنی بر دانش (EUROVAV') ارائه شده است. 99 - که در تابستان 1999 در اسلو برگزار شد و توسط Det Norske Veritas و گروه تخصصی انجمن کامپیوتر بریتانیا در سیستم های خبره (SGES) حمایت مالی شد.


توضیحاتی درمورد کتاب به خارجی

Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI.
Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).



فهرست مطالب

Front Matter....Pages i-10
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements....Pages 11-24
On Principles of Knowledge Validation....Pages 25-35
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs....Pages 37-52
Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria....Pages 53-65
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base....Pages 67-78
Constraints for Validation of Conceptual Graphs....Pages 79-91
PRONTO — Ontology-based Evaluation of Knowledge Based Systems....Pages 93-112
Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems....Pages 113-130
Design pattern for safety-critical knowledge-based systems....Pages 131-147
Organising Knowledge Refinement Operators....Pages 149-161
Validation and refinement versus revision....Pages 163-176
Illustrating Knowledge Base Restructuring and Verification in a Real World Application....Pages 177-191
Incorporating Backtracking in Knowledge Refinement....Pages 193-205
Verification and validation of a multistrategy knowledge-based system....Pages 207-220
Validation and Verification of Knowledge-Based Systems for Power System Control Centres....Pages 221-235
A priori Verification of Product Models in Mechanical Design....Pages 237-251
Verification of Business Processes for a Correspondence Handling Center using CCS....Pages 253-266
User Participation-Based Software Certification....Pages 267-276
Verification and Validation in Support for Software Certification Methods....Pages 277-295
Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions....Pages 297-311
Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems....Pages 313-325
Ontology-based Verification and Validation of Federated Database Systems....Pages 327-341
Applicability of Conventional Software Verification and Validation to Knowledge-Based Components....Pages 343-364




نظرات کاربران