J. McCarthy and S. Buvac, "Formalizing Context (Expanded Notes)", http://www-formal.stanford.edu/buvac/, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Solving Conflicts Produces New Contexts - Perussel (Correct)
....which happen between fragments of speci cation and (ii) the solving stage. For this purpose, we use a logical formalization mainly because logic is suOEciently expressive to represent a signi cative part of speci cations. More precisely, we apply contextual reasoning de ned by J. McCarthy [9] to explicit the solving process. A context is an abstract entity which enables to relativize the truth of a formula. Applying this notion to our problem, we consider conAEicts as sequences of contexts. Since conAEicts change the viewpoints, they also change the associated contexts. We then ....
....new context represents the proof state after executing the action . In order to reason about this sequence of contexts, we have to de ne the properties of the function and . When we say that we assume a proposition in a context, we import a new proposition which can be used to infer new properties [9]. In fact, we write: The function returns the consequence of an action: a proposition (we admit here that all the actions give only one consequence) So, we have to de ne the result for each action. For instance, if a viewpoint stakeholder asserts a proposition, we have: In the same way, when he ....
J. McCarthy, S. Buva#. Formalizing Context: Expanded Notes. Technical Report STAN-CS-TN-94-13, Computer Science Departement - Stanford University, 1994. Available at .
Context and Focusing in Argumentative Discourse Planning - Reed, Long, Fox (1997) (Correct)
.... a lesser extent, linguistic (e.g. Maybury, 1993) McConachy and Zukerman, 1996) Such accounts of structure help to explain what makes one argument coherent and another incoherent, such as the examples given in (Cohen, 1987) 2 It is in this sense that McCarthy has examined context in discourse (McCarthy and Buvac, 1995). 3. Focusing The problem of implementing some mechanism for maintaining focus during text planning has been addressed in a number of different ways. Grosz and Sidner set out a basic framework (Grosz and Sidner, 1986) but as pointed out by McCoy and Cheng (1991) this was primarily concerned ....
Communicative Goals - Thomason, Hobbs, Moore (1996) (7 citations) (Correct)
....about conditional obligation are part of the agents common ground, and that these mechanisms are reflected in the dynamics of 8 We intend this notion of conversational context to be consistent with the theory of context that is currently emerging in the knowledge representation literature. See [13], for instance. See especially [4] for a similar formalism, with details concerning the theorem proving issues. For more on the mechanisms that conversants use for establishing common ground, see [3] Section Title 1126 R. Thomason, J. Hobbs and J. Moore the CR. For instance, let p be the ....
....operators have a dynamic aspect; a reasoner can choose to enter or to leave a context. But we can ignore this for the time being. We will need mechanisms for transferring information from one context to another. We leave the details of this mechanism aside for the moment, relying on work such as [13]. In general, any axiomatic information that does not have the form (26) Context]A is assumed to hold in all contexts. Context also has the effect of resetting certain abductive weights. In this example, the affected weights occur in the axiom that allows a referent to be abduced for Mark . ....
John McCarthy and Sasa Buvac, `Formalizing context (expanded notes)'. Available from http://wwwformal. stanford.edu/buvac., 1995.
Distributed Information Organization and Management.. - Wang, Leckie, Law.. (2003) (Correct)
No context found.
J. McCarthy and S. Buvac, "Formalizing Context (Expanded Notes)", http://www-formal.stanford.edu/buvac/, 1997.
Context-aware Communication Services: A Framework.. - Görtz, Ackermann, .. (Correct)
No context found.
J. McCarthy and S. Buva c, "Formalizing Context (Expanded Notes)," Computing Natural Language, 1997.
Many Hands Make Light Work: Localized Satisfiability.. - Roelofsen, Serafini.. (2004) (Correct)
No context found.
J. McCarthy and S. Buva c, `Formalizing context (expanded notes)', in Computing Natural Language, volume 81 of CSLI Lecture Notes, 13-- 50, (1998).
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