Defeasible logic versus Logic Programming without Negation as Failure

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of tw...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The journal of logic programming Jg. 42; H. 1; S. 47 - 57
Hauptverfasser: Antoniou, G., Maher, M.J., Billington, D.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 2000
Schlagworte:
Defeasible logic
Logic programming
Defeasible logic
Logic programming
ISSN:0743-1066, 1873-5789
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of two approaches in this family of logics: Defeasible Logic, and sceptical Logic Programming without Negation as Failure (LPwNF). Our results show that the former has a strictly stronger expressive power. The difference is caused by the latter logic's failure to capture the idea of teams of rules supporting a specific conclusion.
AbstractList Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of two approaches in this family of logics: Defeasible Logic, and sceptical Logic Programming without Negation as Failure (LPwNF). Our results show that the former has a strictly stronger expressive power. The difference is caused by the latter logic's failure to capture the idea of teams of rules supporting a specific conclusion.
Author Antoniou, G.
Maher, M.J.
Billington, D.
Author_xml – sequence: 1
  givenname: G.
  surname: Antoniou
  fullname: Antoniou, G.
  email: ga@cit.gu.edu.au
– sequence: 2
  givenname: M.J.
  surname: Maher
  fullname: Maher, M.J.
  email: mjm@cit.gu.edu.au
– sequence: 3
  givenname: D.
  surname: Billington
  fullname: Billington, D.
  email: db@cit.gu.edu.au
BookMark eNqFkE1Lw0AQhhdRsK3-BCEn0UN0P5JNFg8itVWhqKCel81mtq4k2bqbVPz3pql48NLTzMDzvgzPGO03rgGETgi-IJjwyxecJSwmmPMzIc4xxhzHfA-NSJ6xOM1ysY9Gf8ghGofw0UOEkHSEZrdgQAVbVBBVbml1tAYfuhAthuPZu6VXdW2bZfRl23fXtdEjLFVrXROpEM2VrToPR-jAqCrA8e-coLf57HV6Hy-e7h6mN4tYM5a3MeUmyyjTggLPSJ4aXuJ-x1SUOcXGCIZLTotE0yTlihFVlCxXYCgYbdKsYBN0uu1deffZQWhlbYOGqlINuC5ImiWCCkp78GoLau9C8GCktu3wdev7lyXBcqNODurkxosUQg7qJO_T6b_0ytta-e-duettDnoHawteBm2h0VBaD7qVpbM7Gn4AJtmIKg
CitedBy_id crossref_primary_10_1016_j_eswa_2015_09_027
crossref_primary_10_1109_TKDE_2010_37
crossref_primary_10_1111_j_0824_7935_2004_00240_x
crossref_primary_10_1109_TSMCA_2011_2132715
crossref_primary_10_1016_j_eswa_2012_10_025
crossref_primary_10_1017_S1471068417000266
crossref_primary_10_1145_1838552_1838558
crossref_primary_10_3166_jancl_13_87_113
crossref_primary_10_1016_j_ijar_2018_10_020
crossref_primary_10_1016_j_jss_2016_02_016
crossref_primary_10_1016_S1567_4223_02_00016_9
crossref_primary_10_1023_A_1010551204574
crossref_primary_10_1016_j_eswa_2015_06_048
crossref_primary_10_1080_08839510903448692
crossref_primary_10_1016_j_eswa_2008_03_009
crossref_primary_10_1002_int_20008
crossref_primary_10_1016_j_eswa_2025_127140
crossref_primary_10_1016_j_datak_2007_10_006
crossref_primary_10_4018_IJSSMET_297498
crossref_primary_10_1016_j_knosys_2021_107082
crossref_primary_10_1016_j_datak_2007_03_004
crossref_primary_10_1007_s10472_013_9334_1
ContentType Journal Article
Copyright 2000 Elsevier Science B.V.
Copyright_xml – notice: 2000 Elsevier Science B.V.
DBID 6I.
AAFTH
AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1016/S0743-1066(99)00060-6
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1873-5789
EndPage 57
ExternalDocumentID 10_1016_S0743_1066_99_00060_6
S0743106699000606
GroupedDBID --K
--M
-~X
.~1
0R~
0SF
123
1B1
1RT
1~.
1~5
29K
4.4
4G.
5VS
6I.
7-5
71M
8P~
AACTN
AAEDT
AAEDW
AAFTH
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABEFU
ABMAC
ABVKL
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNCT
ACNNM
ACRLP
ADBBV
ADEZE
ADMUD
AEKER
AETEA
AEXQZ
AFFNX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CS3
D-I
D0L
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-2
G-Q
G8K
GBOLZ
HVGLF
HZ~
IHE
IXB
KOM
KQ8
LG9
M26
M41
MO0
NCXOZ
O-L
O9-
OAUVE
OK1
OZT
P-9
PC.
Q38
R2-
ROL
RPZ
SDF
SDG
SEW
SPC
SSV
SSZ
T5K
TN5
UHS
WUQ
XJT
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABJNI
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
ADVLN
AEIPS
AEUPX
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
CITATION
EFKBS
~HD
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c338t-26f7723c92e67185f6d092e029d820ff930d62b4c2456a31abd38aef2efcf57b3
ISICitedReferencesCount 48
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000083194500002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0743-1066
IngestDate Mon Sep 29 05:14:19 EDT 2025
Sat Nov 29 06:24:12 EST 2025
Tue Nov 18 21:38:43 EST 2025
Fri Feb 23 02:34:26 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Issue 1
Keywords Defeasible logic
Logic programming
Language English
License http://www.elsevier.com/open-access/userlicense/1.0
https://www.elsevier.com/tdm/userlicense/1.0
https://www.elsevier.com/open-access/userlicense/1.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c338t-26f7723c92e67185f6d092e029d820ff930d62b4c2456a31abd38aef2efcf57b3
Notes ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
OpenAccessLink https://dx.doi.org/10.1016/S0743-1066(99)00060-6
PQID 27492922
PQPubID 23500
PageCount 11
ParticipantIDs proquest_miscellaneous_27492922
crossref_citationtrail_10_1016_S0743_1066_99_00060_6
crossref_primary_10_1016_S0743_1066_99_00060_6
elsevier_sciencedirect_doi_10_1016_S0743_1066_99_00060_6
PublicationCentury 2000
PublicationDate 2000
2000-01-00
20000101
PublicationDateYYYYMMDD 2000-01-01
PublicationDate_xml – year: 2000
  text: 2000
PublicationDecade 2000
PublicationTitle The journal of logic programming
PublicationYear 2000
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
SSID ssj0001115
Score 1.3969854
Snippet Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object...
SourceID proquest
crossref
elsevier
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 47
SubjectTerms Defeasible logic
Logic programming
Title Defeasible logic versus Logic Programming without Negation as Failure
URI https://dx.doi.org/10.1016/S0743-1066(99)00060-6
https://www.proquest.com/docview/27492922
Volume 42
WOSCitedRecordID wos000083194500002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  customDbUrl:
  eissn: 1873-5789
  dateEnd: 20001231
  omitProxy: false
  ssIdentifier: ssj0001115
  issn: 0743-1066
  databaseCode: AIEXJ
  dateStart: 19950101
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3db9MwELeg44GX8S02vvzAJFCVkjiuYz8O1gkmqJAYqG-W49ioUkmrpUX78zl_JOk2oQESL1Fk-UPy_XR3Pp9_h9BLsHpZxbhOSk1oQpWoErByNOGGZllheWF8OZ9vH4vplM9m4nO8MW18OYGirvn5uVj9V1FDGwjbPZ39C3F3k0ID_IPQ4Qtih-8fCf7IWKMA6Asz9Hpt6BIvNo0rzuvS4EM-1o82BuvSkqfme4CBaobHar6IJCOtz-qQtEUwESZd9fP0kQTwI-fLjQ-1j_pQd0TFp9FJ1_h27qnAY-r-0ehC7CHtQ2Htc5gL2ZqB7zRlkds6aFRe5AmoBbGtcim5Aq2gPwP7ZrTEgbn6io4P4YYv3WIH7sx4QITnlkku8Wp7S-37uq4idGI30Q4pxiIdoJ3DD5PZSWe7QfOPO-JWGNC_-XrTL_hKiNdxsd95M5fsundWTu-i3XjKwIcBHffQDVPfR3faCh44KvQHaNKDBXu54gAW7MGCt8CCI1hwCxasGhzB8hB9PZ6cvnufxMIaic5zvk4Is3CoyrUghoFvMrasSuE_JaICh9BakacVIyXV7lZc5Zkqq5wrY4mx2o6LMn-EBvWyNo8RLjjLmOC8slrTzNiSk7HhpVVZVVFq6R6i7QZJHVnnXfGThezTC2FfpdtXKYT0-yrZHhp1w1aBduW6AbzdfRl9x-ATSoDNdUNftNKSoFvdhZmqzXLTSFJQOD0Qsv_vkz9Bt8HF5oEs9CkarM825hm6pX-u583Z8wi_X3kFmLc
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Defeasible+logic+versus+Logic+Programming+without+Negation+as+Failure&rft.jtitle=The+journal+of+logic+programming&rft.au=Antoniou%2C+G.&rft.au=Maher%2C+M.J.&rft.au=Billington%2C+D.&rft.date=2000&rft.pub=Elsevier+Inc&rft.issn=0743-1066&rft.eissn=1873-5789&rft.volume=42&rft.issue=1&rft.spage=47&rft.epage=57&rft_id=info:doi/10.1016%2FS0743-1066%2899%2900060-6&rft.externalDocID=S0743106699000606
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0743-1066&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0743-1066&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0743-1066&client=summon