Deduction systems for BDI logics using sequent calculus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Deduction systems for BDI logics using sequent calculus

Full text

Pdf (196 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2 table of contents

Bologna, Italy

SESSION: Session 5D: formalisms and logics I table of contents

Pages: 928 - 935

Year of Publication: 2002

ISBN:1-58113-480-0

Authors

NIDE Naoyuki	Nara Women's University
Shiro Takata	ATR Media Information Science Lab

Sponsors

ACM: Association for Computing Machinery
SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 29, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/544862.544955 What is a DOI?

ABSTRACT

In this paper, we present sound and complete deduction systems for propositional BDI logics by using Gentzen's sequent calculus. In these systems, we can construct the proof of a formula by using an extension of Wang's algorithm. Therefore, these systems are suitable for applications such as automatic proving and specification checking in BDI logics.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	E. Allen Emerson , Jai Srinivasan, Branching time temporal logic, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, p.123-172, May 30-June 03, 1988
	2	A. S. Rao and M. P. Georgeff. Modeling Rational Agents within a BDI-Architecture. In Proc. of International Conference on Principles of Knowlegde Representation and Reasoning, pages 473--484, 1991
	3	A. S. Rao and M. P. Georgeff. Decision Procedures for BDI Logics. Journal of Logic and Computation, 8(3):292--343, 1998
	4	Munindar P. Singh , Anand S. Rao , Michael P. Georgeff, Formal methods in DAI: logic-based representation and reasoning, Multiagent systems: a modern approach to distributed artificial intelligence, MIT Press, Cambridge, MA, 1999
	5	S. Takata, Y. Igarashi, N. Nide, M. Enomoto, K. Mase, and R. Nakatsu. Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments. The Transactions of the Institute of Electronics, Information and Communication Engineers, J84-D-I(8):1191--1201, 2001
	6	M. Wooldridge. Reasoning about Rational Agents. The MIT Press, 2000

CITED BY 3

	Felipe Rech Meneguzzi , Avelino Francisco Zorzo , Michael da Costa Móra, Propositional planning in BDI agents, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Felipe R. Meneguzzi , Avelino F. Zorzo , Michael C. Mora, Mapping Mental States into Propositional Planning, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.1514-1515, July 19-23, 2004, New York, New York
	Regimantas Pliuškevičius , Aida Pliuškevičienė, Decision Procedure for Temporal Logic of Belief and Actions, Informatica, v.15 n.3, p.379-398, August 2004