Semantic analysis of inductive reasoning
type: Item
instance of: scholarly article
title: Semantic analysis of inductive reasoning
zbMATH Open document ID: 0601.68059
DOI: 10.1016/0304-3975(86)90167-2
published in: Theoretical Computer Science
publication date: 1986-01-01T00:00:00Z
review text: A semantic model of inductive reasoning is presented. The starting point is a general schema: ''given background knowledge K and an observational statement S, a sentence H is an inductive hypothesis for S with respect to K iff H is a generalization of S, and H is consistent with K''. For semantic modelling, a set-theoretic approach is adopted: the universe of discourse is a fixed set of objects with attributes, the background knowledge is a set of binary relations between objects and the concept is modelled by ''an approximate set'' represented as a pair of object sets which specify the limits of concept definition tolerance. Conclusively, the inductive inference of concepts from examples and counterexamples is defined. With some improvements depending on concrete application, such a model could be useful in machine learning area, as well as in knowledge based computer systems.
reviewed by: L.-D.Şerbănaţi
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 3970134
zbMATH Keywords: concept inference
zbMATH Keywords: learning from examples and counterexamples
zbMATH Keywords: semantic model of inductive reasoning
zbMATH Keywords: background knowledge
author: Ewa Orłowska
MaRDI profile type: Publication
full work available at URL: 0304-3975(86)90167-2
OpenAlex ID: W2095441424
cites work: Q5518358
cites work: Q5813549
cites work: A relational model of data for large shared data banks
cites work: Mechanizing hypothesis formation. Mathematical foundations for a general theory
cites work: An interference matching technique for inducing abstractions
cites work: Q5541280
cites work: The logical foundations of statistical inference
cites work: Q5605878
cites work: The semantics of induction and the possibility of complete systems of inductive inference
cites work: Q3723721
cites work: Some natural properties of strong-identification in inductive inference
cites work: Q4749250
cites work: Q3681933
cites work: Q3341946
cites work: Information systems theoretical foundations
cites work: Rough sets
cites work: Q5624681
cites work: Q4003913
cites work: Q3256189
cites work: Q5825226
cites work: Q3667965
cites work: Q3346320
description: scientific article; zbMATH DE number 3970134