Boolean logic in artificial intelligence and Turing degrees of Boolean-valued sets
Thesis/Dissertation
·
OSTI ID:6309943
Over the years a number of generalizations of recursion theory have been introduced and studied. In this dissertation the author presents yet another such generalization. Based on the concept of a weakly recursively presented Boolean algebra, he defines Boolean-valued sets, Boolean-valued recursive sets, and Boolean-valued recursively enumerable sets and discuss the basic relationships between a Boolean-valued set, its principal part, and its support. Then he generalizes many elementary concepts and results about recursive and recursively enumerable sets such as the s-m-n theorem, the recursion theorem, and the projection theorem, etc. to Boolean valued sets. By using finite and infinite injury arguments, he generalizes the Friedberg-Muchnik theorem, the theorem about nonrecursive low r.e. sets, the minimal pair theorem, and other results. Finally, he discusses the possible application of Boolean-valued logic in artificial intelligence, and gives an implementation of a parser for the four-valued Boolean logic.
- Research Organization:
- California Univ., Berkeley, CA (USA)
- OSTI ID:
- 6309943
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automatic test pattern generation for logic circuits using the Boolean tree
Uncertainty, energy, and multiple-valued logics
Quantum set theory and applications
Thesis/Dissertation
·
Mon Dec 31 23:00:00 EST 1990
·
OSTI ID:5412969
Uncertainty, energy, and multiple-valued logics
Journal Article
·
Fri Jan 31 23:00:00 EST 1986
· IEEE Trans. Comput.; (United States)
·
OSTI ID:5812085
Quantum set theory and applications
Thesis/Dissertation
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:5112684