B. C. Smith. Varieties of self-reference. In Halpern, J. (Ed.) Theoretical Aspects of Reasoning about Knowledge. Los Altos, California: Morgan Kaufmann, 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... manifests itself in a variety of degrees, forms and purposes in the work referenced above, in most cases the aim of the metalevel has been viewed as a guide for the object level inference or computation, i.e. for expressing properties of control in the same way as properties of the domain [62]. In this paper instead we take a different view, as we are concerned with expressing the abstract features and properties of a problem domain via (a general and powerful form of) reflection. We present a logical system whose main objective is to allow its users to specify and experiment with a ....

B. C. Smith. Varieties of self-reference. In Gabbay D., Hogger C. J., and Robinson A., editors, Theoretical Aspects of Reasoning about Knowledge, pages 19--43. Morgan Kaufmann, 1986.

....we explicitly make the entire system reflective by considering these programs that process the wrappings to be resources also, and wrapping them, so that all of our integration support processes apply to themselves, too. The entire system is therefore Computationally Reflective [77] 1] [78] [61] 36] 42] It is this ability of the system to analyze and modify its own behavior that provides the power and flexibility of resource use. 3.2 Wrapping Processes The processes that use the wrapping information are as important to us as the information itself; they are an essential part of ....

Brian Cantwell Smith, "Varieties of Self-Reference", in Joseph Y. Halpern (ed.), Proceedings of TARK '86: Theoretical Aspects of Reasoning about Knowledge, 19-22 March 1986, Monterey, California (1986)

....that into its methodspecific model. Therefore, learning is a type of meta level inference. A meta level inference is a kind of inference able to inspect (to have a model of) the object level, infer some new decision, and modify the object level in such a way that it complies to that decision [Smith 86] For instance, in EBL PRODIGY, the architecture has to be able to analyse its behavior, detect situations that involve a failure, select and apply the EBS method, and include the result in its knowledge base. Meta level inference in learning has been acknowledged in the literature as the ....

Smith, B C, (1986), Varieties of self-reference. In Theoretical Aspects of Reasoning about Knowledge, p. 19-43, Morgan Kaufmann, Los Altos, CA.

....3333333333333333 10. For example, the sentence Lf can have two different meanings: if it is contained in M s base set it means: I [M] know that f is deducible. Whereas if it is part of our theory it means: M knows f It is clear that this can lead to misleading interpretations as [Sm] has pointed out in Varieties of Self Reference pp. 32: on the other hand, when they [Fagin and Halpern] use such axioms as Bf BBf, thereby commit the agents to an awareness of the same belief predicate they themselves use. i.e. for us to say A believes f is for us to adopt the notion ....

B.C. Smith (1986) `Varieties of Self-Reference' in: Proc. of the 1986 Conf. on Theoretical Aspects of Reasoning About Knowledge, (ed. J.Y. Halpern), Morgan Kaufmann Publ. pp. 19-43.

No context found.

B. C. Smith. Varieties of self-reference. In Halpern, J. (Ed.) Theoretical Aspects of Reasoning about Knowledge. Los Altos, California: Morgan Kaufmann, 1986.

No context found.

Smith, B. C. (1986). Varieties of self-reference. In J. Y. Halpern (Ed.), Proceedings of the First Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufman.

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