Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123605861> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2123605861 endingPage "500" @default.
- W2123605861 startingPage "461" @default.
- W2123605861 abstract "This paper formalizes belief revision for belief states in type theory. Type theory has been influential in logic and computer science but as far as we know, this is the first account at using type theory in belief revision. The use of type theory allows an agent's beliefs as well as his justifications for these beliefs to be explicitly represented and hence to act as first-class citizens. Treating justifications as first-class citizens allows for a deductive perspective on belief revision. We propose a procedure for identifying and removing “suspect” beliefs, and beliefs depending on them. The procedure may be applied iteratively, and terminates in a consistent belief state. The procedure is based on introducing explicit justification of beliefs. We study the belief change operations emerging from this perspective in the setting of typed λ-calculus, and situate these operations with respect to standard approaches." @default.
- W2123605861 created "2016-06-24" @default.
- W2123605861 creator A5003863800 @default.
- W2123605861 creator A5031944209 @default.
- W2123605861 creator A5053539227 @default.
- W2123605861 date "2002-09-01" @default.
- W2123605861 modified "2023-09-25" @default.
- W2123605861 title "Formalizing Belief Revision in Type Theory" @default.
- W2123605861 doi "https://doi.org/10.1093/jigpal/10.5.461" @default.
- W2123605861 hasPublicationYear "2002" @default.
- W2123605861 type Work @default.
- W2123605861 sameAs 2123605861 @default.
- W2123605861 citedByCount "2" @default.
- W2123605861 crossrefType "journal-article" @default.
- W2123605861 hasAuthorship W2123605861A5003863800 @default.
- W2123605861 hasAuthorship W2123605861A5031944209 @default.
- W2123605861 hasAuthorship W2123605861A5053539227 @default.
- W2123605861 hasConcept C111472728 @default.
- W2123605861 hasConcept C12713177 @default.
- W2123605861 hasConcept C128913409 @default.
- W2123605861 hasConcept C138885662 @default.
- W2123605861 hasConcept C154945302 @default.
- W2123605861 hasConcept C15744967 @default.
- W2123605861 hasConcept C18903297 @default.
- W2123605861 hasConcept C199343813 @default.
- W2123605861 hasConcept C2777212361 @default.
- W2123605861 hasConcept C2777299769 @default.
- W2123605861 hasConcept C2777686260 @default.
- W2123605861 hasConcept C2778223634 @default.
- W2123605861 hasConcept C41008148 @default.
- W2123605861 hasConcept C71924100 @default.
- W2123605861 hasConcept C73484699 @default.
- W2123605861 hasConcept C86803240 @default.
- W2123605861 hasConcept C93682546 @default.
- W2123605861 hasConceptScore W2123605861C111472728 @default.
- W2123605861 hasConceptScore W2123605861C12713177 @default.
- W2123605861 hasConceptScore W2123605861C128913409 @default.
- W2123605861 hasConceptScore W2123605861C138885662 @default.
- W2123605861 hasConceptScore W2123605861C154945302 @default.
- W2123605861 hasConceptScore W2123605861C15744967 @default.
- W2123605861 hasConceptScore W2123605861C18903297 @default.
- W2123605861 hasConceptScore W2123605861C199343813 @default.
- W2123605861 hasConceptScore W2123605861C2777212361 @default.
- W2123605861 hasConceptScore W2123605861C2777299769 @default.
- W2123605861 hasConceptScore W2123605861C2777686260 @default.
- W2123605861 hasConceptScore W2123605861C2778223634 @default.
- W2123605861 hasConceptScore W2123605861C41008148 @default.
- W2123605861 hasConceptScore W2123605861C71924100 @default.
- W2123605861 hasConceptScore W2123605861C73484699 @default.
- W2123605861 hasConceptScore W2123605861C86803240 @default.
- W2123605861 hasConceptScore W2123605861C93682546 @default.
- W2123605861 hasIssue "5" @default.
- W2123605861 hasLocation W21236058611 @default.
- W2123605861 hasOpenAccess W2123605861 @default.
- W2123605861 hasPrimaryLocation W21236058611 @default.
- W2123605861 hasRelatedWork W1603460828 @default.
- W2123605861 hasRelatedWork W2003295197 @default.
- W2123605861 hasRelatedWork W2012255305 @default.
- W2123605861 hasRelatedWork W2097396421 @default.
- W2123605861 hasRelatedWork W2152655108 @default.
- W2123605861 hasRelatedWork W2347389946 @default.
- W2123605861 hasRelatedWork W2384211831 @default.
- W2123605861 hasRelatedWork W2504033480 @default.
- W2123605861 hasRelatedWork W3107474891 @default.
- W2123605861 hasRelatedWork W3021962464 @default.
- W2123605861 hasVolume "10" @default.
- W2123605861 isParatext "false" @default.
- W2123605861 isRetracted "false" @default.
- W2123605861 magId "2123605861" @default.
- W2123605861 workType "article" @default.