Glossary

A Philosophical Zombie, or p-zombie, is a hypothetical being identical to a human in appearance and behavior, but lacks awareness and emotions, used in philosophical theories.

Partial Order Reduction is an efficient computer science method used for scaling down state-space, crucial for model checking and automated planning. This is accomplished by leveraging the exchangeability of concurrently operated transitions leading to identical states.

A Partially Observable Markov Decision Process (POMDP) is a key approach to modelling decision-making under uncertainty, employing a sensor model for system state predictions.