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

Madhura Nirkhe; S. Kraus; Don Perlis

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

Madhura Nirkhe, S. Kraus, Don Perlis

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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)

Original language	American English
Title of host publication	BISFAI-95
State	Published - 1995

Bibliographical note

Place of conference:Israel

Cite this

@inproceedings{95fe8c472b144fcb941f5b59753a77ae,

title = "Thinking takes time: a modal active-logic for reasoning in time",

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 \{\textbackslash{}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)",

author = "Madhura Nirkhe and S. Kraus and Don Perlis",

note = "Place of conference:Israel",

year = "1995",

language = "American English",

booktitle = "BISFAI-95",

}

TY - GEN

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

AU - Nirkhe, Madhura

AU - Kraus, S.

AU - Perlis, Don

N1 - Place of conference:Israel

PY - 1995

Y1 - 1995

N2 - 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)

AB - 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)

UR - https://scholar.google.co.il/scholar?q=%09Thinking+takes+time%3A+A+modal+active-logic+for+reasoning+in+time&btnG=&hl=en&as_sdt=0%2C5

M3 - Conference contribution

BT - BISFAI-95

ER -

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

Abstract

Bibliographical note

Other files and links

Fingerprint

Cite this