Vi presenterar språket PC+ för probabilistiska resonemang om åtgärder, vilket är en generalisering av handlingen språk C + som gör det möjligt att hantera probabilistiska såväl som icke-deterministiska effekter av åtgärder. Vi definierar en formell semantik av PC+ när det gäller probabilistiska övergångar mellan stater. Med hjälp av en idé om en historia och dess trostillstånd visar vi sedan hur flera viktiga problem i resonemanget om handlingar kan formuleras kortfattat i vår formalism.
P C+ REF ) är en generalisering av åtgärdsspråket C+ som gör det möjligt att uttrycka probabilistisk information.
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}