Filters








256,212 Hits in 6.7 sec

Validation of Knowledge-Based Systems [chapter]

1989 Machine Intelligence and Autonomy for Aerospace Systems  
These works would seem to be motivated by the changing nature of the KBS field itself, as it moves away from the "first generation" rule-based expert systems, towards knowledgebased systems with more sophisticated  ...  Within this sub-area, the dominant concern has been with the "first generation" type of rule-based systems, and the verification has been aimed at detecting anomalies -such as subsumed or conflicting rules  ...  Acknowledgements As chairman of the workshop described in this article, I would like to thank all of the participants for making it a success, the workshop programme committee for their efforts, and the  ... 
doi:10.2514/5.9781600865893.0125.0142 fatcat:b4c3h43ma5cujb3k4y6jmdrska

Validation of knowledge-based systems: Current trends and issues

Alun D. Preece
1995 Knowledge engineering review (Print)  
These works would seem to be motivated by the changing nature of the KBS field itself, as it moves away from the "first generation" rule-based expert systems, towards knowledgebased systems with more sophisticated  ...  Within this sub-area, the dominant concern has been with the "first generation" type of rule-based systems, and the verification has been aimed at detecting anomalies -such as subsumed or conflicting rules  ...  Acknowledgements As chairman of the workshop described in this article, I would like to thank all of the participants for making it a success, the workshop programme committee for their efforts, and the  ... 
doi:10.1017/s0269888900007281 fatcat:5qidaiaar5fdxojrpjxhayaine

Editorial: special issue on verification and validation

Robert Plant, Alun D. Preece
1996 International Journal of Human-Computer Studies  
Gamble considers the problem of building hybrid knowledge-based systems that combine object-oriented , frame-based , and rule-based paradigms , presenting a methodology for prototyping these hybrid systems  ...  The foundations of the research in validation and verification primarily focused on the classification and formalization of testing techniques that could be applied to knowledge-based systems .  ... 
doi:10.1006/ijhc.1996.0006 fatcat:ikdwndi6xvdklbssplqlwwc6ie

Customisable Transformation-Driven Evolution for Service Architectures

Aakash Ahmad, Claus Pahl
2011 2011 15th European Conference on Software Maintenance and Reengineering  
Based on the initial results, we plan to proceed toward modeling and automating the architectural evolution in a formal way.  ...  An empirical approach is adopted to investigate the extent to which the architecture evolution tasks (i.e. modeling, transformation and refinement) can be automated and validated in context to the central  ...  -Scenario-Based Validation: Currently, we focus on electronic payment system evolution cases studies to validate the applicability of the proposed architecture evolution framework.  ... 
doi:10.1109/csmr.2011.56 dblp:conf/csmr/AhmadP11 fatcat:hy7y5wmz7zcyhm4jxgunz5ax4a

Toward A Location Based Service for Assessing and Recommending Landscape Views

Samira Soleimani, Mohamad, Reza Malek, Gaurav Sinha
2016 International Conference on GIScience Short Paper Proceedings  
A prototype fuzzy logic recommendation system comprising 72 rules has also been designed to model how personal factors (gender, age, health status) and perceived colors likely determine the aesthetic suitability  ...  This will be based on people's personal characteristics and environmental factors known to affect landscape perception.  ...  Conclusion The LBS prototype system design and even the underlying rationale will continue to evolve and be refined, since these rules are based on a much-simplified model and may be modified and refined  ... 
doi:10.21433/b3112js988p1 fatcat:r4x7bkcjrbct5lvwhez2ps3txa

The refinement of probabilistic rule sets: Sociopathic interactions

David C. Wilkins, Yong Ma
1994 Artificial Intelligence  
Probabilistic rules in a classification expert system can result in a sociopathic knowledge base, as a consequence of the assumption of conditional independence between observations and rule modularity  ...  The problem of optimally refining sociopathic knowledge bases is modeled as a bipartite graph minimization problem and shown to be NP-hard.  ...  We are grateful for the computer time provided by the Intelligent Systems Lab of Xerox PARC, SUMEX-AIM at Stanford University and the Beckman Institute Sun Consortium at the University of Illinois.  ... 
doi:10.1016/0004-3702(94)90101-5 fatcat:gxy6ho27vnhx3moezbke732o6i

A clinical data warehouse-based process for refining medication orders alerts

Abdelali Boussadi, Thibaut Caruba, Eric Zapletal, Brigitte Sabatier, Pierre Durieux, Patrice Degoulet
2012 JAMIA Journal of the American Medical Informatics Association  
The objective of this case report is to evaluate the use of a clinical data warehouse coupled with a clinical information system to test and refine alerts for medication orders control before they were  ...  A clinical decision rule refinement process was used to assess alerts.  ...  Acknowledgments We thank IBM-ILOG for providing us with an evaluation version of IBM WebSphere ILOG JRules.  ... 
doi:10.1136/amiajnl-2012-000850 pmid:22523345 pmcid:PMC3422842 fatcat:z3di2w32pffmjpjplbabcm5rsy

Behavioral Refinement of Graph Transformation-Based Models

Reiko Heckel, Sebastian Thöne
2005 Electronical Notes in Theoretical Computer Science  
In contrast to previous approaches, refinement relations on graph transformation systems are not defined as fixed syntactic mappings between abstract transformation rules and, e.g., concrete rule expressions  ...  To create and verify such refinements, behavioral models capturing reconfiguration or communication scenarios are presented as instances of a dynamic meta-model, i.e., a typed graph transformation system  ...  valid models, and (3) a set of graph transformation rules.  ... 
doi:10.1016/j.entcs.2004.08.037 fatcat:3ieuddz55rgshf7kv56gvelbpa

Towards Design Verification and Validation at Multiple Levels of Abstraction [chapter]

Holger Giese, Martin Kardos, Ulrich Nickel
2002 IFIP Advances in Information and Communication Technology  
The ISILEIT project aims at the development of a seamless methodology for the integrated design. analysis and validation of such embedded systems.  ...  Suitable subsets of UML and SDL for the design of such systems are therefore identified in a first step.  ...  In Figure 6 right-hand-side the selectEvent rule of the refined metamodel II is presented.  ... 
doi:10.1007/978-0-387-35599-3_8 fatcat:h6rk6bsz55hvbgdz4vekm5tumu

Improving the Performance of Inconsistent Knowledge Bases via Combined Optimization Method [chapter]

Yong Ma, David C. Wilkins
1991 Machine Learning Proceedings 1991  
One of the important issues when designing effective expert systems is the validation and refinement of the acquired knowledge bases. bases both on the training sets and on the validation sets. 1  ...  We also thank mous reviewers for comments and suggestions. anony- .  ...  The validation and refinement problem becomes more important and more difficult when the knowledge bases of expert systems consist of uncertain rules, e.g., probabilistic rules.  ... 
doi:10.1016/b978-1-55860-200-7.50009-x dblp:conf/icml/MaW91 fatcat:jhre3nz33zdglkcdyyiityjcqe

Validation and verification of intelligent systems - what are they and how are they different?

Avelino J. Gonzalez, Valerie Barr
2000 Journal of experimental and theoretical artificial intelligence (Print)  
Researchers and practitioners in the field of expert systems all generally agree that to be useful, any fielded intelligent system must be adequately verified and validated.  ...  The second part of the paper, therefore, details some techniques that can be used to perform the verification and validation of systems.  ...  System refinement -This step aims to improve the system, and makes use of the rule and test case validity to suggest how to improve the rule(s) found erroneous.  ... 
doi:10.1080/095281300454793 fatcat:wc5gcbtp4vbkjlm6ilsn5ukpwq

A Systematic Approach to Atomicity Decomposition in Event-B [chapter]

Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh
2012 Lecture Notes in Computer Science  
Event-B is a state-based formal method that supports a refinement process in which an abstract model is elaborated towards an implementation in a step-wise manner.  ...  New events may be introduced in Event-B refinement and these are often used to decompose the atomicity of an abstract event into a series of steps.  ...  Overview of Case Studies This section outlines an overview of our case study systems, a multi media protocol [8] and a space craft system based on BepiColombo [9].  ... 
doi:10.1007/978-3-642-33826-7_6 fatcat:4oy4oungmvfbvb2rm42kpfyc2a

Increasing levels of assistance in refinement of knowledge-based retrieval systems

Catherine Baudin, Barney Pell, Smadar Kedar
1994 Knowledge Acquistion  
This paper is concerned with the task of incrementally acquiring and refining the knowledge and algorithms of a knowledge-based system in order to improve its performance over time.  ...  In particular, we present the design of DE-KART, a tool whose goal is to provide increasing levels of assistance in acquiring and refining indexing and retrieval knowledge for a knowledge-based retrieval  ...  Acknowledgments Thanks to Vinod Baya, Ade Mabogunje and Jody Gevins Underwood who helped us evaluate the results of our experiments and for fruitful discussions about question-based indexing.  ... 
doi:10.1006/knac.1994.1010 fatcat:uwkda6lkr5gwdf5ly4xygdhqkm

Safety of the Intended Driving Behavior Using Rulebooks [article]

Anne Collin, Artur Bilka, Scott Pendleton, Radboud Duintjer Tebbens
2021 arXiv   pre-print
We establish that Rulebooks provide a functional description of the path planning task in an AV and discuss the potential usage of the method for verification and validation.  ...  Safety of these systems requires not only an absence of malfunctions but also high performance of functions in many different scenarios.  ...  This can help tag scenarios encountered during validation testing with a level of criticality [40] based on the number and priority of violated rules.  ... 
arXiv:2105.04472v1 fatcat:tecj6piz6rg7tgzbnrt2sxw5c4

Experience with Ripple-Down Rules

P. Compton, L. Peters, G. Edwards, T.G. Lavers
2006 Knowledge-Based Systems  
The clearest evidence that this facility is highly valuable to the laboratory is the on-going addition of new knowledge bases and refinement of existing knowledge bases by the chemical pathologists. *  ...  Domain experts build rules as a minor extension to their normal duties, and are able to keep refining rules as KBS requirements evolve.  ...  Acknowledgements RDR research has had long-term support from the Australian Research Council and PKS development was assisted by a grant from AusIndustry.  ... 
doi:10.1016/j.knosys.2005.11.022 fatcat:z5h7ce6vprg35nn4h6doklj6ky
« Previous Showing results 1 — 15 out of 256,212 results