Using process algebra to describe human and software behaviors
Brain and Mind 4 (2):199-213 (2003)
| Abstract | Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be , to have , and to do . All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing to be, set theory for describing 'to have,' and algebras, particularly the process algebra, for describing to do. This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra (RTPA) that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. | |||||||||
| Keywords | cognitive informatics dynamic behavior description notion of action process algebra RTPA | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTimothy R. Colburn (1998). Information Modeling Aspects of Software Development. Minds and Machines 8 (3):375-393.
Olivier Boiral (2009). Greening the Corporation Through Organizational Citizenship Behaviors. Journal of Business Ethics 87 (2):221 - 236.
Ronald R. Sims, Hsing K. Cheng & Hildy Teegen (1996). Toward a Profile of Student Software Piraters. Journal of Business Ethics 15 (8):839 - 849.
Chrisoula Andreou (2006). Getting On in a Varied World. Social Theory and Practice 32 (1):61-73.
Frances Brazier, Anja Oskamp, Corien Prins, Maurice Schellekens & Niek Wijngaards (2004). Law-Abiding and Integrity on the Internet: A Case for Agents. Artificial Intelligence and Law 12 (1-2):5-37.
William J. Mitchell, Phillip V. Lewis & N. L. Reinsch (1992). Bank Ethics: An Exploratory Study of Ethical Behaviors and Perceptions in Small, Local Banks. Journal of Business Ethics 11 (3):197 - 205.
William Irons (2009). The Intertwined Roles of Genes and Culture in Human Evolution. Zygon 44 (2):347-354.
Michael Lewis (2001). Empathy Requires the Development of the Self. Behavioral and Brain Sciences 25 (1):42-42.
Jeanne M. Logsdon, Judith Kenner Thompson & Richard A. Reid (1994). Software Piracy: Is It Related to Level of Moral Judgment? Journal of Business Ethics 13 (11):849 - 857.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,305 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
