Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
An approach to repairing and evaluating first-order theories containing multiple concepts and negation
What online machine learning can do for knowledge acquisition—a case study
Knowledge Acquisition
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
A requirements capture method and its use in an air traffic control application
Software—Practice & Experience
Refinement complements verification and validation
International Journal of Human-Computer Studies - Special issue: verification and validation
Algorithmic Program DeBugging
Inductive Logic Programming: From Machine Learning to Software Engineering
Inductive Logic Programming: From Machine Learning to Software Engineering
Generating Numerical Literals During Refinement
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Independent validation of specifications: a coordination headache
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Connectionist theory refinement: genetically searching the space of network topologies
Journal of Artificial Intelligence Research
Tractability of theory patching
Journal of Artificial Intelligence Research
The complexity of theory revision
Artificial Intelligence
The validation of formal specifications of requirements
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
The specification and management of requirementsiswidelyconsidered to be one of the most important yetmostproblematicactivities in software engineering. Insomeapplications, such asin safety critical areas orknowledge-basedsystems, theconstruction of a requirements domaintheory isregarded as animportant part of this activity. Buildingandmaintaining such adomain theory, however, requires alargeinvestment and a range ofpowerful validation and maintenancetools.The area of itheoryrefinement is concerned with the useoftraining data toautomatically change an existing theory so thatitbetter fits thedata. Theory refinement techniques, however,havenot beenextensively used in applications because of theproblems inscalingup their underlying algorithms.In our work we have applied theory refinement to assistintheproblem of validation and maintenance of arequirementstheoryconcerning separation standards in the North EastAtlantic.In thispaper we describe an implemented refinementalgorithm,whichprocesses a logic program automatically generatedfrom thetheory.We overcame the size and expressivenessproblemstypicallyencountered when applying theory refinement to alogicprogram ofthis kind by designing focused, compositerefinementoperatorswithin the algorithm. These operators modifytheauto-generatedlogic program by generalising or specialisingclausescontainingordinal relationsthat is relations which operateontotally ordereddata.