Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145899763> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2145899763 endingPage "55" @default.
- W2145899763 startingPage "42" @default.
- W2145899763 abstract "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." @default.
- W2145899763 created "2016-06-24" @default.
- W2145899763 creator A5004904414 @default.
- W2145899763 date "1996-01-01" @default.
- W2145899763 modified "2023-10-13" @default.
- W2145899763 title "AgentSpeak(L): BDI agents speak out in a logical computable language" @default.
- W2145899763 cites W1527971709 @default.
- W2145899763 cites W1594352183 @default.
- W2145899763 cites W1975230313 @default.
- W2145899763 cites W2036190613 @default.
- W2145899763 cites W2106172458 @default.
- W2145899763 cites W2124943449 @default.
- W2145899763 cites W2431139695 @default.
- W2145899763 doi "https://doi.org/10.1007/bfb0031845" @default.
- W2145899763 hasPublicationYear "1996" @default.
- W2145899763 type Work @default.
- W2145899763 sameAs 2145899763 @default.
- W2145899763 citedByCount "961" @default.
- W2145899763 countsByYear W21458997632012 @default.
- W2145899763 countsByYear W21458997632013 @default.
- W2145899763 countsByYear W21458997632014 @default.
- W2145899763 countsByYear W21458997632015 @default.
- W2145899763 countsByYear W21458997632016 @default.
- W2145899763 countsByYear W21458997632017 @default.
- W2145899763 countsByYear W21458997632018 @default.
- W2145899763 countsByYear W21458997632019 @default.
- W2145899763 countsByYear W21458997632020 @default.
- W2145899763 countsByYear W21458997632021 @default.
- W2145899763 countsByYear W21458997632022 @default.
- W2145899763 countsByYear W21458997632023 @default.
- W2145899763 crossrefType "book-chapter" @default.
- W2145899763 hasAuthorship W2145899763A5004904414 @default.
- W2145899763 hasConcept C111472728 @default.
- W2145899763 hasConcept C124304363 @default.
- W2145899763 hasConcept C12713177 @default.
- W2145899763 hasConcept C138885662 @default.
- W2145899763 hasConcept C146499914 @default.
- W2145899763 hasConcept C154945302 @default.
- W2145899763 hasConcept C184337299 @default.
- W2145899763 hasConcept C185592680 @default.
- W2145899763 hasConcept C188027245 @default.
- W2145899763 hasConcept C199360897 @default.
- W2145899763 hasConcept C27508121 @default.
- W2145899763 hasConcept C2780586882 @default.
- W2145899763 hasConcept C41008148 @default.
- W2145899763 hasConcept C71139939 @default.
- W2145899763 hasConcept C80444323 @default.
- W2145899763 hasConceptScore W2145899763C111472728 @default.
- W2145899763 hasConceptScore W2145899763C124304363 @default.
- W2145899763 hasConceptScore W2145899763C12713177 @default.
- W2145899763 hasConceptScore W2145899763C138885662 @default.
- W2145899763 hasConceptScore W2145899763C146499914 @default.
- W2145899763 hasConceptScore W2145899763C154945302 @default.
- W2145899763 hasConceptScore W2145899763C184337299 @default.
- W2145899763 hasConceptScore W2145899763C185592680 @default.
- W2145899763 hasConceptScore W2145899763C188027245 @default.
- W2145899763 hasConceptScore W2145899763C199360897 @default.
- W2145899763 hasConceptScore W2145899763C27508121 @default.
- W2145899763 hasConceptScore W2145899763C2780586882 @default.
- W2145899763 hasConceptScore W2145899763C41008148 @default.
- W2145899763 hasConceptScore W2145899763C71139939 @default.
- W2145899763 hasConceptScore W2145899763C80444323 @default.
- W2145899763 hasLocation W21458997631 @default.
- W2145899763 hasOpenAccess W2145899763 @default.
- W2145899763 hasPrimaryLocation W21458997631 @default.
- W2145899763 hasRelatedWork W1539155578 @default.
- W2145899763 hasRelatedWork W1587224678 @default.
- W2145899763 hasRelatedWork W1778728081 @default.
- W2145899763 hasRelatedWork W1985493680 @default.
- W2145899763 hasRelatedWork W2165371142 @default.
- W2145899763 hasRelatedWork W2623394745 @default.
- W2145899763 hasRelatedWork W27605384 @default.
- W2145899763 hasRelatedWork W3105912136 @default.
- W2145899763 hasRelatedWork W3160136729 @default.
- W2145899763 hasRelatedWork W3163637575 @default.
- W2145899763 isParatext "false" @default.
- W2145899763 isRetracted "false" @default.
- W2145899763 magId "2145899763" @default.
- W2145899763 workType "book-chapter" @default.