Work

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion

Year: 2021

Type: article

Abstract: We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non-functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.341.3

Authors: Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby

Institutions: University of Copenhagen, Roskilde University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W3198340127

FWCI:

Cites: 14

Cited by:

Related to: