A Theory-driven Interpretation and Elaboration of Verification and Validation

• URL: http://arxiv.org/abs/2506.10997v1
• Date: Fri, 11 Apr 2025 17:58:07 GMT
• Title: A Theory-driven Interpretation and Elaboration of Verification and Validation
• Authors: Hanumanthrao Kannan, Alejandro Salado,
• Abstract summary: This paper presents a formal theory of verification and validation (V&V) within systems engineering.<n>We develop precise definitions of verification and validation, articulating their roles in confirming and contextualizing knowledge about systems.
• Score: 49.97673761305336
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper presents a formal theory of verification and validation (V&V) within systems engineering, grounded in the axiom that V&V are fundamentally knowledge-building activities. Using dynamic epistemic modal logic, we develop precise definitions of verification and validation, articulating their roles in confirming and contextualizing knowledge about systems. The theory formalizes the interplay between epistemic states, evidence, and reasoning processes, allowing for the derivation of theorems that clarify the conceptual underpinnings of V&V. By providing a formal foundation, this work addresses ambiguities in traditional V&V practices, offering a structured framework to enhance precision and consistency in systems engineering methodologies. The insights gained have implications for both academic research and practical applications, fostering a deeper understanding of V&V as critical components of engineering knowledge generation.

Related papers

• Defining the Scope of Learning Analytics: An Axiomatic Approach for Analytic Practice and Measurable Learning Phenomena [0.0]
  Learning Analytics (LA) has rapidly expanded through practical and technological innovation.<n>This paper proposes the first axiomatic theory that formally defines the essential structure, scope, and limitations of LA.
  arXiv  Detail & Related papers  (2025-12-10T21:07:19Z)
• An Epistemic Perspective on Agent Awareness [61.364879462585186]
  The paper proposes to treat agent awareness as a form of knowledge, breaking the tradition in the existing literature on awareness.<n>The work introduces two modalities capturing these forms and formally specifies their meaning using a version of 2D-semantics.
  arXiv  Detail & Related papers  (2025-11-08T11:50:25Z)
• Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems [0.0]
  It supports structured reasoning, propositional commitment, and contradiction detection.<n>It formalises belief representation, metacognitive processes, and normative verification, integrating symbolic inference, knowledge graphs, and blockchain-based justification.
  arXiv  Detail & Related papers  (2025-06-19T04:20:55Z)
• Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping [7.299890614172539]
  This study addresses key challenges in machine learning, namely the absence of a unified formal theoretical framework and the lack of foundational theories for model interpretability and ethical safety.<n>We first construct a formal information model, explicitly defining the ontological states and carrier mappings of typical machine learning stages.<n>By introducing learnable and processable predicates, as well as learning and processing functions, we analyze the causal chain logic and constraint laws governing machine learning processes.
  arXiv  Detail & Related papers  (2025-05-19T14:39:41Z)
• KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning [46.85451489222176]
  KERAIA is a novel framework and software platform for symbolic knowledge engineering.<n>It addresses the persistent challenges of representing, reasoning with, and executing knowledge in dynamic, complex, and context-sensitive environments.
  arXiv  Detail & Related papers  (2025-05-07T10:56:05Z)
• In Defence of Post-hoc Explainability [0.0]
  We introduce Computational Interpretabilism (CI) as a philosophical framework for post-hoc interpretability in scientific AI.<n> Drawing parallels with human expertise, where post-hoc rationalisation coexists with reliable performance, CI establishes that scientific knowledge emerges through structured model interpretation when properly bounded by empirical validation.
  arXiv  Detail & Related papers  (2024-12-23T06:22:03Z)
• On the Role of Entity and Event Level Conceptualization in Generalizable Reasoning: A Survey of Tasks, Methods, Applications, and Future Directions [46.63556358247516]
  Entity- and event-level conceptualization plays a pivotal role in generalizable reasoning. There is currently a lack of a systematic overview that comprehensively examines existing works in the definition, execution, and application of conceptualization. We present the first comprehensive survey of 150+ papers, categorizing various definitions, resources, methods, and downstream applications related to conceptualization into a unified taxonomy.
  arXiv  Detail & Related papers  (2024-06-16T10:32:41Z)
• ConcEPT: Concept-Enhanced Pre-Training for Language Models [57.778895980999124]
  ConcEPT aims to infuse conceptual knowledge into pre-trained language models. It exploits external entity concept prediction to predict the concepts of entities mentioned in the pre-training contexts. Results of experiments show that ConcEPT gains improved conceptual knowledge with concept-enhanced pre-training.
  arXiv  Detail & Related papers  (2024-01-11T05:05:01Z)
• A Principled Framework for Knowledge-enhanced Large Language Model [58.1536118111993]
  Large Language Models (LLMs) are versatile, yet they often falter in tasks requiring deep and reliable reasoning. This paper introduces a rigorously designed framework for creating LLMs that effectively anchor knowledge and employ a closed-loop reasoning process.
  arXiv  Detail & Related papers  (2023-11-18T18:10:02Z)
• Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
  We study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction. We apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase.
  arXiv  Detail & Related papers  (2022-06-03T12:24:49Z)
• The General Theory of General Intelligence: A Pragmatic Patternist Perspective [0.0]
  Review covers underlying philosophies, formalizations of the concept of intelligence, and a proposed high level architecture for AGI systems. The specifics of human-like cognitive architecture are presented as manifestations of these general principles. Lessons for practical implementation of advanced AGI in frameworks such as OpenCog Hyperon are briefly considered.
  arXiv  Detail & Related papers  (2021-03-28T10:11:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.