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...
Uloženo v:
| Vydáno v: | The journal of logic programming Ročník 42; číslo 1; s. 47 - 57 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
2000
|
| Témata: | |
| ISSN: | 0743-1066, 1873-5789 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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/eLvHCXMwtV1bi9QwFA4664Mv3sX1mgcXlKGzadI2zePqzqKLDoIrzFtIm0QGxs6wnZH9-Z5c2u4FWRV8KSXkAud8nJycnHwHoddCZXkt8iohLNdJxk2ZqLJiSW5EnRUms1z7qiWf-GxWzufiS7wxbX05Ad405dmZWP9XVUMbKNs9nf0LdfeTQgP8g9LhC2qH7x8p_tBYowDoSzP2dm3sEi-2rSvO69LgQz7Wjy4G69KSZ-Z7gIFqx0dqsYwkI53P6pB0jmAiTLoe5hkiCeBHLlZbH2qfDKHuiIrPk-O-8d3CU4HH1P3DyYXYAxlCYd1zmAvZmoHvlBSR2zpY1JKD5nmoE9SZ3IxegVawn4F9M-7Egbn6io0P4Yav_WJ77sy4R4Xnlkku8Wr7ndr3dV1F6FTcRDuU54KM0M7Bx-n8uN-7wfLnPXErDBjefO0PC74R4m1c7HfezKV93TsrJ_fQnXjKwAcBHffRDdM8QHe7Ch44GvSHaDqABXu94gAW7MGCz4EFR7DgDixYtTiC5RH6djQ9ef8hiYU1kpqxcpPQwsKhitWCmgJ8k9wWmsA_oUKDQ2itYEQXtMpqdyuuWKoqzUplLDW2tjmv2GM0alaNeYKwtibNNSkqqnlWkbRKNWG10pwYxXXKdlHWCUjWkXXeFT9ZyiG9EOQqnVylENLLVRa7aNIPWwfalesGlJ30ZfQdg08oATbXDX3VaUuCbXUXZqoxq20rKc_g9EDp03-f_Bm6HcgbXNDuORptTrfmBbpV_9ws2tOXEX6_AJZWmUM |
| 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 |