"Formalization Wang P
An Improvisational Decision-Making Agent Based on Non-axiomatic Reasoning System