Algorithm optimization using a rule-based system. A case study: The Direct Kinematic Solution in robotics

H. Azaria, A. Dvir

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


The computation burden of intensive numerical real-time algorithms is a problem encountered in robotics and many other fields. A cost-effective solution for the implementation of these algorithms requires knowledge of computer architecture, compiler technology and algorithms. A cost-effective numeric processing methodology using a combined hardware-software approach and taking advantage of logic programming tools is presented. The methodology is based on optimizing the numerical calculation process of the algorithm. It also enables the specification of hardware resources. The process uses a rule-based-system (RBS) implemented in the logic programming language Prolog to automatically reduce the number of operations in the numerical execution of the algorithm and optimizes the use of hardware resources. The methodology provides a solution for the problems of handshake overhead and algorithm translation efficiency. The Direct Kinematics Solution (DKS), a robot arm control algorithm, is presented as a case study to illustrate the methodology. The proposed methodology has a general potential which can be extended to the optimization or implementation of different algorithms.

Original languageEnglish
Pages (from-to)309-324
Number of pages16
JournalJournal of Intelligent and Robotic Systems: Theory and Applications
Issue number3
StatePublished - 1 Dec 1993


  • Algorithm optimization
  • logic programming
  • robot arm control
  • robotics
  • rule-based system

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Mechanical Engineering
  • Industrial and Manufacturing Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering


Dive into the research topics of 'Algorithm optimization using a rule-based system. A case study: The Direct Kinematic Solution in robotics'. Together they form a unique fingerprint.

Cite this