Matches in SemOpenAlex for { <https://semopenalex.org/work/W2651799> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2651799 abstract "A knowledge representation and reasoning system must be able to deal with contradictions and revise beliefs. There has been much research in belief revision in the last decade, but this research tends to be either in the Coherence camp (AGM) or the Foundations (TMS) camp with little crossover. Most theoretical postulates on belief revision and belief contraction assume a deductively closed belief space something that is computationally hard (or impossible) to produce in an implementation. This makes it difficult to analyze implemented belief revision systems using the theoretical postulates. This paper offers a formalism that describes a deductively open belief space (DOBS). It then uses this formalism to alter the AGM integrity constraints for a DOBS. A DOBS uses a base set of hypotheses, but only deduces beliefs from that base as the result of specific queries. Thus, it can grow over time even if the base remains static, and can never be referred to as consistent only either inconsistent or not known to be inconsistent. This work and future alterations to the traditional postulate formalisms will better enable system/postulate comparisons." @default.
- W2651799 created "2016-06-24" @default.
- W2651799 creator A5008754204 @default.
- W2651799 creator A5030334025 @default.
- W2651799 date "2000-01-01" @default.
- W2651799 modified "2023-09-27" @default.
- W2651799 title "Formalizing a Deductively Open Belief Space" @default.
- W2651799 cites W1514583064 @default.
- W2651799 cites W1521968029 @default.
- W2651799 cites W156961058 @default.
- W2651799 cites W2032245524 @default.
- W2651799 cites W2149420462 @default.
- W2651799 cites W2409461146 @default.
- W2651799 cites W2506789295 @default.
- W2651799 cites W2884728082 @default.
- W2651799 cites W2912435539 @default.
- W2651799 cites W6533585 @default.
- W2651799 hasPublicationYear "2000" @default.
- W2651799 type Work @default.
- W2651799 sameAs 2651799 @default.
- W2651799 citedByCount "2" @default.
- W2651799 crossrefType "journal-article" @default.
- W2651799 hasAuthorship W2651799A5008754204 @default.
- W2651799 hasAuthorship W2651799A5030334025 @default.
- W2651799 hasConcept C111472728 @default.
- W2651799 hasConcept C111919701 @default.
- W2651799 hasConcept C128913409 @default.
- W2651799 hasConcept C138885662 @default.
- W2651799 hasConcept C142362112 @default.
- W2651799 hasConcept C153349607 @default.
- W2651799 hasConcept C154945302 @default.
- W2651799 hasConcept C171018156 @default.
- W2651799 hasConcept C2524010 @default.
- W2651799 hasConcept C2778572836 @default.
- W2651799 hasConcept C2994474205 @default.
- W2651799 hasConcept C33923547 @default.
- W2651799 hasConcept C41008148 @default.
- W2651799 hasConcept C4554734 @default.
- W2651799 hasConcept C558565934 @default.
- W2651799 hasConcept C73301696 @default.
- W2651799 hasConceptScore W2651799C111472728 @default.
- W2651799 hasConceptScore W2651799C111919701 @default.
- W2651799 hasConceptScore W2651799C128913409 @default.
- W2651799 hasConceptScore W2651799C138885662 @default.
- W2651799 hasConceptScore W2651799C142362112 @default.
- W2651799 hasConceptScore W2651799C153349607 @default.
- W2651799 hasConceptScore W2651799C154945302 @default.
- W2651799 hasConceptScore W2651799C171018156 @default.
- W2651799 hasConceptScore W2651799C2524010 @default.
- W2651799 hasConceptScore W2651799C2778572836 @default.
- W2651799 hasConceptScore W2651799C2994474205 @default.
- W2651799 hasConceptScore W2651799C33923547 @default.
- W2651799 hasConceptScore W2651799C41008148 @default.
- W2651799 hasConceptScore W2651799C4554734 @default.
- W2651799 hasConceptScore W2651799C558565934 @default.
- W2651799 hasConceptScore W2651799C73301696 @default.
- W2651799 hasLocation W26517991 @default.
- W2651799 hasOpenAccess W2651799 @default.
- W2651799 hasPrimaryLocation W26517991 @default.
- W2651799 hasRelatedWork W1490750625 @default.
- W2651799 hasRelatedWork W1507278324 @default.
- W2651799 hasRelatedWork W1509699649 @default.
- W2651799 hasRelatedWork W1597403770 @default.
- W2651799 hasRelatedWork W1602161921 @default.
- W2651799 hasRelatedWork W183250031 @default.
- W2651799 hasRelatedWork W1981320906 @default.
- W2651799 hasRelatedWork W2019517070 @default.
- W2651799 hasRelatedWork W2123605861 @default.
- W2651799 hasRelatedWork W2148105490 @default.
- W2651799 hasRelatedWork W2172984480 @default.
- W2651799 hasRelatedWork W2265615655 @default.
- W2651799 hasRelatedWork W2738784461 @default.
- W2651799 hasRelatedWork W2995624590 @default.
- W2651799 hasRelatedWork W3172566269 @default.
- W2651799 hasRelatedWork W41899231 @default.
- W2651799 hasRelatedWork W59863158 @default.
- W2651799 hasRelatedWork W69432615 @default.
- W2651799 hasRelatedWork W77603811 @default.
- W2651799 hasRelatedWork W96688143 @default.
- W2651799 isParatext "false" @default.
- W2651799 isRetracted "false" @default.
- W2651799 magId "2651799" @default.
- W2651799 workType "article" @default.