Andreas Herzig from IRIT Toulouse is currently visiting AlgoLoG section. He will give a talk at DTU Compute on "Logics of intention and means-end reasoning".
According to Bratman's influential theory, intentions should be viewed as more or less detailed plans. Such plans are typically made up of high-level actions that cannot be executed directly: they have to be progressively refined to basic actions in order to be executable. Inspired by Shoham's database perspective, we view basic and high-level intentions as organized in a database that specifies the temporal intervals within which the corresponding actions have to be performed.
Databases moreover contain beliefs about the environment in terms of beliefs about external events. We suppose that both actions and events are defined in terms of their pre- and postconditions. High- and lower-level intentions are linked by the instrumentality relation, alias means-end relation. This relation plays a fundamental role in the refinement and the revision of intentions.
Host: Thomas Bolander, DTU Compute.
Everyone is welcome.