论文信息 - STEP-LOGICS: AN ALTERNATIVE APPROACH TO LIMITED REASONING

STEP-LOGICS: AN ALTERNATIVE APPROACH TO LIMITED REASONING

TO LIMITED REASONING Jennifer Drapkin and Donald Perlis University of Maryland Department of Computer Science College Park, Maryland 20742 USA (301) 454-2002 Abstract: We propose that a new kind of logical study is appropriate to agents engaged in commonsense reasoning, namely, one that focuses on the steps of reasoning at any giv en time rather than the collection of all conclusions ever reached.

Donald Perlis | J. Drapkin | D. Perlis | J. Drapkin

[1] Donald Perlis,et al. A Memory Model for Real-time Common Sense Reasoning. , 1986 .

[2] Donald Perlis,et al. Language, computation, and reality , 1981 .

[3] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..

[4] J. Doyle. Some theories of reasoned assumptions : an essay in rational psychology , 1983 .

[5] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[6] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[7] Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.

[8] J Drapkin,et al. A preliminary excursion into step-logics , 1986, ISMIS '86.

[9] Donald Perlis. Non-Monotonicity and Real-Time Reasoning , 1984, NMR.

[10] Kurt G. Konolige,et al. Experimental Robot Psychology , 1985 .

[11] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.

[12] Andrew Haas,et al. Possible events, actual events, and robots , 1985 .

[13] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.

[14] Kurt Konolige,et al. A Computational Theory of Belief Introspection , 1985, IJCAI.