Skip to main content
SpringerLink
Log in

On the Logic of Acceptance and Rejection

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism to represent states of knowledge of an introspective agent making decisions about available information. Though having much in common, AEL2 differs from Moore's autoepistemic logic (AEL) by the fact that the agent not only can accept or reject a given fact, but he/she also has the possibility not to make any decision in case he/she does not have enough knowledge.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press (reprinted with corrections 1988).

  2. Hughes, G. E., and Cresswell, M. J., 1984, A Companion to Modal Logic, Methuen.

  3. GomoliŃska, A., 1993, On logical methods of knowledge representation with incomplete information (in Polish), Ph. D. dissertation, University of Warsaw.

  4. GomoliŃska, A. 1994, 'On the logic of acceptance and rejection', Uppsala Prints and Preprints in Philosophy 7.

  5. Moore, R. C., 1985, 'Semantical considerations on nonmonotonic logic', Artificial Intelligence 25(1), 75–94.

    Google Scholar 

  6. Moore, R. C., 1987, 'Possible-world semantics for autoepistemic logic', in: M. L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 137–142.

  7. Pogorzelski, W. A., 1994, Notions and Theorems of Elementary Formal Logic, University of Warsaw-Białystok Division.

  8. PrzymusiŃski, T. C., 1989, 'Three-valued nonmonotonic formalisms and logic programming', in: R. Brachman, H. Levesque, and R. Reiter (eds.), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), Morgan Kaufmann, 341–348.

  9. Schwarz, G., 1990, 'Autoepistemic modal logics', in: R. Parikh (ed.), Proceedings of the 3rd Conference TARK (1990), Morgan Kaufmann, 97–109.

  10. Stalnaker, R., 1993, 'A note on nonmonotonic modal logic', Artificial Intelligence 64(2), 183–196.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Białystok Division, Institute of Mathematics University of Warsaw, Białystok, Poland. E-mail

    Anna Gomolińska

Authors
  1. Anna Gomolińska
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gomolińska, A. On the Logic of Acceptance and Rejection. Studia Logica 60, 233–251 (1998). https://doi.org/10.1023/A:1005009115432

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005009115432

Search

Navigation