In this paper, the CMOS gate matrix layout problem is formulated and solved as a n artificial intelligence planning problem in which a “plan” (the solution algorithm) is to be generated to achieve a “goal” (the gate matrix layout). The overall goal consists of many subgoals, each of which corresponds to the placement of a gate to a slot, and to the routing of associated nets connecting to that ...

scheduling has become an attractive area for artificial intelligence researchers. on other hand, in today's real-world manufacturing systems, the importance of an efficient maintenance schedule program cannot be ignored because it plays an important role in the success of manufacturing facilities. a maintenance program may be considered as the heath care of manufacturing machines and equip...

This document gives a short introduction to the basics of robotics in the context of artificial intelligence. It describes the very basics of robotics like sensors and effectors, gives an overview on robotic history, and introduces some basic problems encountered in modern robotics. It describes possible solutions to those problems without going deeply into theory. The problems introduced are p...

Blocks world (cube world) has been one of the most popular model domains in artificial intelligence search and planning. The operation and effectiveness of alternative heuristic strategies, both basic and complex, can be observed easily in this domain. We show that finding an optimal solution is NP-hard in an important variant of the domain, and po cr ular extensions. This enlarges the range of...

Metal stamping die design is a complex, experiencebased and time-consuming task. Various artificial intelligence (AI) techniques are being used by worldwide researchers for stamping die design to reduce complexity, dependence on human expertise and time taken in design process as well as to improve design efficiency. In this paper a comprehensive review of applications of AI techniques in manuf...

Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. In this survey paper we discuss an algebraic approach that has proved to be very successful in studying the complexity of constraint problems. 1 Constraint satisfaction problems The constraint satisfaction problem (CSP) is a powe...

Analogical reasoning has a long history in artificial intelligence research, primarily because of its promise for Ike acquisition unit effective use of knowledge. Defined as a representational mapping from a known "source" domain into a novel "target" domain, analogy provides a basic mechanism for effectively connecting a reasoner's past and present experience. Using a four-component process mo...

Decisions in the current and future mining environment are increasingly tied to reducing operating costs. Improving performance, productivity and profitability is crucial. Production, ancillary, plant and shipping equipment need to be monitored and controlled by online systems delivering production statistics and real-time information. Traditional systems currently in use today, operate in an i...

Eugene L. Duke * Marle D. Hewett t Randal W. Brumbaugh David M. Tartt t Robert F. Antoniewicz * Arvind K. Agarwal 5 An automated flight test management system (ATMS) and its use to develop a rapid-prototyping flight research facility for artificial intelligence-based flight systems concepts are described. The ATMS provides a flight test engineer with a set of tools that assist in flight plannin...