A notion of correctness with theories containing theoretical terms

Rex Bing Hung Kwok, Abhaya Nayak, Norman Foo

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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.

Original languageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
EditorsAbdul Sattar
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages217-226
Number of pages10
Volume1342
ISBN (Print)3540637974, 9783540637974
Publication statusPublished - 1997
Externally publishedYes
Event10th Australian Joint Conference on Artificial Intelligence, AI 1997 - Perth, Australia
Duration: 30 Nov 19974 Dec 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1342
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other10th Australian Joint Conference on Artificial Intelligence, AI 1997
CountryAustralia
CityPerth
Period30/11/974/12/97

Fingerprint Dive into the research topics of 'A notion of correctness with theories containing theoretical terms'. Together they form a unique fingerprint.

Cite this