1143 search results - page 189 / 229 » Prospective Logic Agents |
167
click to vote
AAAI
1994
15 years 7 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
150
click to vote
AAAI
1993
15 years 7 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...
169
click to vote
AAAI
1994
15 years 7 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
157
click to vote
AAAI
1990
15 years 7 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
151
click to vote
AAAI
1990
15 years 7 months ago
1990
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...