On the relation between vector annotated logic programs and defeasible theories

Kazumi Nakamatsu

DOI: http://dx.doi.org/10.12775/LLP.2000.010

Abstract


In this paper, we propose an annotated logic program called a VALPSN (Vector Annotated Logic Program with Strong Negation) to deal with defeasible reasoning. We propose a translation from Billington’s defeasible theory into VALPSN and clarify the relation between them based on the translation.

Keywords


annotated logic program; defeasible logic; logic programming; nonmonotonic reasoning

Full Text:

PDF

References


Billington,D., “Defeasible logic is stable”, J. Logic and Computation 3, 379–400, 1993.

Billington, D., “Conflicting literals and defeasible logic”, Proc. 2nd Australian Workshop on Commonsense Reasoning, pp. 1–14, 1997.

Blair, H.A., and V.S. Subrahmanian, “Paraconsistent logic programming”, Theoretical Computer Science 68, 135–154, 1989.

da Costa, N.C.A., V.S. Subrahmanian, and C. Vago, “The paraconsistent logics PT ”, Zeitschrift für Mathematische Logik und Grundlangen der Mathematik 37, 139–148, 1989.

Gelfond, M., and V. Lifschitz, “The stable model semantics for logic programming”, Proc. 5th Int’l Conf. and Symposium on Logic Programming, pp. 1070–1080, 1988.

Lloyd, J.W., Foundations of Logic Programming, 2nd edition, Springer-Verlag, 1987.

Nakamatsu, K., and A. Suzuki, “Annotated semantics for default reasoning”, Proc. 3rd Pacific Rim Int’l Conf. on AI, pp. 180–186, 1994.

Nakamatsu, K. and A. Suzuki, “A nonmonotonic ATMS based on annotated logic programs”, Agents and Multi-Agents, LNAI 1441, pp. 79–93, Springer-Verlag, 1998.

Nute, D., “Defeasible reasoning”, Proc. Hawaii Int’l Conf. on System Science, pp. 470–477, 1987.

Nute, D., “Basic defeasible logic”, Intensional Logics for Programming, pp. 125–154, Oxford Univ. Press, 1992.

Subrahmanian, V.S., “On the semantics of qualitative logic programs”, Proc. 4th IEEE Symposium on Logic Programming, pp. 178–182, 1987.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism