---
title: "Inductive Inference on the Base of Fixed Point Theory"
authors:
  - "Tamás Gergely"
  - "Zoltán Szabó"
doi: ""
url: "https://ijcai.org/proceedings/1987/192"
pdf: "https://ijcai.org/proceedings/1987/0192.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "932-937"
track: "Reasoning"
keywords:
---

# Inductive Inference on the Base of Fixed Point Theory

Tamás Gergely, Zoltán Szabó

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, pages 932-937.

## Abstract

Inductive reasoning is an important way to generate knowledge from the propositions reflecting facts or directly from data We intend to extract new knowleO;Je in the form of definitions given as fixed point equations. An appropriate fixed point theory is outlined in favour of our aim . This theory suooests the so called generative fixed point equation system as the form of hypothesis thet we are looking for . The defining formulas in these equations use only bounded quantifiers but the relation to be defined may also negetively occur . An inductive inference method is presented es to find the hypothetical equation system from the increasing set of experimental data such that its solutions would fit all the information.