A preliminary excursion into step-logics

Authors:
J Drapkin;D Perlis
Affiliations:
University of Maryland, Department of Computer Science, College Park, Maryland;University of Maryland, Department of Computer Science, College Park, Maryland
Venue:
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Year:
1986

Citing 4
Cited 2

Towards a general theory of action and time

Artificial Intelligence
On epistemic logic and logical omniscience

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Steps towards a first-order logic of explicit and implicit belief

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)

A Complete and Decidable Logic for Resource-Bounded Agents

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Developing Bounded Reasoning

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have suggested that a new kind of logical study that focuses on individual deductive steps is appropriate to agents that must do commonsense reasoning. In order to adequately study such reasoners, a formal description of such “steps” is necessary. Here we carry further this program for the propositional case. In particular we give a result on completeness for reasoning about agents.