This paper is concerned with those elements of planning knowledge that are common to both understanding someone else's plan and creating a plan for one's own use. This planning knowledge can be divided into two bodies: Knowledge about the world, and knowledge about the planning process itself. Our interest here is primarily with the latter corpus. The central thesis is that much of the knowledge about the planning process itself can be formulated in terms of higher‐level goals and plans called (...) meta‐goals and meta‐plans. These entities can then be used by the same understanding and planning mechanisms that process ordinary goals and plans. However, the meta‐planning knowledge now enables these mechanisms to handle much more complicated situations in a uniform manner.Systems based on meta‐planning would have a number of advantages over existing problem solving and understanding systems. The same knowledge could be shared by both a planner and understander, and both would be able to handle complex situations elegantly. In addition, in planning, the use of meta‐planning has several advantages over more traditional methods involving constraints or critics. Meta‐planning allows the full power of a problem solver to be applied to situations that are generally amenable only to special purpose processing. In addition, meta‐planning facilitates the representation of some situations that are difficult to express otherwise. We have begun to introduce meta‐planning knowledge into two systems: PAM, a story understanding program, and PANDORA, a problem solving and plannin̈g system. (shrink)

We evaluate the “story grammar” approach to story understanding from three perspectives. We first examine the formal properties of the grammars and find only one to be formally adequate. We next evaluate the grammars empirically by asking whether they generate all simple stories and whether they generate only stories. We find many stories that they do not generate and one major class of nonstory that they do generate. We also evaluate the grammars' potential as comprehension models and find that they (...) would add nothing to semantic models that focus on the story content. Hence we advocate a story content oriented approach to studying story understanding instead of the structural story grammar approach. (shrink)

Finding “common ground” to fix some of the policy problems with the ACA was never expected to be easy. How challenging depends on the election outcome. With split government or even same party control of the Congress and White House but without a supermajority in the Senate, fixing identifiable problems requires remedies that might garner bipartisan cooperation. Some potential strategies that might meet this requirement are described.

Biological phenomena can be investigated at multiple levels, from the molecular to the cellular to the organismic to the ecological. In typical biology instruction, these levels have been segregated. Yet, it is by examining the connections between such levels that many phenomena in biology, and complex systems in general, are best explained. We describe a computation-based approach that enables students to investigate the connections between different biological levels. Using agent-based, embodied modeling tools, students model the microrules underlying a biological phenomenon (...) and observe the resultant aggregate dynamics. We describe 2 cases in which this approach was used. In both cases, students framed hypotheses, constructed multiagent models that incorporate these hypotheses, and tested these by running their models and observing the outcomes. Contrasting these cases against traditionally used, classical equation-based approaches, we argue that the embodied modeling approach connects more directly to students’ experience, enables extended investigations as well as deeper understanding, and enables “advanced” topics to be productively introduced into the high school curriculum. (shrink)

다산 역학의 성립과 정수, 그리고 그 경학적.사상사적의의를 논구한 저술.

A story understander needs a great deal of knowledge about people's goals. This knowledge is needed to infer explanations for the behavior of the characters in a story. Sometimes a character's behavior cannot be explained in terms of a particular goal, but only in relation to a set of recurring goals that a character anticipates having.The concept of goal subsumption is introduced to deal with these situations. Goal subsumption is a way of planning for many goals at the same time. (...) It occurs in three different types of story situations, each of which has its own rules for recognition and understanding. (shrink)

Health care reform is a perennial issue in elections — partly because of the challenges facing health care and especially because health care is an important issue for the swing voters. Making reform happen is harder. There are deep divisions within each of the parties — not apparent during elections. Bipartisan support — and the willingness to accept the best legislation that can be passed as “good enough”— will be key.

We are well into the political season that guarantees the election of a new president. Actually, this season, the election cycle began in November 2006, as soon as the off-year election ended. Not surprisingly, health care and reforming health care are major issues for the election — although somewhat less important than they were before late 2007.I use the phrase “not surprisingly” because there are easily understandable reasons why health care tends to be an election issue whenever we are electing (...) a new president. One obvious reason is that, for several decades, we have been plagued by sizeable numbers of people without health insurance and even more importantly, by unsustainable increases in health care spending and substantial numbers of people experiencing patient safety and clinical appropriateness problems. I regard the unsustainable spending and safety and quality problems as especially important because they affect all of us — not just the 15% of the population that is without health insurance. (shrink)

현대철학의 핵심문제로 제시되어온 주체의 개념을 유 럽철학사의 맥락으로 논한 저서.

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)