Dissertations / Theses: 'Expert systems (Computer science) Validation'

1

Jafar, Musa Jafar. "A tool for interactive verification and validation of rule-based expert systems." Diss., The University of Arizona, 1989. http://hdl.handle.net/10150/184805.

Full text

Abstract:

Interactive as well as Automatic Verification and Validation is valuable, especially when the size of a knowledge base grows and manual techniques are not feasible. It ensures the stability of the system and raises the confidence in its level of performance. In this dissertation I address the problem of verification and validation of rule based expert systems. It is a problem knowledge engineers have to deal with while building their expert systems to ensure the reliability, accuracy, and completeness of their knowledge bases. The objective of this research is to make it easy for expert systems developers to build the right system by proposing practical and simple methods for building verification and validation programs to insure the integrity and performance of large scale knowledge based systems.

APA, Harvard, Vancouver, ISO, and other styles

2

Tricard, Marc J. M. "An expert system for the validation and interpretation of x-ray residual stress data." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-10242009-020322/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Batarseh, Feras. "Incremental lifecycle validation of knowledge-based systems through CommonKADS." Doctoral diss., University of Central Florida, 2011. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4844.

Full text

Abstract:

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. Validation ensures that the system is valid, reliable and that it reflects the knowledge of the expert and meets the specifications. Although many validation methods have been introduced for knowledge-based systems, there is still a need for an incremental validation method based on a lifecycle model. Lifecycle models provide a general framework for the developer and a mapping technique from the system into the validation process. They support reusability, modularity and offer guidelines for knowledge engineers to achieve high quality systems. CommonKADS is a set of models that helps to represent and analyze knowledge-based systems. It offers a de facto standard for building knowledge-based systems. Additionally, CommonKADS is a knowledge representation-independent model. It has powerful models that can represent many domains. Defining an incremental validation method based on a conceptual lifecycle model (such as CommonKADS) has a number of advantages such as reducing time and effort, ease of implementation when having a template to follow, well-structured design, and better tracking of errors when they occur. Moreover, the validation method introduced in this dissertation is based on case testing and selecting an appropriate set of test cases to validate the system. The validation method defined makes use of results of prior test cases in an incremental validation procedure. This facilitates defining a minimal set of test cases that provides complete and effective system coverage. CommonKADS doesn't define validation, verification or testing in any of its models. This research seeks to establish a direct relation between validation and lifecycle models, and introduces a validation method for KBS embedded into CommonKADS.
ID: 029810246; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Thesis (Ph.D.)--University of Central Florida, 2011.; Includes bibliographical references (p. 289-299).
Ph.D.
Doctorate
Electrical Engineering and Computer Science
Engineering and Computer Science

APA, Harvard, Vancouver, ISO, and other styles

4

Gill, Peter W. "Probing for a continual validation prototype." Link to electronic thesis, 2001. http://www.wpi.edu/Pubs/ETD/Available/etd-0826101-235008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ali, Mohammad. "Micro expert." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774767.

Full text

Abstract:

The purpose of this research was to investigate different approaches to expert system design and implementation. The resulting research information was used to create a microcomputer based expert system for the university computer services. The aim of this expert system is to help users (students, faculty, and staff) with micro computer purchases. As part of the research various interviews were conducted with prospective computer purchasers and the micro computer experts. This approach was taken to ensure that the system was easy to use and that it provided all users with vital information regarding the purchase of a computer system. Micro Expert was developed on IBM architecture using a commercially available expert system shell and 'C' programming language.The beta testing stage of the system was used to conduct more interviews and questionnaires with the microcomputer experts. This process was used to ensure that the product covered the most common questions of the users and provided adequate help and information on purchases.
Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

6

Scott, Lawrence Gill. "Explanations in hybrid expert systems." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/28741.

Full text

Abstract:

This thesis addresses the problem of providing explanations for expert systems implemented in a shell that supports a hybrid knowledge representation architecture. Hybrid representations combine rules and frames and are the predominant architecture in intermediate and high-end commercial expert system shells. The main point of the thesis is that frames can be endowed with explanation capabilities on a par with rules. The point is illustrated by a partial specification for an expert system shell and sample explanations which could be generated by an expert system coded to that specification. As background information, the thesis introduces expert systems and the standard knowledge representation schemes that support them: rule-only schemes, and hybrid schemes that combine rules with frames. Explanations for expert systems are introduced in the context of rules, since rules are the only representation for which explanations are supported, either in commercial tools or in the preponderance of research. The problem addressed by the thesis, how to produce explanations for hybrid architectures, is analyzed in two dimensions. Research was surveyed in three areas for guiding principles toward solving the problem: frame logic, metalevel architectures, and reflective architectures. With the few principles that were discovered in hand, the problem is then analyzed into a small number of subproblems, mainly concerning high-level architectural decisions. The solution proposed to the problem is described in two ways. First a partial specification for expert system shell functionality is offered, which describes, first, object structures and, then, behaviors at three points in time—object compilation time, execution time, and explanation generation time. The second component of the description is a set of extended examples which illustrate explanation generation in a hypothetical expert system. The solution adopts principles of reflective architectures, storing metainformation for explanations in metaobjects which are distinct from the object-level objects they explain. The most novel contribution of the solution is a scheme for relating all the ways that objects' slot values may be computed to the goal tree construct introduced by the seminal Mycin expert system. The final chapter explores potential problems with the solution and the possibility of producing better explanations for hybrid expert system shell architectures.
Science, Faculty of
Computer Science, Department of
Graduate

APA, Harvard, Vancouver, ISO, and other styles

7

Fisher, David B. "Expert systems in typography /." Online version of thesis, 1990. http://hdl.handle.net/1850/10583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Carden, Kenneth John. "Explanation in rule-based expert systems." Thesis, Rhodes University, 1988. http://hdl.handle.net/10962/d1002034.

Full text

Abstract:

The ability of an expert system to explain its reasoning is fundamental to the system's credibility. Explanations become even more vital in systems which use methods of uncertainty propagation. The research documented here describes the development of an explanation sub-system which interfaces with the P.R.O. Expert System Toolkit. This toolkit has been used in the development of three small ecological expert systems. This project has involved adapting the results of research in the field of explanation-generation, to the requirements of the ecologist users. The subsystem contains two major components. The first lists the rules that fired during a consultation. The second component comprises routines responsible for quantifying the effects on the system conclusions of the answers given to questions. These latter routines can be used to perform sensitivity analyses on the answers given. The incorporation of such routines in small expert systems is quite unique

APA, Harvard, Vancouver, ISO, and other styles

9

Bradshaw, John. "The P.R.O. expert system shell." Thesis, Rhodes University, 1987. http://hdl.handle.net/10962/d1006302.

Full text

Abstract:

This thesis reports the research which led to the development of the P.R .O. Expert System Shell. The P.R.O . System is primarily, though not exclusively , designed for use in ecological domains. In the light of two specific expert systems, The RCS (River Conservation Status) and the Aquaculture Systems, which were developed as part of this research, a number of areas of importance have been identified. The most significant of these is the need to handle uncertainty effectively. The style of knowledge representation to be implemented also plays an important role. After consulting the relevant literature and the available microcomputer expert system shells, a number of ideas have been included in the P.R.O. System. The P.R.O . System is a backward chaining, production system based expert system shell. It embodies a simple but effective method of handling uncertainty. An important feature of this method is that it takes cognizance of the different relative importances of the conditions which need to be satisfied before a conclusion can be reached. The knowledge base consists of more than rules and questions. It also contains meta-knowledge, which is used by the inference engine. The P.R.O. System has been designed to be of practical use. Its strongest recommendations are therefore, that the two non-trivial systems which have been implemented in it, have been accepted by the experts and their peers as systems which produce good, accurate answers .
KMBT_363
Adobe Acrobat 9.53 Paper Capture Plug-in

APA, Harvard, Vancouver, ISO, and other styles

10

Zoorob, Riad J. "S.E.S., a simulation expert system." Virtual Press, 1994. http://liblink.bsu.edu/uhtbin/catkey/897507.

Full text

Abstract:

The continuous increase in the cost of building real life projects, the high cost of researches concerning a project and the urgent demands for the project to be delivered in a short period of time have urged researchers to find a new scheme of programming in which they would be able to simulate or emulate the real life activities and projects using a computer and a procedural language. But such a scheme of programming was lengthy, tedious and costly. Therefore, it was necessary to find a specialized simulation software that would save the programmer's time and effort on the one hand and would save the client's money on the other. A number of simulation software were developed recently which contributed greatly to the solutions of the simulation problems. However, none of these languages possessed the completeness nor the independence of the use of other tools or procedural languages to compensate for their deficiencies.In this paper I have proposed a number of new ideas aimed to improve the simulation languages in general, and have implemented a number of these ideas in a software package. Chapter one describes the simulation model and the basic concepts of simulation. Chapter two describes briefly the advantages and disadvantages of using simulation software. Also it outlines the limitations of currently used simulation packages. Finally, it suggests new ideas and expectations of a complete simulation package. Chapter three describes the simulation package prototype S. E. S. and gives some implementations. Chapter four explains the basic differences between S. E. S. and SLAM II and shows areas for further research.
Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

11

Pau, Alexandra Y. "An automated verfication tool for expert systems." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/40219.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
Includes bibliographical references (leaf 47).
by Alexandra Y. Pau.
M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

12

Farmani, Maryam. "Object-oriented expert system design TEXPERT /." Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=2054.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 2001.
Title from document title page. Document formatted into pages; contains xii, 121 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 118-121).

APA, Harvard, Vancouver, ISO, and other styles

13

Aiken, Andrew. "AKT-R4 a diagnosis tool." Thesis, Available from the University of Aberdeen Library and Historic Collections Digital Resources, 2008. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?application=DIGITOOL-3&owner=resourcediscovery&custom_att_2=simple_viewer&pid=25223.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Janidlo, Peter S. "Rule-based expert systems and tonal chord classification." Virtual Press, 1999. http://liblink.bsu.edu/uhtbin/catkey/1137841.

Full text

Abstract:

The purpose of the proposed thesis is to:1. Define expert systems and discuss various implementation techniques for the components of expert systems. This includes discussion on knowledge representation, inference methods, methods for dealing with uncertainty, and methods of explanation. Specifically, the focus will be on the implementation of rule-based expert systems;2. Apply selected expert system techniques to a case study. The case study will be a rule-based expert system in Prolog to recognize and identify musical chords from tonal harmony. The system will have a general knowledge base containing fundamental rules about chord construction. It will also contain some knowledge that will allow it to deduce non-trivial chords. Furthermore, it will contain procedures to deal with uncertainty and explanation;3. Explain general concepts about music theory and tonal chord classification to put the case study in context; and4. Discuss the limitations of expert systems based on the results of the case study and the current literature.
Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

15

Colby, Lisa J. "Some roles for expert systems in planning." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/29925.

Full text

Abstract:

This thesis explores whether computer-based expert systems can be used in planning and, if so, under what circumstances. Expert systems are computer-based programs that solve problems in a way that mimics the human reasoning process. Expert system reasoning relies upon logic and rules-of-thumb rather than the numerical and mathematical algorithms of most other computer programs. Planning has been interpreted in the professional context of urban and regional planning, rather than the cross-disciplinary fiscal or project management planning often implied in computer literature. To determine expert systems could be useful to planners, the reasons for incompatibility between the nature of planning and conventional computers models of the past are explored. Advantages and disadvantages of expert systems are considered. Expert systems represent substantial improvement in areas where conventional programs are inadequate. Chapters 2 to 5 form the theoretical base of the thesis. Chapter 2 explains the fundamentals of expert system reasoning and how it differs from other computer software. Chapter 3 outlines reasons why this technology might appeal to planners. Chapter 4 introduces some of the disadvantages of expert systems, including technical limitations, ethical and legal issues. Chapter 5 introduces general guidelines to help the reader understand what type of planning tasks might benefit from the use of this new tool. Chapters 6 to 8 consider issues raised in the preceding chapters. Three Canadian systems now at the forefront of expert systems applications to planning are reviewed in chapters 6, 7 and 8 Respectively. The first application, HERMES, is an emergency planning application. It advises emergency response personnel during crises involving hazardous materials. SCREENER is an environmental planning application. It assists environmental officers at Transport Canada to assess simple capital projects for environmental impact statements and screen out more complicated ones for further review. The third application used for illustrative purposes, PLANCHECKER, is a municipal planning example. The system assists plan checkers at City Hall in assessing building plans. The three case-studies satisfy the task suitability guidelines quite well and appear to be successful applications of expert systems to planning. It is still too early to draw definite conclusions, but it is likely the technology will prove useful to planners. Planners should be prepared understand both the potential and limitations of expert systems so they can use the technology wisely.
Applied Science, Faculty of
Community and Regional Planning (SCARP), School of
Graduate

APA, Harvard, Vancouver, ISO, and other styles

16

Nursimulu, Khenaidoo. "Cause-effect validation of requirements for distributed systems." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/10377.

Full text

Abstract:

In this thesis we propose a requirement validation technique based on the Cause-Effect Graphing (CEG) technique. Originally, the CEG technique, proposed by Elmendorf (Elme73) as a black-box testing technique, was used to derive test cases from an informal specification to test the corresponding implementation. The test cases obtained from this method are correct only if the requirements are correct in the first place. Therefore, a technique is required to validate the requirements themselves. The key contribution of this thesis is a framework and methodology for employing the Cause-Effect Graphing approach as a technique for validation of specifications especially in the context of distributed systems. This technique has also been extended to apply to distributed software. The extension has given rise to the Extended Cause-Effect Graphing (ECEG) technique where we use scenarios as an effective means of checking network behaviors against customer expectations. Our ECEG approach has been validated by case studies of telephony features. In these case studies, we give some examples of instances of undesirable scenarios, such as feature interactions, which were derived directly from customer specifications, thus demonstrating that major problems in requirements definitions can be detected and corrected even before software design begins. This validation approach is based on heuristics which in turn are based on a limited survey of the practices in the application domain. A key benefit of this approach is that scenarios can be derived automatically from the CEG based on path sensitization, an idea borrowed from the world of Integrated Circuits verification methods. A tool prototype has also been developed on the Macintosh and Sun Workstation environments.

APA, Harvard, Vancouver, ISO, and other styles

17

Cheung, Kam-hing. "Quality training : an expert system application /." Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B18380499.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Wang, Jinchang. "Rule-based expert systems and discrete optimization." Diss., Georgia Institute of Technology, 1990. http://hdl.handle.net/1853/29358.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Hite, Lee Anne. "Designing a testing strategy for expert systems." Thesis, Virginia Tech, 1988. http://hdl.handle.net/10919/45156.

Full text

Abstract:

Testinq proqrams with tractable alqorithms is one area in which software enqineers have made numerous advances over the past few decades. Testinq rule-based expert systems, however, is a new area in software enqineerinq which requires new testinq techniques.

For the most part, traditional software enqineerinq testinq strateqies assume modular proqram development. This assumption is impractical to make for expert system development, for the knowledqe base of an expert system is quite simply a huqe non-modular proqram. It consists almost entirely of non-ordered, multi-branchinq decision statements. In traditional proqramminq, the module interfaces are limited and well defined. For rule-based expert systems, the interaction among rules is combinatoric and highly data-driven. Thus, the testing of a completed expert system via traditional path analysis is impractical.

The design of a testing strategy for expert systems focuses on the generic phases of expert system development. Briefly, these phases include system definition, incremental system implementation, and system maintenance.. Using this simplified breakdown of the expert system development process as a guide, certain testing techniques can be generalized enough to work for any expert system application.
Master of Science

APA, Harvard, Vancouver, ISO, and other styles

20

Dussault, Robert (Joseph Fernand Robert) Carleton University Dissertation Engineering Electrical. "A Diagnostic expert system for wide area networks." Ottawa, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Perdu, Didier Marie-Joseph. "Modeling and evaluation of expert systems in decisionmaking organizations." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Aiken, Milam Worth. "An expert systems approach to group decision support systems pre-session planning." Diss., The University of Arizona, 1991. http://catalog.hathitrust.org/api/volumes/oclc/31253019.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Boumezbeur, Rezki. "Design, specification, and validation of telephony systems in LOTOS." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7932.

Full text

Abstract:

LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnection) services and protocols. The topic of this thesis is first to present a Sample Telephone System, then formalize it using the FDT language LOTOS. The resulting LOTOS specification is then validated using an interpreter. Testing the design of the specification is also discussed. The thesis is structured as follows: in Chapter 1, we present an introduction to formal description techniques along with a review of some relevant existing work and the objective of this thesis. The next Chapter gives an overview of the LOTOS language. In Chapter 3, we discuss concepts of design of telecommunication systems. The Chapter includes an overview of telecommunication systems along with an informal description of a Sample Telephone System. In Chapter 4, we discuss the formal description in LOTOS of the Sample Telephone System presented in Chapter 3. Validation and testing of the specification are also part of Chapter 3. The conclusions of the thesis along with a discussion of possible future work follow in Chapter 5. Appendix A presents some technical abbreviations, and the Sample Telephone Specification is presented in Appendix B. In Appendix C, we present a set of test processes used to test the Sample Telephone Specification. Finally, some important symbolic trees of processes are presented in Appendix D.

APA, Harvard, Vancouver, ISO, and other styles

24

Song, Dershya. "PLANPERT : an expert system for administrative planning /." Online version of thesis, 1985. http://hdl.handle.net/1850/9043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Algharibi, Amani Jaber H. "Technology validation for e-trial systems." Thesis, University of Birmingham, 2016. http://etheses.bham.ac.uk//id/eprint/6786/.

Full text

Abstract:

This research study presents a Hypothesised Model, developed on the basis of the Unified Theory of Acceptance and Use of Technology (UTAUT). Its aim is to evaluate innovative Health Information Technology (HIT) at the early stages of projects. It is contended that this practice would support system developers at the design and implementation phases, and reduce the risk of underutilisation or rejection. The performance of the model was tested in three studies within the Clinical Trial Management Systems framework. The Hypothesised Model approaches Behavioural Intention from a socio-technical point of view, taking into consideration the complexity and need of HIT to achieve joint optimisation. Moreover, it simplifies and extends UTAUT so that it may fit soundly within the healthcare context. Hence, it excludes the moderators and adds three core constructs, including: System-Specific Features, Technology Anxiety, and Adaptation Timeline. However, the model is easily adjustable to fit specific situations, especially given that this research study posits the non-existence of a single model that suits all situations. This approach appears to have improved the final outcome and outperformed the use of generic models within the healthcare context. The total explained variance reported from the three studies is: (76%), (86%), and (87%) respectively.

APA, Harvard, Vancouver, ISO, and other styles

26

Kulkarni, Nitin Y. "Application of expert systems in landscape architecture." Thesis, Virginia Tech, 1989. http://hdl.handle.net/10919/43899.

Full text

Abstract:

Application of artificial intelligence (Al) has been a topic of interest among researchers for the past decade or more. Years of research in the commercial application of Al, availability of hardware support for Al application and affordability of software and hardware has generated a lot of interest in this field and brought this technology within the reach of micro-computer based users. The commercial impact of AI is due to expert systems (ESs). ES technology is a collection of methods and techniques for constructing human-machine systems with specialized problem solving expertise.

This project explores the application of ESs in landscape architecture by developing a prototype ES and testing implications of its use with designers while working on a hypothetical problem in a studio environment. The development process helps identify the typical difficulties of such an application, to uncover technical problems, and to identify areas needing further research.

The project aims at building an ES that provides very limited preliminary data and design guidelines to initialize the design process and keeps track of the most fundamental issues necessary for planning, thus acting as an expert and assistant simultaneously. The idea is to explore the possibility of applying ESs to facilitate the design process so that designers may concentrate on other important aspects of design which include intuitive judgement about qualitative aspects.

Master of Landscape Architecture

APA, Harvard, Vancouver, ISO, and other styles

27

Koushik, Geetha. "The specifications of an expert system for configuring teleconferencing systems." Master's thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-10242009-020049/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Cernik, Jacob A. "Framework for an expert system generator." Akron, OH : University of Akron, 2009. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=akron1240579896.

Full text

Abstract:

Thesis (M.S.)--University of Akron, Dept. of Computer Science, 2009.
"May, 2009." Title from electronic thesis title page (viewed 11/18/2009) Advisor, Chien-Chung Chan; Committee members, Kathy J. Liszka, Zhong-Hui Duan; Department Chair, Wolfgang Pelz; Dean of the College, Chand Midha; Dean of the Graduate School, George R. Newkome. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

29

Meyer, Derek Louis. "An electrocardiograph tutor using expert system technology." Master's thesis, University of Cape Town, 1989. http://hdl.handle.net/11427/27180.

Full text

Abstract:

Computer systems for the interpretation of diagnostic ECGs are widely used, but currently provide no explanatory or teaching functions of value to the less experienced practitioner. The relevant literature is reviewed, and specifications are provided for an ECG analysis system which will function as a learning aid for undergraduate and postgraduate medical students. Key aspects of the specifications are implemented on an IBM-PC. Recommendations for further development are provided.

APA, Harvard, Vancouver, ISO, and other styles

30

Atkinson, Karen A. "FRIC : an expert system to recognize fricatives /." Online version of thesis, 1987. http://hdl.handle.net/1850/8805.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Swaan, Arons Henk de. "Delfi design, development and applicability of expert system shells /." Delft : Delft University Press, 1991. http://books.google.com/books?id=2NZQAAAAMAAJ.

Full text

Abstract:

Thesis (doctoral)--Technische Universiteit Delft, 1991.
Summary and vita in Dutch and English; "stellingen" in Dutch. "Stellingen" inserted. Includes bibliographical references (p. 227-252) and index.

APA, Harvard, Vancouver, ISO, and other styles

32

Raghavendra, Archana. "(Semi) automatic wrapper generation for production systems by knowledge inference." [Gainesville, Fla.] : University of Florida, 2001. http://purl.fcla.edu/fcla/etd/UFE0000345.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2001.
Title from title page of source document. Document formatted into pages; contains viii, 73 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

33

Akladios, Magdy. "Safety by design-- an expert systems approach /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1033.

Full text

Abstract:

Thesis (Ph. D.)--West Virginia University, 1999.
Title from document title page. Document formatted into pages; contains xi, 238 p. : ill. (some col.) Includes abstract. Includes bibliographical references (p. 231-238).

APA, Harvard, Vancouver, ISO, and other styles

34

Yang, Shao-Shi 1958. "Expert system for broadband network cable plant physical layout." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276832.

Full text

Abstract:

Broadband local area network cable plant design is a time consuming work, it takes lots of computation and it depends a lot on designer's experience. In this thesis the author presents an approach to cable plant design automation, the expert system was implemented in language SCHEME, symbol manipulation was used to generate the data structure (tree) which represent the design results. Signal level simulation can be performed based on the data structure.

APA, Harvard, Vancouver, ISO, and other styles

35

Hu, Zhiji. "Statistical approach toward designing expert system." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/539812.

Full text

Abstract:

Inference under uncertainty plays a crucial role in expert system and receives growing attention from artificial intelligence experts, statisticians, and psychologists. In searching for new satisfactory ways to model inference under uncertainty, it will be necessary to combine the efforts of researchers from different areas. It is expected that with deep insight into this crucial problem, it will not only have enormous impact on development of AI and expert system, but also bring classical areas like statistics into a new stage. This research paper gives a precise synopsis of present work in the field and explores the mechanics of statistical inference to a new depth by combining efforts of computer scientists, statisticians, and psychologists. One important part of the paper is the comparison of different paradigms, including the difference between statistical and logical views. Special attentions, which need to be paid when combining various methods, are considered in the paper. Also, some examples and counterexamples will be given to illustrate the availability of individual model which describes human behavior. Finally, a new framework to deal with uncertainty is proposed, and future trends of uncertainty management are projected.
Department of Mathematical Sciences

APA, Harvard, Vancouver, ISO, and other styles

36

Senniappan, Arul Prasad. "Baselining a compressed air system an expert systems approach /." Morgantown, W. Va. : [West Virginia University Libraries], 2004. https://etd.wvu.edu/etd/controller.jsp?moduleName=documentdata&jsp%5FetdId=3404.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 2004.
Title from document title page. Document formatted into pages; contains xiii, 148 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 90-95).

APA, Harvard, Vancouver, ISO, and other styles

37

Bhandari, Archna. "Enhancements to the frame virtual machine /." Online version of thesis, 1989. http://hdl.handle.net/1850/10581.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Kotnour, Timothy G. "Design, development, and testing of an automated knowledge-acquisition tool to aid problem solving, decision making, and planning." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-12302008-063800/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Moharari, Nader S. "An electric load forecasting approach using expert systems and artificial neural networks." Diss., Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/13757.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Huang, Xing. "Towards the validation of distributed systems based on data flow analysis." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7760.

Full text

Abstract:

This thesis proposes a new approach for the detection of data flow anomalies and generation of selective test sequences for distributed systems specified in LOTOS. It includes a Data Petri-Net (DPN) model for system specification. The model is an ordinary Petri-net extended with the capabilities of handling abstract data types, unusual actions and data synchronization. Based on the DPN, parameter (variable/constant) occurrences are classified as definition, undefinition and use. A method called DETANOM is then developed for detecting data flow anomalies, such as undef-use, def-def and def-undef anomalies. To facilitate the selection of test sequences, three families of data-flow-oriented coverage criteria are proposed, which include all-defs covers, all-uses covers and all-du-paths covers. Test sequences selected according to these criteria aim at checking whether an implementation under test possesses the desired associations among the values of the input and output parameters. A method called GENTEST is also developed for generating selective test sequences according to these criteria. Finally, these DPN-based methods are applied to the validation of LOTOS specifications. Details of an application to the Alternating Bit Protocol are included.

APA, Harvard, Vancouver, ISO, and other styles

41

Wang, Han-lung 1960. "An expert system for low-level image processing." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276821.

Full text

Abstract:

The problem approached in this thesis is how to help the novice do image processing with a rule-based system. An interactive expert system prototype, which includes the image processing functions of SADIE, has been created. A software interface between the image processing environment, SADIE, and the expert system tool, CLIPS, has been coded in standard C. Knowledge about low-level image processing (contrast enhancement and noise suppression) has been successfully implemented in the CLIPS program. The experimental results have shown that this system is efficient and friendly. Although this system was developed on a VAX under VMS, it is easily modified for most machines because it includes the portability of CLIPS. With only a minimal amount of work, we also can incorporate the system with the new SADIE C version, which has been developed in another project.

APA, Harvard, Vancouver, ISO, and other styles

42

Parsons, John Scott. "Automated knowledge acquisition for knowledge-based systems, KE-RIT : the Use of Kelleys' personal construct theory in the automation of knowledge acquisitions (theory and prototype) /." Online version of thesis, 1992. http://hdl.handle.net/1850/11056.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Motta, Enrico. "Reusable components for knowledge modelling." N.p, 1997. http://ethos.bl.uk/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Jacobson, Guy. "The development of an expert system shell with a mixed knowledge representation, explicit control of reasoning and a truth maintenance system." Master's thesis, University of Cape Town, 1988. http://hdl.handle.net/11427/15897.

Full text

Abstract:

Bibliography: pages 227-236.
This thesis concentrates on several important issues in expert system research, namely - representation of knowledge - control of reasoning - implementation of non-monotonic logics via truth maintenance systems. There are three parts to this thesis. PART1 covers the background research in the above mentioned topics. PART2 discusses the WISE system and the way in which research from PART1 was applied to the development of the WISE shell. PART3 considers the features of other expert system shells.

APA, Harvard, Vancouver, ISO, and other styles

45

Froese, Thomas Michael. "Implementing Dempster-Shafer theory for inexact reasoning in expert systems." Thesis, University of British Columbia, 1988. http://hdl.handle.net/2429/28383.

Full text

Abstract:

The work described in this thesis stems from the idea that expert systems should be able to accurately and appropriately handle uncertain information. The traditional approaches to dealing with uncertainty are discussed and are shown to contain many inadequacies. The Dempster-Shafer, or D-S, theory of evidence is proposed as an appealing theoretical basis for representing uncertain knowledge and for performing inexact reasoning in expert systems. The D-S theory is reviewed in some detail; including its approaches to representing concepts, to representing belief, to combining belief and to performing inference. The D-S implementation approaches pursued by other researchers are described and critiqued. Attempts made early in the thesis research which failed to achieve the important goal of consistency with the D-S theory are also reviewed. Two approaches to implementing D-S theory in a completely consistent manner are discussed in detail. It is shown that the second of these systems, a frame network approach, has led to the development of a fully functional prototype expert system shell called FRO. In this system, concepts are represented using D-S frames of discernment, belief is represented using D-S belief functions, and inference is performed using stored relationships between frames of discernment (forming the frame network) and D-S belief combination rules. System control is accomplished using a discrete rule-based control component and uncertain input and output are performed through an interactive belief interface system called IBIS. Each of these features is reviewed. Finally, a simple but detailed example of an application of a frame network expert system is provided. The FRO system user's documentation is provided in the appendix.
Applied Science, Faculty of
Civil Engineering, Department of
Graduate

APA, Harvard, Vancouver, ISO, and other styles

46

Smith, Jack Willard. "RED : a classificatory and abductive expert system /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487265143148972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Corsar, David. "Developing knowledge-based systems through ontology mapping and ontology guided knowledge acquisition." Thesis, Available from the University of Aberdeen Library and Historic Collections Digital Resources, 2009. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?application=DIGITOOL-3&owner=resourcediscovery&custom_att_2=simple_viewer&pid=25800.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

St, Jacques Robert J. "XESS : the XML expert system shell /." Online version of thesis, 2008. http://hdl.handle.net/1850/7518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Burkett, Brendan J. "An expert system for city building foundation construction." Thesis, Queensland University of Technology, 1990. https://eprints.qut.edu.au/36474/1/36474_Burkett_1990_Vol-1.pdf.

Full text

Abstract:

The application of Expert Systems in the Geotechnical and Construction fields of Civil Engineering has been investigated and a prototype knowledge based Expert System (SITEPREP) has been developed for site preparation when constructing city building foundations. In developing this system the problems of knowledge acquisition and the selection of a suitable expert system building environment have been investigated. It has been concluded that knowledge acquisition is the most important criterion when developing an expert system. Further, it has been found that the most efficient method to collect expertise is to develop an initial system in-house, then have the experts validate and provide further knowledge for the system. An existing shell (LEONARDO 3 .18) has provided the medium in which to encapsulate the experts' knowledge. This shell has also ensured rapid system development. The various methods of obtaining knowledge, in particular interviewing, are discussed in the thesis. A review of the effects of foundation construction on existing buildings, and the methods of protecting these structures was conducted to provide the documented expertise on which the initial in-house system has been based. Prediction of ground movements due to adj a cent construction is considered and the effects of different soil, shoring and workmanship parameters are combined into one set of "zones of movement" for use in the expert system. The expert system, SITEPREP, has been evaluated by practising construction and geotechnical engineers. The development of this expert system has shown that such systems are possible and justified and particularly appropriate for geotechnical and construction engineering. A number of proposals for future developments are presented.

APA, Harvard, Vancouver, ISO, and other styles

50

Bower, Jeffrey R. "An expert system to provide direct gain passive solar design assistance." Virtual Press, 1995. http://liblink.bsu.edu/uhtbin/catkey/941364.

Full text

Abstract:

An expert system has been constructed for the purpose of assisting in the design and analysis of direct gain passive solar environments. This system has been constructed for the use of senior undergraduate architecture students in a computer-based design studio. The primary use of the system is in the role of an educational tool which generates design recommendations from user input and predicts some physical characteristics of the environment.The system is applicable to passive solar environments with vertical, south-facing glazing. The system incorporates three models. The first model represents an attached sunspace with no thermal mass storage. The second model represents a direct gain living space. The third model represents a direct gain living space integrated with thermal mass storage. The third model allows the use of floors, ceilings, and walls as mass for thermal storage. Four representative mass materials (concrete, adobe, common brick, and dense concrete masonry) have been included for comparison purposes. Four representative sub-climates are also incorporated into the system: cold / arid, hot / arid, hot / humid, and cool / humid. For educational purposes, the system makes separate calculations for identical structures based on models for inhabited and uninhabited cases.The system incorporates scientific and mathematical relationships as well as rulesof thumb which have demonstrated their applicability to passive solar design. The system performs calculations based on work by Balcomb, et al. [5, 9], and Duffle and Beckman [1], to estimate environmental temperature swings, total solar energy input, and thermal absorption by mass storage elements. The system also utilizes models based upon work by Mazria [4] to recommend glazing areas. Recommended glazing areas are calculated from user input variables such as structure type, site latitude, and floor area.The system's ease of use allows it to be adapted for various classroom goals, and its generalized nature permits the instructor to adapt it easily into different areas of architectural design curricula. The system is written for use with the CLIPS expert system shell.
Department of Physics and Astronomy

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Expert systems (Computer science) Validation'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles