By Topic

Metalogic as a basis for modelling systems dynamics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
N. Y. Foo ; Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia

A novel method for achieving systems dynamics is proposed. It is suitable for systems that are logical rather than algebraic or topological in structure. The specification of the system is by time-independent laws, and its state is represented as a logical theory that contains the laws and the contingent facts. A state change is modeled as a theory revision using a metalogic proposed by Gardenfors and his colleagues. In this way, the dynamics of systems are separated from their timeless properties, and the latter are used to achieve the former. The resulting behavior is guaranteed to be correct relative to the laws without further verification. Examples from the areas of electronic mail, circuit theory, and file systems are discussed to illustrate the proposal. Attention is also given to the interaction between logic and different choices for knowledge representation. It is shown that the method could be used in interactive prototyping

Published in:

IEEE Transactions on Systems, Man, and Cybernetics  (Volume:21 ,  Issue: 6 )