| الوصف: |
An autonomous agent operating in a dynamical environment must be able to perform several "intelligent" tasks, such as learning about the environment, planning its actions and reasoning about the effects of the choosen actions. For this purpose, it is vital that the agent has a coherent, expressive, and well understood way to represent its knowledge about the world. The research field "Logics of Action and Change" is concerned with using logics for modeling agents and their interaction with dynamical, changing environments. In this thesis we extend an existing logic of action and change, TAL, to handle ramification and concurrency. Historically all knowledge about the dynamics of the modeled world has been placed in action descriptions. In order to make the representation more modular, much of the knowledge can instead be expressed in domain constraints. The expressivity of these domain constraints and how they are used to govern the behavior of the world constitutes the ramification pr. |