A wide spread of search engines allows to find easily concrete information but does not help to retrieve data for solving problem in problem areas with different types of dynamics - dynamics in problem area itself, dynamics in consideration on problem area and dynamics in technological tools. Such problem areas require development of specialized modeling tools. One of these areas is legal regulation of human activity.
Perspective approach to this task consists in using mathematical methods. The most effective solution seems to be construction of hierarchy of specialized abstract machines. This work presents a version of such machine definition for training of decision support in problem area of author's rights. Also operational semantics of abstract machine is presented. This semantics allows establishing desired properties of informational system.
|
Original URL — http://imsconference2002.spbu.ru/02-eng2f13.html |