Inversion of Applicative Programs

Korf, Richard E.

Inversion of Applicative Programs

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 1007-1008.

Abstract

A technique is presented for taking a program written in pure LISP and automatically deriving a program which computes the inverse function of the given program. The scheme is based on a set of rules for inverting the primitive functions plus a method of solving for variables introduced by non-invertible functions. As an example, a program to reverse a fist is inverted .

Richard E. Korf. 1981. Inversion of Applicative Programs. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 1007–1008. https://ijcai.org/proceedings/1981/192

@inproceedings{ijcai1981p192,
  title     = {Inversion of Applicative Programs},
  author    = {Korf, Richard E.},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {1007--1008},
  year      = {1981},
  month     = {8},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1981/192},
}

TY  - CPAPER
TI  - Inversion of Applicative Programs
AU  - Korf, Richard E.
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 1007
EP  - 1008
UR  - https://ijcai.org/proceedings/1981/192
ER  -