دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jesús Cardeñosa, David Escorial (auth.), Anca Vermesan, Frans Coenen (eds.) سری: ISBN (شابک) : 9781441951076, 9781475769166 ناشر: Springer US سال نشر: 1999 تعداد صفحات: 362 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 27 مگابایت
کلمات کلیدی مربوط به کتاب اعتبار سنجی و تأیید سیستم های مبتنی بر دانش: نظریه، ابزار و عمل: ساختارهای داده، رمز شناسی و نظریه اطلاعات، هوش مصنوعی (شامل رباتیک)، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب 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