A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine

Developing Mathematical Learning Device Using Ttw (Think- Talk-Write) Strategy Assisted By Learning Cd To Foster Mathematical Communication

This research aims to produce mathematical learning device or tool using TTW strategy that is valid, practical, and effective. The developed device consists of syllabi, Learning Implementation Plan (RPP), Student Reading which is packaged in CD (BBS), and an evaluation tool. Receiver of treatment or Subjects are the eighth grade students of Muhammadiyah Junior High School in Purworejo. First experiment held in the class A of eighth grade students aimed to determine the legibility of device and the level of difficulty, distinguishing features, and reliability test learning outcomes. Second experiment conducted in class C of eighth grade students aimed to verify the practicality of the device and the effectiveness of learning using developed devices, whereas the class G is as control class. Results from 5 validations of the device are: the mean score of syllabi is 3.48; RPP is 3.79; BBS is 3.73; LKS is 3.73; assessment tool is 3.71 (on scale 1-4). Such results mean that validation criteria of the device is valid. The score of experiment results showed that the criteria of learning process is 3.80; the students’ response is 93.85%; the teacher’s score is 3.91, that means it’s a practical device. Learning using the devices results a classical learning mastery, and achievement test of an experimental class is better than the control class. Furthermore, student’s activity has a positive influence for achievement, so it’s the effective device. Key words: developed device, Think-Talk-Write (TTW), the mathematical learnin