ArticlePDF Available

Abstract

Abstract Several approaches,and systems have been,proposed,in generative Computer,Aided Process Planning field (CAPP), with different advantages and drawbacks. Most of these works are based on expert systems, production rules or special-purpose planning systems. In expert systems,and,production,rules systems much knowledge representation is required, and special-purpose planning systems, on the other hand, are specific of each industry and manufacturing capabilities, which makes it difficult and expensive to implement,or extend them,to other cases. In this paper an artificial intelligence planning model,for CAPP is presented, which has the advantage of being more easily adapted and extended for different industries and manufacturing capabilites, because of the declarative definition language it supports. An analysis of the advantages and drawbacks of this kind of techniquesis also presented, and some problems and possible improvements,are discussed,and proposed,for furtherdevelopment. Keywords,: Intelligent Agent, Artificial Intelligence, Planning, Computer Aided Process Planning
19
th
International Conference on Production Research
ARTIFICIAL INTELLIGENCE PLANNING FOR GENERATIVE
COMPUTER AIDED PROCESS PLANNING
M.G. Marchetta, R.Q. Forradellas
Facultad de Ingeniería, Universidad Nacional de Cuyo, Centro Universitario, Mendoza, Argentina
Abstract
Several approaches and systems have been proposed in generative Computer Aided Process Planning
field (CAPP), with different advantages and drawbacks. Most of these works are based on expert systems,
production rules or special-purpose planning systems. In expert systems and production rules systems
much knowledge representation is required, and special-purpose planning systems, on the other hand, are
specific of each industry and manufacturing capabilities, which makes it difficult and expensive to
implement or extend them to other cases. In this paper an artificial intelligence planning model for CAPP is
presented, which has the advantage of being more easily adapted and extended to different industries and
manufacturing capabilities, because of the declarative definition language it supports. An analysis of the
advantages and drawbacks of this kind of techniques is also presented, and some problems and possible
improvements are discussed and proposed for further development.
Keywords:
Computer Aided Process Planning, Intelligent Agent, Artificial Intelligence, Planning.
1 INTRODUCTION
Computer Aided Process Planning is an important activity
in an intelligent manufacturing environment. Several
techniques have been proposed, implemented and tested
in the context of generative CAPP.
In expert systems and production rules systems,
manufacturing knowledge is represented in the form of
logic rules that are later used for building process plans for
parts to be manufactured [1]. This kind of systems have
the drawback that much knowledge must be represented
because manufacturing procedures, machines, tools,
tolerances, manufacturing features, etc. are tightly coupled
in the logic rules that drive the reasoning during process
planning, thus requiring the manual representation of
many combinations of these elements.
Special-purpose systems on the other hand, have good
accuracy and performance in the special cases they are
meant to, but their generalization and extension is difficult
and requires a lot of work. They often have built-in specific
features of certain class of problems, thus requiring
significative modifications for each problem class the
system is to be used, as well as for each extension within
the same case [2].
Modern artificial intelligence planners are reasoning
systems, which use expressive declarative languages for
representing knowledge about goals and actions for
achieving them, along with their preconditions and effects.
Thus, these planners are capable of finding solutions
chaining action sequences to achieve goals or
preconditions of other actions [3, 4]. Because of the
declarative nature of the languages used by these
planners and their working philosophy, they are more
flexible than expert or rules based systems in that not
every combination of elements must be explicitly
represented, but only the system’s capabilities. Thus,
these systems allow for easy extension and
implementation, because less knowledge needs to be
represented, and because they are more general than
special-purpose systems.
Very few approaches that use artificial intelligence
planning algorithms have been proposed [5], and some
works criticize them precisely because of the general
applicability of this kind of algorithms [2]. However, the
advantages mentioned above make them a good
alternative to be considered. In this paper, an artificial
intelligence planning model for CAPP is presented, and
the results of the analysis and experiments in applying this
technique to CAPP is reported, along with a discussion
and recommendations about improvements needed as
future work.
This paper is organized as follows. In section 2, an
overview of the planning problem is presented, along with
a description of the graphplan algorithm (which was the
one used in the experiments). Section 3 presents the
planning model used in the prototype implementation for
the proposed system. In section 4 the experiments carried
out are described, and the results are reported. Section 5
presents a discussion about the advantages and
drawbacks of the artificial intelligent planners for CAPP.
Finally, section 6 presents conclusions and future work.
2 ARTIFICIAL INTELLIGENCE PLANNING
2.1 The planning problem
The planning problem may be defined as follows: given an
initial state I, a goals set G, and a set of action schemas A,
find a sequence of actions S such that G is achieved
executing S in I.
There are basically two kinds of AI planners: reactive
planners and generative planners. Reactive planners
search plans for achieving the given goals within a plan
library (e.g. [6]). Generative planners on the other hand, try
to generate a solution from scratch when the goal is given,
by means of some reasoning mechanism (e.g. [3,4]).
Reactive planners have the advantage of having much
better performance than generative ones, but the library of
possible plans must be defined (usually by hand) before
the problem solving stage. Generative planners on the
other hand, are more dynamic and can generate new
solutions when they are provided with new capabilities,
which requires less knowledge-representation.
In this work, a generative planner was used as part of the
intelligent agent implemented, in order to make the system
as easy to adapt or extend as possible.
2.2 The Graphplan algorithm
For this work the Graphplan algorithm (described in [3])
was used. This planning algorithm is based on a compact
structure named planning graph. In this graph, nodes
represent actions instances and facts, and edges
represent either mutual exclusion constraints between
nodes or cause-effect relationships between actions and
facts.
The basic idea of the algorithm is to fully generate the
graph representing the search space, and then to search
for a solution within it. Using the initial state description,
the actions schemas available and the goals to be
achieved, the graph is generated from the initial state to
the goals, inserting at each moment those actions whose
preconditions are satisfied in the current world state.
On each stage of the generation process, all possible
instantiations of the actions schemas whose preconditions
are true, are added as nodes of the graph, and then
consistency constraints are computed (this constraints are
later used during the search procedure). When an
operator instance is added to the graph, the effects made
true by the operator are also added as fact nodes.
The graph generation procedure ends when the planning
graph stabilizes: when two consecutive stages result in the
same graph (i.e., no more facts are made true by the
addition of instances of the valid action schemas).
Once the planning graph has been generated, a search
procedure is carried out over the graph in order to find a
consistent solution to the problem. A solution is a set of
operator instances that leads from the initial state to the
goal state, and where no mutual exclusion constraints are
violated. Several techniques could be used for the search
procedure, but the implementation used in this work
(developed by the authors of [3] and freely available on the
Internet), performs a depth-first search starting from the
goals and going backwards towards the initial state.
There are some important points to be remarked. The
generation of the planning graph is very fast, since no
backtracking is used and no combinatorial search is
performed (consistency constraints are not checked, but
only determined during the graph generation stage).
Another important point is that the algorithm makes strong
commitments with the variable values, because it
generates the full planning graph before it proceeds to
search for a solution. During the planning graph
generation, every consistent instantiation of the action
schemas is added to the graph as a node, which can
potentially make the graph too big (if there are many
consistent instantiations), or may require the evaluation of
a great quantity of action instances (this problem was
described in [7]).
2.3 The domain definition language
The modeling language used by Graphplan is similar to
the STRIPS language [8]. In STRIPS a domain is defined
by an initial state, a goal state, a set of valid objects and a
set of operators (actions schemas).
Objects are the entities with which relationships are
defined. Operators can not create or destroy objects, so
every valid object must be defined in the domain. An
object is defined in the domain by providing its name and a
type or class for it.
The initial and goal states are defined by a set of
propositions. Propositions in the initial state correspond to
facts that are true in that state. Propositions in the goal
state on the other hand, are facts that must be true at the
end of the plan execution from the initial state.
Operators are defined by an operator name, a set of
parameters along with their types, a set of preconditions
and a set of effects. The preconditions and effects are
represented as predicates with constants and variables.
Variables are represented with names enclosed in “<” and
“>” symbols. Predicates are enclosed between
parentheses.
Figure 1: Domain definition example.
Figure 1 presents an example of the different parts of a
domain definition in the graphplan’s STRIPS-like
language.
3 PLANNING IN CAPP
An intelligent agent was developed for this work. This
agent can take a STEP file as input, and has the capability
of generating a machining process plan to manufacture
the part modeled in the file. The agent has several
components: a STEP interface, a preprocessor, a
machining feature recognizer and a generative process
planner. The basic technology used for the process
planning component (the one described in this paper), is a
graphplan planner. In particular, for the prototype system
built for the experiments, a modified version of the Blum
and Furst’s implementation was used.
3.1 System’s architecture
The intelligent agent built has four main components: the
STEP interface, a preprocessor, a features recognizer and
a generative process planner. Figure 2 depicts the whole
system architecture.
Figure 2: System’s architecture
(FACE1 ADVANCED_FACE)
(a) Object definition
(preconds
(surfaceShape FACE1 PLANE)
...
)(b) Partial Initial Stat e
(effects
(machinedFace FACE1)
...
)(c) Partial Goal State
(operator END_MILLING
(params
(<face1> ADVANCED_FACE)
(feature> POCKET)
)
(preconds
(loadedTool
MILLING_MACHINE
CUTTER)
...
)
(effects
(machinedFace <face1>)
...
)(d) Partial Operator
INTELLIGENT CAPP AGENT
INTELLIGENT CAPP AGENT
CAPP Software Interface
CAPP Software Interface
STEP AP203
File
Process
Plan
Brep model
Brep
planning
model
Features
Model
MANUFACTURING ENGINEER
MANUFACTURING ENGINEER
Preprocessor
STEP Interface
GPPlanner
(Process Planner)
GFRec
(Features Recognizer)
19
th
International Conference on Production Research
The part models for which machining process plans can
be built are taken from files in STEP-AP203 format. The
STEP interface component is capable of reading and
parsing these files into a conceptual boundary
representation model of the piece (a brep model).
The preprocessor takes the parsed brep model and
translates it into a representation suitable for the feature
recognizer and the process planner.
The preprocessor basically translates the brep model into
a planning domain description of the piece. This domain is
then used by the features recognizer in order to identify
the part’s machining features, and later by the process
planner for building the manufacturing process plan.
The feature recognizer uses the domain model produced
by the preprocessor component. The process planner, on
the other hand, takes as input an augmented domain
definition, in which the brep model of the part is
complemented with the identified features.
3.2 Process planning domain definition
The complete feature model used by the GPPlanner
process planner includes geometrical and topological
information taken from the brep model, as well as the
semantic meaning added by the features identified by the
GFRec feature recognizer. Topological and geometrical
information includes part faces, their shape and their
connection information (adjacency, edge’s concavity, etc).
In terms of AI planning, objects in the domain are part
faces, machines, tools and machining features. Part faces
are directly taken from the brep model. Available machines
and tools are contained in configuration files, which can be
modified at any moment.
The use of separated files or database for configuration
data makes it easy to extend the system with new
manufacturing capabilities, and to adapt it to different
manufacturing industries. The part’s machining features
are identified dynamically by the feature recognizer.
As can be seen, the input used by the process planner is a
merge between the translated brep model generated by
the preprocessor, the feature model built by GFRec, and
the manufacturing capabilities provided by the
manufacturing engineer through configuration files. Figure
3 shows examples of the objects in the CAPP domain.
The initial state of the planning problem is composed by
several types of logic predicates, representing
relationships between the objects in the CAPP domain.
A limited form of setup planning is supported in the current
implementation of GPPlanner, by means of the
loadedTool
predicate, which is used to indicate which tool is mounted
on a machine, as shown in the following example:
(loadedTool DRILL DRILL_BIT)
Figure 3: Object definitions for CAPP planning domain
Each machining feature instance recognized has a feature
type (a part may contain more than one instance of the
same feature type, e.g. more than one hole or pocket).
The implemented prototype can recognize more than 30
features, most of which were taken from [9].
The feature type is indicated in the initial state with the
featureType
predicate, which has the following form:
(featureType <feature> <type>)
Each feature is related to a set of faces, some of which
must be machined for the feature to exist. The relationship
between a face and a feature was modeled with the
partOf
predicate:
(partOf <face> <feature>)
In the proposed model, not all the faces related to a
feature must be machined for the feature to exist. For
those that must be machined, the
machinedFor
predicate
was used:
(machinedFor <face> <feature>)
Finally, the topological and geometrical data of the part to
be manufactured was modeled using three predicates:
surfaceShape
,
surfaceConvexity
and
connection
. The
surfaceShape
predicate relates a face with its shape,
where the shapes are those specified in the ISO 10303-
AP203 standard:
(surfaceShape FACE1 CYLINDRICAL_SURFACE)
The
surfaceConvexity
is needed for correct planning of
manufacturing operations of certain features (like rounded
corners):
(surfaceConvexity FACE1 CONVEX)
Finally, the most important topological information was
modeled with the
connection
predicate, which relates
adjacent faces, and specifies the shape and convexity of
the edge shared by them:
(connection FACE1 FACE2 CIRCLE CONVEX)
The goal of the CAPP planning model is to machine every
face in the features model. The predicate
machinedFace
was used to specify the planning goal, i.e. the faces that
should be manufactured by machining operations
performed on the stock material:
(machinedFace <face>)
The planning operators (i.e., the action schemas)
represent the supported machining operations. When new
machines and tools are incorporated to a factory, their
corresponding manufacturing capabilities should be added
to the model in order to allow the process planner to use
them.
The advantage of the proposed approach is that, as
shown before, machines, tools and manufacturing
operations are represented in a simple declarative
language, rather than being embedded inside the software
that performs the process planning.
In the proposed CAPP planning model, the effects of the
operators (the machining processes) are related with the
goals to be achieved. Thus, the effect of each operator is a
conjunction of
machinedFace
predicates (see figure 1 for
an example of a machining operation modeled as a
graphplan planning operator).
(LATHE MACHINE)
(DRILL MACHINE)
(FACE_MILLING_CUTTER TOOL)
(DRILL_BIT TOOL)
(#25-FACE1 ADVANCED_FACE)
(#57-FACE2 ADVANCED_FACE)
(CYLINDRICAL.HOLE1 MACHINING_FEATURE)
(CYLINDRICAL.POCKET1 MACHINING_FEATURE)
Figure 4: Test part used in the experiments
Preconditions of the operators include not only the
geometrical and topological information of the part, but
also the relationship between this data and the recognized
features. When all this data matches the preconditions of
a machining operation, this operator schema is properly
instantiated and added to the planning graph as a
candidate element of the final process plan.
Thus, this version of the process planner is strongly
coupled with the features recognizer, situation that has
some advantages and drawbacks that will be discussed in
later sections. The planning model described above was
the one used in the experiments.
4 EXPERIMENTS
Some experiments were carried out in order to test the
proposed approach. Figure 4 shows a part modeled in
STEP AP 203 format, used for the experiments. This
example (and many other mechanical parts in the same
format) is available for download from the National Design
Repository [10].
Some parts of the prototype software were developed in
Java programming language (the STEP interface, the
preprocessor and part of the GFRec features recognizer
and GPPlanner process planner). The graphplan planner
implementation used is written in C language.
The simple test part shown in the figure has several
machining features. In terms of the features reported in [9],
the part presents two cylindrical holes, two cylindrical
pockets, a non-through slot, a flat step and two fillets
(rounded corners). Figure 5 shows the (simplified) feature
model generated by GFRec.
Figure 5: The features model generated by GFRec
Figure 6: Process plan built by GPPlanner
As can be seen in the figure, the output produced by
GFRec associates the recognized features with the part’s
faces related to them.
Not all the faces listed are machined for the feature to
exist, but all of them are certainly related to the feature (for
example, only the inner circular faces of a hole are
machined for the hole to exist, but other faces are related
to it, such as the planes at the hole’s ends). For simplicity
and space matters, the faces whose machining is required
for each feature are not shown in figure 5.
The GPPlanner takes that model along with the same
input data used by the GFRec component (i.e., the
geometrical and topological model created by the
preprocessor), in order to build a machining process plan.
Figure 6 shows the final process plan.
The process plan generated by GPPlanner contains a list
of the processes needed to manufacture the part. Each
one of these processes is associated with the feature it
machines (more than one machining process may be
required to machine faces for the same feature).
Additionally, GPPlanner displays which faces are
machined by each process.
Another important point included in the GPPlanner’s
output are the ordering constraints. Each machining
process has a number that indicates the “stage” of the
1 SETUP
MILLING.MACHINE NO.TOOL END.MILLING.CUTTER
eff: loadedTool MILLING.MACHINE END.MILLING.CUTTER
1 SETUP
DRILL NO.TOOL DRILL.BIT
eff: loadedTool_DRILL_DRILL.BIT
2 END.MILLING
PRI SMATIC.ROUNDED.CONV.ENDED.NONTHROUGH.SLOT1
eff: machi nedFace #25-FACE1 machinedFace #195-FACE7
machinedFace #147-FACE5 machi nedF ace #57-FACE2
2 DRILLING
CYLINDRICAL.HOLE1
eff: machi nedFace #116-FACE4 machinedFace #99- FACE3
2 END.MILLING
CIRCULAR.CONVEX.OPEN.ROUNDED.CORNER2
eff: machi nedFace #446-FACE14
2 END.MILLING
CYLINDRICAL.POCKET2
eff: machi nedFace #543-FACE18
machinedFace #556-FACE19
machinedFace #316-FACE9
2 DRILLING
CYLINDRICAL.HOLE2
eff: machi nedFace #348-FACE10
machinedFace #361-FACE11
2 END.MILLING
CYLINDRICAL.POCKET1
eff: machi nedFace #655-FACE23
machinedFace #646-FACE22
machinedFace #586-FACE20
2 END.MILLING
CIRCULAR.CONVEX.OPEN.ROUNDED.CORNER1
eff: machi nedFace #393-FACE12
2 END.MILLING
FLAT.CLOSED.STEP1
eff: machi nedFace_#171-FACE6
CIRCULAR.CONVEX.OPEN.ROUNDED.CORNER
(#393-FACE12 #421-FACE13
#511-FACE17 #624-FACE21
#286-FACE8 )
CYLINDRICAL.HOLE
(#316-FACE9 #116-FACE4
#99-FACE3 #286-FACE8 )
CYLINDRICAL.POCKET
(#586-FACE20 #646-FACE22
#655-FACE23 #624-FACE21 )
CYLINDRICAL.HOLE
(#586-FACE20 #361-FACE11
#348-FACE10 #286-FACE8 )
PRISMATIC.ROUNDED.CONVEX.ENDED.NONTHROUGH.SLOT
(#57-FACE2 #195-FACE7 #171-FACE6
#147-FACE5 #421-FACE13 #286-FACE8
#25-FACE1)
FLAT.CLOSED.STEP
(#171-FACE6 #421-FACE13 #25-FACE1
#195-FACE7 #147-FACE5 )
CIRCULAR.CONVEX.OPEN.ROUNDED.CORNER
(#446-FACE14 #421-FACE13 #470-FACE15
#624-FACE21 #286-FACE8 )
CYLINDRICAL.POCKET
(#316-FACE9 #556-FACE19 #543-FACE18
#624-FACE21 )
19
th
International Conference on Production Research
manufacturing in which it can be carried out. In figure 6, for
example, setup operations must be carried out before
machining ones.
An important detail, in the particular case of the graphplan
planner, is that ordering constraints are sometimes very
strong, in the sense that not all the constraints implied by
the output are needed. For example, not all the setup
operations shown in figure 6 are needed for all the
machining operations. One of the setups could be carried
out in parallel with some of the machining processes, but
the process plan does not allow it.
Many experiments were necessary in order to get a
working system, because of some particularities of the
CAPP domain that make this particular problem a difficult
one to be solved by this kind of planners, and in particular,
by graphplan.
Graphplan builds the complete planning graph, before
starting the search for a solution. The planning graph
contains every valid instantiation of the operators in each
stage of the generation procedure.
In CAPP, where faces are represented by objects in the
planning domain, the number of valid instantiations of
each operator schema may be very big, which has as a
consequence that the algorithm requires much time for
planning big parts. This problem was reduced by the
addition of many constraints on each operator.
As a consequence of the above problem, the planning
model tended to be very rigid, because the strong
preconditions imposed reduced the scope of each
machining operator schema. This problem was also
reduced making the model more flexible by omitting some
particular preconditions. This idea is similar to that
proposed in hint-based approaches to features recognition
(se [11] and [12]).
As can be seen, the developed planning model makes
some trade-offs between performance and expressivity, in
order to be useful from the semantic point of view as well
as from the technical and practical one.
5 DISCUSSION
A working generative CAPP prototype system was
produced in this work. The main advantage of the
proposed approach is that machining operations, as well
as available machines and tools are modeled by means of
an expressive declarative language, which allows for the
adaptation, generalization and expansion of the model, in
a way that is much more easy and that requires much less
work than other approaches. The main technology
supporting the approach proposed in this work is artificial
intelligence planning technology, and in particular, the
graphplan algorithm.
There are however some important points that must be
improved in order to make the system scalable and useful
for bigger mechanical parts.
The first aspect that needs improvement is performance.
This is one of the most studied aspects in AI planning, and
significative improvements have been made, but better
performance is needed. In the graphplan particular case,
an important problem is that it makes strong commitments,
since it instantiates the valid operator schemas in all
possible ways. In domains (such as CAPP) where many
objects are present and where the operators have several
parameters, this produces very big planning graphs.
As an example, consider the test part shown in figure 4.
This part has 21 faces, which in the planning language is
modeled as 21 domain objects. Consider a machining
operation modeled with 5 variable parameters, each one
representing a face. Then, the number of possible
instantiations of the operator is 2.441.880
(21x20x19x18x17). In addition, there may be many
operator schemas (GFRec has more than 30), so the
number of operator instances may be huge.
Obviously not every combination is valid, but every
combination must be instantiated in order to check
whether or not its (instantiated) preconditions hold in a
certain stage of the planning graph generation, so even
when not all these instances are inserted in the graph,
certainly all of them must be tested during the graph
creation.
Other planning algorithms (such as UCPOP [4]), on the
other hand, are based on the
least-commitment
principle,
which delays the commitments to the last possible
moment. However, this kind of planners has a drawback:
the backtracking overhead may be very important, since
the planning graph generation and the search process are
carried out together. It would be desirable to get the better
of both approaches (little or no backtracking overhead and
little commitments at the same time).
Another important aspect to be improved is that most of
the general-purpose planners do not have optimization
functionalities. In the manufacturing domains optimization
is very important, because optimization saves money. The
knowledge representation languages used by planning
systems should include a way of representing different
operators cost measures (such as money and time), and a
way of specifying weights for these measures.
Additionally, most of the generative CAPP systems are
based on the recognized machining features. Thus the
process planning component is strongly coupled with the
features recognition component. This situation has the
advantage that the additional information provided by the
recognized features reduces ambiguity and increases
accuracy of the process planning component.
However, because of the dependence of the process
planning component on the feature recognize, when
changes are made to the feature recognizer (such as the
addition of new machining features, or their change),
changes should also be done in the process planner. This
situation has another consequence: when a part presents
features not modeled in the feature recognizer, there is a
high probability that an incomplete process plan (or no
plan at all) could be generated.
Machining features are a useful conceptual tool for people,
so a feature recognition component could be useful even
for process planners not based on it. Thus, a possible
variation of this schema that will be explored in future
works, is the possibility of having a features recognizer
and a process planner component independent of each
other.
The prototype feature recognizer and process planner
components implemented for this work, have a shared
point that could be useful to link the process plans built,
with the machining features recognized: the faces. GFRec
associates machining features with the faces that
compose them, and GPPlanner makes the same thing
with machining processes. So, once the feature model has
been built, and the process plan generated, both models
can be linked together using the faces information as
reference, in order to “explain” the process plan in terms of
which features are produced by the machining processes.
Finally, current AI planners make it difficult to incorporate
manufacturability analysis, since it is difficult to implement
geometrical reasoning with them.
One possible solution to this problem, is to include in a
general-purpose planner’s language some way to add
external processing for this purpose (i.e., a generalization
of the idea proposed in [5]). Another approach would be to
introduce some form of continuous reasoning as part of
the AI planning framework, in order to perform geometrical
reasoning.
6 CONCLUSIONS AND FUTURE WORK
An artificial intelligence planning model, for generative
computer aided process planning was presented in this
paper.
The proposed system was supported by an intelligent
agent built with several interacting components (a STEP
interface, a preprocessor, a features recognizer and a
process planner). The main technology used for the
features recognizer and the process planner is an
implementation of the graphplan system.
As a result of this research, a working prototype was built
that uses STEP-AP203 files as input, and produces
machining process plans as output.
The main conclusion of this work is that artificial
intelligence planners have an important advantage over
other technologies: they use expressive declarative
languages for modeling domains, and at the same time
they have generative capabilities. These capabilities
reduce the knowledge representation needed. Thus, this
technique combines some of the advantages of special-
purpose planners and knowledge-based systems.
This makes easier and cheaper to adapt and implement
CAPP systems in different machining industries. However,
the system reported in this work is an early prototype,
which shows some aspects that should be improved in
order to produce scalable systems that work with complex
input parts in real environments.
Additionally, more manufacturing aspects have to be
modeled in order to make the system applicable in real
environments, such as considering tool access directions
for setup planning, computation of manufacturing
parameters (speeds, feeds, etc), manufacturability
analysis and optimization.
This work is part of a bigger research, in which the
technologies described in this paper are complemented
with mixed initiative techniques, in order to improve the
interaction between the manufacturing engineers and the
intelligent computer tools they use [13, 14, 15].
The long term objective of this research is to develop
techniques for improving CAPP systems, by the
combination of some features of variant and generative
approaches, taking the advantages of each one but
reducing the impact of their drawbacks. In order to achieve
these research goals, improvements in planning and
mixed-initiative techniques (especially in plan recognition)
are needed.
Future work will be focused in addressing the aspects
pointed out in the previous section, as well as the
integration of this work with the mixed initiative approaches
mentioned above.
7 ACKNOWLEDGMENTS
This research was supported by CONICET (National
Council of Scientific and Technological Research), and the
Logistics department of the Engineering Faculty at
Universidad Nacional de Cuyo.
8 REFERENCES
[1] Sormaz D., Khoshnevis B., 1995, Knowledge
Representation for Automated Process Planning,
Proc. of International Symposium on Assembly and
Task Planning, Pittsburgh (PA USA), 34-39.
[2] Nau D., Gupta S.K., Regli W.C., 1995, AI Planning
Versus Manufacturing-Operation Planning: A Case
Study, Proc. of Fourteenth International Joint
Conference on Artificial Intelligence, Quebec
(Canada), 1670-1676.
[3] Blum A.L., Furst M.L., 1997, Fast planning through
planning graph analysis, Artificial Intelligence, 90,
281-300.
[4] Penberthy J.S., Weld D.S., 1992, UCPOP: A Sound,
Complete, Partial Order Planner for ADL, Proc. of
Third International Conference on Principles of
Knowledge Representation and Reasoning,
Cambridge (MA USA), 103-114.
[5] Deák F., Kovács A., József V., Dobrowiecki T., 2001,
Hierarchical Knowledge Based Process Planning in
Manufacturing, Proc. of IFIP TC5 WG5.2 - WG5.3
Eleventh International PROLAMAT Conference on
Digital Enterprise, Budapest (Hungary).
[6] Wilkins D., Myers K.L., Lowrance J.D., Wesley L.,
1995, Planning and Reacting in Uncertain and
Dynamic Environments, Journal of Experimental and
Theoretical Artificial Intelligence, 7-1, 197-227.
[7] Russel S., Norvig P., 2003, Artificial Intelligence: A
Modern Approach 2nd edition, Prentice Hall, p. 469.
[8] Fikes R.E., Nilsson N.J., 1971, STRIPS: A new
approach to the application of theorem proving to
problem solving, Artificial Intelligence, 2, 189-208.
[9] Case K., Wan Harun W.A., 2000, Feature-based
representation for manufacturing planning,
International Journal of Production Research, 38-17,
4285-4300.
[10] National Design Repository, Drexel University,
http://www.designrepository.org/.
[11] Han J., 1996, Survey of Feature Research, Technical
Report IRIS-96-346, Institute of Robotics and
Intelligent Systems, University of Southern California
(USA).
[12] Han J., Pratt M., Regli W., 2000, Manufacturing
Feature Recognition from Solid Models: A Status
Report, IEEE Transactions on Robotics and
Automation, 16-6, 782-794.
[13] Marchetta M., Forradellas R., 2006, A Mixed-Initiative
Approach to Computer Aided Process Planning,
Proc. of the XII Argentine Congress on Computer
Science.
[14] Marchetta M., Forradellas R., 2006, A New Model for
Automatic generation of Plan Libraries for Plan
Recognition. Proc. of Third International Conference
on Production Research Americas’ Region (ICPR-
AM06).
[15] Marchetta M., Forradellas R., 2006, Supporting
Interleaved Plans in Learning Hierarchical Plan
Libraries for Plan Recognition, Inteligencia Artificial
Revista Iberoamericana de Inteligencia Artificial, 10-
32, 47-56.
... [20] The framework for this system is shown in WCECS 2010 " Intelligent agent " An intelligent agent that was developed for Computer Aided Process Planning in intelligent manufacturing environment work. This agent can take a STEP file as input, and has the capability of generating a machining process plan to manufacture the part modeled in the file [21]. The architecture of this system has been shown inFig 7.Fig 7. Intelligent agent System architecture [21]. ...
... This agent can take a STEP file as input, and has the capability of generating a machining process plan to manufacture the part modeled in the file [21]. The architecture of this system has been shown inFig 7.Fig 7. Intelligent agent System architecture [21]. As seen in the architecture the application software for STEP data structure can obtain and convert the data to data model. ...
Article
Full-text available
In today's competitive market, information technology tools play a most important role in new product development. Integrated design includes CAD, process planning and CNC code generation. The commercialized CAD/CAM software solutions and industrial systems can be acquired readily. These solutions or systems, however, cannot connect together in a seamless way, that is, they cannot fit in integrated environment. Different CAD/CAM Application software need supports for data exchange in manufacturing enterprises. This article reviews the different architectures of integrated and collaborative information systems architectures. The reviewed architectures reveal that comprehensive interoperable CAD/CAM application software should be developed. Most of current architectures do not support integration of data; they can't connect different CAD/CAM application software seamlessly for data interchange based on STEP Standard (ISO 10303) and can't enable the CAD/CAM application software to collaborate together. Considering these lacks, this article proposes architecture for a comprehensive interoperable CAD/CAM interface; and discusses the different aspects of this architecture. The architecture consists of several layers. These layers support all CAD/CAM application software engaged in product development. The CAD/CAM application software exchange their required information collaboratively based on their own data structure. The architecture layers convert the application software' processed data to STEP based data model. They store the processed data in an integrated database; and vice versa, the layers retrieve the data to the CAD/CAM interface's data structure. Index Terms—CAD/CAM, ISO 10303(STEP Standard), Collaborative information system, integration.
... YES YES NO YES NO YES A STEP-based manufacturing information system [11] YES YES NO NO NO NO framework for steel bridge information management[12] YES YES NO NO YES NO Intelligent agent System architecture[55] NO NO NO YES NO NO Prototype wire EDM system Architecture[54] NO NO NO NO NO NO CAE system architecture for support multiple viewpoints[51] ...
Article
Full-text available
Integrated product development is comprised of CAD, process planning and CNC code generation based on an integrated data structure. To make various CAD/CAM software solutions with different internal product data structures interoperable, it is necessary to realise reliable and robust information exchange capability in a manufacturing environment. To enable interoperability amongst integrated product development processes, management of collaboration of diverse CAD/CAM software packages is of outmost importance. In this article, the fundamental requirements for achieving interoperability and collaboration management in an integrated, enterprisewide, product development process environment are discussed. Based on these requirements, the present prominent integrated, interoperable and collaborative CAD/CAM information system platforms are comparatively reviewed. There are two main paradigms for development of such platforms – viz. neutral-file based and procedure based. The merits and limitations of each paradigm are discussed. To overcome the limitations of the current present platforms, a three-layered integrated and interoperable platform, named INFELT STEP, for collaborative and interoperable product design/development using different and diverse CAD/CAPP/CAM/CNC software is proposed. This platform conjugates the capabilities of both main paradigms to eliminate their limitations. The layered structure of INFELT STEP caters for the requirements of an integrated, interoperable and collaborative computer-basedmanufacturing and supports the entire range of software packages in the CAD/CAPP/CAMproduct development chain. In this platform, each software package can send product data based on its own internal data structures to other packages that are linked to and communicate with this platform. Different layers of INFELT STEP convert software packages’ processed data to its structured data models, which are based on the STEP standard-and then store them in its database. Conversely, INFELT STEP layers can retrieve structured data stored in its database and convert themto the format acceptable by a specific CAD/CAM/CAPP software package that is cooperating in a production workflow. This proposed platform manages the collaboration of CAD/CAM software packages, maintains the integration of CAD/CAM/CNC operations based on STEP data models, and also enables interoperability of such packages with different local data structures. The capabilities of INFELT STEP are demonstrated by using it in a prototype implementation.
... Considering inter-activity interactions (type 3), similar benefits can be obtained, but restricted to activities within a single business process. Finally, inside a single activity (type 4), local multi-objective optimization can be supported by the product, as well as other aids such as know-how acquisition through machine learning [51], plan recognition for identifying user's intentions, task completion, automated generation of alternative solutions [52], etc. ...
Article
Product Lifecycle Management (PLM) has been identified as a key concept within manufacturing industries for improving product quality, time-to-market and costs. Previous works on this field are focused on processes, functions and information models, and those aimed at putting more intelligence on products are related to specific parts of the product lifecycle (e.g. supply chain management, shop floor control). Therefore, there is a lack of a holistic approach to PLM, putting more intelligence on products through the complete lifecycle. In this paper, a PLM framework supported by a proactive approach based on intelligent agents is proposed. The developed model aims at being a first step toward a reference framework for PLM, and complements past works on both product information and business process models (BPM), by putting proactivity on product's behavior. An example of an instantiation of the reference framework is presented as a case study.
Article
Artificial Intelligence (AI) systems applications are widespread due to its domain independent characteristics. In this work, an attempt has been made for review on AI applications in Computer Aided Process Planning (CAPP) and manufacturing. Primarily, uniqueness of present review work addressed by analysis of existing review articles. The review work comprise of three main elements; 1. Feature based design, a primary input for a CAPP system, 2. Expert System (ES) usefulness in Process Planning (PP) and manufacturing and 3. Evolutionary approach applications. The review begins with an overview and the use of AI systems in decision making. Research works exemplified for the past three and half decades (1981–2016) are analyzed in terms of feature based modeling, Standards for Exchange of Product Model data approach, ES in PP, scheduling, manufacturing and miscellaneous applications. Role of Evolutionary Techniques (ET) in intelligent system development, execution of PP activities and manufacturing are described. A statistical analysis on existing review articles, number of publications, domain specific articles and percentage contribution of each area are carried out. Finally, research gaps are identified and the possible future research directions are presented.
Conference Paper
Full-text available
Discusses the issues involved in forming proper knowledge representation for process planning. After a brief review the knowledge representation schemes used in the existing reported CAPP systems the authors describe the process planning function and its knowledge requirements. Based on these requirements, the authors present a knowledge representation scheme that allows both upstream and downstream integration of CAPP. At the end the benefits of the proposed representation are discussed
Conference Paper
Full-text available
Artificial intelligence planning methods haven't been used until rec ently to address the problem of computer-aided process planning (CAPP) in manufacturing in its entirety. They were simply not developed enough to tackle real-world problems of that complexity. In the paper we show that with so-called Hierarchical Task Networks, a recently matured general-purpose domain- independent planning method, we could model the planning process itself, represent and utilize different kinds of technological knowledge and keep in check the complexity of the plan generation process. To this aim the planner was extended with search methods for finding the best plans and supporting mixed- initiative, interactive planning. The proposed CAPP system deals with geometry analysis, setup planning, selection and ordering of machining operations and the assignment of resources. The first experiments with prismatic and rotational parts show considerable merit of the approach.
Article
Full-text available
Agents situated in dynamic and uncertain environments require several capabilities for successful operation. Such agents must monitor the world and respond appropriately to important events. The agents should be able to accept goals, synthesize complex plans for achieving those goals, and execute the plans while continuing to be responsive to changes in the world. As events render some current activities obsolete, the agents should be able to modify their plans while continuing activities unaffected by those events. The Cypress system is a domain-independent framework for defining persistent agents with this full range of behavior. Cypress has been used for several demanding applications, including military operations, real-time tracking, and fault diagnosis. ii Contents 1 Introduction 1 1.1 Research Strategy : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 A New Technology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2 Overview of C...
Article
Improved integration using product models in a computer aided design and manufacture environment implies that there is an enhanced need to provide information support across a wide range of applications. In a typical situation concerned with mechanical products, these applications are likely to include detail design, process planning and assembly planning. Features have frequently been used to support these and other applications individually, but single feature representations that simultaneously meet the information needs of a number of applications are unusual. Assembly and process planning are two important aspects of an integrated design and manufacture system, and a formal structure for their representation in a feature-based design system is presented. Features are considered to be machined volumes and are described in a hierarchical taxonomy that is designed to be useful across a range of machined components. The assembly structure is also defined hierarchically with the (machining) features forming the basic entities in the assembly. Assembly relationships among features are defined in the form of mating relationships that are carried by the features. A set of mating relationships between pairs of features has been defined after having studied the literature and a number of engineering products. An integrated data structure containing process planning information from earlier research work and the assembly mating relationships is presented and forms the basis of class definitions for each level in the assembly hierarchy. Object-oriented programming techniques have been used to implement a prototype system using the ACIS solid modelling kernel. The research has illustrated the feasibility of using a single feature representation to support a number of activities within a computer integrated manufacturing environment.
Article
We introduce a new approach to planning in STRIPS-like domains based on constructing and analyzing a compact structure we call a planning graph. We describe a new planner, Graphplan, that uses this paradigm. Graphplan always returns a shortest possible partial-order plan, or states that no valid plan exists.We provide empirical evidence in favor of this approach, showing that Graphplan outperforms the total-order planner, Prodigy and the partial-order planner, UCPOP, on a variety of interesting natural and artificial planning problems. We also give empirical evidence that the plans produced by Graphplan are quite sensible. Since searches made by this approach are fundamentally different from the searches of other common planning methods, they provide a new perspective on the planning problem.
Article
We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model in which a given goal formula can be proven to be true. STRIPS represents a world model as an arbitrary collection in first-order predicate calculus formulas and is designed to work with models consisting of large numbers of formula. It employs a resolution theorem prover to answer questions of particular models and uses means-ends analysis to guide it to the desired goal-satisfying model.
Article
Most of the available plan recognition techniques are based on the use of a plan library in order to infer user's intentions and/or strategies. Until some years ago, plan libraries were completely hand coded by human experts, which is an expensive, error prone and slow process. Besides, plan recognition systems with hand-coded plan libraries are not easily portable to new domains, and the creation of plan libraries require not only a domain expert, but also a knowledge representation expert. These are the main reasons why the problem of automatic generation of plan libraries for plan recognition, has gained much importance in recent years. Even when there is considerable work related to the plan recognition process itself, less work has been done on the generation of such plan libraries. In this paper, we present an algorithm for learning hierarchical plan libraries from action sequences, based on a few simple assumptions and with little given domain knowledge, and we provide a novel mechanism for supporting interleaved plans in the input example cases.
Article
The field of solid modeling has developed a variety of techniques for unambiguous representations of three-dimensional objects. Feature recognition is a sub-discipline of solid modeling that focuses on the design and implementation of algorithms for detecting manufacturing information from solid models produced by computer-aided design (CAD) systems. Examples of this manufacturing information include features such as holes, slots, pockets and other shapes that can be created on modern computer numerically controlled machining systems.
Article
Recognition of machining features provides a bridge between Computer Aided Design (CAD) and Computer Aided Manufacturing (CAM) of machined parts. CAD produces part descriptions in terms of geometric entities or design features, which need not coincide with the manufacturing features needed by process planning activities. The CAD data must therefore be interpreted so as to generate part representations in terms of machining features. When the CAD data contain only nominal geometry information, feature recognition is required. When the CAD data contain design features inserted in a feature based design system, feature model conversion is required. This paper surveys research on feature recognition, feature based design and feature model conversion and raises important issues. 1 Introduction: Why Features? In the early 1960s Ivan Sutherland developed the SKETCHPAD system [Sutherland, 1963], a milestone of research achievement in computer graphics. The evolution of computer graphics has s...