Thinking Takes Time: a Modal Active-logic for Reasoning in Time Thinking Takes Time: a Modal Active-logic for Reasoning in Time
نویسندگان
چکیده
Most common sense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's 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. Abstract Most common sense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's 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.
منابع مشابه
Thinking takes time: A modal active-logic for reasoning in time*
1IBM, ZIP 1214, Building 003 1000 NW 51st Street Boca Raton, FL 33431 2Department of Mathematics and Computer Science Bar Ilan University Ramat Gan, 52900 Israel 3Institute for Advanced Computer Studies University of Maryland, College Park, MD 20742 4Department of Computer Science University of Maryland, College Park, MD 20742 [email protected], [email protected], [email protected] A...
متن کاملProbabilistic Modal Logic
A modal logic is any logic for handling modalities: concepts like possibility, necessity, and knowledge. Artificial intelligence uses modal logics most heavily to represent and reason about knowledge of agents about others’ knowledge. This type of reasoning occurs in dialog, collaboration, and competition. In many applications it is also important to be able to reason about the probability of b...
متن کاملSystematic literature review of fuzzy logic based text summarization
Information Overloadrq is not a new term but with the massive development in technology which enables anytime, anywhere, easy and unlimited access; participation & publishing of information has consequently escalated its impact. Assisting userslq informational searches with reduced reading surfing time by extracting and evaluating accurate, authentic & relevant information are the primary c...
متن کاملReasoning about agents in the KARO framework
This paper proposes two methods for realising automated reasoning about agent-based systems. The framework for modelling intelligent agent behaviour that we focus on is a core of KARO logic, an expressive combination of various modal logics including propositional dynamic logic, a modal logic of knowledge, a modal logic of wishes, and additional non-standard operators. The first method we prese...
متن کاملHigher Dimensional Modal Logic
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or Petri nets. Modal logics, interpreted over Kripke structures, are the logics for reasoning about sequential behavior and interleaved concurrency. Modal logic is a well behaved subset of first-order logic; many variants...
متن کامل