On the relationship between assumption-based framework and autoepistemic logic

  • Y. J. Jiang
  • Yongyuth Aramkulchai
Communications Logic for Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 869)


Assumption-based (AB) framework [BTK93] is a generalisation of abduction. It augments a theory with a set of admissible assumptions that it can defend against any attacks. Autoepistemic logic is a nonmonotonic logic about an ideal agent who reasons about her beliefs and ignorance introspectively. On the surface, these two formalisms look very different. A closer examination reveals many similarities. Indeed, BTK93 has shown that stable extensions in the AB framework of an autoepistemic theory correspond to the Moore's AE extensions of the theory. In this paper, we shall continue to establish some more relationships between the two formalisms. We first reformulate BTK's AB framework for AE logic with a modal approach. We then provide an AB framework for a revised preferred extension that neither subsumes nor being subsumed by Przymusinski's 3-valued AE logic. We then show that the AB framework for a revised complete extension of any consistent AE theory strictly subsumes Przymusinski's 3-valued AE logic. By exploiting the clear structure of the modally reformulated AB framework, we further define an AB framework for a reflexive preferred (cf. stable, complete) extension that integrates Schwarz 's reflexive AE logic with Przymusinski's 3-valued AE logic.


Assumption-based framework Autoepistemic Logic Argumentation system Reflexive Autoepistemic Logic Abduction 3-valued AE logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bo92]
    P. Bonatti (1992) Model-theoretic semantics for demo Meta 92.Google Scholar
  2. [BTK93]
    A. Bondarenko, F.Toni and R.A.Kowalski (1993) An assumption-based framework for nonmonotonic reasoning 2nd Logic programming and nonmonotonic reasoning workshop, pp.171–189.Google Scholar
  3. [Du93]
    P.M. Dung (1993) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming IJCAI-93, pp.852–857.Google Scholar
  4. [Ge88]
    M. Gelfond (1988) AE logic and formalization of commonsense reasoning 2nd Int. Workshop on nonmonotonic reasoning.Google Scholar
  5. [Ji93a]
    Y.J. Jiang (1993a) Revisable autoepistemic logic, abduction and truth maintenance systems to appear.Google Scholar
  6. [Ji93b]
    Y.J. Jiang (1993b) On the autoepistemic reconstruction of logic programming New Generation Computing 11.Google Scholar
  7. [Ji94]
    Y.J. Jiang (1994) On multiagent autoepistemic logic — an extrospective view KR 94.Google Scholar
  8. [Ko88]
    K. Konolige (1988) On the relationship between default and autoepistemic logic AI 35.Google Scholar
  9. [Le90]
    H.J. Levesque (1990) All I know: A study in autoepistemic logic AI 42(3), pp. 263–309.Google Scholar
  10. [LS89]
    F. Lin and Y. Shoham (1989) Argument Systems:A uniform basis for nonmonotonic reasoning KR'89 pp.245–255.Google Scholar
  11. [MT91]
    W. Marek & M. Trunszczynski (1991) Relating autoepistemic logic and default logic JACM 38, 1991.Google Scholar
  12. [MD80]
    D. McDermott & J. Doyle (1980) Non-monotonic logic I AI 13, pp. 41–72.Google Scholar
  13. [McD82]
    D. McDermott (1982) Nonmonotonic logic II: Nonmonotonic modal theories JACM 29.Google Scholar
  14. [Mo85]
    R. C. Moore (1985) Semantic considerations of nonmonotonic logic AI 25.Google Scholar
  15. [LJJ91]
    L.M. Pereira, J.N. Aparico & J.J. Alferes (1991) Nonmonotonic reasoning with well-founded semantics ICLP 91.Google Scholar
  16. [Pr91]
    T.Przymusinski (1991) 3-valued nonmonotonic logics and semantics of logic programs AI 49.Google Scholar
  17. [Ri78]
    Reiter (1978) Closed World Assumption Logic and Database, edited by Clark and Tarlund.Google Scholar
  18. [Sc91]
    G. Schwarz (1991) Autoepistemic logic of knowledge 1st Logic programming and nonmonotonic reasoning workshop.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Y. J. Jiang
    • 1
  • Yongyuth Aramkulchai
    • 1
  1. 1.Department of ComputingImperial CollegeLondonEngland

Personalised recommendations