Sciweavers

651 search results - page 114 / 131
» Reasoning about agent deliberation
Sort
View
CLIMA
2007
15 years 3 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
WOA
2003
15 years 3 months ago
Towards the Improvement of Monitoring and Control Agencies through Knowledge-Based Approaches
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
Matteo Palmonari, Fabio Sartori
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 1 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IFIPTM
2010
117views Management» more  IFIPTM 2010»
15 years 10 days ago
Leveraging a Social Network of Trust for Promoting Honesty in E-Marketplaces
Abstract. In this paper, we examine a trust-based framework for promoting honesty in e-marketplaces that relies on buyers forming social networks to share reputation ratings of sel...
Jie Zhang, Robin Cohen, Kate Larson
JAIR
2011
72views more  JAIR 2011»
14 years 8 months ago
A Logical Study of Partial Entailment
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
Y. Zhou, Y. Zhang