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 : 000C48 ( PascalFrancis/Corpus ); précédent : 000C47; suivant : 000C49

A model for generalization based on confirmatory induction

Auteurs : N. Lachiche ; P. Marquis

Source :

RBID : Pascal:97-0390502

Descripteurs français

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.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

pA  
A01 01  1    @0 0302-9743
A05       @2 1224
A08 01  1  ENG  @1 A model for generalization based on confirmatory induction
A09 01  1  ENG  @1 Machine learning : Prague, April 23-25, 1997
A11 01  1    @1 LACHICHE (N.)
A11 02  1    @1 MARQUIS (P.)
A12 01  1    @1 SOMEREN (Maarten van) @9 ed.
A12 02  1    @1 WIDMER (Gerhard) @9 ed.
A14 01      @1 CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239 @2 54506 Vandœuvre-lès-Nancy @3 FRA @Z 1 aut.
A14 02      @1 CRIL/Université d'Artois, Rue de l'Université, S.P. 16 @2 62307 Lens @3 FRA @Z 2 aut.
A20       @1 154-161
A21       @1 1997
A23 01      @0 ENG
A43 01      @1 INIST @2 16343 @5 354000062524650130
A44       @0 0000 @1 © 1997 INIST-CNRS. All rights reserved.
A45       @0 19 ref.
A47 01  1    @0 97-0390502
A60       @1 P @2 C
A61       @0 A
A64 01  1    @0 Lecture notes in computer science
A66 01      @0 DEU
A66 02      @0 USA
C01 01    ENG  @0 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.
C02 01  X    @0 001D02C02
C03 01  X  FRE  @0 Intelligence artificielle @5 01
C03 01  X  ENG  @0 Artificial intelligence @5 01
C03 01  X  SPA  @0 Inteligencia artificial @5 01
C03 02  X  FRE  @0 Algorithme apprentissage @5 02
C03 02  X  ENG  @0 Learning algorithm @5 02
C03 02  X  SPA  @0 Algoritmo aprendizaje @5 02
C03 03  X  FRE  @0 Circonscription @5 03
C03 03  X  ENG  @0 Circumscription @5 03
C03 03  X  SPA  @0 Circonscripción @5 03
N21       @1 237
pR  
A30 01  1  ENG  @1 ECML-97 : European conference on machine learning @2 9 @3 Prague CZE @4 1997-04-23

Format Inist (serveur)

NO : PASCAL 97-0390502 INIST
ET : A model for generalization based on confirmatory induction
AU : LACHICHE (N.); MARQUIS (P.); SOMEREN (Maarten van); WIDMER (Gerhard)
AF : CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239/54506 Vandœuvre-lès-Nancy/France (1 aut.); CRIL/Université d'Artois, Rue de l'Université, S.P. 16/62307 Lens/France (2 aut.)
DT : Publication en série; Congrès; Niveau analytique
SO : Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 1997; Vol. 1224; Pp. 154-161; Bibl. 19 ref.
LA : Anglais
EA : 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.
CC : 001D02C02
FD : Intelligence artificielle; Algorithme apprentissage; Circonscription
ED : Artificial intelligence; Learning algorithm; Circumscription
SD : Inteligencia artificial; Algoritmo aprendizaje; Circonscripción
LO : INIST-16343.354000062524650130
ID : 97-0390502

Links to Exploration step

Pascal:97-0390502

Le 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>
<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>
</affiliation>
</author>
<author>
<name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
<affiliation>
<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>
</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>
</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>
<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>
</affiliation>
</author>
<author>
<name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
<affiliation>
<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>
</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>
</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>
<server>
<NO>PASCAL 97-0390502 INIST</NO>
<ET>A model for generalization based on confirmatory induction</ET>
<AU>LACHICHE (N.); MARQUIS (P.); SOMEREN (Maarten van); WIDMER (Gerhard)</AU>
<AF>CRIN/CNRS - INRIA Lorraine, Bâtiment LORIA, Campus scientifique B.P. 239/54506 Vandœuvre-lès-Nancy/France (1 aut.); CRIL/Université d'Artois, Rue de l'Université, S.P. 16/62307 Lens/France (2 aut.)</AF>
<DT>Publication en série; Congrès; Niveau analytique</DT>
<SO>Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 1997; Vol. 1224; Pp. 154-161; Bibl. 19 ref.</SO>
<LA>Anglais</LA>
<EA>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.</EA>
<CC>001D02C02</CC>
<FD>Intelligence artificielle; Algorithme apprentissage; Circonscription</FD>
<ED>Artificial intelligence; Learning algorithm; Circumscription</ED>
<SD>Inteligencia artificial; Algoritmo aprendizaje; Circonscripción</SD>
<LO>INIST-16343.354000062524650130</LO>
<ID>97-0390502</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

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

Ou

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000C48 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:97-0390502
   |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