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

• 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)
• 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.