Murdock, J. W. (1998a). Modeling Computation: A Comparative Synthesis of TMK and ZD. Techincal Report GIT-CC-98-13, Georgia Institute of Technology, College of Computing. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Architecture for Constructing Self-Evolving Software.. - Dellarocas, Klein, Shrobe (1998) (2 citations) (Correct)
.... this information with existing architectural description notations Our intention is to base the remaining components of our architecture on existing research prototypes in the areas of domain and requirements engineering (e.g. 3,4] architectural and functional description languages (e.g. [9,10]) and dynamic reconfiguration (e.g. 6,8,11] 5. ....
J.W. Murdock. Modeling Computation: A Comparative Synthesis of TMK and ZD. Georgia Inst. Of Tech. College of Computing Technical Report GIT-CC-98-13, April 1998.
A Theory of Reflective Agent Evolution - Murdock Self-citation (Murdock) (Correct)
....is largely defined by the knowledge it uses: knowledge of a system s own reasoning. A core issue which I intend to address in the proposed research is that of the language which is used to encode knowledge of self. I have been developing a language known as TMKL, Task Method Knowledge Language [Murdock, 1998a] which I hypothesize will be able to support reflective reasoning processes such as agent evolution. Work on TMKL is an extension of the Task Method Knowledge (TMK) modeling framework [Stroulia, 1994, Goel et al. 1996, Griffith, 1997, Murdock Goel, 1998] Most of the existing work on TMK ....
....of the modeling language is one of the goals of this project and thus a complete description of the language is (obviously) not available yet. The TMK framework of Autognostic and Sirrine provides an initial hypothesis for a modeling language and some preliminary work has been done on TMKL [Murdock, 1998a] Processes in TMK are divided into tasks and methods. A task is a unit of computation which produces a specified result. A description of a task answers the question: what does this piece of computation do A method is a unit of computation which produces a result in a specified manner. A ....
[Article contains additional citation context not shown here]
Murdock, J. W. (1998a). Modeling Computation: A Comparative Synthesis of TMK and ZD. Techincal Report GIT-CC-98-13, Georgia Institute of Technology, College of Computing.
A Functional Modeling Architecture for Reflective Agents - Murdock, Goel (1998) (2 citations) Self-citation (Murdock) (Correct)
....functionalities. Such reasoning is beyond the current capabilities of TMK. In particular, a more powerful notion of how relations interact with each other is needed. We intend to integrate features such as these from ZD in order to obtain benefits of this nature. For more details on this work, see (Murdock, 1998). More generally, we intend to continue to develop new mechanisms for learning using TMK models and to further study the application of TMK models to other reflective capabilities such as explanation and agent integration. Through this research, we hope to make future versions of Sirrine an ....
Murdock, J. W. (1998). Modeling computation: A comparative synthesis of TMK and ZD. Techincal Report GIT-CC-98-13, Georgia Institute of Technology, College of Computing.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC