Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge
Identifieur interne : 001237 ( Istex/Curation ); précédent : 001236; suivant : 001238Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge
Auteurs : Ralph Bergmann [Allemagne] ; Babak Mougouie [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2006.
Abstract
Abstract: While reasoning with cases is usually done in a similarity-based manner, additional general knowledge is often represented in rules, constraints, or ontology definitions and is applied in a deductive reasoning process. This paper presents a new view on the combination of deductive and similarity-based reasoning, which is embedded in the CBR context. The basic idea is to view general knowledge and cases as a logical theory of a domain. Similarity-based reasoning is introduced as search for the most similar element in the deductive closure of the domain theory. We elaborate this approach and introduce several related search algorithms, which are analyzed in an experimental study. Further, we show how several previous approaches for using general knowledge in CBR can be mapped to our new view.
Url:
DOI: 10.1007/11805816_21
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001349
Links to Exploration step
ISTEX:3D26A2E64CF380131DC01A06C58D570D94EB957DLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge</title>
<author><name sortKey="Bergmann, Ralph" sort="Bergmann, Ralph" uniqKey="Bergmann R" first="Ralph" last="Bergmann">Ralph Bergmann</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Business Information Systems II, University of Trier, 54294, Trier, Germany</mods:affiliation>
<country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Department of Business Information Systems II, University of Trier, 54294, Trier</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: bergmann@wi2.uni-trier.de</mods:affiliation>
<country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Mougouie, Babak" sort="Mougouie, Babak" uniqKey="Mougouie B" first="Babak" last="Mougouie">Babak Mougouie</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Business Information Systems II, University of Trier, 54294, Trier, Germany</mods:affiliation>
<country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Department of Business Information Systems II, University of Trier, 54294, Trier</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: mougouie@wi2.uni-trier.de</mods:affiliation>
<country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:3D26A2E64CF380131DC01A06C58D570D94EB957D</idno>
<date when="2006" year="2006">2006</date>
<idno type="doi">10.1007/11805816_21</idno>
<idno type="url">https://api.istex.fr/document/3D26A2E64CF380131DC01A06C58D570D94EB957D/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001349</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001349</idno>
<idno type="wicri:Area/Istex/Curation">001237</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge</title>
<author><name sortKey="Bergmann, Ralph" sort="Bergmann, Ralph" uniqKey="Bergmann R" first="Ralph" last="Bergmann">Ralph Bergmann</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Business Information Systems II, University of Trier, 54294, Trier, Germany</mods:affiliation>
<country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Department of Business Information Systems II, University of Trier, 54294, Trier</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: bergmann@wi2.uni-trier.de</mods:affiliation>
<country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Mougouie, Babak" sort="Mougouie, Babak" uniqKey="Mougouie B" first="Babak" last="Mougouie">Babak Mougouie</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Business Information Systems II, University of Trier, 54294, Trier, Germany</mods:affiliation>
<country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Department of Business Information Systems II, University of Trier, 54294, Trier</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: mougouie@wi2.uni-trier.de</mods:affiliation>
<country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2006</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">3D26A2E64CF380131DC01A06C58D570D94EB957D</idno>
<idno type="DOI">10.1007/11805816_21</idno>
<idno type="ChapterID">21</idno>
<idno type="ChapterID">Chap21</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: While reasoning with cases is usually done in a similarity-based manner, additional general knowledge is often represented in rules, constraints, or ontology definitions and is applied in a deductive reasoning process. This paper presents a new view on the combination of deductive and similarity-based reasoning, which is embedded in the CBR context. The basic idea is to view general knowledge and cases as a logical theory of a domain. Similarity-based reasoning is introduced as search for the most similar element in the deductive closure of the domain theory. We elaborate this approach and introduce several related search algorithms, which are analyzed in an experimental study. Further, we show how several previous approaches for using general knowledge in CBR can be mapped to our new view.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001237 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001237 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Rhénanie |area= UnivTrevesV1 |flux= Istex |étape= Curation |type= RBID |clé= ISTEX:3D26A2E64CF380131DC01A06C58D570D94EB957D |texte= Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge }}
This area was generated with Dilib version V0.6.31. |