Abstract | ||
---|---|---|
This paper is organized as follows. We first describe in more detail the kind of behaviorthat should be expected from a system capable of solving Bush--Gorbachev styleproblems. We then present autocircumscription, and a related notion of introspectivecircumscription, due to Lifschitz. Following that, we show how the Bush--Gorbachevproblems might be solved using these two formalisms, and we examine an attempt toconstruct a solution using ordinary circumscription. We conclude with some... |
Year | Venue | Keywords |
---|---|---|
1991 | Fundam. Inform. | bush-gorbachev problem |
Field | DocType | Volume |
Discrete mathematics,Ignorance,Rational ignorance,Epistemology,Case-based reasoning,Mathematics | Journal | 15 |
Issue | Citations | PageRank |
3-4 | 5 | 1.43 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sarit Kraus | 1 | 6810 | 768.04 |
Donald Perlis | 2 | 306 | 54.22 |
John Horty | 3 | 38 | 2.86 |