Tableaux for Acceptance Logic
Identifieur interne : 000667 ( Main/Merge ); précédent : 000666; suivant : 000668Tableaux for Acceptance Logic
Auteurs : Mathijs De Boer [Luxembourg (pays)] ; Andreas Herzig [France] ; Tiago De Lima [Pays-Bas] ; Emiliano Lorini [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.
Abstract
Abstract: We continue the work initiated in [1,2,3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acceptance of the members of an institution about a certain fact φ is created from the individual acceptances of the members of the institution. The contribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.
Url:
DOI: 10.1007/978-3-642-11355-0_6
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000438
- to stream Istex, to step Curation: 000438
- to stream Istex, to step Checkpoint: 000465
Links to Exploration step
ISTEX:ABA688CA531081BD4BE475E50ACB926B34E37882Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Tableaux for Acceptance Logic</title><author><name sortKey="De Boer, Mathijs" sort="De Boer, Mathijs" uniqKey="De Boer M" first="Mathijs" last="De Boer">Mathijs De Boer</name></author><author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name></author><author><name sortKey="De Lima, Tiago" sort="De Lima, Tiago" uniqKey="De Lima T" first="Tiago" last="De Lima">Tiago De Lima</name></author><author><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:ABA688CA531081BD4BE475E50ACB926B34E37882</idno><date when="2010" year="2010">2010</date><idno type="doi">10.1007/978-3-642-11355-0_6</idno><idno type="url">https://api.istex.fr/document/ABA688CA531081BD4BE475E50ACB926B34E37882/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000438</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000438</idno><idno type="wicri:Area/Istex/Curation">000438</idno><idno type="wicri:Area/Istex/Checkpoint">000465</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000465</idno><idno type="wicri:doubleKey">0302-9743:2010:De Boer M:tableaux:for:acceptance</idno><idno type="wicri:Area/Main/Merge">000667</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Tableaux for Acceptance Logic</title><author><name sortKey="De Boer, Mathijs" sort="De Boer, Mathijs" uniqKey="De Boer M" first="Mathijs" last="De Boer">Mathijs De Boer</name><affiliation wicri:level="1"><country xml:lang="fr">Luxembourg (pays)</country><wicri:regionArea>University of Luxembourg</wicri:regionArea></affiliation></author><author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>IRIT, University of Toulouse 3</wicri:regionArea><wicri:noRegion>University of Toulouse 3</wicri:noRegion><wicri:noRegion>University of Toulouse 3</wicri:noRegion></affiliation></author><author><name sortKey="De Lima, Tiago" sort="De Lima, Tiago" uniqKey="De Lima T" first="Tiago" last="De Lima">Tiago De Lima</name><affiliation wicri:level="1"><country xml:lang="fr">Pays-Bas</country><wicri:regionArea>Eindhoven University of Technology</wicri:regionArea></affiliation></author><author><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>IRIT, University of Toulouse 3</wicri:regionArea><wicri:noRegion>University of Toulouse 3</wicri:noRegion><wicri:noRegion>University of Toulouse 3</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2010</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">ABA688CA531081BD4BE475E50ACB926B34E37882</idno><idno type="DOI">10.1007/978-3-642-11355-0_6</idno><idno type="ChapterID">6</idno><idno type="ChapterID">Chap6</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: We continue the work initiated in [1,2,3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acceptance of the members of an institution about a certain fact φ is created from the individual acceptances of the members of the institution. The contribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/EpistemeV1/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000667 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 000667 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= EpistemeV1
|flux= Main
|étape= Merge
|type= RBID
|clé= ISTEX:ABA688CA531081BD4BE475E50ACB926B34E37882
|texte= Tableaux for Acceptance Logic
}}
| This area was generated with Dilib version V0.6.31. |  |