Matches in SemOpenAlex for { <https://semopenalex.org/work/W99681929> ?p ?o ?g. }
- W99681929 abstract "In this paper, I will briefly survey probabilistic logics and investigate logics of probabilistic epistemic change, conjectures, and discovery of chances by resourcebounded agents in the sense of the limitation of the available data and its temporal instability, called dynamic probabilistic logic (DPrL), based on probabilistic dynamic logics and probabilistic Kripke systems, of which equivalence is defined by probabilistic bisimulation. DPrL has actions of form of [φ!] and probabilistic formula (P ≥ r)φ. Furthermore, DPrL will be extended by adding formulas of form of [∃F ]φ, a future operator over branching times, and formulas of form of Saφ, of which meaning is ‘happening of p is significant to agent a’, defined by normalization of probability of p by agent a’s expectation. The resulting system is called Dynamic Conjecture Logic (DCL), and in DCL we can describe ‘subjective chance’ in terms of the Chance Discovery." @default.
- W99681929 created "2016-06-24" @default.
- W99681929 creator A5080855485 @default.
- W99681929 date "2002-01-01" @default.
- W99681929 modified "2023-09-24" @default.
- W99681929 title "Towards Dynamic Probabilistic Logics: A Survey and a Proposal" @default.
- W99681929 cites W1487349793 @default.
- W99681929 cites W1506646958 @default.
- W99681929 cites W1533525390 @default.
- W99681929 cites W1582292473 @default.
- W99681929 cites W1793726001 @default.
- W99681929 cites W1865728679 @default.
- W99681929 cites W1907364945 @default.
- W99681929 cites W1976268573 @default.
- W99681929 cites W1984960155 @default.
- W99681929 cites W1994851566 @default.
- W99681929 cites W1996417974 @default.
- W99681929 cites W2000108089 @default.
- W99681929 cites W2067887313 @default.
- W99681929 cites W2069979244 @default.
- W99681929 cites W2105594594 @default.
- W99681929 cites W2125838338 @default.
- W99681929 cites W1601373402 @default.
- W99681929 hasPublicationYear "2002" @default.
- W99681929 type Work @default.
- W99681929 sameAs 99681929 @default.
- W99681929 citedByCount "0" @default.
- W99681929 crossrefType "journal-article" @default.
- W99681929 hasAuthorship W99681929A5080855485 @default.
- W99681929 hasConcept C118615104 @default.
- W99681929 hasConcept C121332964 @default.
- W99681929 hasConcept C128828806 @default.
- W99681929 hasConcept C135315306 @default.
- W99681929 hasConcept C136886441 @default.
- W99681929 hasConcept C143017306 @default.
- W99681929 hasConcept C144024400 @default.
- W99681929 hasConcept C154945302 @default.
- W99681929 hasConcept C165801399 @default.
- W99681929 hasConcept C172385210 @default.
- W99681929 hasConcept C185592680 @default.
- W99681929 hasConcept C188027245 @default.
- W99681929 hasConcept C19165224 @default.
- W99681929 hasConcept C24404364 @default.
- W99681929 hasConcept C27508121 @default.
- W99681929 hasConcept C2777796570 @default.
- W99681929 hasConcept C2780069185 @default.
- W99681929 hasConcept C2780990831 @default.
- W99681929 hasConcept C33923547 @default.
- W99681929 hasConcept C41008148 @default.
- W99681929 hasConcept C49937458 @default.
- W99681929 hasConcept C52063229 @default.
- W99681929 hasConcept C62520636 @default.
- W99681929 hasConcept C71139939 @default.
- W99681929 hasConcept C80444323 @default.
- W99681929 hasConceptScore W99681929C118615104 @default.
- W99681929 hasConceptScore W99681929C121332964 @default.
- W99681929 hasConceptScore W99681929C128828806 @default.
- W99681929 hasConceptScore W99681929C135315306 @default.
- W99681929 hasConceptScore W99681929C136886441 @default.
- W99681929 hasConceptScore W99681929C143017306 @default.
- W99681929 hasConceptScore W99681929C144024400 @default.
- W99681929 hasConceptScore W99681929C154945302 @default.
- W99681929 hasConceptScore W99681929C165801399 @default.
- W99681929 hasConceptScore W99681929C172385210 @default.
- W99681929 hasConceptScore W99681929C185592680 @default.
- W99681929 hasConceptScore W99681929C188027245 @default.
- W99681929 hasConceptScore W99681929C19165224 @default.
- W99681929 hasConceptScore W99681929C24404364 @default.
- W99681929 hasConceptScore W99681929C27508121 @default.
- W99681929 hasConceptScore W99681929C2777796570 @default.
- W99681929 hasConceptScore W99681929C2780069185 @default.
- W99681929 hasConceptScore W99681929C2780990831 @default.
- W99681929 hasConceptScore W99681929C33923547 @default.
- W99681929 hasConceptScore W99681929C41008148 @default.
- W99681929 hasConceptScore W99681929C49937458 @default.
- W99681929 hasConceptScore W99681929C52063229 @default.
- W99681929 hasConceptScore W99681929C62520636 @default.
- W99681929 hasConceptScore W99681929C71139939 @default.
- W99681929 hasConceptScore W99681929C80444323 @default.
- W99681929 hasOpenAccess W99681929 @default.
- W99681929 hasRelatedWork W1555887805 @default.
- W99681929 hasRelatedWork W1572624110 @default.
- W99681929 hasRelatedWork W1588841227 @default.
- W99681929 hasRelatedWork W1597481850 @default.
- W99681929 hasRelatedWork W1785611875 @default.
- W99681929 hasRelatedWork W1940586415 @default.
- W99681929 hasRelatedWork W1976330002 @default.
- W99681929 hasRelatedWork W1983136839 @default.
- W99681929 hasRelatedWork W1993507467 @default.
- W99681929 hasRelatedWork W2034645154 @default.
- W99681929 hasRelatedWork W2115995803 @default.
- W99681929 hasRelatedWork W2155430662 @default.
- W99681929 hasRelatedWork W2378751791 @default.
- W99681929 hasRelatedWork W2383286503 @default.
- W99681929 hasRelatedWork W2496767150 @default.
- W99681929 hasRelatedWork W2525386916 @default.
- W99681929 hasRelatedWork W2903795545 @default.
- W99681929 hasRelatedWork W2914728526 @default.
- W99681929 hasRelatedWork W3087545948 @default.
- W99681929 hasRelatedWork W1918137460 @default.