Using abduction and induction for operational requirements elaboration

DOI10.1016/J.JAL.2008.10.002MaRDI QIDQ833728zbMATH OpenOpenAlexFDO

Authors Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel

Publication date 14 August 2009

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2008.10.002

zbMATH Keywords

linear temporal logicinductive logic programmingabductive reasoningevent calculusgoal-oriented requirements engineeringscenario-based specification

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Recommendations

• Extracting Requirements from Scenarios with ILP
• scientific article; zbMATH DE number 1706339
• Engineering requirements for system reliability and security
• Deriving non-Zeno behaviour models from goal models using ILP
• scientific article; zbMATH DE number 2021558

Cites work

• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 1950778 (Why is no real title available?)
• scientific article; zbMATH DE number 1759249 (Why is no real title available?)
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• scientific article; zbMATH DE number 2090517 (Why is no real title available?)
• A logic-based calculus of events
• Extracting Requirements from Scenarios with ILP
• Induction from answer sets in nonmonotonic logic programs
• Inductive Logic Programming: Theory and methods

Cited in

(7)

• Extracting Requirements from Scenarios with ILP
• GR(1)*: GR(1) specifications extended with existential guarantees
• scientific article; zbMATH DE number 2090517 (Why is no real title available?)
• GR(1)*: GR(1) specifications extended with existential guarantees
• Deriving goals from a use-case based requirements specification
• Deriving non-Zeno behaviour models from goal models using ILP
• Towards Operational Abduction from a Cognitive Perspective

This page was built for publication: Using abduction and induction for operational requirements elaboration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833728)