Using ASP to improve the information reuse in mechanical assembly sequence planning

Authors:
Lingzhong Zhao;Xuesong Wang;Junyan Qian;Tianlong Gu
Affiliations:
School of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin, China;School of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin, China;School of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin, China;School of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin, China
Venue:
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Year:
2010

Citing 5
Cited 0

Answer set programming and plan generation

Artificial Intelligence
A simplified and efficient representation for evaluation and selection of assembly sequences

Computers in Industry
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
The symbolic OBDD scheme for generating mechanical assembly sequences

Formal Methods in System Design
SAT-based answer set programming

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modern product design and manufacturing process are highly integrated and exposed to frequent changes. This has made information reuse play an increasingly important role in improving the efficiency of the product development process. Mechanical Assembly Sequence Planning (MASP) is a key issue in the manufacturing of a product. Known methods for MASP are not satisfactory from the aspect of information reuse. This paper proposes an Answer Set Programming (ASP) based solution to MASP, where information reuse is enhanced by dividing an ASP program into EDB (extensional database) and IDB (intensional database) such that IDB can be shared by all the assemblies with the same number of parts. Compared with other approaches for MASP, this is a great advantage. Experiments are conducted to show the applicability and performance of our method by using different answer set solvers.