Production Rules as a Representation for a Knowledge-Based Consultation Program

1977 ◽  
pp. 3-37 ◽  
Author(s):  
Randall Davis ◽  
Bruce Buchanan ◽  
Edward Shortliffe
Keyword(s):  
Production Rules ◽  
Knowledge Based

A Low Cost Knowledge Based System Framework for Design of Bending Die

2013 ◽  
Vol 549 ◽  
pp. 284-291 ◽  
Author(s):  
Deepak Panghal ◽  
Shailendra Kumar
Keyword(s):  
Sheet Metal ◽  
Low Cost ◽  
Visual Basic ◽  
Die Design ◽  
Small Scale ◽  
Production Rules ◽  
System Framework ◽  
Knowledge Based System ◽  
Sheet Metal Parts ◽  
Knowledge Based

This paper presents a low cost knowledge based system (KBS) framework for design of bending die. Considerations for development of KBS are discussed at some length. The proposed framework divides the task of development of expert system into different modules for major activities of bending die design. The procedure of development of KBS modules is also described at length. Production rules for each module are recommended to be coded in the AutoLISP language and designed to be loaded into the prompt area of AutoCAD or through user interface created using Visual Basic. Each module of the proposed framework is user interactive. Development of one module of the proposed framework is also described at length. This module is capable to assess manufacturability of bending sheet metal parts. An illustrative example is also included to demonstrate the usefulness of this module. The proposed system framework is flexible enough to accommodate new acquired knowledge. As the proposed system is implementable on a PC having AutoCAD software, therefore its low cost of implementation makes it affordable even by small scale sheet metal industries.

Design and Implementation of an Intelligent CAD System

1987 ◽  
Author(s):  
M. J. Jakiela ◽  
P. Y. Papalambros
Keyword(s):  
Computer Aided Design ◽  
Design System ◽  
Knowledge Based Systems ◽  
Production Rules ◽  
Automated Assembly ◽  
Cad System ◽  
Design And Implementation ◽  
Knowledge Based ◽  
System Requirements ◽  
Aided Design

Abstract System requirements and system design for integrating a production rule program and a computer aided design system are presented. An implementation using a commercially available graphics modeling system is described. A “suggestive mode” interface is programmed as an example with application to design for automated assembly. Initial use of the implementation indicates that encoding production rules is more difficult than with conventional text-only knowledge-based systems, but that this system is a more effective way to use artificial intelligence techniques in design.

A KNOWLEDGE-BASED APPROACH FOR THE SPECIFICATION AND ANALYSIS OF REAL-TIME SOFTWARE SYSTEMS

1992 ◽  
Vol 01 (01) ◽  
pp. 1-35 ◽  
Author(s):  
JEFFREY J. J.-P. TSAI ◽  
HUNG-CHIN JANG
Keyword(s):  
Real Time ◽  
Basic Structure ◽  
Software Systems ◽  
Real Time Systems ◽  
Production Rules ◽  
First Order ◽  
Knowledge Based ◽  
Representation Techniques ◽  
Time Systems ◽  
Specification Analysis

FRORL (Frame-and-Rule Oriented Requirements specification Language) was proposed to exploit knowledge representation techniques as an aid in the specification, analysis, and development of a software system. With the real-time software systems as our target systems, the merely mechanisms provided by FRORL cannot meet the specific demands on real-time software systems. As a result, in this paper, we propose RT-FRORL (Real-Time FRORL) as an extension of FRORL. RT-FRORL not only inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules. The semantics of RT-FRORL is defined through the integration of first order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be easily specified.

Retrospective on “Production rules as a representation for a knowledge-based consultation program”

1993 ◽  
Vol 59 (1-2) ◽  
pp. 181-189
Author(s):  
Randall Davis ◽  
Bruce G. Buchanan ◽  
Edward H. Shortliffe
Keyword(s):  
Production Rules ◽  
Knowledge Based

ML-SMART: A Problem Solver for Learning from Examples

1989 ◽  
Vol 12 (1) ◽  
pp. 29-49
Author(s):  
F. Bergadano ◽  
R. Gemello ◽  
A. Giordana ◽  
L. Saitta
Keyword(s):  
Order Logic ◽  
Concept Acquisition ◽  
Problem Solver ◽  
Noisy Environments ◽  
Production Rules ◽  
Independent System ◽  
Constructive Learning ◽  
First Order ◽  
Knowledge Based ◽  
Domain Independent

This paper describes ML-SMART, a knowledge based system for inducing conceptual description from examples. It is organized as a problem solver and makes an integrated use of multiple search strategies, including characterization, constructive learning and deduction. The acquired knowledge consists of production rules organized into a network, which can be seen as a generalization of a decision tree. The condition part of the rules is expressed in a first order logic language also containing numerical quantification. The use of variables and functions allows highly structured concepts to be easily described. ML-SMART (Similarity-based Multiple-concept Acquisition and Reasoning Tool) is a domain independent system, provided with a friendly interface to ease the task of configuring a new application. It is well suited to work in noisy environments and has been tested in different domains for the sake of comparison with other existing systems.

Process Modelling and Formulation for the Development of an Intelligent Set-up Planning System

1995 ◽  
Vol 209 (6) ◽  
pp. 455-467 ◽  
Author(s):  
S K Ong ◽  
A Y C Nee
Keyword(s):  
Problem Solving ◽  
Knowledge Acquisition ◽  
Fuzzy Sets ◽  
Fuzzy Set ◽  
Planning System ◽  
Production Rules ◽  
Knowledge Based ◽  
Control Framework ◽  
Thinking Processes ◽  
Set Up

A set-up is a group of features that are machined together in one particular orientation and position of a workpiece. Hence, the task of set-up planning is to group the features that are required on a part into set-ups and sequence these resultant groups to form an optimally ordered plan to produce the part. This ordered plan has forthright effects on the process and fixture plans that are needed to produce this part. This paper presents the knowledge modelling and formulation process for the development of an intelligent set-up planning system. The knowledge-based information needed for set-up planning from experts in the machining domain and the problem-solving procedures of these experts were obtained from a knowledge acquisition process and modelled in this set-up planning system. The acquired knowledge is modelled using production rules and fuzzy sets, and is coupled with a fuzzy-set-based formulation of the problem-solving procedures of these experts. This formulation and a control framework for set-up planning that closely emulates the expert's thinking processes during planning are integrated to formulate set-up plans.

Design and Implementation of a Prototype ‘Intelligent’ CAD System

1989 ◽  
Vol 111 (2) ◽  
pp. 252-258 ◽  
Author(s):  
M. J. Jakiela ◽  
P. Y. Papalambros
Keyword(s):  
Computer Aided Design ◽  
Design System ◽  
Production Rules ◽  
Automated Assembly ◽  
Knowledge Domains ◽  
Cad System ◽  
Design And Implementation ◽  
Knowledge Based ◽  
System Requirements ◽  
Aided Design

System requirements and system design for integrating a production rule program and a computer aided design system are presented. An implementation using a commercially available graphics modeling system is described. A “suggestive mode” interface is programmed as an example with application to design for automated assembly. Initial use of the implementation indicates that encoding production rules is more difficult than with conventional text-only knowledge-based system, but that this system is a more effective way to use artificial intelligence techniques in design. The system is intended for use with knowledge domains that are not well represented by usual analytical means.

scholarly journals An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph

Symmetry ◽  
2018 ◽  
Vol 10 (10) ◽  
pp. 454 ◽  
Author(s):  
Kai-Qing Zhou ◽  
Li-Ping Mo ◽  
Lei Ding ◽  
Wei-Hua Gui
Keyword(s):  
Petri Net ◽  
Large Scale ◽  
Production Rules ◽  
Knowledge Based ◽  
Three Phase ◽  
Fuzzy Petri Net ◽  
Fuzzy Production Rules ◽  
Relationship Of ◽  
Reachability Tree ◽  
Automatic Algorithm

Fuzzy Petri net (FPN) is widely used to repre sent, model and analyse knowledge-based systems (KBSs). Meanwhile, a reachability tree is an important tool to fully represent the flow relationship of FPN and is widely applied to implement inference in industrial areas. However, the traditional reachability ignores recording the dependence relationships (‘and/or’ relationship) among the places in the neighbouring layers. This paper develops a modified reachability tree based on an and/or graph and presents a three-phase generation algorithm to model the reachability tree for the corresponding FPN automatically via fuzzy production rules (FPRs). Four cases are used to verify the correctness and feasibility of the proposed algorithm from different viewpoints, such as general FPRs, FPRs with a condition-sharing situation, FPRs with a conclusion-sharing situation, and FPRs with multi-conclusions. Simulation results reveal that the proposed approach has the ability to automatically generate the reachability tree for the corresponding FPN correctly.

Production rules as a representation for a knowledge-based consultation program☆

1977 ◽  
Vol 8 (1) ◽  
pp. 15-45 ◽  
Author(s):  
Randall Davis ◽  
Bruce Buchanan ◽  
Edward Shortliffe
Keyword(s):  
Production Rules ◽  
Knowledge Based
Sign in / Sign up

Export Citation Format

Share Document