The Concurrent,Continuous Fluent Calculus |
| |
Authors: | Thielscher Michael |
| |
Affiliation: | (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 等数据库收录! |
|