Sciweavers

1316 search results - page 129 / 264
» Intelligent Agents: Issues and Logics
Sort
View
AAAI
1994
14 years 11 months ago
Conditional Logics of Belief Change
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
Nir Friedman, Joseph Y. Halpern
FLAIRS
1998
14 years 11 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...
AI
2007
Springer
14 years 10 months ago
Subjective logic and arguing with evidence
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
Nir Oren, Timothy J. Norman, Alun D. Preece
LFCS
2009
Springer
15 years 2 months ago
ATL with Strategy Contexts and Bounded Memory
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
Thomas Brihaye, Arnaud Da Costa Lopes, Franç...
AAAI
2007
15 years 11 days ago
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
David Poole