Sciweavers

135 search results - page 16 / 27
» A New Logical Semantics for Agent Communication
Sort
View
ATAL
2011
Springer
13 years 9 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
ATAL
2008
Springer
14 years 11 months ago
Belief operations for motivated BDI agents
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
Patrick Krümpelmann, Matthias Thimm, Manuela ...
IAT
2009
IEEE
15 years 4 months ago
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
CLIMA
2006
14 years 11 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
RAS
2008
112views more  RAS 2008»
14 years 9 months ago
Learning and generalising semantic knowledge from object scenes
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...
Claire D'Este, Claude Sammut