Sequent calculus usage for BDI agent implementation
BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2023-09-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.zurnalai.vu.lt/LMR/article/view/30715 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825197284045881344 |
|---|---|
| author | Adomas Birstunas |
| author_facet | Adomas Birstunas |
| author_sort | Adomas Birstunas |
| collection | DOAJ |
| description |
BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples.
|
| format | Article |
| id | doaj-art-e5d402cae0f9499c920a6f66b1498978 |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2023-09-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-e5d402cae0f9499c920a6f66b14989782025-02-11T18:12:40ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2023-09-0146spec.10.15388/LMR.2006.30715Sequent calculus usage for BDI agent implementationAdomas Birstunas0Vilnius University BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples. https://www.zurnalai.vu.lt/LMR/article/view/30715agent implementationBDI logicsequent calculus |
| spellingShingle | Adomas Birstunas Sequent calculus usage for BDI agent implementation Lietuvos Matematikos Rinkinys agent implementation BDI logic sequent calculus |
| title | Sequent calculus usage for BDI agent implementation |
| title_full | Sequent calculus usage for BDI agent implementation |
| title_fullStr | Sequent calculus usage for BDI agent implementation |
| title_full_unstemmed | Sequent calculus usage for BDI agent implementation |
| title_short | Sequent calculus usage for BDI agent implementation |
| title_sort | sequent calculus usage for bdi agent implementation |
| topic | agent implementation BDI logic sequent calculus |
| url | https://www.zurnalai.vu.lt/LMR/article/view/30715 |
| work_keys_str_mv | AT adomasbirstunas sequentcalculususageforbdiagentimplementation |