Thinking takes time: a modal active-logic for reasoning in time
| dc.contributor.author | Nirkhe, Madhura | en_US |
| dc.contributor.author | Kraus, Sarit | en_US |
| dc.contributor.author | Perlis, Don | en_US |
| dc.date.accessioned | 2004-05-31T22:25:48Z | |
| dc.date.available | 2004-05-31T22:25:48Z | |
| dc.date.created | 1994-03 | en_US |
| dc.date.issued | 1998-10-15 | en_US |
| dc.description.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) | en_US |
| dc.format.extent | 223122 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/628 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3249 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-94-39 | en_US |
| dc.title | Thinking takes time: a modal active-logic for reasoning in time | en_US |
| dc.type | Technical Report | en_US |