China Aerospace Science and Industry Corporation (CASIC) - Decision making as theorem proving

Author(s): Zhu Mingyuan ; Wang Chengwei
Publisher: China Aerospace Science and Industry Corporation (CASIC)
Publication Date: 1 March 1993
Volume: 4
Page(s): 3 - 32
ISSN (Electronic): 1004-4132
Regular:

We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism... View More

Advertisement