C. Ortiz. A commonsense language for reasoning about causation and rational action. Artificial Intelligence, 111(2):73--130, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Explanatory Update Theory: Applications of Counterfactual.. - Ortiz, Jr. (1999) Self-citation (Charles) (Correct)
....however, might be highlighted for whatever pragmatic reasons are significant. In the remainder of this paper, I will not concern myself with (ii) and in only a limited way with (i) several companion papers examine the semantics of such terms in more detail [ Ortiz, 1993; Ortiz, 1994; Ortiz, 1996; Ortiz, 1997 ] 1.2 Organization of paper The remainder of this paper is organized as follows. In Section 2 I review possible worlds and information change approaches to the semantics of counterfactuals and discuss technical problems. I then present a representation language and its semantics in Section 3; ....
....al. 1991 ] and the definition of causes simply requires that one have some way of blocking the identification of cases of generation with bona fide cases of causation. The relation of Goldman, Pollack s and Israel et al. s formulation to the one which follows is discussed elsewhere [ Ortiz, 1996; Ortiz, 1997 ] Here, I identify a method of relation counterfactually but require that the agent of both actions be the same as well as the time of performance. 34 Definition 6.7 (Method of performing an action) Let dur(ff; d) be true just in case d is the duration of ff. Then, j= occurs(ff; t) method ....
[Article contains additional citation context not shown here]
Ortiz, Charles L. 1997. A commonsense language for reasoning about causation and action. Submitted to AI Journal.
Introspective and Elaborative Processes in Rational Agents - Ortiz (1999) (2 citations) Self-citation (Charles) (Correct)
....theories of intention. This then leads to the specification of an agent architecture. 1 Representation language The representation language called Hypothetical Logic (HL ) in which the architecture will be specified is based on previous work on causation and rational action [Ortiz, 1996; Ortiz, 1999a] HL is a sorted modal first order language with sorts for events, times, fluents (properties of the world that change with time) and objects. The language contains two predicates: occurs(e; t) reports the occurrence of event type e at time t, and holds(f; t) reports that fluent f is true at ....
Ortiz, Charles L. 1999a. A commonsense language for reasoning about causation and action. To appear AI Journal. 40
A Formal Characterization of Maintenance Goals - Mutsumi Nakamura And (Correct)
No context found.
C. Ortiz. A commonsense language for reasoning about causation and rational action. Artificial Intelligence, 111(2):73--130, 1999.
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