Advanced search
Publication Cover
Journal of Experimental & Theoretical Artificial Intelligence Volume 5, 1993 - Issue 2-3
Submit an article Journal homepage
12
Views
2
CrossRef citations to date
0
Altmetric
Original Articles

Deductive efficiency, belief revision and acting

DEEPAK KUMAR Department of Computer Science, State University of New York at Buffalo, 226 Bell Hall, Buffalo, NY, 14260, USA E-mail: kumard, [email protected]
&
STUART C. SHAPIRO Department of Computer Science, State University of New York at Buffalo, 226 Bell Hall, Buffalo, NY, 14260, USA E-mail: kumard, [email protected]
Pages 167-177 | Published online: 27 Apr 2007

References

  • Chalupsky , H. ( 1993 ) Using hypothetical reasoning as a method for belief ascription . Journal of Experimental and Theoretical Artificial Intelligence , 5 119 – 133 .
  • Drummond , M. E. ( 1987 ) A representation of action and belief for automatic planning systems . In M. P. Georgeff and A. L. Lansky (eds) Reasoning about Actions and Plans—Proceedings of the 1986 Workshop ( Los Altos , CA AAAI and CSLI, Morgan Kauffmann ) pp. 189 – 212 .
  • Fikes , R. E. and Nilsson , N. J. ( 1971 ) STRIPS A new approach to the application of theorem proving to problem solving . Artificial Intelligence , 5 189 – 208 .
  • Georgeff . M. P. ( 1987 ) Planning . In Annual Reviews of Computer Science Volume 2 ( Palo Alto , CA Annual Reviews Inc. ) pp. 359 – 400 .
  • Hull . R. G. ( 1986 ) A new design for SNIP the SNePS inference package . SNeRG Technical Note 14, Department of Computer Science, SUNY at Buffalo, 1986 .
  • Kumar , D. ( 1993 ) A unified model of acting and inference . In Proceedings of the Twenty-Sixth Hawaii International Conference on System Sciences ( Los Alamitos , CA IEEE Computer Society Press ).
  • Kumar . D. and Mani , G. ( 1991 ) Report on the 1991 AAAI spring symposium on integrated intelligent architectures . IEEE Expert , December .
  • Kumar , D. and Shapiro , S. C. ( 1991 ) Architecture of an intelligent agent in SNePS . SIGART Bulletin , 2 ( 4 ) 89 – 92 .
  • Kumar , D. and Shapiro , S. C. ( 1991 ) 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 ( Heidelberg Springer-Verlag ) pp. 120 – 134 .
  • Martins , J. P. and Shapiro , S. C. ( 1988 ) A model for belief revision . Artificial Intelligence , 35 ( 1 ) 25 – 79 .
  • Morris , P. , Feldman , R. and Filman , R. ( 1990 ) Use of truth maintenance in automatic planning . Technical report, Intellicorp, Inc.
  • Nilsson , N. J. ( 1980 ) Principles of Artificial Intelligence ( Palo Alto , CA Tioga Publishing Company ).
  • Pinto-Ferreira , C. , Mamede , N. J. and Martins , J. P. ( 1989 ) SNIP 2.1—The SNePS inference package . Technical Report GIA 89/5 , Technical University of Lisbon , December .
  • Shapiro , S. C. The SNePS Implementation Group ( 1989 ) SNePS-2 User's Manual . Department of Computer Science, SUNY at Buffalo .
  • Shapiro , S. C. and Martins , J. P. ( 1989 ) Recent advances and developments—the SNePS 2.1 report . In D. Kumar (ed.) Current Trends in SNePS—Semantic Network Processing System Proceedings of the First Annual SNePS Workshop ( Buffalo , NY Springer-Verlag ) pp. 1 – 13 .
  • Wilkins , D. E. ( 1988 ) Practical Planning—Extending the Classical AI Planning Paradigm ( Palo Alto , CA Morgan Kaufmann ),

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.