{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:04:24Z","timestamp":1749726264712},"reference-count":23,"publisher":"Walter de Gruyter GmbH","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1,1]]},"abstract":"Identification of Relations between BDI Logic and BDI Agents<\/jats:title>BDI (Beliefs, Desires, Intentions) is one of the most popular intelligent agent architectures which was inspired by multi-modal BDI logics. The main idea behind BDI is to implement system's behaviour by specifying it as a set of mental objects. This allows designing systems at a high level of abstraction which come closer to a human-like thinking. Although this architecture has been rapidly developing for about 20 years, its relevance to BDI logic is still arguable. This paper describes the basics of modal logic and main inference algorithms. Main concepts of BDI agents are presented and their relationships with BDI logic are discussed. Finally advantages and disadvantages of implementing BDI interpreter as a theorem prover are discussed.<\/jats:p>","DOI":"10.2478\/v10143-011-0018-1","type":"journal-article","created":{"date-parts":[[2012,2,3]],"date-time":"2012-02-03T03:52:58Z","timestamp":1328241178000},"page":"21-28","source":"Crossref","is-referenced-by-count":1,"title":["Identification of Relations between BDI Logic and BDI Agents"],"prefix":"10.2478","volume":"44","author":[{"given":"Arvids","family":"Grabovskis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janis","family":"Grundspenkis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","reference":[{"key":"1","volume-title":"Artificial intelligence: a modern approach","author":"S. Russell","year":"2009"},{"key":"2","unstructured":"C. Chira, \"Software agents,\" IDIMS Report, vol. 21, 2003."},{"issue":"02","key":"3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent agents: Theory and practice","volume":"10","author":"M. Wooldridge","year":"1995","journal-title":"The knowledge engineering review"},{"issue":"2","key":"4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-009-9460-9","article-title":"A logical formalization of the OCC theory of emotions","volume":"168","author":"C. Adam","year":"2009","journal-title":"Synthese"},{"key":"5","volume-title":"Developing Multi-Agent Systems with JADE","author":"B. Luigi","year":"2007"},{"issue":"2","key":"6","first-page":"57","article-title":"Comparative analysis of frameworks for knowledge-intensive intelligent agents","volume":"27","author":"R. Jones","year":"2006","journal-title":"AI Magazine"},{"key":"7","volume-title":"Intelligence Structures and Strategies for Complex Problem Solving","author":"G. Luger","year":"2009"},{"key":"8","first-page":"483","volume-title":"Reasoning about uncertainty","author":"J. Halpern","year":"2003"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195366587.001.0001","volume-title":"Modal logic: an introduction to its syntax and semantics","author":"N. Cocchiarella","year":"2008"},{"key":"10","doi-asserted-by":"crossref","first-page":"432","DOI":"10.4324\/9780203290644","volume-title":"A new introduction to modal logic","author":"G. Hughes","year":"1996"},{"key":"11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1874-5857(06)80027-0","article-title":"Mathematical modal logic: A view of its evolution","volume":"7","author":"R. Goldblatt","year":"2006","journal-title":"Handbook of the History of Logic"},{"key":"12","volume-title":"An introduction to multiagent systems","author":"W. Michael","year":"2002"},{"key":"13","unstructured":"R. Schmidt, \"Advances in Modal Logic,\" 2010. [Online]. Available: http:\/\/www.cs.man.ac.uk\/~schmidt\/tools\/<\/a>"},{"key":"14","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1007\/BFb0012852","volume-title":"A resolution calculus for modal logics: 9th International Conference on Automated Deduction","author":"H. Ohlbach","year":"1988"},{"key":"15","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BFb0026757","article-title":"A formal specification of dMARS","author":"M. d'Inverno","year":"1998","journal-title":"Intelligent Agents IV Agent Theories, Architectures, and Languages"},{"key":"16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","article-title":"Jadex: A BDI reasoning engine","author":"A. Pokahr","year":"2005","journal-title":"Multi-Agent Programming"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1002\/9780470061848","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"R. Bordini","year":"2007"},{"key":"18","unstructured":"\"Autonomous Decision-Making Software\" http:\/\/www.aosgrp.com.au<\/a>"},{"key":"19","first-page":"629","author":"M. M\u00f3ra","year":"2000"},{"key":"20","first-page":"312","author":"A. Rao","year":"1995"},{"key":"21","unstructured":"Z. Li, \"Efficient and Generic Reasoning for Modal Logics,\" Ph.D. dissertation, University of Manchester, 2008."},{"key":"22","first-page":"1","article-title":"A bdi agent programming language with failure handling, declarative goals, and planning","author":"S. Sardina","year":"2010","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"23","unstructured":"\"Jadex User Guide\". [Online]. Available: http:\/\/-garr.dl.sourceforge.net\/\u00acproject\/\u00acjadex\/\u00acjadex\/\u00ac0.96\/\u00acuserguide-0.96.pdf<\/a>"}],"container-title":["Scientific Journal of Riga Technical University. Computer Sciences"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/acss\/44\/1\/article-p21.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/acss.2011.44.issue--1\/v10143-011-0018-1\/v10143-011-0018-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T16:14:21Z","timestamp":1590855261000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10143-011-0018-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":23,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.2478\/v10143-011-0018-1","relation":{},"ISSN":["1407-7493"],"issn-type":[{"value":"1407-7493","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}