While the axiomatic system P is an important standard for plausible nonmonotonic reasoning, inference relations obtained from system Z or from c-representations have been designed which go beyond system P. In this paper, we propose the new concept of weakly skeptical inference that properly extends the recently introduced skeptical c-inference, but avoids disadvantages of a too liberal credulous inference. We extend the concepts of skeptical, weakly skeptical, and credulous c-inference by taking preferred models obtained from different minimality criteria into account. We illustrate the usefulness of the obtained inference relations, show that they fulfill various desirable properties, and elaborate on their interrelationships.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com