Decision Theory, the Situation Calculus and Conditional Plans

Short Description
dent choice logic (for the situation calculus) theory. Note that a possible. world defines a complete history. It will specify the truth value for every …

Website: www.cs.ubc.ca | Filesize: 151kb

Content
Link¨oping Electronic Articles in
Computer and Information Science
Vol. 3(1998): nr 8
Link¨oping University Electronic Press
Link¨oping, Sweden
http:/www.ep.liu.se/ea/cis/1998/008/
Decision Theory, the Situation
Calculus and Conditional Plans
David Poole
Department of Computer Science
University of British Columbia
2366 Main Mall
Vancouver, B.C., Canada V6T 1Z4
poole@cs.ubc.ca
http://www.cs.ubc.ca/spider/poolePublished on June 12, 1998 by
Link¨oping University Electronic Press
581 83 Link¨oping, Sweden
Link¨oping Electronic Articles in
Computer and Information Science
ISSN 1401-9841
Series editor: Erik Sandewall
..c 1998 David Poole
Typeset by the author using LATEX
Formatted using ‘etendu style
Recommended citation: Author . Title . Link¨oping Electronic Articles in
Computer and Information Science, Vol. 3(1998): nr 8.
http:/www.ep.liu.se/ea/cis/1998/008/. June 12, 1998.
This URL will also contain a link to the author’s home page.
The publishers will keep this article on-line on the Internet
(or its possible replacement network in the future)
for a period of 25 years from the date of publication,
barring exceptional circumstances as described separately.
The on-line availability of the article implies
a permanent permission for anyone to read the article on-line,
to print out single copies of it, and to use it unchanged
for any non-commercial research and educational purpose,
including making copies for classroom use.
This permission can not be revoked by subsequent
transfers of copyright. All other uses of the article are…