The SNePS BDI architecture

Decision Support Systems

Volumn 16, Issue 1, 1996, Pages 3-19

  Kumar, Deepak ^a,b  

^a BRYN MAWR COLLEGE   (United States)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

Acting; BDI architectures; Knowledge representation and reasoning; Logic modeling; Planning; Semantic networks

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; DECISION SUPPORT SYSTEMS; MATHEMATICAL MODELS; PLANNING;

ACTION THEORY; KNOWLEDGE REPRESENTATION AND REASONING; LOGIC MODELING; ROTATIONAL ENGINE MODULES; SEMANTIC NETWORK REPRESENTATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0029772684     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9236(94)00053-0     Document Type: Article

References (28)

1. James Allen, The RHET system, In Charles Rich (Guest Ed.), SIGART BULLETIN Special Issue on Implemented KRR Systems, pp. 1-7 (1991).
2. Richard E. Fikes, and Nils J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, 5, pp. 189-208 (1971).
3. Michael P. Georgeff, Planning, In Annual Reviews of Computer Science, Vol. 2, pp. 359-400 (Palo Alto, CA, Annual Reviews Inc., 1987).
4. Susan Haller, Intention and action in natural language, In Deepak Kumar, Hans Chalupsky, and Syed S. Ali (Eds.), Current Trends in SNePS, Proceedings: 1990 Workshop (1990).
5. Susan Haller, Interactive generation of plan justifications, In M. Zock, and K. DeSchmed (Eds.), Proceedings: 4th European Workshop on Natural Language Generation (1993).
6. D. Kumar., An integrated model of acting and inference, In D. Kumar (Ed.), Current Trends in SNePS-Semantic Network Processing System: Proceedings: 1st Annual SNePS Workshop, pp. 55-65, Buffalo, NY (1990).
7. Deepak Kumar, From beliefs and goals to intentions and actions: An amalgamated model of acting and inference, PhD thesis, State University of New York at Buffalo (1993).
8. Deepak Kumar, Susan Haller, and Syed S. Ali, Towards a unified AI formalism, In Proceedings: 27th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Los Alamitos, CA (1994).
9. Deepak Kumar, and Stuart C. Shapiro, Architecture of an intelligent agent in SNePS, SIGART Bulletin, 2(4), pp. 89-92 (1991).
10. Deepak Kumar, and Stuart C. Shapiro, Modeling a rational cognitive agent in SNePS, In P. Barahona, L. Moniz Pereira, and A. Porto (Eds.), EPIA 91: 5th Portugese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541, pp. 120-134 (Heidelberg, Springer-Verlag, 1991).
11. Deepak Kumar, and Stuart C. Shapiro, Deductive efficiency, belief revision and acting, Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 5(2) (1993).
12. Deepak Kumar, and Stuart C. Shapiro, Acting in service of inference (and vice versa), In Proceedings: 7th Florida AI Research Symposium (FLAIRS 93), The Florida AI Research Society (1994).
13. Douglas B. Lenat, and Ramanathan V. Guha, The evolution of CYCL: The CYC representation language, In Charles Rich (Guest Ed.), SIGART BULLETIN Special Issue on Implemented KRR Systems, pp. 84-87 (1991).
14. J.P. Martins, and S.C. Shapiro, A model for belief revision, Artificial Intelligence, 35(1), pp. 25-79 (1988).
15. John McCarthy, Mental situation calculus, In Joseph Y. Halpern (Ed.), Theoretical Aspects of Reasoning about Knowledge, Proceedings: 1986 Conference, page 307 (1986).
16. D.P. McKay, and S.C. Shapiro, MULTI: a LISP based multiprocessing system, In Proceedings: 1980 LISP Conference, pp. 29-37, Stanford University, Stanford, CA (1980).
17. Charles Rich, CAKE: An implemented hybrid KR and limited reasoning system, In Charles Rich (Guest Ed.), SIGART BULLETIN Special Issue on Implemented KRR Systems, pp. 120-127 (1991).
18. Charles Rich, Special Issue on Implemented Knowledge Representation and Reasoning Systems: Letter from the Guest Editor, SIGART Bulletin, 2(3) (1991).
19. Earl D. Sacerdoti, A Structure for Plans and Behavior (Amsterdam, Elsevier Science B.V., 1977).
20. Stuart C. Shapiro, Hans Chalupsky, and Hsueh-Cheng Chou, Connecting ARC/INFO and SNACTor, Technical Report 91-13, Department of Computer Science, SUNY at Buffalo, Buffalo, NY, 22 pages (1991).
21. S. C. Shapiro, Representing plans and acts, In Proceedings: 3rd Annual Workshop on Conceptual Graphs, pp. 3.2.7-1-3.2.7-6. The American Association for Artificial Intelligence, Menlo Park, CA (1988).
22. S. C. Shapiro, and The SNePS Implementation Group, SNePS-2 User's Manual,. Department of Computer Science, SUNY at Buffalo (1989).
23. S. C. Shapiro, D. Kumar, and S. Ali, A propositional network approach to plans and plan recognition, In Proceedings: 1988 Workshop on Plan Recognition, p. 21, Los Altos, CA (1989).
24. S. C. Shapiro, and W. J. Rapaport, SNePS considered as a fully intensional propositional semantic network, In N. Cercone, and G. McCalla (Eds.), The Knowledge Frontier, pp. 263-315 (Berlin, Springer-Verlag, 1987).
25. Stuart C. Shapiro, Case studies of SNePS, SIGART Bulletin, 2(3), pp. 128-134 (1991).
26. Ian Watson, and John Gurd, A practical data flow computer, IEEE Computer, 15(2), pp. 51-57 (1982).
27. Peter Wegner, Dimensions of object-based language design, Proceedings: OOPSLA-87, pp. 168-182 (1987).
28. David E. Wilkins, Practical Planning-Extending the Classical AI Planning Paradigm (Palo Alto, CA, Morgan Kaufmann, 1988).