Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078128516> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2078128516 abstract "In this paper, we apply π-calculus 1,2 to the planning for agents. First, we have proposed a new language for describing agent plans based on π-calculus, called PDL (Plan Description Language), and the model to execute them. The plans described in PDL can be changed dynamically while they are executing, because π-calculus provides dynamically-changing structures. By using this property, agents can change their plans to adapt to the environment around them by themselves in executing their plans. This property called reflection is very important to agents. We state the properties as theorems and prove them. Second, we have implemented an interpreter for PDL. In order to implement the system, we propose a primitive language, called PiL (Pi-calculus Language). PiL can be used on computers more easily than using the mathematical notations of π-calculus. We have shown that this system executes programs correctly and a plan written in PDL can be executed on the system. Finally, we have proved that the PDL is useful in the dynamically-changing environment by experiments." @default.
- W2078128516 created "2016-06-24" @default.
- W2078128516 creator A5008721449 @default.
- W2078128516 creator A5023464489 @default.
- W2078128516 creator A5049201972 @default.
- W2078128516 creator A5084984783 @default.
- W2078128516 date "2000-09-01" @default.
- W2078128516 modified "2023-09-26" @default.
- W2078128516 title "APPLYING π-CALCULUS TO DYNAMICALLY-CHANGING PLAN FOR AGENT MODEL" @default.
- W2078128516 cites W1533367247 @default.
- W2078128516 cites W2079415242 @default.
- W2078128516 doi "https://doi.org/10.1142/s0218213000000240" @default.
- W2078128516 hasPublicationYear "2000" @default.
- W2078128516 type Work @default.
- W2078128516 sameAs 2078128516 @default.
- W2078128516 citedByCount "0" @default.
- W2078128516 crossrefType "journal-article" @default.
- W2078128516 hasAuthorship W2078128516A5008721449 @default.
- W2078128516 hasAuthorship W2078128516A5023464489 @default.
- W2078128516 hasAuthorship W2078128516A5049201972 @default.
- W2078128516 hasAuthorship W2078128516A5084984783 @default.
- W2078128516 hasConcept C111472728 @default.
- W2078128516 hasConcept C122783720 @default.
- W2078128516 hasConcept C138885662 @default.
- W2078128516 hasConcept C166957645 @default.
- W2078128516 hasConcept C189950617 @default.
- W2078128516 hasConcept C199343813 @default.
- W2078128516 hasConcept C199360897 @default.
- W2078128516 hasConcept C22497172 @default.
- W2078128516 hasConcept C2776505523 @default.
- W2078128516 hasConcept C2777686260 @default.
- W2078128516 hasConcept C2984882572 @default.
- W2078128516 hasConcept C33923547 @default.
- W2078128516 hasConcept C41008148 @default.
- W2078128516 hasConcept C45357846 @default.
- W2078128516 hasConcept C65682993 @default.
- W2078128516 hasConcept C71924100 @default.
- W2078128516 hasConcept C80444323 @default.
- W2078128516 hasConcept C90483712 @default.
- W2078128516 hasConcept C94375191 @default.
- W2078128516 hasConcept C95457728 @default.
- W2078128516 hasConceptScore W2078128516C111472728 @default.
- W2078128516 hasConceptScore W2078128516C122783720 @default.
- W2078128516 hasConceptScore W2078128516C138885662 @default.
- W2078128516 hasConceptScore W2078128516C166957645 @default.
- W2078128516 hasConceptScore W2078128516C189950617 @default.
- W2078128516 hasConceptScore W2078128516C199343813 @default.
- W2078128516 hasConceptScore W2078128516C199360897 @default.
- W2078128516 hasConceptScore W2078128516C22497172 @default.
- W2078128516 hasConceptScore W2078128516C2776505523 @default.
- W2078128516 hasConceptScore W2078128516C2777686260 @default.
- W2078128516 hasConceptScore W2078128516C2984882572 @default.
- W2078128516 hasConceptScore W2078128516C33923547 @default.
- W2078128516 hasConceptScore W2078128516C41008148 @default.
- W2078128516 hasConceptScore W2078128516C45357846 @default.
- W2078128516 hasConceptScore W2078128516C65682993 @default.
- W2078128516 hasConceptScore W2078128516C71924100 @default.
- W2078128516 hasConceptScore W2078128516C80444323 @default.
- W2078128516 hasConceptScore W2078128516C90483712 @default.
- W2078128516 hasConceptScore W2078128516C94375191 @default.
- W2078128516 hasConceptScore W2078128516C95457728 @default.
- W2078128516 hasLocation W20781285161 @default.
- W2078128516 hasOpenAccess W2078128516 @default.
- W2078128516 hasPrimaryLocation W20781285161 @default.
- W2078128516 hasRelatedWork W120598728 @default.
- W2078128516 hasRelatedWork W1537599374 @default.
- W2078128516 hasRelatedWork W1565345783 @default.
- W2078128516 hasRelatedWork W1971711832 @default.
- W2078128516 hasRelatedWork W2010426824 @default.
- W2078128516 hasRelatedWork W2105258265 @default.
- W2078128516 hasRelatedWork W2116206868 @default.
- W2078128516 hasRelatedWork W2139244631 @default.
- W2078128516 hasRelatedWork W2184144654 @default.
- W2078128516 hasRelatedWork W2280620985 @default.
- W2078128516 hasRelatedWork W2404010313 @default.
- W2078128516 hasRelatedWork W2462635679 @default.
- W2078128516 hasRelatedWork W2500481350 @default.
- W2078128516 hasRelatedWork W2548257568 @default.
- W2078128516 hasRelatedWork W2620985489 @default.
- W2078128516 hasRelatedWork W2953298972 @default.
- W2078128516 hasRelatedWork W3136927158 @default.
- W2078128516 hasRelatedWork W3152282252 @default.
- W2078128516 hasRelatedWork W50839387 @default.
- W2078128516 hasRelatedWork W64454227 @default.
- W2078128516 isParatext "false" @default.
- W2078128516 isRetracted "false" @default.
- W2078128516 magId "2078128516" @default.
- W2078128516 workType "article" @default.