J. Elgot-Drapkin, Step Logic: Reasoning Situated in Time, Ph.D. dissertation, Department of Computer Science, University of Maryland, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....taken for execution if its postcondition implies the agent s current goal, the preconditions are met and the goal is not already true. If a precondition of a plan is not met, then that precondition is made a goal. Active logics have also been applied to reasoning about others ongoing reasoning [17, 18], and to dialog, especially in pragmatic inferences that support dialog [24, 41] and in representation of meta and mixed initiative dialog [43, 1, 49] 7 Future Directions Although the work that has been done to date demonstrates that active logics havethe desired flexibility for real world ....

J. Elgot-Drapkin. Step-logic: Reasoning Situated in Time. PhD thesis, Departmentof Computer Science, University of Maryland, College Park, Maryland, 1988.

....is usual for formalisms, and which has been used to solve a number of commonsense problems in a unified manner. In particular, Active Logic seeks to apply theoretically justifiable, principled (logic based) methods of reasoning to dynamic, uncertain and to this extent real world contexts. [2,3] Active Logic works by combining inference rules with a constantly evolving measure of time (a Now ) that can itself be referenced in those rules. As an example, from Now (t) the time is now t one infers Now (t 1) for the fact of an inference implies that time (at least one time step ) ....

....stable. The ability of focused crawlers to focus on a topical sub graph of the Web and to browse communities within that sub graph will lead to significantly improved Web resource discovery [5,13] 4 What is Active Logic Active Logic is a kind of step logic, which was developed in [2] as formal mechanism for modeling the ongoing process of reasoning. Unlike traditional logical formalisms, a step logic does not calculate a final set of conclusions which can be drawn from an initial set of facts, but rather monitors the ever changing set of conclusions as time goes on. There are ....

J. Elgot-Drapkin. Step-logic: Reasoning Situated in Time. Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park , 1988.

....further than 2 or 3 jumps is difficult because of the heterogeneity and variety of the web pages found at those distances from the target documents. 6 ALII: Information Integration Environment based on Active Logic framework. Active Logic is a kind of step logic, which was developed in [63] as formal mechanism for modeling the ongoing process of reasoning. Unlike traditional logical formalisms, a step logic does not calculate a final set of conclusions which can be drawn from an initial set of facts, but rather monitors the ever changing set of conclusions as time goes on. There are ....

J. Elgot-Drapkin. Step-logic: Reasoning Situated in Time. Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, 1988.

....behavior. But once we have this, we then need to see how such a burst can come about, i.e. what the underlying behavior is. This is what has usually been thought of as an implementation issue, and what we shall argue is anything but that. The first active logics studied were step logics (see [ Elgot Drapkin, 1988, Elgot Drapkin and Perlis, 1990 ] While one goal was to make formal commonsense reasoning more realistic (e.g. respecting temporal limitations) this was by no means the only goal; certain kinds of problems do not appear to admit of static representation, let al..one static solution. In most ....

....engine. Among them may be rules such as Modus Ponens and rules to incorporate new observations into the knowledge base as well as rules specific to, for example, deadline coupled planning, such as checking the feasibility of a partial plan or refining a partial plan. Figure 1, adapted from [ Elgot Drapkin, 1988 ] illustrates four steps in an active logic with Modus Ponens ( i:ff;ff fi i 1:fi ) as one of its inference rules. Note that once ff and ff fi are among the beliefs, modus ponens is used to derive fi. fl cannot be derived until the next step when modus ponens is used on fi and fi fl. The ....

[Article contains additional citation context not shown here]

J. Elgot-Drapkin. Step-logic: Reasoning Situated in Time. PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1988. (Directed by D. Perlis.) Available as Technical Report CS-TR-2156, Technical Report UMIACS-TR-88-94, and through UMI order no. 8912283.

No context found.

J. Elgot-Drapkin, Step Logic: Reasoning Situated in Time, Ph.D. dissertation, Department of Computer Science, University of Maryland, 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC