Nonmonotonic abductive inductive learning
Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense re...
Uloženo v:
| Vydáno v: | Journal of applied logic Ročník 7; číslo 3; s. 329 - 340 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
01.09.2009
|
| Témata: | |
| ISSN: | 1570-8683, 1570-8691 |
| 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 | Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense reasoning under incomplete information. But, so far, most ILP research has been aimed at Horn programs which exclude NAF, and has failed to exploit the full potential of normal programs that allow NAF. By contrast, Abductive Logic Programming (ALP), a related task concerned with explaining observations with respect to a prior theory, has been well studied and applied in the context of normal logic programs. This paper shows how ALP can be used to provide a semantics and proof procedure for nonmonotonic ILP that utilises practical methods of language and search bias to reduce the search space. This is done by lifting an existing method called Hybrid Abductive Inductive Learning (HAIL) from Horn clauses to normal logic programs. To demonstrate its potential benefits, the resulting system, called XHAIL, is applied to a process modelling case study involving a nonmonotonic temporal Event Calculus (EC). |
|---|---|
| AbstractList | Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense reasoning under incomplete information. But, so far, most ILP research has been aimed at Horn programs which exclude NAF, and has failed to exploit the full potential of normal programs that allow NAF. By contrast, Abductive Logic Programming (ALP), a related task concerned with explaining observations with respect to a prior theory, has been well studied and applied in the context of normal logic programs. This paper shows how ALP can be used to provide a semantics and proof procedure for nonmonotonic ILP that utilises practical methods of language and search bias to reduce the search space. This is done by lifting an existing method called Hybrid Abductive Inductive Learning (HAIL) from Horn clauses to normal logic programs. To demonstrate its potential benefits, the resulting system, called XHAIL, is applied to a process modelling case study involving a nonmonotonic temporal Event Calculus (EC). |
| Author | Ray, Oliver |
| Author_xml | – sequence: 1 givenname: Oliver surname: Ray fullname: Ray, Oliver email: oray@cs.bris.ac.uk organization: Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, UK |
| BookMark | eNp9kE9LAzEQxYNUsK1-AG89CR52TTbpJosnKf6Dohc9h2wykSzbpCbZgt_eLVUPHjqXeTO838C8GZr44AGhS4JLgkl905Wd6ssKYzHOJcb8BE3JkuNC1A2Z_GlBz9AspQ5jVrG6maLrl-A3wYccvNML1ZpBZ7eDhfO_qgcVvfMf5-jUqj7BxU-fo_eH-7fVU7F-fXxe3a0LTSuRCy1AMytaaOuGk6VmvLKWWFsrgk3bUsPrymqGGSWKLEHxxmAtGFXKsGYsOkdXh7vbGD4HSFluXNLQ98pDGJKkrKaCETYaycGoY0gpgpXb6DYqfkmC5T4U2ckxFLkPZb8aQxkZ_o_RLqvsgs9Ruf4oeXsgYfx95yDKpB14DcZF0Fma4I7Q3xkffkg |
| CitedBy_id | crossref_primary_10_1007_s10994_021_06105_4 crossref_primary_10_1016_j_artint_2020_103438 crossref_primary_10_1016_j_artint_2018_03_005 crossref_primary_10_1109_MTS_2014_2345131 crossref_primary_10_1049_ccs2_12061 crossref_primary_10_1080_0952813X_2010_505824 crossref_primary_10_1007_s10994_018_5708_2 crossref_primary_10_1080_08839514_2012_636616 crossref_primary_10_1145_2632220 crossref_primary_10_3233_IDA_160830 crossref_primary_10_1007_s10994_024_06538_7 crossref_primary_10_1007_s10994_011_5250_y crossref_primary_10_1007_s10994_024_06556_5 crossref_primary_10_1017_S1471068416000351 crossref_primary_10_1007_s10994_021_06089_1 crossref_primary_10_1016_j_eswa_2017_06_013 crossref_primary_10_1007_s10618_025_01105_7 crossref_primary_10_1007_s13218_018_0542_z crossref_primary_10_1017_S0269888912000264 crossref_primary_10_1017_S1471068418000248 crossref_primary_10_1017_S1471068418000261 crossref_primary_10_1109_TSE_2012_41 crossref_primary_10_1017_S1471068417000333 crossref_primary_10_1007_s10994_009_5113_y crossref_primary_10_1007_s10994_021_06013_7 crossref_primary_10_1007_s00165_009_0128_5 crossref_primary_10_1007_s10994_020_05934_z crossref_primary_10_1007_s10994_021_06038_y crossref_primary_10_1017_S1471068415000198 crossref_primary_10_1007_s10994_015_5512_1 crossref_primary_10_1007_s12530_012_9052_7 crossref_primary_10_1017_S1471068421000107 crossref_primary_10_1017_S1471068422000011 crossref_primary_10_1017_S1471068416000260 crossref_primary_10_1007_s13218_018_0539_7 |
| Cites_doi | 10.1023/B:MACH.0000023149.72125.e2 10.1007/s10115-006-0019-5 10.1016/S0304-3975(02)00416-4 10.1007/BF03037169 10.1016/0743-1066(94)90024-8 10.1023/A:1022678217288 10.1145/1055686.1055687 10.1093/logcom/2.6.719 10.1007/BF03037531 10.1023/A:1007638124237 10.1007/BF03037383 10.1016/S0022-2836(61)80072-7 10.1016/0743-1066(94)90035-3 10.1007/BF03037227 10.1023/A:1007681906490 10.1093/logcom/14.5.703 10.3233/FUN-2006-69402 |
| ContentType | Journal Article |
| Copyright | 2008 Elsevier B.V. |
| Copyright_xml | – notice: 2008 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jal.2008.10.007 |
| 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 | Philosophy |
| EISSN | 1570-8691 |
| EndPage | 340 |
| ExternalDocumentID | 10_1016_j_jal_2008_10_007 S1570868308000682 |
| GroupedDBID | --K --M .DC .~1 0R~ 1B1 1~. 1~5 29J 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO ABAOU ABFRF ABJNI ABMAC ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFO ACGFS ACRLP ADBBV ADEZE ADMUD AEBSH AEFWE AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AXJTR BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA HVGLF HZ~ IHE IXB J1W J9A KOM M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SES SEW SPC SSW SSZ T5K UNMZH 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFPUW AIGII AIIUN AKBMS AKRWK AKYEP ANKPU CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c328t-c8ec4f8beb69715c472ff1ff6a10dbb3d762fc40431a15ea79d0c843aad499993 |
| ISICitedReferencesCount | 89 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000270263800007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1570-8683 |
| IngestDate | Sun Nov 09 13:33:31 EST 2025 Tue Nov 18 22:40:01 EST 2025 Sat Nov 29 07:01:50 EST 2025 Fri Feb 23 02:30:01 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Logic programming Induction Nonmonotonic reasoning Abduction |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c328t-c8ec4f8beb69715c472ff1ff6a10dbb3d762fc40431a15ea79d0c843aad499993 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.jal.2008.10.007 |
| PQID | 34638414 |
| PQPubID | 23500 |
| PageCount | 12 |
| ParticipantIDs | proquest_miscellaneous_34638414 crossref_primary_10_1016_j_jal_2008_10_007 crossref_citationtrail_10_1016_j_jal_2008_10_007 elsevier_sciencedirect_doi_10_1016_j_jal_2008_10_007 |
| PublicationCentury | 2000 |
| PublicationDate | 2009-09-01 |
| PublicationDateYYYYMMDD | 2009-09-01 |
| PublicationDate_xml | – month: 09 year: 2009 text: 2009-09-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationTitle | Journal of applied logic |
| PublicationYear | 2009 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | F. Esposito, A. Laterza, D. Malerba, G. Semeraro, Refinement of Datalog programs, in: Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming, 1996, pp. 73–94 Clark (bib006) 1978 Gelfond, Lifschitz (bib015) 1988 McCarthy, Hayes (bib029) 1969; 4 Lifschitz (bib026) 1999 Jacob, Monod (bib020) 1961; 3 De Raedt (bib043) 1992 Rouveirol (bib047) 1994; 14 Muggleton (bib036) 1995; 13 Nicolas, Duval (bib039) 2001; vol. 2173 Kakas, Kowalski, Toni (bib021) 1992; 2 O. Ray, Inferring process models from temporal data using abduction and induction, in: 1st International Workshop on the Induction of Process Models, 2007 Inoue, Kudoh (bib019) 1997 Tamaddoni-Nezhad, Chaleil, Kakas, Sternberg, Nicholson, Muggleton (bib054) 2007; 26 Otero (bib041) 2003; vol. 2835 Bergadano, Gunetti, Nicosia, Ruffo (bib005) 1996 Miller, Shanahan (bib030) 2002 Dimopoulos, Kakas (bib007) 1995; vol. 912 Otero (bib040) 2001; vol. 2157 Yamamoto (bib056) 1997; vol. 1297 O. Ray, Hybrid abductive-inductive learning, PhD thesis, Department of Computing, Imperial College London, UK, 2005 Bain, Muggleton (bib004) 1991 Muggleton, Bryant (bib037) 2000; vol. 1866 Alrajeh, Ray, Russo, Uchitel (bib002) 2007; vol. 4455 Esposito, Semeraro, Fanizzi, Ferilli (bib012) 2000; 38 O. Ray, Using abduction for induction of normal logic programs, in: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling, 2006, pp. 28–31 Esposito, Ferilli, Basile, Di Mauro (bib010) 2007; 11 Sakama (bib049) 2005; 6 Fogel, Zaverucha (bib013) 1998 Mueller (bib034) 2004; 14 Yamamoto (bib058) 2003; 298 Kowalski, Sergot (bib024) 1986; 4 Muggleton, De Raedt (bib038) 1994; 19–20 Moyle (bib031) 2002; vol. 2583 Semeraro, Esposito, Malerba, Fanizzi, Ferilli (bib051) 1997; vol. 1463 Inoue (bib018) 2004; 55 Apt, Bol (bib003) 1994; 19–20 Furukawa (bib014) 1998; vol. 1532 Mueller (bib035) 2006 S. Moyle, An investigation into theory completion techniques in Inductive Logic Programming, PhD thesis, University of Oxford, UK, 2003 Lloyd (bib027) 1987 Taylor (bib055) 1993 Yamamoto (bib057) 2000; vol. 18 Gelfond, Lifschitz (bib016) 1991; 9 Eshghi, Kowalski (bib008) 1989 Adé, Denecker (bib001) 1995 Moyle, Muggleton (bib033) 1997; vol. 1297 J. Seitzer, Stable ILP: exploring the added expressivity of negation in the background knowledge, in: IJCAI'95 Workshop on Frontiers of Inductive Logic Programming, 1997 Lamma, Riguzzi, Pereira (bib025) 2000; 38 Hirata (bib017) 1999; vol. 1720 Esposito, Fanizzi, Ferilli, Basile, Di Mauro (bib009) 2006; 69 Sakama (bib048) 1999; vol. 1634 Srinivasan (bib053) 2003 Martin, Vrain (bib028) 1996 Kakas, Mancarella (bib022) 1990 Otero (bib042) 2005; vol. 3625 Kakas, Riguzzi (bib023) 2000; 18 Shanahan (bib052) 1997 Hirata (10.1016/j.jal.2008.10.007_bib017) 1999; vol. 1720 Clark (10.1016/j.jal.2008.10.007_bib006) 1978 Adé (10.1016/j.jal.2008.10.007_bib001) 1995 Sakama (10.1016/j.jal.2008.10.007_bib049) 2005; 6 Bergadano (10.1016/j.jal.2008.10.007_bib005) 1996 Nicolas (10.1016/j.jal.2008.10.007_bib039) 2001; vol. 2173 Kakas (10.1016/j.jal.2008.10.007_bib023) 2000; 18 Muggleton (10.1016/j.jal.2008.10.007_bib037) 2000; vol. 1866 Jacob (10.1016/j.jal.2008.10.007_bib020) 1961; 3 10.1016/j.jal.2008.10.007_bib011 Miller (10.1016/j.jal.2008.10.007_bib030) 2002 Lamma (10.1016/j.jal.2008.10.007_bib025) 2000; 38 10.1016/j.jal.2008.10.007_bib050 Bain (10.1016/j.jal.2008.10.007_bib004) 1991 Tamaddoni-Nezhad (10.1016/j.jal.2008.10.007_bib054) 2007; 26 Shanahan (10.1016/j.jal.2008.10.007_bib052) 1997 Inoue (10.1016/j.jal.2008.10.007_bib018) 2004; 55 Esposito (10.1016/j.jal.2008.10.007_bib009) 2006; 69 Martin (10.1016/j.jal.2008.10.007_bib028) 1996 Taylor (10.1016/j.jal.2008.10.007_bib055) 1993 Furukawa (10.1016/j.jal.2008.10.007_bib014) 1998; vol. 1532 Rouveirol (10.1016/j.jal.2008.10.007_bib047) 1994; 14 Yamamoto (10.1016/j.jal.2008.10.007_bib056) 1997; vol. 1297 Moyle (10.1016/j.jal.2008.10.007_bib033) 1997; vol. 1297 Mueller (10.1016/j.jal.2008.10.007_bib034) 2004; 14 Lloyd (10.1016/j.jal.2008.10.007_bib027) 1987 Kakas (10.1016/j.jal.2008.10.007_bib021) 1992; 2 Kowalski (10.1016/j.jal.2008.10.007_bib024) 1986; 4 Sakama (10.1016/j.jal.2008.10.007_bib048) 1999; vol. 1634 Semeraro (10.1016/j.jal.2008.10.007_bib051) 1997; vol. 1463 Yamamoto (10.1016/j.jal.2008.10.007_bib058) 2003; 298 Esposito (10.1016/j.jal.2008.10.007_bib010) 2007; 11 Muggleton (10.1016/j.jal.2008.10.007_bib036) 1995; 13 Moyle (10.1016/j.jal.2008.10.007_bib031) 2002; vol. 2583 Gelfond (10.1016/j.jal.2008.10.007_bib016) 1991; 9 10.1016/j.jal.2008.10.007_bib032 Otero (10.1016/j.jal.2008.10.007_bib041) 2003; vol. 2835 Dimopoulos (10.1016/j.jal.2008.10.007_bib007) 1995; vol. 912 Yamamoto (10.1016/j.jal.2008.10.007_bib057) 2000; vol. 18 Gelfond (10.1016/j.jal.2008.10.007_bib015) 1988 Alrajeh (10.1016/j.jal.2008.10.007_bib002) 2007; vol. 4455 Muggleton (10.1016/j.jal.2008.10.007_bib038) 1994; 19–20 De Raedt (10.1016/j.jal.2008.10.007_bib043) 1992 Inoue (10.1016/j.jal.2008.10.007_bib019) 1997 McCarthy (10.1016/j.jal.2008.10.007_bib029) 1969; 4 Otero (10.1016/j.jal.2008.10.007_bib042) 2005; vol. 3625 Mueller (10.1016/j.jal.2008.10.007_bib035) 2006 Apt (10.1016/j.jal.2008.10.007_bib003) 1994; 19–20 Otero (10.1016/j.jal.2008.10.007_bib040) 2001; vol. 2157 10.1016/j.jal.2008.10.007_bib045 10.1016/j.jal.2008.10.007_bib046 Lifschitz (10.1016/j.jal.2008.10.007_bib026) 1999 Kakas (10.1016/j.jal.2008.10.007_bib022) 1990 10.1016/j.jal.2008.10.007_bib044 Eshghi (10.1016/j.jal.2008.10.007_bib008) 1989 Fogel (10.1016/j.jal.2008.10.007_bib013) 1998 Srinivasan (10.1016/j.jal.2008.10.007_bib053) 2003 Esposito (10.1016/j.jal.2008.10.007_bib012) 2000; 38 |
| References_xml | – volume: 38 start-page: 63 year: 2000 end-page: 87 ident: bib025 article-title: Strategies in combined learning via logic programs publication-title: Machine Learning – start-page: 357 year: 1999 end-page: 373 ident: bib026 article-title: Action languages, answer sets and planning publication-title: The Logic Programming Paradigm: A 25 Year Perspective – volume: vol. 2583 start-page: 182 year: 2002 end-page: 197 ident: bib031 article-title: Using theory completion to learn a robot navigation control program publication-title: 12th International Workshop on Inductive Logic Programming – volume: vol. 1532 start-page: 315 year: 1998 end-page: 325 ident: bib014 article-title: On the completion of the most specific hypothesis computation in inverse entailment for mutual recursion publication-title: 1st International Conference on Discovery Science – volume: 13 start-page: 245 year: 1995 end-page: 286 ident: bib036 article-title: Inverse entailment and Progol publication-title: New Generation Computing – volume: 14 start-page: 703 year: 2004 end-page: 730 ident: bib034 article-title: Event calculus reasoning through satisfiability publication-title: Journal of Logic and Computation – volume: 6 start-page: 203 year: 2005 end-page: 231 ident: bib049 article-title: Induction from answer sets in nonmonotonic logic programs publication-title: ACM Transactions on Computational Logic – volume: vol. 1463 start-page: 300 year: 1997 end-page: 321 ident: bib051 article-title: A logic framework for the incremental inductive synthesis of datalog theories publication-title: 7th International Workshop on Logic Programming Synthesis and Transformation – reference: F. Esposito, A. Laterza, D. Malerba, G. Semeraro, Refinement of Datalog programs, in: Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming, 1996, pp. 73–94 – volume: vol. 1297 start-page: 296 year: 1997 end-page: 308 ident: bib056 article-title: Which hypotheses can be found with Inverse Entailment publication-title: 7th International Workshop on Inductive Logic Programming – volume: 11 start-page: 217 year: 2007 end-page: 242 ident: bib010 article-title: Inference of abduction theories for handling incompleteness in first-order learning publication-title: Knowledge and Information Systems – volume: 19–20 start-page: 629 year: 1994 end-page: 679 ident: bib038 article-title: Inductive logic programming: Theory and methods publication-title: Journal of Logic Programming – volume: vol. 2157 start-page: 193 year: 2001 end-page: 205 ident: bib040 article-title: Induction of stable models publication-title: 11th International Conference on Inductive Logic Programming – volume: vol. 1720 start-page: 157 year: 1999 end-page: 168 ident: bib017 article-title: Flattening and implication publication-title: 10th International Conference on Algorithmic Learning Theory – start-page: 1201 year: 1995 end-page: 1207 ident: bib001 article-title: AILP: Abductive inductive logic programming publication-title: 14th International Joint Conference on Artificial Intelligence – reference: O. Ray, Using abduction for induction of normal logic programs, in: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling, 2006, pp. 28–31 – volume: 38 start-page: 133 year: 2000 end-page: 156 ident: bib012 article-title: Multistrategy theory revision: Induction and abduction in INTHELEX publication-title: Machine Learning – volume: vol. 2173 start-page: 160 year: 2001 end-page: 172 ident: bib039 article-title: Representation of incomplete knowledge by induction of default theories publication-title: 6th International Conference on Logic Programming and Nonmonotonic Reasoning – volume: 2 start-page: 719 year: 1992 end-page: 770 ident: bib021 article-title: Abductive logic programming publication-title: Journal of Logic and Computation – volume: 4 start-page: 67 year: 1986 end-page: 95 ident: bib024 article-title: A logic-based calculus of events publication-title: New Generation Computing – year: 1992 ident: bib043 article-title: Interactive Theory Revision: An Inductive Logic Programming Approach. Knowledge-based Systems – start-page: 105 year: 1991 end-page: 119 ident: bib004 article-title: Non-monotonic learning publication-title: Machine Intelligence 12 – start-page: 293 year: 1978 end-page: 322 ident: bib006 article-title: Negation as failure rule publication-title: Logic and Databases – start-page: 385 year: 1990 end-page: 391 ident: bib022 article-title: Generalized stable models: A semantics for abduction publication-title: 9th European Conference on Artificial Intelligence – volume: 14 start-page: 219 year: 1994 end-page: 232 ident: bib047 article-title: Flattening and saturation: Two representation changes for generalization publication-title: Machine Learning – volume: 4 start-page: 463 year: 1969 end-page: 502 ident: bib029 article-title: Some philosophical problems from the standpoint of artificial intelligence publication-title: Machine Intelligence – volume: 298 start-page: 5 year: 2003 end-page: 19 ident: bib058 article-title: Hypothesis finding based on upward refinement of residue hypotheses publication-title: Theoretical Computer Science – reference: O. Ray, Inferring process models from temporal data using abduction and induction, in: 1st International Workshop on the Induction of Process Models, 2007 – year: 1987 ident: bib027 article-title: Foundations of Logic Programming – volume: vol. 1634 start-page: 279 year: 1999 end-page: 290 ident: bib048 article-title: Some properties of inverse resolution in normal logic programs publication-title: 9th International Workshop on Inductive Logic Programming – volume: 3 start-page: 318 year: 1961 end-page: 356 ident: bib020 article-title: Genetic regulatory mechanisms in the synthesis of proteins publication-title: Journal of Molecular Biology – volume: vol. 1297 start-page: 205 year: 1997 end-page: 212 ident: bib033 article-title: Learning programs in the event calculus publication-title: 7th International Workshop on Inductive Logic Programming – reference: S. Moyle, An investigation into theory completion techniques in Inductive Logic Programming, PhD thesis, University of Oxford, UK, 2003 – reference: J. Seitzer, Stable ILP: exploring the added expressivity of negation in the background knowledge, in: IJCAI'95 Workshop on Frontiers of Inductive Logic Programming, 1997 – year: 2003 ident: bib053 article-title: The Aleph Manual (version 4) – start-page: 107 year: 1996 end-page: 123 ident: bib005 article-title: Learning logic programs with negation as failure publication-title: Advances in Inductive Logic Programming – volume: vol. 912 start-page: 122 year: 1995 end-page: 138 ident: bib007 article-title: Learning non-monotonic logic programs: Learning exceptions publication-title: 8th European Conference on Machine Learning – volume: vol. 3625 start-page: 279 year: 2005 end-page: 294 ident: bib042 article-title: Induction of the indirect effects of actions by monotonic methods publication-title: 15th International Conference on Inductive Logic Programming – volume: 18 start-page: 243 year: 2000 end-page: 294 ident: bib023 article-title: Abductive concept learning publication-title: New Generation Computing – volume: 19–20 start-page: 9 year: 1994 end-page: 71 ident: bib003 article-title: Logic programming and negation: A survey publication-title: Journal of Logic Programming – start-page: 175 year: 1998 end-page: 184 ident: bib013 article-title: Normal programs and multiple predicate learning publication-title: 8th International Workshop on Inductive Logic Programming – start-page: 1070 year: 1988 end-page: 1080 ident: bib015 article-title: The stable model semantics for logic programming publication-title: 5th International Conference on Logic Programming – start-page: 452 year: 2002 end-page: 490 ident: bib030 article-title: Some alternative formulations of the event calculus publication-title: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II – start-page: 219 year: 1996 end-page: 235 ident: bib028 article-title: A three-valued framework for the induction of general logic programs publication-title: Advances in Inductive Logic Programming – volume: vol. 18 start-page: 267 year: 2000 end-page: 280 ident: bib057 article-title: Using abduction for induction based on bottom generalisation publication-title: Abduction and Induction: Essays on their Relation and Integration – reference: O. Ray, Hybrid abductive-inductive learning, PhD thesis, Department of Computing, Imperial College London, UK, 2005 – volume: 69 start-page: 389 year: 2006 end-page: 409 ident: bib009 article-title: Multistrategy operators for relational learning and their cooperation publication-title: Fundamenta Informaticae – volume: vol. 1866 start-page: 130 year: 2000 end-page: 146 ident: bib037 article-title: Theory completion using inverse entailment publication-title: 10th International Conference on Inductive Logic Programming – start-page: 176 year: 1997 end-page: 181 ident: bib019 article-title: Learning extended logic programs publication-title: 15th International Joint Conference on Artificial Intelligence, vol. I – volume: vol. 4455 start-page: 63 year: 2007 end-page: 77 ident: bib002 article-title: Extracting requirements from scenarios with ILP publication-title: 16th International Conference on Inductive Logic Programming – volume: vol. 2835 start-page: 299 year: 2003 end-page: 310 ident: bib041 article-title: Induction of the effects of actions by monotonic methods publication-title: 13th International Conference on Inductive Logic Programming – start-page: 165 year: 1993 end-page: 178 ident: bib055 article-title: Inverse resolution of normal clauses publication-title: 3rd International Workshop on Inductive Logic Programming – year: 2006 ident: bib035 article-title: Commonsense Reasoning – year: 1997 ident: bib052 article-title: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia – volume: 9 start-page: 365 year: 1991 end-page: 386 ident: bib016 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Generation Computing – volume: 26 start-page: 209 year: 2007 end-page: 230 ident: bib054 article-title: Modeling the effects of toxins in metabolic networks publication-title: Engineering in Medicine and Biology Magazine – volume: 55 start-page: 109 year: 2004 end-page: 135 ident: bib018 article-title: Induction as consequence finding publication-title: Machine Learning – start-page: 234 year: 1989 end-page: 254 ident: bib008 article-title: Abduction compared with negation by failure publication-title: 6th International Conference on Logic Programming – year: 2006 ident: 10.1016/j.jal.2008.10.007_bib035 – ident: 10.1016/j.jal.2008.10.007_bib032 – start-page: 357 year: 1999 ident: 10.1016/j.jal.2008.10.007_bib026 article-title: Action languages, answer sets and planning – volume: vol. 1297 start-page: 205 year: 1997 ident: 10.1016/j.jal.2008.10.007_bib033 article-title: Learning programs in the event calculus – year: 1992 ident: 10.1016/j.jal.2008.10.007_bib043 – volume: 55 start-page: 109 issue: 2 year: 2004 ident: 10.1016/j.jal.2008.10.007_bib018 article-title: Induction as consequence finding publication-title: Machine Learning doi: 10.1023/B:MACH.0000023149.72125.e2 – volume: vol. 1463 start-page: 300 year: 1997 ident: 10.1016/j.jal.2008.10.007_bib051 article-title: A logic framework for the incremental inductive synthesis of datalog theories – ident: 10.1016/j.jal.2008.10.007_bib045 – start-page: 293 year: 1978 ident: 10.1016/j.jal.2008.10.007_bib006 article-title: Negation as failure rule – volume: 11 start-page: 217 issue: 2 year: 2007 ident: 10.1016/j.jal.2008.10.007_bib010 article-title: Inference of abduction theories for handling incompleteness in first-order learning publication-title: Knowledge and Information Systems doi: 10.1007/s10115-006-0019-5 – volume: 298 start-page: 5 year: 2003 ident: 10.1016/j.jal.2008.10.007_bib058 article-title: Hypothesis finding based on upward refinement of residue hypotheses publication-title: Theoretical Computer Science doi: 10.1016/S0304-3975(02)00416-4 – volume: vol. 2173 start-page: 160 year: 2001 ident: 10.1016/j.jal.2008.10.007_bib039 article-title: Representation of incomplete knowledge by induction of default theories – start-page: 105 year: 1991 ident: 10.1016/j.jal.2008.10.007_bib004 article-title: Non-monotonic learning – volume: 4 start-page: 463 year: 1969 ident: 10.1016/j.jal.2008.10.007_bib029 article-title: Some philosophical problems from the standpoint of artificial intelligence publication-title: Machine Intelligence – volume: 9 start-page: 365 issue: 3/4 year: 1991 ident: 10.1016/j.jal.2008.10.007_bib016 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Generation Computing doi: 10.1007/BF03037169 – volume: 19–20 start-page: 9 year: 1994 ident: 10.1016/j.jal.2008.10.007_bib003 article-title: Logic programming and negation: A survey publication-title: Journal of Logic Programming doi: 10.1016/0743-1066(94)90024-8 – volume: vol. 2835 start-page: 299 year: 2003 ident: 10.1016/j.jal.2008.10.007_bib041 article-title: Induction of the effects of actions by monotonic methods – ident: 10.1016/j.jal.2008.10.007_bib046 – year: 2003 ident: 10.1016/j.jal.2008.10.007_bib053 – volume: 26 start-page: 209 issue: 2 year: 2007 ident: 10.1016/j.jal.2008.10.007_bib054 article-title: Modeling the effects of toxins in metabolic networks publication-title: Engineering in Medicine and Biology Magazine – start-page: 165 year: 1993 ident: 10.1016/j.jal.2008.10.007_bib055 article-title: Inverse resolution of normal clauses – volume: vol. 2157 start-page: 193 year: 2001 ident: 10.1016/j.jal.2008.10.007_bib040 article-title: Induction of stable models – volume: vol. 1532 start-page: 315 year: 1998 ident: 10.1016/j.jal.2008.10.007_bib014 article-title: On the completion of the most specific hypothesis computation in inverse entailment for mutual recursion – volume: vol. 912 start-page: 122 year: 1995 ident: 10.1016/j.jal.2008.10.007_bib007 article-title: Learning non-monotonic logic programs: Learning exceptions – start-page: 385 year: 1990 ident: 10.1016/j.jal.2008.10.007_bib022 article-title: Generalized stable models: A semantics for abduction – volume: vol. 1297 start-page: 296 year: 1997 ident: 10.1016/j.jal.2008.10.007_bib056 article-title: Which hypotheses can be found with Inverse Entailment – volume: vol. 2583 start-page: 182 year: 2002 ident: 10.1016/j.jal.2008.10.007_bib031 article-title: Using theory completion to learn a robot navigation control program – volume: 14 start-page: 219 issue: 1 year: 1994 ident: 10.1016/j.jal.2008.10.007_bib047 article-title: Flattening and saturation: Two representation changes for generalization publication-title: Machine Learning doi: 10.1023/A:1022678217288 – volume: 6 start-page: 203 issue: 2 year: 2005 ident: 10.1016/j.jal.2008.10.007_bib049 article-title: Induction from answer sets in nonmonotonic logic programs publication-title: ACM Transactions on Computational Logic doi: 10.1145/1055686.1055687 – ident: 10.1016/j.jal.2008.10.007_bib011 – start-page: 175 year: 1998 ident: 10.1016/j.jal.2008.10.007_bib013 article-title: Normal programs and multiple predicate learning – volume: vol. 4455 start-page: 63 year: 2007 ident: 10.1016/j.jal.2008.10.007_bib002 article-title: Extracting requirements from scenarios with ILP – volume: 2 start-page: 719 issue: 6 year: 1992 ident: 10.1016/j.jal.2008.10.007_bib021 article-title: Abductive logic programming publication-title: Journal of Logic and Computation doi: 10.1093/logcom/2.6.719 – start-page: 176 year: 1997 ident: 10.1016/j.jal.2008.10.007_bib019 article-title: Learning extended logic programs – volume: 18 start-page: 243 issue: 3 year: 2000 ident: 10.1016/j.jal.2008.10.007_bib023 article-title: Abductive concept learning publication-title: New Generation Computing doi: 10.1007/BF03037531 – volume: 38 start-page: 133 issue: 1/2 year: 2000 ident: 10.1016/j.jal.2008.10.007_bib012 article-title: Multistrategy theory revision: Induction and abduction in INTHELEX publication-title: Machine Learning doi: 10.1023/A:1007638124237 – volume: vol. 1720 start-page: 157 year: 1999 ident: 10.1016/j.jal.2008.10.007_bib017 article-title: Flattening and implication – volume: 4 start-page: 67 year: 1986 ident: 10.1016/j.jal.2008.10.007_bib024 article-title: A logic-based calculus of events publication-title: New Generation Computing doi: 10.1007/BF03037383 – volume: 3 start-page: 318 year: 1961 ident: 10.1016/j.jal.2008.10.007_bib020 article-title: Genetic regulatory mechanisms in the synthesis of proteins publication-title: Journal of Molecular Biology doi: 10.1016/S0022-2836(61)80072-7 – start-page: 219 year: 1996 ident: 10.1016/j.jal.2008.10.007_bib028 article-title: A three-valued framework for the induction of general logic programs – volume: vol. 18 start-page: 267 year: 2000 ident: 10.1016/j.jal.2008.10.007_bib057 article-title: Using abduction for induction based on bottom generalisation – volume: 19–20 start-page: 629 year: 1994 ident: 10.1016/j.jal.2008.10.007_bib038 article-title: Inductive logic programming: Theory and methods publication-title: Journal of Logic Programming doi: 10.1016/0743-1066(94)90035-3 – volume: 13 start-page: 245 issue: 3–4 year: 1995 ident: 10.1016/j.jal.2008.10.007_bib036 article-title: Inverse entailment and Progol publication-title: New Generation Computing doi: 10.1007/BF03037227 – start-page: 234 year: 1989 ident: 10.1016/j.jal.2008.10.007_bib008 article-title: Abduction compared with negation by failure – year: 1987 ident: 10.1016/j.jal.2008.10.007_bib027 – start-page: 107 year: 1996 ident: 10.1016/j.jal.2008.10.007_bib005 article-title: Learning logic programs with negation as failure – year: 1997 ident: 10.1016/j.jal.2008.10.007_bib052 – volume: 38 start-page: 63 issue: 1–2 year: 2000 ident: 10.1016/j.jal.2008.10.007_bib025 article-title: Strategies in combined learning via logic programs publication-title: Machine Learning doi: 10.1023/A:1007681906490 – start-page: 452 year: 2002 ident: 10.1016/j.jal.2008.10.007_bib030 article-title: Some alternative formulations of the event calculus – volume: 14 start-page: 703 issue: 5 year: 2004 ident: 10.1016/j.jal.2008.10.007_bib034 article-title: Event calculus reasoning through satisfiability publication-title: Journal of Logic and Computation doi: 10.1093/logcom/14.5.703 – volume: vol. 1634 start-page: 279 year: 1999 ident: 10.1016/j.jal.2008.10.007_bib048 article-title: Some properties of inverse resolution in normal logic programs – volume: vol. 1866 start-page: 130 year: 2000 ident: 10.1016/j.jal.2008.10.007_bib037 article-title: Theory completion using inverse entailment – ident: 10.1016/j.jal.2008.10.007_bib044 – start-page: 1201 year: 1995 ident: 10.1016/j.jal.2008.10.007_bib001 article-title: AILP: Abductive inductive logic programming – start-page: 1070 year: 1988 ident: 10.1016/j.jal.2008.10.007_bib015 article-title: The stable model semantics for logic programming – volume: vol. 3625 start-page: 279 year: 2005 ident: 10.1016/j.jal.2008.10.007_bib042 article-title: Induction of the indirect effects of actions by monotonic methods – ident: 10.1016/j.jal.2008.10.007_bib050 – volume: 69 start-page: 389 issue: 4 year: 2006 ident: 10.1016/j.jal.2008.10.007_bib009 article-title: Multistrategy operators for relational learning and their cooperation publication-title: Fundamenta Informaticae doi: 10.3233/FUN-2006-69402 |
| SSID | ssj0042469 |
| Score | 2.2182508 |
| Snippet | Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 329 |
| SubjectTerms | Abduction Induction Logic programming Nonmonotonic reasoning |
| Title | Nonmonotonic abductive inductive learning |
| URI | https://dx.doi.org/10.1016/j.jal.2008.10.007 https://www.proquest.com/docview/34638414 |
| Volume | 7 |
| WOSCitedRecordID | wos000270263800007&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: 1570-8691 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0042469 issn: 1570-8683 databaseCode: AIEXJ dateStart: 20030201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELag5bAXtMtDLOyyOSAkkIKa2rWdY7VqtYuqtocW9WY5joOoqrTbByr_nvErLUUtcOBiRZETJ_6ceXgm8yH0jtNCJkXBY6kJOCiEJ3FGGaxllWJOqaTclhT60mP9Pp9M0qFn8lxZOgFWlny7TRf_FWo4B2CbX2f_Ae7qpnACjgF0aAF2aP8K-P68hLHma0ttIzNTz9VkB4Hv7Y88UcTXI3ap9HapFYq7MJAFYzAzaRy_7BTsUqEq4cYaMaeOOCZIP7YHMt6TZNhvRDiliF1Npd_krXP9p5-mcubyUm2mHNsplxBQ7w9Ed9zriVFnMnq_eIgN7ZcJj3sOlMeo3mStlNdQvX3fmXwOypQ0iWUlrB49BKZtit7BqMdMiwMlay2H0Tl66qc2ajuoLtAjXT5DZ8PAIfHjOfqwj1lUYRZVmEUBsxdo3O2Mbu9iz2ERK9zk61hxrUjBM53RlCUtRVizKODjoDJp5FmGc1BGhbIljmTS0pKleUNxgqXMjS-a4peoVs5L_QpFCYMPKwfzi0pMWM5TBt5vRsGA1oXJfr9EjfD6QvkC74ZnZCZCJt9UwIw54tHEVIVll-hjdcnCVTc51ZmEORXePHNml4DVcOqymzD_AkSXiUfJUs83K4EJCH-SkNd_7PEGne0W9BWqrZcbfY2eqO_rb6vlW79mfgJUI2Rm |
| 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=Nonmonotonic+abductive+inductive+learning&rft.jtitle=Journal+of+applied+logic&rft.au=Ray%2C+Oliver&rft.date=2009-09-01&rft.issn=1570-8683&rft.volume=7&rft.issue=3&rft.spage=329&rft.epage=340&rft_id=info:doi/10.1016%2Fj.jal.2008.10.007&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1570-8683&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1570-8683&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1570-8683&client=summon |