Formal reasoning of knowledge in systems engineering through epistemic modal logic

[1]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[2]  Roshanak Nilchiani,et al.  The Concept of Order of Conflict in Requirements Engineering , 2016, IEEE Systems Journal.

[3]  Peter Beling,et al.  AI4SE and SE4AI: A Research Roadmap , 2020 .

[4]  Joaquim R. R. A. Martins,et al.  Multidisciplinary Design Optimization for Complex Engineered Systems: Report From a National Science Foundation Workshop , 2011 .

[5]  Ali E. Abbas,et al.  Foundations of Multiattribute Utility , 2018 .

[6]  Jean-Marie Lagniez,et al.  A SAT-Based Approach For PSPACE Modal Logics , 2018, KR.

[7]  Benjamin Jantzen,et al.  Theoretical Foundations for Preference Representation in Systems Engineering , 2019, Syst..

[8]  D. Selva,et al.  The impact of technical complexity on the decision to collaborate and combine , 2013, 2013 IEEE Aerospace Conference.

[9]  Thomas J. Hagedorn,et al.  Knowledge Representation with Ontologies and Semantic Web Technologies to Promote Augmented and Artificial Intelligence in Systems Engineering , 2020 .

[10]  Dominique Longin,et al.  LoTREC: Logical Tableaux Research Engineering Companion , 2005, TABLEAUX.

[11]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[12]  David A. Bearden,et al.  A complexity-based risk assessment of low-cost planetary missions: when is a mission too fast and too cheap? , 2003 .

[13]  Ronen I. Brafman,et al.  CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements , 2011, J. Artif. Intell. Res..

[14]  Dennis M. Buede,et al.  The Engineering Design of Systems , 2009 .

[15]  Alejandro Salado,et al.  A mathematical model of verification strategies , 2018, Syst. Eng..

[16]  Thomas J. Hagedorn,et al.  Toward an Interoperability and Integration Framework to Enable Digital Thread , 2018, Syst..

[17]  Janis Osis,et al.  A Survey on Domain Knowledge Representation with Frames , 2017, ENASE.

[18]  Juan Llorens Morillo,et al.  Towards a Methodology for Knowledge Reuse Based on Semantic Repositories , 2018, Inf. Syst. Frontiers.

[19]  Gilles Audemard,et al.  On the Glucose SAT Solver , 2018, Int. J. Artif. Intell. Tools.

[20]  C. J. Leising,et al.  Spacecraft complexity subfactors and implications on future cost growth , 2013, 2013 IEEE Aerospace Conference.

[21]  A.E.K. Sahraoui,et al.  Towards a collaborative and combinational approach to requirements elicitation within a systems engineering framework , 2005, 18th International Conference on Systems Engineering (ICSEng'05).

[22]  Azad M. Madni,et al.  Model‐based systems engineering: Motivation, current status, and research opportunities , 2018, Syst. Eng..

[23]  Didar Zowghi,et al.  Reasoning about inconsistencies in natural language requirements , 2005, TSEM.

[24]  Roshanak Nilchiani,et al.  The Tension Matrix and the Concept of Elemental Decomposition: Improving Identification of Conflicting Requirements , 2017, IEEE Systems Journal.

[25]  Stefan Biffl,et al.  Semantic Web Technologies for Intelligent Engineering Applications , 2016, Springer International Publishing.

[26]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[27]  Raian Ali,et al.  Reasoning with contextual requirements: Detecting inconsistency and conflicts , 2013, Inf. Softw. Technol..

[28]  Christiaan J. J. Paredis,et al.  Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering , 2009 .

[29]  Hans Jürgen Ohlbach,et al.  Semantics-Based Translation Methods for Modal Logics , 1991, J. Log. Comput..

[30]  Alejandro Salado,et al.  Efficient Population of the Verification Tradespace Using Bayesian Inference , 2020, IEEE Systems Journal.

[31]  P. Malone,et al.  Unmanned Aerial Vehicles unique cost estimating requirements , 2013, 2013 IEEE Aerospace Conference.

[32]  Jean-Michel Bruel,et al.  Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox , 2018, INCOSE International Symposium.

[33]  Luis Alonso,et al.  Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process , 2014, CSDM.

[34]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[35]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[36]  Roshanak Nilchiani,et al.  A contribution to the scientific foundations of systems engineering: Solution spaces and requirements , 2017 .

[37]  Alejandro Salado,et al.  Elemental patterns of verification strategies , 2019, Syst. Eng..

[38]  Anil Kumar Thurimella,et al.  Managing Requirements Knowledge , 2013, Springer Berlin Heidelberg.

[39]  Jérôme Lang,et al.  Logical representation of preference: a brief survey , 2006, Decision Theory and Multi-Agent Planning.

[40]  Sebastian J. I. Herzig,et al.  A Bayesian learning approach to inconsistency identification in model-based systems engineering , 2015 .

[41]  Andrew H. Bachhuber.  Introduction to logic , 1957 .

[42]  P. Malone,et al.  Measuring system complexity to support development cost estimates , 2013, 2013 IEEE Aerospace Conference.

[43]  Yuliya Lierler,et al.  Knowledge Representation and Question Answering , 2008, Handbook of Knowledge Representation.

[44]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[45]  John Yen,et al.  An analytic framework for specifying and analyzing imprecise requirements , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[46]  Gert Smolka,et al.  Spartacus: A Tableau Prover for Hybrid Logic , 2010, Electron. Notes Theor. Comput. Sci..