@article{Beierle_Spang_Haldimann_2024, title={A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W}, volume={37}, url={https://journals.flvc.org/FLAIRS/article/view/135330}, DOI={10.32473/flairs.37.1.135330}, abstractNote={<p>The only recently introduced System W is a nonmonotonic<br>inductive inference operator exhibiting some notable proper-<br>ties like extending rational closure and satisfying syntax split-<br>ting postulates for inference from conditional belief bases.<br>A semantic model of system W is given by its underlying<br>preferred structure of worlds, a strict partial order on the set<br>of propositional interpretations, also called possible worlds,<br>over the signature of the belief base. Existing implementa-<br>tions of system W are severely limited by the number of<br>propositional variables that occur in a belief base because<br>of the exponentially growing number of possible worlds. In<br>this paper, we present an approach to realizing nonmono-<br>tonic reasoning with system W by using partial maximum<br>satisfiability (PMaxSAT) problems and exploiting the power<br>of current PMaxSAT solvers. An evaluation of our approach<br>demonstrates that it outperforms previous implementations of<br>system W and scales reasoning with system W up to a new<br>dimension.</p>}, number={1}, journal={The International FLAIRS Conference Proceedings}, author={Beierle, Christoph and Spang, Aron and Haldimann, Jonas}, year={2024}, month={May} }