Font Size: a A A

Logics-based Probabilistic Logic Operator

Posted on:2007-04-01Degree:MasterType:Thesis
Country:ChinaCandidate:H Y XuFull Text:PDF
GTID:2208360185964227Subject:Computer application technology
Abstract/Summary:PDF Full Text Request
The development of computer science is correlative with logic. Standard Logic play an important role in the early research of artificial intelligence.The theory of logic provides a powerful tool for the development of artificial intelligence. According to the character of random, fuzzy and unknown in dealing with the knowledge, fuzzy logic was used in artificial intelligence. But fuzzy logic only pay attention to the sequential changeability of fuzzy proposition logic's value, not notice the sequential changeability of fuzzy proposition logic's conjunction operation model.When we research complex systems, we find every subject need a logic which could describe diversified uncertainty. On the basis of analyzing rules of fuzzy logic, some scholars combine the triangle norm theory with logic, and make full use of triangle norm theory. Then they argue Universal Logics. Breaking through the restrict of Standard Logic and the parochial of Unstandard Logic, Universal Logics become a new direction. We have testified that Universal Logics could contain Boolean Logic, Bochvar three-valued logic and Luckasiewicz three-valued logic.Probabilistic Logic makes use of the method of logic reasoning to deal with the uncertain reasoning, which is cause by randomicity. In artificial intelligence, determinate theory, subjective Bayes method and evidential theory are based on probability theory. But they are only base on probability calculate, and couldn't realize the uncertain reasoning in logic frame.According as the research of Universal Logics, when k=0.5, h=0.75, Probabilistic Logic is a especial example of Universal Logics. According to the rules of Universal Logics, This paper introduce how to construct Probabilistic Logic operator by zero-degree N/T/S norms integrity cluster and Frank consistent operator cluster. We hope what we do can make up the bug of conditional probabilistic. In the end, we talk about the algebra characters of Probabilistic Logic's operation mode.
Keywords/Search Tags:Universal Logics, Probabilistic Logic, create rule, N/T/S norms, Frank consistent operator
PDF Full Text Request
Related items