International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
Volume 69 - Issue 15 |
Published: May 2013 |
Authors: Nilima Salankar, Prasun Chakrabarti |
![]() |
Nilima Salankar, Prasun Chakrabarti . A Rigorous Analysis of Emotion of Human Being using an Event-B Approach. International Journal of Computer Applications. 69, 15 (May 2013), 14-20. DOI=10.5120/11918-8057
@article{ 10.5120/11918-8057, author = { Nilima Salankar,Prasun Chakrabarti }, title = { A Rigorous Analysis of Emotion of Human Being using an Event-B Approach }, journal = { International Journal of Computer Applications }, year = { 2013 }, volume = { 69 }, number = { 15 }, pages = { 14-20 }, doi = { 10.5120/11918-8057 }, publisher = { Foundation of Computer Science (FCS), NY, USA } }
%0 Journal Article %D 2013 %A Nilima Salankar %A Prasun Chakrabarti %T A Rigorous Analysis of Emotion of Human Being using an Event-B Approach%T %J International Journal of Computer Applications %V 69 %N 15 %P 14-20 %R 10.5120/11918-8057 %I Foundation of Computer Science (FCS), NY, USA
The paper entails a refinement approach using Event-B to develop model of emotion of human being. The proposed model indicates that when one type of emotion is active others are inactive and some factors are activated simultaneously which makes it difficult to judge the mental state of humans by simply observing single factor. The relationship among different types of emotions and analysis of emotion of human has been carried out using Pro-B model checker and animator.