30 search results - page 2 / 6 » Enrichment of Qualitative Beliefs for Reasoning under Uncert... |
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
IAT
2007
IEEE
13 years 11 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
DALT
2005
Springer
13 years 11 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...