Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058541310> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2058541310 endingPage "61" @default.
- W2058541310 startingPage "47" @default.
- W2058541310 abstract "The behavior of an agent is mainly governed by the specific way it handles the rational balance between information and deliberation. Most popular among the formalisms capturing this very balance is Rao and Georgeff’s BDI theory. This formalism has been proposed as a language for specifying agents in an abstract manner or, alternatively, for verifying various properties of agents implemented in some other programming language. In mainstream Computer Science, there are formalisms designed for a similar purpose as the BDI theory, though not specifically aiming at agents, but at concurrency in general. These formalisms are known as logics of concurrent programs. In this paper, these two frameworks are for the first time compared with each other. The result shows that the basic BDI theory, BDI CTL*, can be captured within a standard logic of concurrency. The logic relevant here is Kozen’s propositional μ-calculus. The μ-calculus turns out to be even strictly stronger in expressive power than BDI CTL*, while enjoying a computational complexity which is not higher than that of BDI CTL* ’s small fragment CTL. This correspondence brings us in a position to give the first complete axiomatization of Rao and Georgeff’s full theory." @default.
- W2058541310 created "2016-06-24" @default.
- W2058541310 creator A5013275954 @default.
- W2058541310 date "1999-01-01" @default.
- W2058541310 modified "2023-10-16" @default.
- W2058541310 title "On the Relationship between BDI Logics and Standard Logics of Concurrency" @default.
- W2058541310 cites W1877763552 @default.
- W2058541310 cites W2015640848 @default.
- W2058541310 cites W2031592188 @default.
- W2058541310 cites W2068106852 @default.
- W2058541310 cites W2069709605 @default.
- W2058541310 cites W2076073997 @default.
- W2058541310 cites W2105656578 @default.
- W2058541310 cites W2163151383 @default.
- W2058541310 cites W2431139695 @default.
- W2058541310 cites W4205313167 @default.
- W2058541310 doi "https://doi.org/10.1007/3-540-49057-4_4" @default.
- W2058541310 hasPublicationYear "1999" @default.
- W2058541310 type Work @default.
- W2058541310 sameAs 2058541310 @default.
- W2058541310 citedByCount "4" @default.
- W2058541310 crossrefType "book-chapter" @default.
- W2058541310 hasAuthorship W2058541310A5013275954 @default.
- W2058541310 hasConcept C110251889 @default.
- W2058541310 hasConcept C153269930 @default.
- W2058541310 hasConcept C171018156 @default.
- W2058541310 hasConcept C193702766 @default.
- W2058541310 hasConcept C199360897 @default.
- W2058541310 hasConcept C2524010 @default.
- W2058541310 hasConcept C33923547 @default.
- W2058541310 hasConcept C41008148 @default.
- W2058541310 hasConcept C80444323 @default.
- W2058541310 hasConceptScore W2058541310C110251889 @default.
- W2058541310 hasConceptScore W2058541310C153269930 @default.
- W2058541310 hasConceptScore W2058541310C171018156 @default.
- W2058541310 hasConceptScore W2058541310C193702766 @default.
- W2058541310 hasConceptScore W2058541310C199360897 @default.
- W2058541310 hasConceptScore W2058541310C2524010 @default.
- W2058541310 hasConceptScore W2058541310C33923547 @default.
- W2058541310 hasConceptScore W2058541310C41008148 @default.
- W2058541310 hasConceptScore W2058541310C80444323 @default.
- W2058541310 hasLocation W20585413101 @default.
- W2058541310 hasOpenAccess W2058541310 @default.
- W2058541310 hasPrimaryLocation W20585413101 @default.
- W2058541310 hasRelatedWork W1557351135 @default.
- W2058541310 hasRelatedWork W1561964073 @default.
- W2058541310 hasRelatedWork W1563374799 @default.
- W2058541310 hasRelatedWork W166614165 @default.
- W2058541310 hasRelatedWork W2076257409 @default.
- W2058541310 hasRelatedWork W2151898527 @default.
- W2058541310 hasRelatedWork W2967553997 @default.
- W2058541310 hasRelatedWork W2982539022 @default.
- W2058541310 hasRelatedWork W38902447 @default.
- W2058541310 hasRelatedWork W4289874384 @default.
- W2058541310 isParatext "false" @default.
- W2058541310 isRetracted "false" @default.
- W2058541310 magId "2058541310" @default.
- W2058541310 workType "book-chapter" @default.