Computational verb logic

Computational verb logic is an extension of Boolean logic and fuzzy logic dealing with the concept of truth of irrationals. Whereas classical logic and fuzzy logic hold that everything can be expressed in a truth value at any moment, computational logic replaces static truth values with dynamics of truth. In a word, classical logic and fuzzy logic deal with “BE true” while computational verb logic deals with “BECOME true”.

For example, the following statements can be reasoned in classical logic and/or fuzzy logic:

 IF the temperature IS high THEN the air flow IS fast. 
 IF the temperature IS 40 THEN the air flow IS 5m/s.

However, the following statements can’t be reasoned in neither classical logic nor fuzzy logic:

 IF I understand you THEN I become smart. 
 IF the temperature increases too high THEN the air flow will decrease too fast. 

These statements can be easily modeled by using computational verb logic. Computational verb logic can be applied to design industrial controllers and develop advanced image processing platforms.

Bibliography

• Tao Yang, “Applications of computational verbs to digital image processing”, International Journal of Computational Cognition, vol.3, no.3, Sept. 2005, pp.31-40, Available from IJCC vol.3, no.3.
• Tao Yang, “Architectures of computational verb controllers: Towards a new paradigm of intelligent control”, International Journal of Computational Cognition, vol.3, no.2, June. 2005, pp.74-101, Available from IJCC vol.3, no.2.
• Tao Yang, “Applications of computational verbs to the design of P-controllers”, International Journal of Computational Cognition, vol.3, no.2, June. 2005, pp.52-60, Available from IJCC vol.3, no.2.