AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Anand S. Rao
Walter Van de Velde, John W. Perram (eds.)
Agents Breaking Away, pages 42–55
Lecture Notes in Computer Science 1038
Springer
January 1996
Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or model-checking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In this paper, we provide an alternative formalization of BDI agents by providing an operational and proof-theoretic semantics of a language AgentSpeak(L). This language can be viewed as an abstraction of one of the implemented BDI systems (i.e., PRS) and allows agent programs to be written and interpreted in a manner similar to that of horn-clause logic programs. We show how to perform derivations in this logic using a simple example. These derivations can then be used to prove the properties satisfied by BDI agents. |
Publications / Views
Clouds
• tags • authors • editors • journals
Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927
Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others
Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note
Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI
Publication
— authors
Anand S. Rao
— editors
Walter Van de Velde, John W. Perram
— status
published
— sort
paper in proceedings
— publication date
January 1996
— volume
Agents Breaking Away
— series
Lecture Notes in Computer Science
— volume
1038
— pages
42–55
URLs
identifiers
— DOI
— print ISSN
0302-9743
— online ISSN
1611-3349
— print ISBN
978-3-540-60852-3
— ISBN–10
3-540-60852-4
notes
— note
7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Eindhoven, The Netherlands, 22-25 January 1996, Proceedings