Matches in SemOpenAlex for { <https://semopenalex.org/work/W1184661690> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1184661690 endingPage "825" @default.
- W1184661690 startingPage "793" @default.
- W1184661690 abstract "We consider multi-agent scenarios where each agent controls a surveillance camera in the plane, with fixed position and angle of vision, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other’s observation abilities and knowledge derived from these observations. We introduce suitable logical languages for reasoning about such scenarios which involve atomic formulae stating what agents can see, multi-agent epistemic operators for individual, distributed and common knowledge, as well as dynamic operators reflecting the ability of cameras to turn around in order to reach positions satisfying formulae in the language. We also consider effects of public announcements. We introduce several different but equivalent versions of the semantics for these languages, discuss their expressiveness and provide translations in PDL style. Using these translations we develop algorithms and obtain complexity results for model checking and satisfiability testing for the basic logic BBL that we introduce here and for some of its extensions. Notably, we show that even for the extension with common knowledge, model checking and satisfiability testing remain in PSPACE. We also discuss the sensitivity of the set of validities to the admissible angles of vision of the agents’ cameras. Finally, we discuss some further extensions: adding obstacles, positioning the cameras in 3D or enabling them to change positions. Our work has potential applications to automated reasoning, formal specification and verification of observational abilities and knowledge of multi-robot systems." @default.
- W1184661690 created "2016-06-24" @default.
- W1184661690 creator A5012406395 @default.
- W1184661690 creator A5064915259 @default.
- W1184661690 creator A5066665696 @default.
- W1184661690 date "2015-07-26" @default.
- W1184661690 modified "2023-10-04" @default.
- W1184661690 title "Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems" @default.
- W1184661690 cites W1546393940 @default.
- W1184661690 cites W196428740 @default.
- W1184661690 cites W2006918089 @default.
- W1184661690 cites W204394552 @default.
- W1184661690 cites W2050849115 @default.
- W1184661690 cites W2067754486 @default.
- W1184661690 cites W2092346246 @default.
- W1184661690 cites W2096959337 @default.
- W1184661690 cites W2159131252 @default.
- W1184661690 cites W4211144022 @default.
- W1184661690 cites W4239007999 @default.
- W1184661690 doi "https://doi.org/10.1007/s10458-015-9306-4" @default.
- W1184661690 hasPublicationYear "2015" @default.
- W1184661690 type Work @default.
- W1184661690 sameAs 1184661690 @default.
- W1184661690 citedByCount "4" @default.
- W1184661690 countsByYear W11846616902016 @default.
- W1184661690 countsByYear W11846616902018 @default.
- W1184661690 countsByYear W11846616902019 @default.
- W1184661690 crossrefType "journal-article" @default.
- W1184661690 hasAuthorship W1184661690A5012406395 @default.
- W1184661690 hasAuthorship W1184661690A5064915259 @default.
- W1184661690 hasAuthorship W1184661690A5066665696 @default.
- W1184661690 hasBestOaLocation W11846616902 @default.
- W1184661690 hasConcept C102993220 @default.
- W1184661690 hasConcept C107247716 @default.
- W1184661690 hasConcept C154945302 @default.
- W1184661690 hasConcept C168773769 @default.
- W1184661690 hasConcept C177264268 @default.
- W1184661690 hasConcept C184337299 @default.
- W1184661690 hasConcept C199360897 @default.
- W1184661690 hasConcept C203659156 @default.
- W1184661690 hasConcept C2778029271 @default.
- W1184661690 hasConcept C41008148 @default.
- W1184661690 hasConcept C80444323 @default.
- W1184661690 hasConceptScore W1184661690C102993220 @default.
- W1184661690 hasConceptScore W1184661690C107247716 @default.
- W1184661690 hasConceptScore W1184661690C154945302 @default.
- W1184661690 hasConceptScore W1184661690C168773769 @default.
- W1184661690 hasConceptScore W1184661690C177264268 @default.
- W1184661690 hasConceptScore W1184661690C184337299 @default.
- W1184661690 hasConceptScore W1184661690C199360897 @default.
- W1184661690 hasConceptScore W1184661690C203659156 @default.
- W1184661690 hasConceptScore W1184661690C2778029271 @default.
- W1184661690 hasConceptScore W1184661690C41008148 @default.
- W1184661690 hasConceptScore W1184661690C80444323 @default.
- W1184661690 hasIssue "5" @default.
- W1184661690 hasLocation W11846616901 @default.
- W1184661690 hasLocation W11846616902 @default.
- W1184661690 hasLocation W11846616903 @default.
- W1184661690 hasLocation W11846616904 @default.
- W1184661690 hasLocation W11846616905 @default.
- W1184661690 hasOpenAccess W1184661690 @default.
- W1184661690 hasPrimaryLocation W11846616901 @default.
- W1184661690 hasRelatedWork W138168018 @default.
- W1184661690 hasRelatedWork W1491543566 @default.
- W1184661690 hasRelatedWork W1499051562 @default.
- W1184661690 hasRelatedWork W1578499625 @default.
- W1184661690 hasRelatedWork W1884188159 @default.
- W1184661690 hasRelatedWork W1973482879 @default.
- W1184661690 hasRelatedWork W2147357772 @default.
- W1184661690 hasRelatedWork W21517912 @default.
- W1184661690 hasRelatedWork W2268954500 @default.
- W1184661690 hasRelatedWork W2917304213 @default.
- W1184661690 hasVolume "30" @default.
- W1184661690 isParatext "false" @default.
- W1184661690 isRetracted "false" @default.
- W1184661690 magId "1184661690" @default.
- W1184661690 workType "article" @default.