Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

A model for generalization based on confirmatory induction

Identifieur interne : 003129 ( Istex/Corpus ); précédent : 003128; suivant : 003130

A model for generalization based on confirmatory induction

Auteurs : Nicolas Lachiche ; Pierre Marquis

Source :

RBID : ISTEX:CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB

Abstract

Abstract: Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.

Url:
DOI: 10.1007/3-540-62858-4_80

Links to Exploration step

ISTEX:CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB

Le document en format XML

<record>
<TEI wicri:istexFullTextTei="biblStruct">
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en">A model for generalization based on confirmatory induction</title>
<author>
<name sortKey="Lachiche, Nicolas" sort="Lachiche, Nicolas" uniqKey="Lachiche N" first="Nicolas" last="Lachiche">Nicolas Lachiche</name>
<affiliation>
<mods:affiliation>Campus scientifique, CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, B.P. 239, 54506, Vandœzuvre-lès-Nancy Cedex, France</mods:affiliation>
</affiliation>
<affiliation>
<mods:affiliation>E-mail: lachiche@loria.fr</mods:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Marquis, Pierre" sort="Marquis, Pierre" uniqKey="Marquis P" first="Pierre" last="Marquis">Pierre Marquis</name>
<affiliation>
<mods:affiliation>CRIL/Université d'Artois, Rue de l'Université, S.P. 16, 62307, Lens Cedex, France</mods:affiliation>
</affiliation>
<affiliation>
<mods:affiliation>E-mail: marquis@lens.lifl.fr</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB</idno>
<date when="1997" year="1997">1997</date>
<idno type="doi">10.1007/3-540-62858-4_80</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003129</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003129</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">A model for generalization based on confirmatory induction</title>
<author>
<name sortKey="Lachiche, Nicolas" sort="Lachiche, Nicolas" uniqKey="Lachiche N" first="Nicolas" last="Lachiche">Nicolas Lachiche</name>
<affiliation>
<mods:affiliation>Campus scientifique, CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, B.P. 239, 54506, Vandœzuvre-lès-Nancy Cedex, France</mods:affiliation>
</affiliation>
<affiliation>
<mods:affiliation>E-mail: lachiche@loria.fr</mods:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Marquis, Pierre" sort="Marquis, Pierre" uniqKey="Marquis P" first="Pierre" last="Marquis">Pierre Marquis</name>
<affiliation>
<mods:affiliation>CRIL/Université d'Artois, Rue de l'Université, S.P. 16, 62307, Lens Cedex, France</mods:affiliation>
</affiliation>
<affiliation>
<mods:affiliation>E-mail: marquis@lens.lifl.fr</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series>
<title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc>
<textClass></textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en">Abstract: Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.</div>
</front>
</TEI>
<istex>
<corpusName>springer-ebooks</corpusName>
<author>
<json:item>
<name>Nicolas Lachiche</name>
<affiliations>
<json:string>Campus scientifique, CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, B.P. 239, 54506, Vandœzuvre-lès-Nancy Cedex, France</json:string>
<json:string>E-mail: lachiche@loria.fr</json:string>
</affiliations>
</json:item>
<json:item>
<name>Pierre Marquis</name>
<affiliations>
<json:string>CRIL/Université d'Artois, Rue de l'Université, S.P. 16, 62307, Lens Cedex, France</json:string>
<json:string>E-mail: marquis@lens.lifl.fr</json:string>
</affiliations>
</json:item>
</author>
<arkIstex>ark:/67375/HCB-682XM91Z-R</arkIstex>
<language>
<json:string>eng</json:string>
</language>
<originalGenre>
<json:string>ReviewPaper</json:string>
</originalGenre>
<abstract>Abstract: Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.</abstract>
<qualityIndicators>
<score>7.086</score>
<pdfWordCount>3382</pdfWordCount>
<pdfCharCount>19488</pdfCharCount>
<pdfVersion>1.3</pdfVersion>
<pdfPageCount>8</pdfPageCount>
<pdfPageSize>439.28 x 666 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<abstractWordCount>142</abstractWordCount>
<abstractCharCount>992</abstractCharCount>
<keywordCount>0</keywordCount>
</qualityIndicators>
<title>A model for generalization based on confirmatory induction</title>
<chapterId>
<json:string>14</json:string>
<json:string>Chap14</json:string>
</chapterId>
<genre>
<json:string>conference</json:string>
</genre>
<serie>
<title>Lecture Notes in Computer Science</title>
<language>
<json:string>unknown</json:string>
</language>
<copyrightDate>1997</copyrightDate>
<issn>
<json:string>0302-9743</json:string>
</issn>
<eissn>
<json:string>1611-3349</json:string>
</eissn>
<editor>
<json:item>
<name>Jaime G. Carbonell</name>
</json:item>
<json:item>
<name>Jörg Siekmann</name>
</json:item>
<json:item>
<name>G. Goos</name>
</json:item>
<json:item>
<name>J. Hartmanis</name>
</json:item>
<json:item>
<name>J. van Leeuwen</name>
</json:item>
</editor>
</serie>
<host>
<title>Machine Learning: ECML-97</title>
<language>
<json:string>unknown</json:string>
</language>
<copyrightDate>1997</copyrightDate>
<doi>
<json:string>10.1007/3-540-62858-4</json:string>
</doi>
<issn>
<json:string>0302-9743</json:string>
</issn>
<eissn>
<json:string>1611-3349</json:string>
</eissn>
<eisbn>
<json:string>978-3-540-68708-5</json:string>
</eisbn>
<bookId>
<json:string>3540628584</json:string>
</bookId>
<isbn>
<json:string>978-3-540-62858-3</json:string>
</isbn>
<volume>1224</volume>
<pages>
<first>154</first>
<last>161</last>
</pages>
<genre>
<json:string>book-series</json:string>
</genre>
<editor>
<json:item>
<name>Maarten van Someren</name>
</json:item>
<json:item>
<name>Gerhard Widmer</name>
</json:item>
</editor>
<subject>
<json:item>
<value>Computer Science</value>
</json:item>
<json:item>
<value>Computer Science</value>
</json:item>
<json:item>
<value>Artificial Intelligence (incl. Robotics)</value>
</json:item>
<json:item>
<value>Algorithm Analysis and Problem Complexity</value>
</json:item>
</subject>
</host>
<ark>
<json:string>ark:/67375/HCB-682XM91Z-R</json:string>
</ark>
<publicationDate>1997</publicationDate>
<copyrightDate>1997</copyrightDate>
<doi>
<json:string>10.1007/3-540-62858-4_80</json:string>
</doi>
<id>CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB</id>
<score>1</score>
<fulltext>
<json:item>
<extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/fulltext.pdf</uri>
</json:item>
<json:item>
<extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/bundle.zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/fulltext.tei">
<teiHeader>
<fileDesc>
<titleStmt>
<title level="a" type="main" xml:lang="en">A model for generalization based on confirmatory induction</title>
</titleStmt>
<publicationStmt>
<authority>ISTEX</authority>
<availability>
<licence>Springer-Verlag</licence>
</availability>
<date when="1997">1997</date>
</publicationStmt>
<notesStmt>
<note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note>
<note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note>
</notesStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">A model for generalization based on confirmatory induction</title>
<author>
<persName>
<forename type="first">Nicolas</forename>
<surname>Lachiche</surname>
</persName>
<email>lachiche@loria.fr</email>
<affiliation>
<orgName type="department">Campus scientifique</orgName>
<orgName type="institution">CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA</orgName>
<address>
<postBox>B.P. 239</postBox>
<postCode>54506</postCode>
<settlement>Vandœzuvre-lès-Nancy Cedex</settlement>
<country key="FR">FRANCE</country>
</address>
</affiliation>
</author>
<author>
<persName>
<forename type="first">Pierre</forename>
<surname>Marquis</surname>
</persName>
<email>marquis@lens.lifl.fr</email>
<affiliation>
<orgName type="institution">CRIL/Université d'Artois</orgName>
<address>
<street>Rue de l'Université, S.P. 16</street>
<postCode>62307</postCode>
<settlement>Lens Cedex</settlement>
<country key="FR">FRANCE</country>
</address>
</affiliation>
</author>
<idno type="istex">CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB</idno>
<idno type="ark">ark:/67375/HCB-682XM91Z-R</idno>
<idno type="DOI">10.1007/3-540-62858-4_80</idno>
</analytic>
<monogr>
<title level="m" type="main">Machine Learning: ECML-97</title>
<title level="m" type="sub">9th European Conference on Machine Learning Prague, Czech Republic, April 23–25, 1997 Proceedings</title>
<idno type="DOI">10.1007/3-540-62858-4</idno>
<idno type="book-id">3540628584</idno>
<idno type="ISBN">978-3-540-62858-3</idno>
<idno type="eISBN">978-3-540-68708-5</idno>
<idno type="chapter-id">Chap14</idno>
<editor>
<persName>
<forename type="first">Maarten</forename>
<nameLink>van</nameLink>
<surname>Someren</surname>
</persName>
</editor>
<editor>
<persName>
<forename type="first">Gerhard</forename>
<surname>Widmer</surname>
</persName>
</editor>
<imprint>
<biblScope unit="vol">1224</biblScope>
<biblScope unit="page" from="154">154</biblScope>
<biblScope unit="page" to="161">161</biblScope>
<biblScope unit="chapter-count">33</biblScope>
</imprint>
</monogr>
<series>
<title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<editor>
<persName>
<forename type="first">Jaime</forename>
<forename type="first">G.</forename>
<surname>Carbonell</surname>
</persName>
</editor>
<editor>
<persName>
<forename type="first">Jörg</forename>
<surname>Siekmann</surname>
</persName>
</editor>
<editor>
<persName>
<forename type="first">G.</forename>
<surname>Goos</surname>
</persName>
</editor>
<editor>
<persName>
<forename type="first">J.</forename>
<surname>Hartmanis</surname>
</persName>
</editor>
<editor>
<persName>
<forename type="first">J.</forename>
<nameLink>van</nameLink>
<surname>Leeuwen</surname>
</persName>
</editor>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="seriesID">558</idno>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<abstract xml:lang="en">
<head>Abstract</head>
<p>Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.</p>
</abstract>
<textClass ana="subject">
<keywords scheme="book-subject-collection">
<list>
<label>SUCO11645</label>
<item>
<term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass ana="subject">
<keywords scheme="book-subject">
<list>
<label>I</label>
<item>
<term type="Primary">Computer Science</term>
</item>
<label>I21017</label>
<item>
<term type="Secondary" subtype="priority-1">Artificial Intelligence (incl. Robotics)</term>
</item>
<label>I16021</label>
<item>
<term type="Secondary" subtype="priority-2">Algorithm Analysis and Problem Complexity</term>
</item>
</list>
</keywords>
</textClass>
<langUsage>
<language ident="EN"></language>
</langUsage>
</profileDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item>
<extension>txt</extension>
<original>false</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/fulltext.txt</uri>
</json:item>
</fulltext>
<metadata>
<istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header">
<istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document>
<Publisher>
<PublisherInfo>
<PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series>
<SeriesInfo TocLevels="0">
<SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesElectronicISSN>1611-3349</SeriesElectronicISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
<SeriesSubTitle Language="En">Lecture Notes in Artificial Intelligence</SeriesSubTitle>
<SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle>
</SeriesInfo>
<SeriesHeader>
<EditorGroup>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Jaime</GivenName>
<GivenName>G.</GivenName>
<FamilyName>Carbonell</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Jörg</GivenName>
<FamilyName>Siekmann</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>G.</GivenName>
<FamilyName>Goos</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>J.</GivenName>
<FamilyName>Hartmanis</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>J.</GivenName>
<Particle>van</Particle>
<FamilyName>Leeuwen</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En">
<BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered">
<BookID>3540628584</BookID>
<BookTitle>Machine Learning: ECML-97</BookTitle>
<BookSubTitle>9th European Conference on Machine Learning Prague, Czech Republic, April 23–25, 1997 Proceedings</BookSubTitle>
<BookVolumeNumber>1224</BookVolumeNumber>
<BookDOI>10.1007/3-540-62858-4</BookDOI>
<BookTitleID>46768</BookTitleID>
<BookPrintISBN>978-3-540-62858-3</BookPrintISBN>
<BookElectronicISBN>978-3-540-68708-5</BookElectronicISBN>
<BookChapterCount>33</BookChapterCount>
<BookCopyright>
<CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1997</CopyrightYear>
</BookCopyright>
<BookSubjectGroup>
<BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I21017" Priority="1" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject>
<BookSubject Code="I16021" Priority="2" Type="Secondary">Algorithm Analysis and Problem Complexity</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
</BookInfo>
<BookHeader>
<EditorGroup>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Maarten</GivenName>
<Particle>van</Particle>
<FamilyName>Someren</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Gerhard</GivenName>
<FamilyName>Widmer</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap14" Language="En">
<ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No">
<ChapterID>14</ChapterID>
<ChapterDOI>10.1007/3-540-62858-4_80</ChapterDOI>
<ChapterSequenceNumber>14</ChapterSequenceNumber>
<ChapterTitle Language="En">A model for generalization based on confirmatory induction</ChapterTitle>
<ChapterCategory>Part II: Regular Papers</ChapterCategory>
<ChapterFirstPage>154</ChapterFirstPage>
<ChapterLastPage>161</ChapterLastPage>
<ChapterCopyright>
<CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1997</CopyrightYear>
</ChapterCopyright>
<ChapterHistory>
<OnlineDate>
<Year>2005</Year>
<Month>6</Month>
<Day>2</Day>
</OnlineDate>
</ChapterHistory>
<ChapterGrants Type="Regular">
<MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext>
<SeriesID>558</SeriesID>
<BookID>3540628584</BookID>
<BookTitle>Machine Learning: ECML-97</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader>
<AuthorGroup>
<Author AffiliationIDS="Aff1">
<AuthorName DisplayOrder="Western">
<GivenName>Nicolas</GivenName>
<FamilyName>Lachiche</FamilyName>
</AuthorName>
<Contact>
<Email>lachiche@loria.fr</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff2">
<AuthorName DisplayOrder="Western">
<GivenName>Pierre</GivenName>
<FamilyName>Marquis</FamilyName>
</AuthorName>
<Contact>
<Email>marquis@lens.lifl.fr</Email>
</Contact>
</Author>
<Affiliation ID="Aff1">
<OrgDivision>Campus scientifique</OrgDivision>
<OrgName>CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA</OrgName>
<OrgAddress>
<Postbox>B.P. 239</Postbox>
<Postcode>54506</Postcode>
<City>Vandœzuvre-lès-Nancy Cedex</City>
<Country>France</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff2">
<OrgName>CRIL/Université d'Artois</OrgName>
<OrgAddress>
<Street>Rue de l'Université, S.P. 16</Street>
<Postcode>62307</Postcode>
<City>Lens Cedex</City>
<Country>France</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En">
<Heading>Abstract</Heading>
<Para>Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.</Para>
</Abstract>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6">
<titleInfo lang="en">
<title>A model for generalization based on confirmatory induction</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA">
<title>A model for generalization based on confirmatory induction</title>
</titleInfo>
<name type="personal">
<namePart type="given">Nicolas</namePart>
<namePart type="family">Lachiche</namePart>
<affiliation>Campus scientifique, CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, B.P. 239, 54506, Vandœzuvre-lès-Nancy Cedex, France</affiliation>
<affiliation>E-mail: lachiche@loria.fr</affiliation>
<role>
<roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Pierre</namePart>
<namePart type="family">Marquis</namePart>
<affiliation>CRIL/Université d'Artois, Rue de l'Université, S.P. 16, 62307, Lens Cedex, France</affiliation>
<affiliation>E-mail: marquis@lens.lifl.fr</affiliation>
<role>
<roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre displayLabel="ReviewPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre>
<originInfo>
<publisher>Springer Berlin Heidelberg</publisher>
<place>
<placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">1997</dateIssued>
<copyrightDate encoding="w3cdtf">1997</copyrightDate>
</originInfo>
<language>
<languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<abstract lang="en">Abstract: Confirmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to confirmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are based on completion policies that are unnecessary strong for the induction purpose. The contribution of this paper is twofold: some basic requirements that any model for generalization based on confirmatory induction should satisfy are proposed. Then, a model for generalization based on Hempel's notion of confirmation is introduced. This model is rational in the sense that it satisfies the rationality postulates we exhibit; moreover, the completion principle on which this model is based captures exactly the similarity assumption, hence the model can be considered minimal as well.</abstract>
<relatedItem type="host">
<titleInfo>
<title>Machine Learning: ECML-97</title>
<subTitle>9th European Conference on Machine Learning Prague, Czech Republic, April 23–25, 1997 Proceedings</subTitle>
</titleInfo>
<name type="personal">
<namePart type="given">Maarten</namePart>
<namePart type="family">van Someren</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Gerhard</namePart>
<namePart type="family">Widmer</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre>
<originInfo>
<publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1997</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject>
<genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject>
<genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16021">Algorithm Analysis and Problem Complexity</topic>
</subject>
<identifier type="DOI">10.1007/3-540-62858-4</identifier>
<identifier type="ISBN">978-3-540-62858-3</identifier>
<identifier type="eISBN">978-3-540-68708-5</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">46768</identifier>
<identifier type="BookID">3540628584</identifier>
<identifier type="BookChapterCount">33</identifier>
<identifier type="BookVolumeNumber">1224</identifier>
<part>
<date>1997</date>
<detail type="volume">
<number>1224</number>
<caption>vol.</caption>
</detail>
<extent unit="pages">
<start>154</start>
<end>161</end>
</extent>
</part>
<recordInfo>
<recordOrigin>Springer-Verlag, 1997</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series">
<titleInfo>
<title>Lecture Notes in Computer Science</title>
<subTitle>Lecture Notes in Artificial Intelligence</subTitle>
</titleInfo>
<name type="personal">
<namePart type="given">Jaime</namePart>
<namePart type="given">G.</namePart>
<namePart type="family">Carbonell</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Jörg</namePart>
<namePart type="family">Siekmann</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">G.</namePart>
<namePart type="family">Goos</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">J.</namePart>
<namePart type="family">Hartmanis</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">J.</namePart>
<namePart type="family">van Leeuwen</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1997</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo>
<recordOrigin>Springer-Verlag, 1997</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB</identifier>
<identifier type="ark">ark:/67375/HCB-682XM91Z-R</identifier>
<identifier type="DOI">10.1007/3-540-62858-4_80</identifier>
<identifier type="ChapterID">14</identifier>
<identifier type="ChapterID">Chap14</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1997</accessCondition>
<recordInfo>
<recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource>
<recordOrigin>Springer-Verlag, 1997</recordOrigin>
</recordInfo>
</mods>
<json:item>
<extension>json</extension>
<original>false</original>
<mimetype>application/json</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-682XM91Z-R/record.json</uri>
</json:item>
</metadata>
</istex>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003129 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003129 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Corpus
   |type=    RBID
   |clé=     ISTEX:CF8DA7BA0D6989BB6E0BD4E57BF247E6641ADFCB
   |texte=   A model for generalization based on confirmatory induction
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022