Thinking takes time: a modal active-logic for reasoning in time

Loading...
Thumbnail Image

Files

CS-TR-3249.ps (217.89 KB)
No. of downloads: 146
CS-TR-3249.pdf (231.52 KB)
No. of downloads: 537

Publication or External Link

Date

1998-10-15

Advisor

Citation

DRUM DOI

Abstract

Most common sense reasoning formalisms do not account for the passage of time a s the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's {\em ongoing} process of reasoning. We present a modal active-logic that treats time as a valuable resource that is consumed in each step of the agent's reasoning. We provide a sound and complete characterization for this logic and examine how it addresses the problem of logical omniscience. (Also cross-referenced as UMIACS-TR-94-39)

Notes

Rights