Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607917053> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1607917053 endingPage "14" @default.
- W1607917053 startingPage "1" @default.
- W1607917053 abstract "We present a framework for the automated verification of time and communication requirements in systems of distributed rule-based reasoning agents which allows us to determine how many rule-firing cycles are required to solve the problem, how many messages must be exchanged, and the trade-offs between the time and communication resources. We extend CTL* with belief and communication modalities to express bounds on the number of messages the agents can exchange. The resulting logic, $mathcal{L}_{CRB}$ , can be used to express both bounds on time and on communication. We provide an axiomatisation of the logic and prove that it is sound and complete. Using a synthetic but realistic example system of rule-based reasoning agents which allows the size of the problem and the distribution of knowledge among the reasoners to be varied, we show the Mocha model checker [1] can be used to encode and verify properties of systems of distributed rule-based agents. We describe the encoding and report results of model checking experiments which show that even simple systems have rich patterns of trade-offs between time and communication bounds." @default.
- W1607917053 created "2016-06-24" @default.
- W1607917053 creator A5002295439 @default.
- W1607917053 creator A5017445294 @default.
- W1607917053 creator A5052831741 @default.
- W1607917053 creator A5064693586 @default.
- W1607917053 date "2009-01-01" @default.
- W1607917053 modified "2023-09-30" @default.
- W1607917053 title "Verifying Time and Communication Costs of Rule-Based Reasoners" @default.
- W1607917053 cites W1596365597 @default.
- W1607917053 cites W1971508608 @default.
- W1607917053 cites W1980098990 @default.
- W1607917053 cites W2024664992 @default.
- W1607917053 cites W2101254238 @default.
- W1607917053 cites W2109903008 @default.
- W1607917053 cites W2153166544 @default.
- W1607917053 cites W2153737593 @default.
- W1607917053 cites W2163150506 @default.
- W1607917053 doi "https://doi.org/10.1007/978-3-642-00431-5_1" @default.
- W1607917053 hasPublicationYear "2009" @default.
- W1607917053 type Work @default.
- W1607917053 sameAs 1607917053 @default.
- W1607917053 citedByCount "8" @default.
- W1607917053 countsByYear W16079170532012 @default.
- W1607917053 countsByYear W16079170532013 @default.
- W1607917053 countsByYear W16079170532014 @default.
- W1607917053 countsByYear W16079170532019 @default.
- W1607917053 crossrefType "book-chapter" @default.
- W1607917053 hasAuthorship W1607917053A5002295439 @default.
- W1607917053 hasAuthorship W1607917053A5017445294 @default.
- W1607917053 hasAuthorship W1607917053A5052831741 @default.
- W1607917053 hasAuthorship W1607917053A5064693586 @default.
- W1607917053 hasConcept C101765175 @default.
- W1607917053 hasConcept C104317684 @default.
- W1607917053 hasConcept C110251889 @default.
- W1607917053 hasConcept C111472728 @default.
- W1607917053 hasConcept C120314980 @default.
- W1607917053 hasConcept C125411270 @default.
- W1607917053 hasConcept C138885662 @default.
- W1607917053 hasConcept C154945302 @default.
- W1607917053 hasConcept C185592680 @default.
- W1607917053 hasConcept C25016198 @default.
- W1607917053 hasConcept C2780586882 @default.
- W1607917053 hasConcept C31258907 @default.
- W1607917053 hasConcept C41008148 @default.
- W1607917053 hasConcept C55493867 @default.
- W1607917053 hasConcept C66746571 @default.
- W1607917053 hasConcept C80444323 @default.
- W1607917053 hasConceptScore W1607917053C101765175 @default.
- W1607917053 hasConceptScore W1607917053C104317684 @default.
- W1607917053 hasConceptScore W1607917053C110251889 @default.
- W1607917053 hasConceptScore W1607917053C111472728 @default.
- W1607917053 hasConceptScore W1607917053C120314980 @default.
- W1607917053 hasConceptScore W1607917053C125411270 @default.
- W1607917053 hasConceptScore W1607917053C138885662 @default.
- W1607917053 hasConceptScore W1607917053C154945302 @default.
- W1607917053 hasConceptScore W1607917053C185592680 @default.
- W1607917053 hasConceptScore W1607917053C25016198 @default.
- W1607917053 hasConceptScore W1607917053C2780586882 @default.
- W1607917053 hasConceptScore W1607917053C31258907 @default.
- W1607917053 hasConceptScore W1607917053C41008148 @default.
- W1607917053 hasConceptScore W1607917053C55493867 @default.
- W1607917053 hasConceptScore W1607917053C66746571 @default.
- W1607917053 hasConceptScore W1607917053C80444323 @default.
- W1607917053 hasLocation W16079170531 @default.
- W1607917053 hasOpenAccess W1607917053 @default.
- W1607917053 hasPrimaryLocation W16079170531 @default.
- W1607917053 hasRelatedWork W2013878945 @default.
- W1607917053 hasRelatedWork W2103740034 @default.
- W1607917053 hasRelatedWork W2115279934 @default.
- W1607917053 hasRelatedWork W2119610731 @default.
- W1607917053 hasRelatedWork W2159623305 @default.
- W1607917053 hasRelatedWork W2389073067 @default.
- W1607917053 hasRelatedWork W2493800215 @default.
- W1607917053 hasRelatedWork W2610756526 @default.
- W1607917053 hasRelatedWork W3037437009 @default.
- W1607917053 hasRelatedWork W4289687320 @default.
- W1607917053 isParatext "false" @default.
- W1607917053 isRetracted "false" @default.
- W1607917053 magId "1607917053" @default.
- W1607917053 workType "book-chapter" @default.