A model for generalization based on confirmatory induction
Identifieur interne : 000C46 ( PascalFrancis/Checkpoint ); précédent : 000C45; suivant : 000C47A model for generalization based on confirmatory induction
Auteurs : N. Lachiche [France] ; P. Marquis [France]Source :
- Lecture notes in computer science [ 0302-9743 ] ; 1997.
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Intelligence artificielle.
English descriptors
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.
Affiliations:
- France
- Grand Est, Hauts-de-France, Lorraine (région), Nord-Pas-de-Calais
- Lens (Pas-de-Calais), Vandœuvre-lès-Nancy
Links toward previous steps (curation, corpus...)
Links to Exploration step
Pascal:97-0390502Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">A model for generalization based on confirmatory induction</title>
<author><name sortKey="Lachiche, N" sort="Lachiche, N" uniqKey="Lachiche N" first="N." last="Lachiche">N. Lachiche</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
<affiliation wicri:level="3"><inist:fA14 i1="02"><s1>CRIL/Université d'Artois, Rue de l'Université, S.P. 16</s1>
<s2>62307 Lens</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Hauts-de-France</region>
<region type="old region" nuts="2">Nord-Pas-de-Calais</region>
<settlement type="city">Lens (Pas-de-Calais)</settlement>
</placeName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">97-0390502</idno>
<date when="1997">1997</date>
<idno type="stanalyst">PASCAL 97-0390502 INIST</idno>
<idno type="RBID">Pascal:97-0390502</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000C48</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000C31</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000C46</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000C46</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">A model for generalization based on confirmatory induction</title>
<author><name sortKey="Lachiche, N" sort="Lachiche, N" uniqKey="Lachiche N" first="N." last="Lachiche">N. Lachiche</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
<affiliation wicri:level="3"><inist:fA14 i1="02"><s1>CRIL/Université d'Artois, Rue de l'Université, S.P. 16</s1>
<s2>62307 Lens</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Hauts-de-France</region>
<region type="old region" nuts="2">Nord-Pas-de-Calais</region>
<settlement type="city">Lens (Pas-de-Calais)</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="1997">1997</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Artificial intelligence</term>
<term>Circumscription</term>
<term>Learning algorithm</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Intelligence artificielle</term>
<term>Algorithme apprentissage</term>
<term>Circonscription</term>
</keywords>
<keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Intelligence artificielle</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">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>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0302-9743</s0>
</fA01>
<fA05><s2>1224</s2>
</fA05>
<fA08 i1="01" i2="1" l="ENG"><s1>A model for generalization based on confirmatory induction</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>Machine learning : Prague, April 23-25, 1997</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>LACHICHE (N.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>MARQUIS (P.)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>SOMEREN (Maarten van)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>WIDMER (Gerhard)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>CRIL/Université d'Artois, Rue de l'Université, S.P. 16</s1>
<s2>62307 Lens</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA14>
<fA20><s1>154-161</s1>
</fA20>
<fA21><s1>1997</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>16343</s2>
<s5>354000062524650130</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 1997 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>19 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>97-0390502</s0>
</fA47>
<fA60><s1>P</s1>
<s2>C</s2>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Lecture notes in computer science</s0>
</fA64>
<fA66 i1="01"><s0>DEU</s0>
</fA66>
<fA66 i1="02"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>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.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02C02</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Intelligence artificielle</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Artificial intelligence</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Inteligencia artificial</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Algorithme apprentissage</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Learning algorithm</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Algoritmo aprendizaje</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Circonscription</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Circumscription</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Circonscripción</s0>
<s5>03</s5>
</fC03>
<fN21><s1>237</s1>
</fN21>
</pA>
<pR><fA30 i1="01" i2="1" l="ENG"><s1>ECML-97 : European conference on machine learning</s1>
<s2>9</s2>
<s3>Prague CZE</s3>
<s4>1997-04-23</s4>
</fA30>
</pR>
</standard>
</inist>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Hauts-de-France</li>
<li>Lorraine (région)</li>
<li>Nord-Pas-de-Calais</li>
</region>
<settlement><li>Lens (Pas-de-Calais)</li>
<li>Vandœuvre-lès-Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Lachiche, N" sort="Lachiche, N" uniqKey="Lachiche N" first="N." last="Lachiche">N. Lachiche</name>
</region>
<name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000C46 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd -nk 000C46 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= PascalFrancis |étape= Checkpoint |type= RBID |clé= Pascal:97-0390502 |texte= A model for generalization based on confirmatory induction }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |