10,699 Hits in 6.6 sec

An illustration of verification and validation in the modelling phase of KBS development

J. Vanthienen, C. Mues, A. Aerts
1998 Data & Knowledge Engineering  
Reliability has become a key factor in KBS development.  ...  For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle.  ...  knowledge base that are relevant from a V&V perspective.  ... 
doi:10.1016/s0169-023x(98)80003-7 fatcat:eo6ujz37czd33mdmxdyvqfcrla

Using explicit ontologies in KBS development

G. van Heijst, A.Th. Schreiber, B.J. Wielinga
1997 International Journal of Human-Computer Studies  
This application ontology is then exploited to organize the knowledge acquisition process and to support computational design .  ...  email : g e r t j a n / s c h r e i b e r / w i e l i n g a ê s w i . p s y . u v a . n l This article presents a number of ways in which ontologies-schematic descriptions of the contents of domain knowledge-can  ...  In this activity , the dynamic characteristics of the KBS are validated using a number of selected test cases .  ... 
doi:10.1006/ijhc.1996.0090 fatcat:m2mhkerylnbkvgd62swzqpjyki

KBS development through ontology mapping and ontology driven acquisition

David Corsar, Derek Sleeman
2007 Proceedings of the 4th international conference on Knowledge capture - K-CAP '07  
this mapped knowledge and the requirements of the problem solver to "drive" the acquisition of the additional knowledge it needs.  ...  For example, suppose we have available a KBS which is composed of a propose-andrevise problem solver linked with an appropriate knowledge base/ontology from the elevator domain.  ...  So from this perspective, a KBS is composed of domain knowledge and problem solving knowledge.  ... 
doi:10.1145/1298406.1298412 dblp:conf/kcap/CorsarS07 fatcat:iwkuyvk5ijhkxd4ioyjhsl4m34

The KB e‐Depot digital archiving policy

Erik Oltmans, Hilde van Wijngaarden, Norbert Lossau
2006 Library hi tech  
Findings: This paper also includes a comprehensive overview of the e-Depot system and the KB approaches to digital preservation.  ...  Design/methodology/approach: We discuss three possible threats against permanent access, and we propose a coordinated and systematic approach to address these risks: the Safe Places Network.  ...  It is now fully operational and embedded in the KB organization, as a department within the Acquisitions & Processing Division.  ... 
doi:10.1108/07378830610715464 fatcat:eajhrtou55ailhth2g2bmzbbpm

Performance Measurement System for A Manufacturing Environment: KB/GAP/AHP Approach

Dermawan Wibisono, M Khurshid Khan
2016 International Journal of Robotics and Mechatronics  
The present hybrid PMS model seeks to improve the earlier research models by the following novel approach: implementation of a Knowledge Based (KB) expert system, Gauging Absences of Pre-requisite (GAP  ...  The paper has shown that the present hybrid (KB-AHP-GAP) approach to developing a KBPMS model is a realistic methodology.  ...  APPLICATION OF THE KBPMS Verification and validation is an important step in the development and implementation of the KB systems.  ... 
doi:10.21535/ijrm.v2i2.866 fatcat:v2uenkfwbfe3hk2l3uzi5wnmfy

Seventh Workshop on the Validation and Verification of Knowledge-Based Systems

Robert Plant
1995 The AI Magazine  
They presented a paper on search director of the Intelligent Comput- tion of imprecise conflicting require- knowledge acquisition through rip- er Systems Research Institute.  ...  A paper by presented a paper on the relationship any new knowledge added is valid Alun Preece, Cliff Gossner, and T. between errors and size in KBSs.  ... 
doi:10.1609/aimag.v16i3.1151 dblp:journals/aim/Plant95 fatcat:gxggmzzrxrcqblx7fais7guio4

Evaluating Verification and Validation Methods in Knowledge Engineering [chapter]

Alun Preece
2001 Industrial Knowledge Management  
Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering process, because they offer the only way to judge the success (or otherwise) of a knowledge  ...  This paper provides a critical assessment of the state of the practice in knowledge base V&V, including a survey of available evidence as to the effectiveness of various V&V techniques in real-world knowledge  ...  acquisition and design methods.  ... 
doi:10.1007/978-1-4471-0351-6_6 fatcat:7jdx4rwi6fdvfmc77x4oen2fym

Verification and validation of knowledge-based systems

Wei-Tek Tsai, R. Vishnuvajjala, Du Zhang
1999 IEEE Transactions on Knowledge and Data Engineering  
This paper provides perspectives on issues and problems that impact the verification and validation (V&V) of KBS. Some of the reasons V&V of KBS is difficult are presented.  ...  Knowledge-based systems (KBS) are being used in many applications areas where their failures can be costly because of the losses in services, property, or even life.  ...  Techniques can be developed to prevent anomalies from being entered into KB during knowledge acquisition (knowledge level verification, or cleanroom strategy).  ... 
doi:10.1109/69.755629 fatcat:fawl7uwm7fbe7ha5n5uyq2xyf4

Principles for interactive acquisition and validation of workflows

Jihie Kim, Yolanda Gil, Marc Spraragen
2010 Journal of experimental and theoretical artificial intelligence (Print)  
This paper describes principles for assisting users to create valid workflows that are based on two knowledge acquisition systems that we have developed.  ...  Figure 3 shows a portion of a sample CAT Knowledge Base (KB). Here we use an example from a travel planning domain for readability. In the KB, there is a hierarchy of data types.  ...  This research was funded by the National Science Foundation (NSF) with award numbers EAR-0122464 and CCF-0725332, and by the DARPA Rapid Knowledge Formation (RKF) program under contract number N66001-00  ... 
doi:10.1080/09528130902823698 fatcat:e3hy26myr5b25pcn7iablkao4a

The development, validation and implementation of knowledge-based systems

Robert M. O' Keefe, Alun D. Preece
1996 European Journal of Operational Research  
It is now 10 years since Operational Research, and other groups that support management decision making, seized upon Knowledge-based Systems (KBS) as an alternative set of techniques and methods for building  ...  The paper reviews progress in understanding and using development methodologies, validation methods (now generally considered as crucial to technical success) and implementation.  ...  Validation of KBS From the perspective of this paper, validation overshadows formal verification.  ... 
doi:10.1016/0377-2217(96)00005-7 fatcat:dmgfu2h7g5dfdjd733mkosqwg4

A validation & verification driven ontology: An iterative process

Angelina Espinoza, Ernesto Del-Moral, Alfonso Martínez-Martínez, Nour Alí
2021 Applied Ontology  
., a medical team, is critical to support the reasoning with data. Therefore, an ontology design should be driven by the constant and efficient validation of end-users needs.  ...  However, there is not an existing standard process in knowledge engineering that guides the ontology design with the required quality.  ...  Ontology Validation (OVA) This activity aims to validate whether the Ontology Increment is answering properly the CQs from the SME's perspective in a quantitative perspective.  ... 
doi:10.3233/ao-210251 fatcat:cqet43rvvvdovjcztwtopmg4za

Mobile Learning Media Development on Kampung KB Management Training Material for Family Planning Field Worker in East Java

Widi Asih Nurhajati
2019 Proceedings of the ICECRS  
Therefore a media should be developed to transfer the knowledge of learning material, especially for Kampung KB material as the priority program of Indonesian Population and Family Planning Board (BKKBN  ...  Industrial revolution era, the usage of technology becomes a prominent needs to enhance the opportunity of learning for Family Planning Field Worker (PKB) in East Java.  ...  This development produces a product in the form of Mobile Learning about Kampung KB Management material.  ... 
doi:10.21070/picecrs.v2i1.2417 fatcat:3av7ctngfvf5nhqrmytsmibspm

Deployment and Validation of a Smart System for Screening of Language Disorders in Primary Care

María Martín-Ruiz, Miguel Angel Valero Duboy, Iván Pau de la Cruz
2013 Sensors  
Validation was carried out through two complementary steps: first, by including a team of seven experts from the fields of neonatology, pediatrics, neurology and language therapy, and, second, through  ...  However, the lack of time and little specific knowledge at primary-care avoid to applying continuous early-detection anomalies procedures.  ...  The process of Knowledge Acquisition (KA) is the first step for creating a KBS and it strongly influences the conditions for correct operation.  ... 
doi:10.3390/s130607522 pmid:23752564 pmcid:PMC3715251 fatcat:e26q5zkdprddlcekmvpde7cxny

Z-BRE4K - Technology Validation Plan [article]

Serena Albertario, Alice Reina
2020 Zenodo  
Deliverable 5.2: "Technology Validation Plan" is a report, due at M22, including the Validation Plan developed in the framework of Task 5.2.  ...  This work is part of the integration and validation activities carried out in the framework of WP5 and aims to validate at TRL5, the overall platform, integrated according to the methodology proposed in  ...  ] for Knowledge Based Systems.  ... 
doi:10.5281/zenodo.4300461 fatcat:zbjuwzj6ajh55brotqtr7ti6tu

Incremental Lifecycle Validation of Knowledge-Based Systems Through CommonKADS

Feras A. Batarseh, Avelino J. Gonzalez
2013 IEEE Transactions on Systems, Man & Cybernetics. Systems  
This dissertation introduces a novel validation method for knowledge-based systems (KBS). Validation is an essential phase in the development lifecycle of knowledge-based systems.  ...  This research seeks to establish a direct relation between validation and lifecycle models, and introduces a validation method for KBS embedded into CommonKADS. iv This dissertation is dedicated to who  ...  After Knowledge Acquisition Visual Validation the users is represented by a test case.  ... 
doi:10.1109/tsmca.2012.2211348 fatcat:gn2lniebz5gcheqhx62j6grmjq
« Previous Showing results 1 — 15 out of 10,699 results