Updating epistemic states
Identifieur interne : 00B878 ( Main/Exploration ); précédent : 00B877; suivant : 00B879Updating epistemic states
Auteurs : Jérôme Lang [France] ; Pierre Marquis [France] ; Mary-Anne Williams [Australie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2001.
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Intelligence artificielle.
English descriptors
- KwdEn :
- Andreas herzig, Arti cial intelligence, Artificial intelligence, Belief, Belief bases, Belief change, Belief revision, Belief sets, Belief state, Belief states, Certain piece, Complexity results, Craig boutilier, Dependencybased updates, Depv, Dynamic variables, Epistemic, Epistemic state, Epistemic states, Epistemology, Full instantiations, Initial belief, Initial belief base, Initial belief state, Initial beliefs, Initial epistemic state, Initial state, Input formula, Iterated, Iterated belief, Iterated belief revision, Lang, Last point, Likely evolution, Necessary background, Next result, Nition, Nontautological formula, Ocfs, Pierre marquis, Propositional, Propositional belief base, Propositional formula, Propositional logic, Propositional variables, Resp, Revision, Same truth value, Saturday night shooting, Sebastien konieczny, Static variables, Static world, Strongest consequence, Transmutation, Transmutation operator, Truth value, Turkey results, Update, Updating.
- Teeft :
- Andreas herzig, Arti cial intelligence, Belief bases, Belief change, Belief revision, Belief sets, Belief state, Belief states, Certain piece, Complexity results, Craig boutilier, Dependencybased updates, Depv, Dynamic variables, Epistemic, Epistemic state, Epistemic states, Full instantiations, Initial belief, Initial belief base, Initial belief state, Initial beliefs, Initial epistemic state, Initial state, Input formula, Iterated, Iterated belief, Iterated belief revision, Lang, Last point, Likely evolution, Necessary background, Next result, Nition, Nontautological formula, Ocfs, Pierre marquis, Propositional, Propositional belief base, Propositional formula, Propositional logic, Propositional variables, Resp, Revision, Same truth value, Saturday night shooting, Sebastien konieczny, Static variables, Static world, Strongest consequence, Transmutation, Transmutation operator, Truth value, Turkey results, Update.
Abstract
Abstract: Belief update is usually defined by means of operators acting on belief sets. We propose here belief update operators acting on epistemic states which convey much more information than belief sets since they express the relative plausibilities of the pieces of information believed by the agent. In the following, epistemic states are encoded as rankings on worlds. We extend a class of update operators (dependency- based updates) to epistemic states, by defining an operation playing the same role as knowledge transmutations [21] do for belief revision.
Url:
DOI: 10.1007/3-540-45656-2_26
Affiliations:
- Australie, France
- Hauts-de-France, Midi-Pyrénées, Nord-Pas-de-Calais, Occitanie (région administrative)
- Lens (Pas-de-Calais), Toulouse
- Université Toulouse III - Paul Sabatier
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002016
- to stream Istex, to step Curation: 002016
- to stream Istex, to step Checkpoint: 001C80
- to stream Main, to step Merge: 00C723
- to stream PascalFrancis, to step Corpus: 005831
- to stream PascalFrancis, to step Curation: 000908
- to stream PascalFrancis, to step Checkpoint: 005612
- to stream Main, to step Merge: 00C957
- to stream Main, to step Curation: 00B878
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Updating epistemic states</title><author><name sortKey="Lang, Jerome" sort="Lang, Jerome" uniqKey="Lang J" first="Jérôme" last="Lang">Jérôme Lang</name></author><author><name sortKey="Marquis, Pierre" sort="Marquis, Pierre" uniqKey="Marquis P" first="Pierre" last="Marquis">Pierre Marquis</name></author><author><name sortKey="Williams, Mary Anne" sort="Williams, Mary Anne" uniqKey="Williams M" first="Mary-Anne" last="Williams">Mary-Anne Williams</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:A958EEFDD761DE39FBFAC60EDE28CF7B87A5BDB1</idno><date when="2001" year="2001">2001</date><idno type="doi">10.1007/3-540-45656-2_26</idno><idno type="url">https://api.istex.fr/document/A958EEFDD761DE39FBFAC60EDE28CF7B87A5BDB1/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">002016</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002016</idno><idno type="wicri:Area/Istex/Curation">002016</idno><idno type="wicri:Area/Istex/Checkpoint">001C80</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001C80</idno><idno type="wicri:doubleKey">0302-9743:2001:Lang J:updating:epistemic:states</idno><idno type="wicri:Area/Main/Merge">00C723</idno><idno type="wicri:source">INIST</idno><idno type="RBID">Pascal:02-0204448</idno><idno type="wicri:Area/PascalFrancis/Corpus">005831</idno><idno type="wicri:Area/PascalFrancis/Curation">000908</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">005612</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">005612</idno><idno type="wicri:doubleKey">0302-9743:2001:Lang J:updating:epistemic:states</idno><idno type="wicri:Area/Main/Merge">00C957</idno><idno type="wicri:Area/Main/Curation">00B878</idno><idno type="wicri:Area/Main/Exploration">00B878</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Updating epistemic states</title><author><name sortKey="Lang, Jerome" sort="Lang, Jerome" uniqKey="Lang J" first="Jérôme" last="Lang">Jérôme Lang</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>IRIT, Université Paul Sabatier, Toulouse</wicri:regionArea><placeName><region type="region">Occitanie (région administrative)</region><region type="old region">Midi-Pyrénées</region><settlement type="city">Toulouse</settlement><settlement type="city">Toulouse</settlement></placeName><orgName type="university">Université Toulouse III - Paul Sabatier</orgName></affiliation></author><author><name sortKey="Marquis, Pierre" sort="Marquis, Pierre" uniqKey="Marquis P" first="Pierre" last="Marquis">Pierre Marquis</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>CRIL, Université d’Artois, Lens</wicri:regionArea><placeName><region type="region">Hauts-de-France</region><region type="old region">Nord-Pas-de-Calais</region><settlement type="city">Lens (Pas-de-Calais)</settlement></placeName></affiliation></author><author><name sortKey="Williams, Mary Anne" sort="Williams, Mary Anne" uniqKey="Williams M" first="Mary-Anne" last="Williams">Mary-Anne Williams</name><affiliation wicri:level="1"><country xml:lang="fr">Australie</country><wicri:regionArea>University of Newcastle, Newcastle</wicri:regionArea><wicri:noRegion>Newcastle</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2001</date></imprint><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Andreas herzig</term><term>Arti cial intelligence</term><term>Artificial intelligence</term><term>Belief</term><term>Belief bases</term><term>Belief change</term><term>Belief revision</term><term>Belief sets</term><term>Belief state</term><term>Belief states</term><term>Certain piece</term><term>Complexity results</term><term>Craig boutilier</term><term>Dependencybased updates</term><term>Depv</term><term>Dynamic variables</term><term>Epistemic</term><term>Epistemic state</term><term>Epistemic states</term><term>Epistemology</term><term>Full instantiations</term><term>Initial belief</term><term>Initial belief base</term><term>Initial belief state</term><term>Initial beliefs</term><term>Initial epistemic state</term><term>Initial state</term><term>Input formula</term><term>Iterated</term><term>Iterated belief</term><term>Iterated belief revision</term><term>Lang</term><term>Last point</term><term>Likely evolution</term><term>Necessary background</term><term>Next result</term><term>Nition</term><term>Nontautological formula</term><term>Ocfs</term><term>Pierre marquis</term><term>Propositional</term><term>Propositional belief base</term><term>Propositional formula</term><term>Propositional logic</term><term>Propositional variables</term><term>Resp</term><term>Revision</term><term>Same truth value</term><term>Saturday night shooting</term><term>Sebastien konieczny</term><term>Static variables</term><term>Static world</term><term>Strongest consequence</term><term>Transmutation</term><term>Transmutation operator</term><term>Truth value</term><term>Turkey results</term><term>Update</term><term>Updating</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Croyance</term><term>Epistémologie</term><term>Intelligence artificielle</term><term>Mise à jour</term></keywords><keywords scheme="Teeft" xml:lang="en"><term>Andreas herzig</term><term>Arti cial intelligence</term><term>Belief bases</term><term>Belief change</term><term>Belief revision</term><term>Belief sets</term><term>Belief state</term><term>Belief states</term><term>Certain piece</term><term>Complexity results</term><term>Craig boutilier</term><term>Dependencybased updates</term><term>Depv</term><term>Dynamic variables</term><term>Epistemic</term><term>Epistemic state</term><term>Epistemic states</term><term>Full instantiations</term><term>Initial belief</term><term>Initial belief base</term><term>Initial belief state</term><term>Initial beliefs</term><term>Initial epistemic state</term><term>Initial state</term><term>Input formula</term><term>Iterated</term><term>Iterated belief</term><term>Iterated belief revision</term><term>Lang</term><term>Last point</term><term>Likely evolution</term><term>Necessary background</term><term>Next result</term><term>Nition</term><term>Nontautological formula</term><term>Ocfs</term><term>Pierre marquis</term><term>Propositional</term><term>Propositional belief base</term><term>Propositional formula</term><term>Propositional logic</term><term>Propositional variables</term><term>Resp</term><term>Revision</term><term>Same truth value</term><term>Saturday night shooting</term><term>Sebastien konieczny</term><term>Static variables</term><term>Static world</term><term>Strongest consequence</term><term>Transmutation</term><term>Transmutation operator</term><term>Truth value</term><term>Turkey results</term><term>Update</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Intelligence artificielle</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Belief update is usually defined by means of operators acting on belief sets. We propose here belief update operators acting on epistemic states which convey much more information than belief sets since they express the relative plausibilities of the pieces of information believed by the agent. In the following, epistemic states are encoded as rankings on worlds. We extend a class of update operators (dependency- based updates) to epistemic states, by defining an operation playing the same role as knowledge transmutations [21] do for belief revision.</div></front></TEI><affiliations><list><country><li>Australie</li><li>France</li></country><region><li>Hauts-de-France</li><li>Midi-Pyrénées</li><li>Nord-Pas-de-Calais</li><li>Occitanie (région administrative)</li></region><settlement><li>Lens (Pas-de-Calais)</li><li>Toulouse</li></settlement><orgName><li>Université Toulouse III - Paul Sabatier</li></orgName></list><tree><country name="France"><region name="Occitanie (région administrative)"><name sortKey="Lang, Jerome" sort="Lang, Jerome" uniqKey="Lang J" first="Jérôme" last="Lang">Jérôme Lang</name></region><name sortKey="Marquis, Pierre" sort="Marquis, Pierre" uniqKey="Marquis P" first="Pierre" last="Marquis">Pierre Marquis</name></country><country name="Australie"><noRegion><name sortKey="Williams, Mary Anne" sort="Williams, Mary Anne" uniqKey="Williams M" first="Mary-Anne" last="Williams">Mary-Anne Williams</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B878 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00B878 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Asie
|area= AustralieFrV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:A958EEFDD761DE39FBFAC60EDE28CF7B87A5BDB1
|texte= Updating epistemic states
}}
| This area was generated with Dilib version V0.6.33. |  |