@inproceedings{26c2406917bc4761a96e6b9c56b54142,
title = "A notion of correctness with theories containing theoretical terms",
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.",
author = "Kwok, {Rex Bing Hung} and Abhaya Nayak and Norman Foo",
year = "1997",
language = "English",
isbn = "3540637974",
volume = "1342",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "217--226",
editor = "Abdul Sattar",
booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",
address = "United States",
note = "10th Australian Joint Conference on Artificial Intelligence, AI 1997 ; Conference date: 30-11-1997 Through 04-12-1997",
}