David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Brain and Mind 4 (2):199-213 (2003)
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||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Timothy 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. [REVIEW] 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. [REVIEW] 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.
Added to index2009-01-28
Total downloads16 ( #113,758 of 1,413,402 )
Recent downloads (6 months)3 ( #67,314 of 1,413,402 )
How can I increase my downloads?