Skip to main content

Non-uniform Knowledge in the Situation Calculus

Resource type
Thesis type
(Thesis) M.Sc.
Date created
Knowledge Representation and Reasoning is the field of AI concerned with storing information in a way which can be actioned upon by an agent. The situation calculus is a popular logical language for reasoning about action. A prior work by Scherl and Levesque demonstrates how the situation calculus can be used to model knowledge and knowledge-producing actions while solving the frame problem. This approach is limited in that it can only represent knowledge pertaining to the same situation in which it is held. Shapiro et al. have demonstrated how retrospection can be represented, but not so for prospection. We present an extension of Scherl and Levesque’s approach which allows for prospection and reasoning hypothetically about the outcomes of actions before they are taken.
Copyright statement
Copyright is held by the author.
This thesis may be printed or downloaded for non-commercial research and scholarly purposes.
Scholarly level
Supervisor or Senior Supervisor
Thesis advisor: Delgrande, James
Member of collection
Download file Size
etd9843_JTwigg.pdf 430.79 KB

Views & downloads - as of June 2023

Views: 0
Downloads: 0