Sciweavers

260 search results - page 12 / 52
» Merging Belief Bases Represented by Logic Programs
Sort
View
AAAI
2006
15 years 1 months ago
DNNF-based Belief State Estimation
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
Paul Elliott, Brian C. Williams
COMMA
2010
14 years 6 months ago
Two-Agent Conflict Resolution with Assumption-Based Argumentation
Conflicts exist in multi-agent systems. Agents have different interests and desires. Agents also hold different beliefs and may make different assumptions. To resolve conflicts, ag...
Xiuyi Fan, Francesca Toni, Adil Hussain
AAAI
1990
15 years 26 days ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
ICTAI
2005
IEEE
15 years 5 months ago
Planning with POMDPs Using a Compact, Logic-Based Representation
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
Chenggang Wang, James G. Schmolze
ATAL
2010
Springer
15 years 24 days ago
An integrated possibilistic framework for goal generation in cognitive agents
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
Célia da Costa Pereira, Andrea Tettamanzi