Temporal reasoning in the situation calculus

摘要: A fundamental problem in Knowledge Representation is the design of a logical language to express theories about actions and change. One most prominent proposals for such John McCarthy's situation calculus, formalism which views situations as branching towards future. The calculus has been criticized imposing severe representational limitations. For example, cannot be concurrent, properties change discreetly, etc. In this thesis we show that many these limitations can overcome. Our work builds upon discrete on Reiter's montonic solution frame problem. limitation approach it does not allow state constraints. However, Lin Reiter have made progress by providing correctness criterion one determine if an axiomatization said solve include constraints. In extend ramification mechanisms deal with action binary constraints and/or stratified definitions. Furthermore, how wider range issues. particular, provide represent determinate knowledge Also, concurrent actions. This addressed separating into precondition interaction effect Moreover, present enriched ontology allows representation continuous world. We introduce notion natural event, result process governed laws nature. Finally, provides better foundation reasoning time than some other popular temporal logics.