Architecture and controllability of knowledge-based discrete dynamical systems

Journal of Computer and Systems Sciences International

Volumn 39, Issue 5, 2000, Pages 703-709

  Lebedeva, T G ^a   Osipov, G S ^a  

^a PROGRAM SYSTEMS INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33746207904     PISSN: 10642307     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Kaiman, R.E., Falb, P.L., and Arbib, M.A., Topics in Mathematical System Theory, New York: McGraw-Hill, 1969.
2. Tsypkin, Ya.Z., The Theory of Discontinuous Regulation, III. Transients in Systems of Discontinuous Regulation, Avtom. Telemekh., 1950, no. 5.
3. Kukhtenko, A.I., Obzor osnovnykh napravlenii razvitiya obshchei teorii sisteni, Slozlmye sistemy upravleniya (A Survey on Basic Directions of Development of General System Theory: Complex Control Systems), Kiev: Institut Kibernetiki Akad. Nauk SSSR, 1978.
4. Faradzhev, R.G., Fat Vu Ngok, Shapiro A.V., Controllability Theory of Discrete Dynamic Systems, Avtom. Telemekh., 1986, no. 1.
5. Green, C.C., Theorem Proving by Resolution as a Basis for Question Answering Systems, Mach. Intell., Meltzer, B. and Michie, D., Eds., Edinburgh: Edinburgh Univ. Press, 1969.
6. Fikes, R.E. and Nilsson, N.J., STRIPS: A New Approach to Application of Theorem Proving to Problem Solving, Artif. Intell., 1971, no. 2.
7. McCarthy, J., Formalization of STRIPS in Situation Calculus, Technical Report Formal Reasoning Group, Dep. of Computer Science, Stanford University, 1985.
8. Veloso, M. and Blithe, J., Linkability: Examining Causal Link Commitens in Partial-Order Planning, Proc. AIPS94, 1994.
9. McAllester, D. and Rosenblit, D., Systematic Nonlinear Planning, Proc. AAA1-91, Anaheim, 1991.
10. Blum, A. and Fürst, M., Fast Planning through Planning Graph Analysis, AU, 1997, no. 90(1-2).
11. Kautz, H. and Selman, B., Blackbox: ASAT-Technology Planning System, http://www.research.att.com/kautz/ blackbox, 1998.
12. Täte, A., Generating Project Networks, Proc. IJCAI-77, Cambridge, MA, 1977.
13. Wilkins, D., Can AI Planners Solve Practical Problems?, Computational Intelligence, 1990, no. 6 (4).
14. Currie, K. and Täte, A.O., Plan: Tshe Open Planning Architecture, Artif. Intell., 1991, no. 52.
15. Erol, K., Hendler, R.J., and Nau, D., UMCP: A Sound and Complete Procedure for Hierarchical Task-Network Planning, Proc. 2nd Int. Conf. on AI Planning Systems AlPS-94, 1994.
16. Sacerdoti, E.D., A Structure for Plans and Behavior, New York: Elsevier, 1977.
17. Georgeff, M.P. and Lansky, A., Procedural Knowledge, Proc. IEEE Spécial Issue on Knowledge Representation, 1986, no. 74 (10).
18. Kambhampati, S.A., Theory of Plan Modification, Proc. AAAI-90, Boston, 1990.
19. Antsaklis, P.J., Lemmon, M.D., and Stiver, J.A., Hybrid System Modeling and Event Identification, Tech. Rep. ISIS-93-002, ISIS Group, University of Notre Dame, 1993.
20. Branicky, M.S., Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems, Prep. Theoretical Computer Science, Special Issue on Hybrid Systems, 1995, 138:1.
21. Grossman, R., Nerode, A., Ravn, A., and Rischel, H., Hybrid Systems, LNCS, 1993, vol. 736.
22. Osipov, O.S., Applied Semiotics and Intelligent Control, Proc. 2nd Workshop on Applied Semiotics AlICSR-97, Smolenica Castle, Slovakia, 1997.
23. Osipov, G.S., Dynamics in Integrated Knowledge-Based Systems, Proc. IEEE ISIC/CIRA/1SAS-98 Joint Conf., Gaithersburg, MD, 1998.
24. Osipov, G.S., Dynamics in Knowledge-Based Systems, Izv. Ross. Akad. Nauk, Tear. Sist. Upr., 1998, no. 5.