| Title |
Efficient decision procedure for Belief modality / |
| Translation of Title |
Efektyvi sprendimo procedūra modaliniam operatoriui Belief. |
| Authors |
Birštunas, Adomas |
| DOI |
10.15388/LMR.2005.26673 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2005, t. 45, spec. nr, p. 321-325.. ISSN 0132-2818 |
| Abstract [eng] |
This paper defines decision algorithm for subclass of B(K D45) D(K D)I(K D) logic which is based on known algorithm for temporal B(K D45) D(K D)I(K D) logic. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1]. The original decision algorithm uses loop-check technique for BEL and temporal operators... |
| Type |
Journal article |
| Language |
English |
| Publication date |
2005 |
| CC license |
|
