Filters








119,379 Hits in 5.4 sec

Forgetting to learn logic programs [article]

Andrew Cropper
2019 arXiv   pre-print
We consider forgetting in an inductive logic programming (ILP) setting.  ...  We show that forgetting can significantly reduce both the size of the hypothesis space and the sample complexity of an ILP learner.  ...  We define sig(P ) to be the set of predicate symbols in the logic program P .  ... 
arXiv:1911.06643v1 fatcat:wtq6qxqpvve2bo4kwiukomrary

Forgetting to Learn Logic Programs

Andrew Cropper
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
We consider forgetting in an inductive logic programming (ILP) setting.  ...  We show that forgetting can significantly reduce both the size of the hypothesis space and the sample complexity of an ILP learner.  ...  • We define forgetting in an inductive logic programming (ILP) setting (Section 3).  ... 
doi:10.1609/aaai.v34i04.5776 fatcat:2jaz5wdsvnb27b7rhzluq35p2q

Merging and Aligning Ontologies in dl-Programs [chapter]

Kewen Wang, Grigoris Antoniou, Rodney Topor, Abdul Sattar
2005 Lecture Notes in Computer Science  
It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture.  ...  A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning.  ...  A logic program may have zero, one or more answer sets. We use P to denote the collection of answer sets of P . A program is consistent if it has at least one answer set.  ... 
doi:10.1007/11580072_13 fatcat:2rgc4px3off23anrwx2abrhprm

Forgetting in Answer Set Programming – A Survey

RICARDO GONÇALVES, MATTHIAS KNORR, JOÃO LEITE
2021 Theory and Practice of Logic Programming  
In this article, we thoroughly examine existing properties and (classes of) operators for forgetting in Answer Set Programming, drawing a complete picture of the landscape of these classes of forgetting  ...  In recent years, many different approaches for forgetting in Answer Set Programming have been proposed, in the form of specific operators, or classes of such operators, commonly following different principles  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1017/s1471068421000570 fatcat:lov3susm6nbz3pu7jkzbiwv6dm

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

MATTI BERTHOLD, RICARDO GONÇALVES, MATTHIAS KNORR, JOÃO LEITE
2019 Theory and Practice of Logic Programming  
AbstractWhereas the operation of forgetting has recently seen a considerable amount of attention in the context of Answer Set Programming (ASP), most of it has focused on theoretical aspects, leaving the  ...  The operator is syntactic, limiting the computation of the forgetting result to manipulating the rules in which the atoms to be forgotten occur, naturally yielding a forgetting result that is close to  ...  The purely syntactic operator in (Eiter and Wang 2008) , dubbed forget 3 , designed to preserve the answer sets, falls short of adequately distinguishing programs that, though having the same answer sets  ... 
doi:10.1017/s1471068419000346 fatcat:6axekd7g6jd6njud6hq7c7wu3y

Forgetting under the Well-Founded Semantics [chapter]

José Júlio Alferes, Matthias Knorr, Kewen Wang
2013 Lecture Notes in Computer Science  
In this paper, we develop a notion of forgetting for normal logic programs under the well-founded semantics. We show that a number of desirable properties are satisfied by our approach.  ...  Three different algorithms are presented that maintain the computational complexity of the well-founded semantics, while partly keeping its syntactical structure.  ...  We may also generalize the definition of forgetting to a set of atoms S in the obvious way and show that the elements of the set can be forgotten one-by-one. Proposition 5.  ... 
doi:10.1007/978-3-642-40564-8_4 fatcat:li7ycn5duncy5hx2htugljyzt4

When You Must Forget: beyond strong persistence when forgetting in answer set programming [article]

Ricardo Gonçalves , Stefan Woltran NOVA LINCS, Universidade Nova de Lisboa, Portugal,
2017 arXiv   pre-print
Among the myriad of desirable properties discussed in the context of forgetting in Answer Set Programming (ASP), strong persistence naturally captures its essence.  ...  Additionally, we discuss their preferable usage, shed light on the relation between forgetting and notions of relativized equivalence established earlier in the context of ASP, and present a detailed study  ...  Forgetting in ASP In this section, we recall the necessary notions on answer set programming and forgetting.  ... 
arXiv:1707.05152v1 fatcat:kefb27d5bjd4jmvgprqtnnlxbi

Forgetting in Answer Set Programming – A Survey [article]

Ricardo Gonçalves, Matthias Knorr, João Leite
2021 arXiv   pre-print
In this paper, we thoroughly examine existing properties and (classes of) operators for forgetting in Answer Set Programming, drawing a complete picture of the landscape of these classes of forgetting  ...  In recent years, many different approaches for forgetting in Answer Set Programming have been proposed, in the form of specific operators, or classes of such operators, commonly following different principles  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments.  ... 
arXiv:2107.07016v3 fatcat:bep3egq5jje5znfytvz2o7laoq

Preserving Strong Equivalence while Forgetting [chapter]

Matthias Knorr, José Julio Alferes
2014 Lecture Notes in Computer Science  
Then, we study forgetting for normal programs under the wellfounded semantics, and for programs with double negation under the answer set semantics.  ...  A variety of proposals for forgetting in logic programs under different semantics have emerged that satisfy differing sets of properties considered desirable.  ...  A program is called consistent if it has (at least) one answer set, and the set of all answer sets of P is denoted by M as (P ).  ... 
doi:10.1007/978-3-319-11558-0_29 fatcat:vev7slkw4zdvpo4dylm4jeafga

Forgetting in Modular Answer Set Programming

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2019 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Modular programming facilitates the creation and reuse of large software, and has recently gathered considerable interest in the context of Answer Set Programming (ASP).  ...  In this setting, forgetting, or the elimination of middle variables no longer deemed relevant, is of importance as it allows one to, e.g., simplify a program, make it more declarative, or even hide some  ...  Given the structure of modules in the context of modular ASP, namely their restricted interface, a weaker notion of persistence based on uniform equivalence is sufficient to properly characterise forgetting  ... 
doi:10.1609/aaai.v33i01.33012843 fatcat:ri24g3zhfzcifdoelnfrguktve

A Knowledge Level Account of Forgetting

James P. Delgrande
2017 The Journal of Artificial Intelligence Research  
The main definition is simple: the result of forgetting a portion of a signature in a theory is given by the set of logical consequences of this theory over the reduced language.  ...  The central thesis is that forgetting amounts to a reduction in the language, specifically the signature, of a logic.  ...  I thank a second reviewer for helpful comments, particularly with regards to work in answer set programmming.  ... 
doi:10.1613/jair.5530 fatcat:wvidqe2ukfbodkhuzssikq4upy

The Application Of Neural Networks To The Process Of Gaining And Consolidating The Knowledge

Anna Plichta
2011 ECMS 2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho  
The purpose of the intelligent e-learning system presented in this paper is to teach orthography and this system is based on the multilayer neural network.  ...  The e-learning course is one of the most efficient and promising didactic policies. It must be grounded on the revision because it was proved that it enhances the longterm memory.  ...  Last but not least, to learn better one should not forget about the crucial role of the memory, which is dependant on the metabolic processes the brain is involved in.  ... 
doi:10.7148/2011-0436-0439 dblp:conf/ecms/Plichta11 fatcat:wo7tflmejrhkpbvblklmbd7ceu

Page 1 of AT&T Technical Journal Vol. 23, Issue 1 [page]

1944 AT&T Technical Journal  
on the factors. rhe first two of the above factors, the limits of hearing and the of program material, have been separately investigated and the resu lished in the technical literature by a number of  ...  Be the intangibles involved, however, even these two sets of data readily be combined, forgetting the other factors, with complete assur that their contribution to the answer is established.  ... 

Retrieval practice and spaced learning: preventing loss of knowledge in Dutch medical sciences students in an ecologically valid setting

Stijn C. M. Donker, Marc A. T. M. Vorstenbosch, Martin J. T. Gerhardus, Dick H. J. Thijssen
2022 BMC Medical Education  
To investigate this hypothesis, we compare the score of retrieval practice questions to regular questions in exams of a two-year (bio)medical study program.  ...  Methods The two-year "Mechanisms of Health and Disease"-program for biomedical sciences and medical students in Nijmegen (the Netherlands) contains 14 spaced exams of 80 questions each.  ...  Importantly, the exam set-up warrants caution in interpreting the percentage of correct answers, because students were allowed to leave questions open.  ... 
doi:10.1186/s12909-021-03075-y pmid:35081944 pmcid:PMC8793259 fatcat:lwv7ury7lvgp7pet3bqxrvah6y

local guide program: 11 Thing You're Forgetting to Do

Soltospjjt
2022 Zenodo  
How To Discuss is a Q&A platform that empowers people to share and grow the world's knowledge. People use How to Discuss to ask questions on any subject.  ...  Answering difficult concerns posed by children can be one of the more challenging -and satisfying -elements of parenthood.  ...  As they learn and grow, they will naturally begin to question the nature of the world and their place in it.  ... 
doi:10.5281/zenodo.6811275 fatcat:tlntyxfyjjftjlrxmnpygxiruq
« Previous Showing results 1 — 15 out of 119,379 results