The Chisholm Paradox and the Situation Calculus
Identifieur interne : 001F28 ( Istex/Curation ); précédent : 001F27; suivant : 001F29The Chisholm Paradox and the Situation Calculus
Auteurs : Robert Demolombe [France] ; Pilar Pozos-Parra [Australie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2005.
English descriptors
- KwdEn :
- Axiom, Calculus, Certain paradoxes, Chisholm, Chisholm paradox, Cognitive model, Constraint, Corresponding successor state axioms, Demolombe, Deontic, Deontic logic, Deontic modalities, Frame problem, Ideal obligation, Ideal obligations, Ideal world, Ideal worlds, Initial settings, Last sentence, Legal arguments, Mental states, Modal logic, Natural language, Obligation, Obligatory, Oddity, Planning application, Practical applications, Pragmatic oddity, Pragmatic oddity problem, Precise conditions, Primary obligation, Primary obligations, Real world, Right hand side, Same situation, Secondary obligations, Situation calculus, State constraints, Successor deontic state axiom, Successor deontic state axioms, Successor state axiom, Successor state axioms, Truth value, Uent, Uents, Unexpected properties, Warning sign, Wide variety.
- Teeft :
- Axiom, Calculus, Certain paradoxes, Chisholm, Chisholm paradox, Cognitive model, Constraint, Corresponding successor state axioms, Demolombe, Deontic, Deontic logic, Deontic modalities, Frame problem, Ideal obligation, Ideal obligations, Ideal world, Ideal worlds, Initial settings, Last sentence, Legal arguments, Mental states, Modal logic, Natural language, Obligation, Obligatory, Oddity, Planning application, Practical applications, Pragmatic oddity, Pragmatic oddity problem, Precise conditions, Primary obligation, Primary obligations, Real world, Right hand side, Same situation, Secondary obligations, Situation calculus, State constraints, Successor deontic state axiom, Successor deontic state axioms, Successor state axiom, Successor state axioms, Truth value, Uent, Uents, Unexpected properties, Warning sign, Wide variety.
Abstract
Abstract: Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers from certain paradoxes of which the so-called Chisholm paradox is one of the most notorious. We propose a formalisation of the Chisholm set in the framework of the situation calculus. We utilise this alternative to modal logic for formalising the obligations of the agent and avoiding the Chisholm paradox. This new approach makes use of the notion of obligation fluents together with their associated successor state axioms. Furthermore, some results about automated reasoning in the situation calculus can be applied in order to consider a tractable implementation.
Url:
DOI: 10.1007/11425274_44
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001F28
Links to Exploration step
ISTEX:A52818CF2FA9C9FEEFEED9C1FF4F6568DE170E0BLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">The Chisholm Paradox and the Situation Calculus</title><author><name sortKey="Demolombe, Robert" sort="Demolombe, Robert" uniqKey="Demolombe R" first="Robert" last="Demolombe">Robert Demolombe</name><affiliation wicri:level="1"><mods:affiliation>ONERA-Toulouse, 2 Avenue E. Belin, BP 4025, 31055, Toulouse, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>ONERA-Toulouse, 2 Avenue E. Belin, BP 4025, 31055, Toulouse</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: Robert.Demolombe@cert.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Pozos Parra, Pilar" sort="Pozos Parra, Pilar" uniqKey="Pozos Parra P" first="Pilar" last="Pozos-Parra">Pilar Pozos-Parra</name><affiliation wicri:level="1"><mods:affiliation>Department of Computing, Macquarie University, NSW 2109, Australia</mods:affiliation><country xml:lang="fr">Australie</country><wicri:regionArea>Department of Computing, Macquarie University, NSW 2109</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: pilar@ics.mq.edu.au</mods:affiliation><country wicri:rule="url">Australie</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:A52818CF2FA9C9FEEFEED9C1FF4F6568DE170E0B</idno><date when="2005" year="2005">2005</date><idno type="doi">10.1007/11425274_44</idno><idno type="url">https://api.istex.fr/document/A52818CF2FA9C9FEEFEED9C1FF4F6568DE170E0B/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001F28</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001F28</idno><idno type="wicri:Area/Istex/Curation">001F28</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">The Chisholm Paradox and the Situation Calculus</title><author><name sortKey="Demolombe, Robert" sort="Demolombe, Robert" uniqKey="Demolombe R" first="Robert" last="Demolombe">Robert Demolombe</name><affiliation wicri:level="1"><mods:affiliation>ONERA-Toulouse, 2 Avenue E. Belin, BP 4025, 31055, Toulouse, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>ONERA-Toulouse, 2 Avenue E. Belin, BP 4025, 31055, Toulouse</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: Robert.Demolombe@cert.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Pozos Parra, Pilar" sort="Pozos Parra, Pilar" uniqKey="Pozos Parra P" first="Pilar" last="Pozos-Parra">Pilar Pozos-Parra</name><affiliation wicri:level="1"><mods:affiliation>Department of Computing, Macquarie University, NSW 2109, Australia</mods:affiliation><country xml:lang="fr">Australie</country><wicri:regionArea>Department of Computing, Macquarie University, NSW 2109</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: pilar@ics.mq.edu.au</mods:affiliation><country wicri:rule="url">Australie</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2005</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</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>Axiom</term><term>Calculus</term><term>Certain paradoxes</term><term>Chisholm</term><term>Chisholm paradox</term><term>Cognitive model</term><term>Constraint</term><term>Corresponding successor state axioms</term><term>Demolombe</term><term>Deontic</term><term>Deontic logic</term><term>Deontic modalities</term><term>Frame problem</term><term>Ideal obligation</term><term>Ideal obligations</term><term>Ideal world</term><term>Ideal worlds</term><term>Initial settings</term><term>Last sentence</term><term>Legal arguments</term><term>Mental states</term><term>Modal logic</term><term>Natural language</term><term>Obligation</term><term>Obligatory</term><term>Oddity</term><term>Planning application</term><term>Practical applications</term><term>Pragmatic oddity</term><term>Pragmatic oddity problem</term><term>Precise conditions</term><term>Primary obligation</term><term>Primary obligations</term><term>Real world</term><term>Right hand side</term><term>Same situation</term><term>Secondary obligations</term><term>Situation calculus</term><term>State constraints</term><term>Successor deontic state axiom</term><term>Successor deontic state axioms</term><term>Successor state axiom</term><term>Successor state axioms</term><term>Truth value</term><term>Uent</term><term>Uents</term><term>Unexpected properties</term><term>Warning sign</term><term>Wide variety</term></keywords><keywords scheme="Teeft" xml:lang="en"><term>Axiom</term><term>Calculus</term><term>Certain paradoxes</term><term>Chisholm</term><term>Chisholm paradox</term><term>Cognitive model</term><term>Constraint</term><term>Corresponding successor state axioms</term><term>Demolombe</term><term>Deontic</term><term>Deontic logic</term><term>Deontic modalities</term><term>Frame problem</term><term>Ideal obligation</term><term>Ideal obligations</term><term>Ideal world</term><term>Ideal worlds</term><term>Initial settings</term><term>Last sentence</term><term>Legal arguments</term><term>Mental states</term><term>Modal logic</term><term>Natural language</term><term>Obligation</term><term>Obligatory</term><term>Oddity</term><term>Planning application</term><term>Practical applications</term><term>Pragmatic oddity</term><term>Pragmatic oddity problem</term><term>Precise conditions</term><term>Primary obligation</term><term>Primary obligations</term><term>Real world</term><term>Right hand side</term><term>Same situation</term><term>Secondary obligations</term><term>Situation calculus</term><term>State constraints</term><term>Successor deontic state axiom</term><term>Successor deontic state axioms</term><term>Successor state axiom</term><term>Successor state axioms</term><term>Truth value</term><term>Uent</term><term>Uents</term><term>Unexpected properties</term><term>Warning sign</term><term>Wide variety</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers from certain paradoxes of which the so-called Chisholm paradox is one of the most notorious. We propose a formalisation of the Chisholm set in the framework of the situation calculus. We utilise this alternative to modal logic for formalising the obligations of the agent and avoiding the Chisholm paradox. This new approach makes use of the notion of obligation fluents together with their associated successor state axioms. Furthermore, some results about automated reasoning in the situation calculus can be applied in order to consider a tractable implementation.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001F28 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001F28 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Asie
|area= AustralieFrV1
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:A52818CF2FA9C9FEEFEED9C1FF4F6568DE170E0B
|texte= The Chisholm Paradox and the Situation Calculus
}}
| This area was generated with Dilib version V0.6.33. |  |