Advanced Reasoning about Dynamical Systems

Advanced Reasoning about Dynamical Systems

Show other versions (1)

In this thesis, we study advanced reasoning about dynamical systems in a logical framework -- the situation calculus. In particular, we consider promoting the efficiency of reasoning about action in the situation calculus from three different aspects. First, we propose a modified situation calcul...

Full description

Bibliographic Details
Main Author: Gu, Yilan
Other Authors: Levesque, Hector J.
Language:en_ca
Published: 2010
Subjects:
knowledge representation and reasoning
reasoning about action and change
situation calculus
decidable reasoning
description logics
two-variable first-order logic with counting quantifiers
action hierarchies
order-sorted logic
regression
computational advantages
0894
0800
Online Access:http://hdl.handle.net/1807/26274

Internet

http://hdl.handle.net/1807/26274

Similar Items