Sciweavers

1581 search results - page 88 / 317
» Mechanizing Inductive Reasoning
Sort
View
ACSC
2002
IEEE
15 years 11 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
DIAGRAMS
2000
Springer
15 years 10 months ago
Capacity Limits in Diagrammatic Reasoning
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
Mary Hegarty
COGSCI
2004
120views more  COGSCI 2004»
15 years 6 months ago
Children's causal inferences from indirect evidence: Backwards blocking and Bayesian reasoning in preschoolers
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
David M. Sobel, Joshua B. Tenenbaum, Alison Gopnik
SAC
2002
ACM
15 years 6 months ago
Decision tree classification of spatial data streams using Peano Count Trees
Many organizations have large quantities of spatial data collected in various application areas, including remote sensing, geographical information systems (GIS), astronomy, compu...
Qiang Ding, Qin Ding, William Perrizo
ILP
2007
Springer
16 years 13 days ago
Learning to Assign Degrees of Belief in Relational Domains
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
Frédéric Koriche