The Concurrent,Continuous Fluent Calculus |
| |
| Authors: | Thielscher Michael |
| |
| Institution: | (1) Department of Computer Science, Dresden University of Technology, 01062 Dresden, Germany |
| |
| Abstract: | The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently. |
| |
| Keywords: | logics of actions cognitive robotics |
| 本文献已被 SpringerLink 等数据库收录！ |
|
