Abstract
This paper considers how theories containing theoretical terms can be tested with experiments which only give results in observable terms. An agent will be defined which makes predictions about the effect of actions. To test such an agent, the predictions of the agents will measured against an experimental frame. With the experimental frame a result will be presented demonstrating when some theoretical vocabulary is necessary. Further, the correctness of an agent will be defined and results showing the correspondence between beliefs containing theoretical terms and the experimental frame will be presented.
Preview
Unable to display preview. Download preview PDF.
References
W. Craig. On axiomatizability within a system. In The Journal of Symbolic Logic vol. 18, 1953.
Robert Goldblatt. Logics of Time and Computation. Center for the Study of Language and Information (CLSI), Leland Stanford Junior University, 1992.
R. Kwok. Creating theoretical terms for non-deterministic actions. In Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, pages 510–521, 1996.
X. C. Ling. Inventing necessary theoretical terms to overcome representation bias. In Proceedings of Machine Learning 1992 Workshop on Inductive Learning. Morgan Kaufman, 1992.
S. Muggleton. Predicate invention and utilization. In Journal of Experimental and Theoretical Artificial Intelligence 6, pages 121–130, 1994.
S. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the 5th International Machine Learning Workshop, pages 339–352. Morgan Kaufman, 1988.
Wei-Min Shen. Discovery as automomous learning from the environment. In Machine Learning, 12, pages 145–165. Kluwer, 1993.
Wei-Min Shen and Herbert A. Simon. Rule creation and rule learning through environmental exploration. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Morgan Kaufman, 1989.
Y. Shoham. Reasoning About Change. MIT Press, Cambridge, Massachusetts, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kwok, R.B.H., Nayak, A., Foo, N. (1997). A notion of correctness with theories containing theoretical terms. In: Sattar, A. (eds) Advanced Topics in Artificial Intelligence. AI 1997. Lecture Notes in Computer Science, vol 1342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63797-4_74
Download citation
DOI: https://doi.org/10.1007/3-540-63797-4_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63797-4
Online ISBN: 978-3-540-69649-0
eBook Packages: Springer Book Archive