{"type":"ScholarlyArticle","title":"Inductive Inference on the Base of Fixed Point Theory","authors":[{"name":"Tamás Gergely","slug":"tamas-gergely","given":"Tamás","family":"Gergely","affiliation":""},{"name":"Zoltán Szabó","slug":"zoltan-szabo","given":"Zoltán","family":"Szabó","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1987/192","pdf":"https://ijcai.org/proceedings/1987/0192.pdf","markdown":"https://ijcai.org/proceedings/1987/192.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/192","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Reasoning","track":"Reasoning","number":192,"pages":{"first":932,"last":937},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}