Updating action domain descriptions
Incorporating new information into a knowledge base is an important problem which has
been widely investigated. In this paper, we study this problem in a formal framework for …
been widely investigated. In this paper, we study this problem in a formal framework for …
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Business processes under authorization control are sets of coordinated activities subject to a
security policy stating which agent can access which resource. Their behavior is difficult to …
security policy stating which agent can access which resource. Their behavior is difficult to …
[PDF][PDF] Changing beliefs about domain dynamics in the situation calculus
TQ Klassen, SA McIlraith, HJ Levesque - Proceedings of the …, 2020 - cs.toronto.edu
Agents change their beliefs about the plausibility of various aspects of domain dynamics—
effects of physical actions, results of sensing, and action preconditions—as a consequence …
effects of physical actions, results of sensing, and action preconditions—as a consequence …
[图书][B] Representing Plausible Beliefs about States, Actions, and Processes
TQ Klassen - 2021 - search.proquest.com
This thesis deals with the topic of modelling an agent's beliefs about a dynamic world in a
way that allows for changes in beliefs, including retracting of beliefs, based on the agent's …
way that allows for changes in beliefs, including retracting of beliefs, based on the agent's …
[PDF][PDF] Updating Action Domain Descriptions
TEEEM Finka, J Senkoa - Citeseer
Incorporating new information into a knowledge base is an important problem which has
been widely investigated. In this paper, we study this problem in a formal framework for …
been widely investigated. In this paper, we study this problem in a formal framework for …