human
Veuillez expliquer ce qu'est le "calcul des événements"
gpt
Le calcul des événements est un langage logique pour représenter et raisonner sur les événements et leurs effets présenté pour la première fois par Robert Kowalski et Marek Sergot en 1986. Il a été étendu par Murray Shanahan et Rob Miller dans les années 1990. Semblable à d'autres langages pour raisonner sur le changement, le calcul des événements représente les effets des actions sur les fluents. Cependant, les événements peuvent également être externes au système. Dans le calcul des événements, on peut spécifier la valeur des fluents à certains moments donnés, les événements qui se produisent à des moments donnés et leurs effets.