arXiv AI By Bowen Xu

Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic

Read the original on arXiv AI →

arXiv:2607. 20902v1 Announce Type: cross Abstract: Goal reasoning in Non-Axiomatic Logic (NAL) explains how an adaptive system derives means for realizing desired events under insufficient knowledge and resources.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
Jul 24

A Counterfactual Cause in Situation Calculus

arXiv:2501. 06857v3 Announce Type: replace Abstract: Perhaps the most popular modern formulation of actual causality is the HP account by Halpern and Pearl.

By Daxin Liu (Nanjing University), Vaishak Belle (The University of Edinburgh)