What is failure? or: constructive negation by fail answers
A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. The paper presents an approach based on construction of finite...
Uloženo v:
| Vydáno v: | ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario : proceedings s. 62 - 66 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE Comput. Soc. Press
1992
|
| Témata: | |
| ISBN: | 9780818628122, 081862812X |
| 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 | A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. The paper presents an approach based on construction of finitely failed trees for some instances of a negated query. A correct definition of a failed tree is given (it turns out that a straightforward definition leads to unsoundness). The method is applicable to normal programs. If finitely failed trees are concerned then its semantics is given by Clark's completion (and the author's approach is a proper extension of SLDNF-resolution). If infinite failed trees are allowed then the method is sound for the well-founded semantics.< > |
|---|---|
| AbstractList | A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. The paper presents an approach based on construction of finitely failed trees for some instances of a negated query. A correct definition of a failed tree is given (it turns out that a straightforward definition leads to unsoundness). The method is applicable to normal programs. If finitely failed trees are concerned then its semantics is given by Clark's completion (and the author's approach is a proper extension of SLDNF-resolution). If infinite failed trees are allowed then the method is sound for the well-founded semantics.< > |
| Author | Drabent, W. |
| Author_xml | – sequence: 1 givenname: W. surname: Drabent fullname: Drabent, W. organization: Linkoping Univ., Sweden |
| BookMark | eNotj81KxDAYRQMqqGP34iov0Jqftsk3G5HiaGHAzYDLIT9fNDKmknSUeXvF8W7O5nDgXpLTNCUk5JqzhnMGt-MwjA0HEI0QSrH2hFSgNNNc90JzIc5JVco7-13bcSXVBVm-vJmZxkKDibt9xjs65SV1Uypz3rs5fiFN-GrmOCVqD38WNal8Yy5X5CyYXcHqnwuyWT1shqd6_fw4DvfrOmqYay-07fpggzNgDW81Go-aBe4dU1w6QNsrcNIzC2A1cK-CFN4y20mFXZALcnPMRkTcfub4YfJhe_wnfwC5akgc |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ICCI.1992.227704 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 66 |
| ExternalDocumentID | 227704 |
| GroupedDBID | 6IE 6IK 6IL AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK IERZE OCL RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-i89t-d28b56fbfca9ba148eade80f1dc0713c9eb679c3d0b99b891d7f32db0b537e5f3 |
| IEDL.DBID | RIE |
| ISBN | 9780818628122 081862812X |
| IngestDate | Tue Aug 26 17:54:34 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i89t-d28b56fbfca9ba148eade80f1dc0713c9eb679c3d0b99b891d7f32db0b537e5f3 |
| PageCount | 5 |
| ParticipantIDs | ieee_primary_227704 |
| PublicationCentury | 1900 |
| PublicationDate | 19920000 |
| PublicationDateYYYYMMDD | 1992-01-01 |
| PublicationDate_xml | – year: 1992 text: 19920000 |
| PublicationDecade | 1990 |
| PublicationTitle | ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario : proceedings |
| PublicationTitleAbbrev | ICCI |
| PublicationYear | 1992 |
| Publisher | IEEE Comput. Soc. Press |
| Publisher_xml | – name: IEEE Comput. Soc. Press |
| SSID | ssj0000451737 |
| Score | 1.2173659 |
| Snippet | A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 62 |
| SubjectTerms | Computer science Logic programming Superluminescent diodes |
| Title | What is failure? or: constructive negation by fail answers |
| URI | https://ieeexplore.ieee.org/document/227704 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09TwIxGG6UODihiPE7HVwL15a7t2VxIBJZCAMDG-mnueXOAJL47217HMbExa1tLk0_cnnevh_Pg9Cz4Db3JhdEM-rIKGAWUUJ5AjktbMY8ZZlJYhMwn4vVSi4OPNupFsY5l5LP3CA2Uyzf1uYzusqGjAFE7s9TgKIp1Tq6UyJNCnBIDI80WOkBt1p-nbbP2ihlJoezyWQWC_XYoJnzl7ZKgpZp91-LukD9nxI9vDiCzyU6cVUPdVuNBnz4Za_QOHJz43KLvSpjBvoLrjdjbOqWOHbvcOXe0_Vg_ZW-wgG9onRaHy2nr8vJGznoJZBSyB2xTOi88NobJbUKz5yYCy0yT62JT1EjnS5AGm4zLaUWklrwnFmd6ZyDyz2_Rp2qrtwNwsEIoF743AOIGMlVlgsP3gZjTxRqpG9RLx7E-qNhxFg3Z3D35-g9Om9SXKPb4gF1wu7cIzoz-1253TylW_wGlNaaNg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV27TwIxHG6MmuiEIsa3HVwL1x69tiwORAIRCQMDG-nT3HJnAEn87217dxgTF7e2uTR95PL9-nt8HwBPPDXUacqRItiivscsJLl0iFGcmYQ4TBIdxSbYbMaXSzGvebZjLYy1Niaf2W5oxli-KfVncJX1CGEscH8eBeGsulhr71AJRCksZZHjEXs73SNXw7DT9EkTp0xEbzIcTkKpHulWs_5SV4ngMmr9a1lnoPNTpAfne_g5Bwe2aINWo9IA65_2AgwCOzfMN9DJPOSgP8NyPYC6bKhjdxYW9j1eEFRf8Svo8SuIp3XAYvSyGI5RrZiAci62yBCuaOaU01Io6R86IRuaJw4bHR6jWliVMaFTkyghFBfYMJcSoxJFU2apSy_BYVEW9gpAbwZgxx11jPEQy5Um5Y454809nsm-ugbtcBCrj4oTY1Wdwc2fo4_gZLx4m66mk9nrLTitEl6DE-MOHPqd2ntwrHfbfLN-iDf6DdFXnX8 |
| 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%3Abook&rft.genre=proceeding&rft.title=ICCI+%2792%2C+Fourth+International+Conference+on+Computing+and+Information%2C+May+28-30%2C+1992%2C+Toronto%2C+Ontario+%3A+proceedings&rft.atitle=What+is+failure%3F+or%3A+constructive+negation+by+fail+answers&rft.au=Drabent%2C+W.&rft.date=1992-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818628122&rft.spage=62&rft.epage=66&rft_id=info:doi/10.1109%2FICCI.1992.227704&rft.externalDocID=227704 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818628122/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818628122/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818628122/sc.gif&client=summon&freeimage=true |