Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022202403> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2022202403 endingPage "143" @default.
- W2022202403 startingPage "113" @default.
- W2022202403 abstract "In this paper we start with presentation of a general language for representing subsets of a cartesian product of finite sets. This language is used to represent the set of diagnoses in the general theory of model-based diagnosis presented by Reiter (R. Reiter, Artif. Intell. 32 (1987) 57–95) when the components have more than two possible operating modes. After having established some general results about Boolean algebras, which turn out to be the appropriate mathematical structure to define the language precisely, they are applied in the special case of propositional logic and product spaces, thereby defining a language for the description of events in product spaces. Then we present three different symbloic methods for computing the probability of a formula in the language without explicitly constructing the corresponding system states. The first two methods are based on the algorithm of Abraham (J.A. Abraham, IEEE Transactions on Reliablity 28 (1979) 58–61) whereas the last method is based on the algorithm of Bertschy-Monney (R. Bertschy, P.A. Monney, J. Comput. Appl. Math. 76 (1996) 55–76). All these methods transform the original formula into an equivalent formula for which it is very simple to compute the probability. The problem of computing the probability of a logical formula appears for example in model-based diagnostics when we need to compute the conditional probability of a diagnosis given the observations made on the system." @default.
- W2022202403 created "2016-06-24" @default.
- W2022202403 creator A5001921921 @default.
- W2022202403 creator A5086843091 @default.
- W2022202403 date "1999-02-01" @default.
- W2022202403 modified "2023-09-24" @default.
- W2022202403 title "Using propositional logic to compute probabilities in multistate systems" @default.
- W2022202403 cites W12656206 @default.
- W2022202403 cites W1503048384 @default.
- W2022202403 cites W1509631034 @default.
- W2022202403 cites W1514729613 @default.
- W2022202403 cites W1989512626 @default.
- W2022202403 cites W1992306144 @default.
- W2022202403 cites W2008519844 @default.
- W2022202403 cites W2020150158 @default.
- W2022202403 cites W2035553573 @default.
- W2022202403 cites W2059768714 @default.
- W2022202403 cites W2093397547 @default.
- W2022202403 cites W2093590287 @default.
- W2022202403 cites W2108309071 @default.
- W2022202403 cites W2110293626 @default.
- W2022202403 cites W2143693303 @default.
- W2022202403 cites W2796971335 @default.
- W2022202403 cites W2912565176 @default.
- W2022202403 cites W3016200050 @default.
- W2022202403 cites W57407544 @default.
- W2022202403 doi "https://doi.org/10.1016/s0888-613x(98)10024-5" @default.
- W2022202403 hasPublicationYear "1999" @default.
- W2022202403 type Work @default.
- W2022202403 sameAs 2022202403 @default.
- W2022202403 citedByCount "8" @default.
- W2022202403 countsByYear W20222024032014 @default.
- W2022202403 countsByYear W20222024032015 @default.
- W2022202403 crossrefType "journal-article" @default.
- W2022202403 hasAuthorship W2022202403A5001921921 @default.
- W2022202403 hasAuthorship W2022202403A5086843091 @default.
- W2022202403 hasConcept C105795698 @default.
- W2022202403 hasConcept C111472728 @default.
- W2022202403 hasConcept C11413529 @default.
- W2022202403 hasConcept C118615104 @default.
- W2022202403 hasConcept C136119220 @default.
- W2022202403 hasConcept C138885662 @default.
- W2022202403 hasConcept C177264268 @default.
- W2022202403 hasConcept C199343813 @default.
- W2022202403 hasConcept C199360897 @default.
- W2022202403 hasConcept C202444582 @default.
- W2022202403 hasConcept C2524010 @default.
- W2022202403 hasConcept C2777686260 @default.
- W2022202403 hasConcept C2780586882 @default.
- W2022202403 hasConcept C33923547 @default.
- W2022202403 hasConcept C41008148 @default.
- W2022202403 hasConcept C44492722 @default.
- W2022202403 hasConcept C65236422 @default.
- W2022202403 hasConcept C69562738 @default.
- W2022202403 hasConcept C71924100 @default.
- W2022202403 hasConcept C80444323 @default.
- W2022202403 hasConcept C90673727 @default.
- W2022202403 hasConceptScore W2022202403C105795698 @default.
- W2022202403 hasConceptScore W2022202403C111472728 @default.
- W2022202403 hasConceptScore W2022202403C11413529 @default.
- W2022202403 hasConceptScore W2022202403C118615104 @default.
- W2022202403 hasConceptScore W2022202403C136119220 @default.
- W2022202403 hasConceptScore W2022202403C138885662 @default.
- W2022202403 hasConceptScore W2022202403C177264268 @default.
- W2022202403 hasConceptScore W2022202403C199343813 @default.
- W2022202403 hasConceptScore W2022202403C199360897 @default.
- W2022202403 hasConceptScore W2022202403C202444582 @default.
- W2022202403 hasConceptScore W2022202403C2524010 @default.
- W2022202403 hasConceptScore W2022202403C2777686260 @default.
- W2022202403 hasConceptScore W2022202403C2780586882 @default.
- W2022202403 hasConceptScore W2022202403C33923547 @default.
- W2022202403 hasConceptScore W2022202403C41008148 @default.
- W2022202403 hasConceptScore W2022202403C44492722 @default.
- W2022202403 hasConceptScore W2022202403C65236422 @default.
- W2022202403 hasConceptScore W2022202403C69562738 @default.
- W2022202403 hasConceptScore W2022202403C71924100 @default.
- W2022202403 hasConceptScore W2022202403C80444323 @default.
- W2022202403 hasConceptScore W2022202403C90673727 @default.
- W2022202403 hasIssue "2" @default.
- W2022202403 hasLocation W20222024031 @default.
- W2022202403 hasOpenAccess W2022202403 @default.
- W2022202403 hasPrimaryLocation W20222024031 @default.
- W2022202403 hasRelatedWork W112643787 @default.
- W2022202403 hasRelatedWork W1887191277 @default.
- W2022202403 hasRelatedWork W2022202403 @default.
- W2022202403 hasRelatedWork W2043506733 @default.
- W2022202403 hasRelatedWork W2057825727 @default.
- W2022202403 hasRelatedWork W2334954212 @default.
- W2022202403 hasRelatedWork W2776018879 @default.
- W2022202403 hasRelatedWork W2985498575 @default.
- W2022202403 hasRelatedWork W4280582536 @default.
- W2022202403 hasRelatedWork W56370089 @default.
- W2022202403 hasVolume "20" @default.
- W2022202403 isParatext "false" @default.
- W2022202403 isRetracted "false" @default.
- W2022202403 magId "2022202403" @default.
- W2022202403 workType "article" @default.