123 search results - page 10 / 25 » Symbol Grounding and its Implications for Artificial Intelli... |
FLAIRS
2009
13 years 6 months ago
2009
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...
ICTAI
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
ECAI
2004
Springer
14 years 10 days ago
2004
Springer
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...
FLAIRS
2007
13 years 11 months ago
2007
Discovery of graphical models is NP-hard in general, which justifies using heuristics. We consider four commonly used heuristics. We summarize the underlying assumptions and anal...
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...