541,399 Hits in 7.5 sec

Formal Modeling of Product-Line Variant Requirements

Shamim Ripon
2013 International Journal of Computer and Communication Engineering  
This paper presents an approach to modeling and verifying SPL variant feature diagrams using first-order logic. It provides a precise and rigorous formal interpretation of the feature diagrams.  ...  A case study of a Computer Aided Dispatch (CAD) system variant feature model is presented to illustrate the verification process. Index Terms-Product line, reuse, first-order logic, variants.  ...  This paper uses first-order logic to represent product line variants and their dependencies.  ... 
doi:10.7763/ijcce.2013.v2.140 fatcat:2qrmvtuh6jfa5ghx7ky2j5t4hi

Managing and Analysing Software Product Line Requirements

Shamim Ripon, Sk. Jahir Hossain, Touhid Bhuiyan
2013 International Journal of Software Engineering & Applications  
This paper presents an approach that we adopt to model SPL variants by using UML and subsequently verify them by using first-order logic. UML provides an overall modelling view of the system.  ...  First-order logic provides a precise and rigorous interpretation of the feature diagrams. We model variants and their dependencies by using propositional connectives and build logical expressions.  ...  We define six types of logical notation to represent all the parts in a featuremodel. First-order logic has been used for this purpose.  ... 
doi:10.5121/ijsea.2013.4505 fatcat:jehbaa3dbbaste4kftprx3s6eu

A knowledge based framework for the detection of measurement uncertainties in derived sea surface current fields

Benjamin Seppke, Leonie Dreschler-Fischer, Michael Wessel, Martin Gade
2010 2010 IEEE International Geoscience and Remote Sensing Symposium  
We present first steps towards an automatic knowledge-based approach that uses description logic to validate the measurements of sea surface currents.  ...  Optical flow due to other image features, e.g. ship wakes, does not correspond to the motion field and causes systematic errors.  ...  amounts to checking the first-order satisfiability of this formula in terms of first-order predicate logic.  ... 
doi:10.1109/igarss.2010.5651374 dblp:conf/igarss/SeppkeDWG10 fatcat:kvvs26elaverpcoqo323nwuv4a

Logic Verification of Product-Line Variant Requirements [article]

Shamim Ripon, Sk. Jahir Hossain, Keya Azad, Mehidee Hassan
2014 arXiv   pre-print
This paper presents an approach to modeling and verifying SPL variant feature diagrams using first-order logic. It provides a precise and rigorous formal interpretation of the feature diagrams.  ...  Logical expressions can be built by modeling variants and their dependencies by using propositional connectives. These expressions can then be validated by any suitable verification tool.  ...  Therefore, the whole product model becomes invalid. To handle such scenarios where dependency decision can be propagated, a set of rules has been defined using first-order logic.  ... 
arXiv:1402.5595v1 fatcat:wyof44aqe5gnbbzkqru4zwc6wm

Reflections on Consequence [chapter]

John Etchemendy
2008 New Essays on Tarski and Philosophy  
In The Concept of Logical Consequence (CLC) [13], I presented an extended argument that the standard, Tarskian analysis of logical consequence and logical truth is wrong.  ...  This paper is not meant to be a "reply to my critics."  ...  Every class of models has such features-indeed infinitely many such features-including the models used in first-order logic.  ... 
doi:10.1093/acprof:oso/9780199296309.003.0011 fatcat:j2jvrenyfnfa3nsfjouyiwloqu

Logic and Feature Structures

Mark Johnson
1991 International Joint Conference on Artificial Intelligence  
Many feature systems can be completely axiomatized in the Schonfinkel-Bernays class of first-order formulae, so the decidability of the satisfiability and validity problems for these systems follows immediately  ...  Given the proliferation of different feature structure formalisms it is useful to have a "common language" to express them in.  ...  This paper exploits some of the results on dccidable classes of first-order logic [3, 5] to show that the satis fiability and validity problems for certain types of feature structure constraints are  ... 
dblp:conf/ijcai/Johnson91 fatcat:rdjfqcst3raxzj7sknlht5oe7i

Relational Knowledge Extraction from Neural Networks

Manoel Vitor Macedo França, Artur S. d'Avila Garcez, Gerson Zaverucha
2015 Neural Information Processing Systems  
First-order logic rules are extracted from the neural networks, offering interpretable symbolic relational models on which logical reasoning can be performed.  ...  The wellknown knowledge extraction algorithm TREPAN was adapted and incorporated into the first-order version of the neural-symbolic system CILP++.  ...  In order to tackle this, an adapted version of the first-order feature generation algorithm presented in [16] has been used to generate independent propositional features which represent first-order  ... 
dblp:conf/nips/FrancaGZ15 fatcat:3gb7oaarprewnjaueqe3diwuyi

The Formal and Computational Theory of Complex Constraint Solution [chapter]

Luis Damas, Nelma Moreira, Giovanni B. Varile
1994 Constraints, Language and Computation  
We will turn our attention to those first order theories admitting complete models and extend them to recursively defined relations.  ...  Logic programming is an ideal paradigm for such a framework in that it supports a direct mapping between grammars, seen as first order logic theories, and the first order theory of their implementation  ...  Smolka has given an axiomatization of the models of feature logics in first order predicate logic [Smo89] , and he proposes to model features by representing them as binary predicates p(x, y) satisfying  ... 
doi:10.1016/b978-0-08-050296-0.50012-7 fatcat:i72bajvckzaj7d3lrca6jhom2a

Modeling and validation of business process families

Gerd Gröner, Marko Bošković, Fernando Silva Parreiras, Dragan Gašević
2013 Information Systems  
The proposed validation approach is based on the use of Description Logics, variability is represented by using the well-known Feature Models and behavior of process models is considered in terms of control  ...  However, ensuring behavioral validity of reused process models with respect to the original process models (often referred to as reference process models) is still an open research challenge.  ...  Furthermore, we used a further trial case that has been represented in both feature and business process models.  ... 
doi:10.1016/ fatcat:xdp7jwqbunerxl5hxaxa5k7qha

The UCLID Decision Procedure [chapter]

Shuvendu K. Lahiri, Sanjit A. Seshia
2004 Lecture Notes in Computer Science  
Apart from validity checking, the decision procedure also provides other useful features such as concrete counterexample generation and proofcore generation.  ...  UCLID is a tool for term-level modeling and verification of infinite-state systems expressible in the logic of counter arithmetic with lambda expressions and uninterpreted functions (CLU).  ...  We are grateful to Randal E. Bryant for his invaluable support and feedback.  ... 
doi:10.1007/978-3-540-27813-9_40 fatcat:b764wtws7ner7epgz4izhx674y

Representation, reasoning, and relational structures: a hybrid logic manifesto

P Blackburn
2000 Logic Journal of the IGPL  
On the contrary, we can talk about models using any classical language we find useful (for example, a first-order, infinitary, fixpoint, or second-order language).  ...  This turns out to be the key needed to draw together a surprisingly diverse range of work (for example, feature logic, description logic and labelled deduction).  ...  Thanks to Claire Gardent and Ewan Klein for their comments on the first version.  ... 
doi:10.1093/jigpal/8.3.339 fatcat:knzw6fq32bhd3dwhpkleufrm6y

Learning to Reason [article]

Brian Groenke
2018 arXiv   pre-print
All of this prior work, however, has one common limitation: they all rely on the axioms of classical first-order logic.  ...  This work explores using Q-learning (Watkins, 1989) to inform proof search for a specific system called non-classical logic called Core Logic (Tennant, 2017).  ...  All of this prior work, however, has one common limitation: they all rely on the axioms of classical first-order logic.  ... 
arXiv:1810.05315v1 fatcat:k4mqo6jie5hxlhuk34btkquun4

Case Tool Support for Variability Managing in Database Schemas

Nesrine Khalfallah, RIADI Laboratory, National School of Computer Science, Campus of Manouba, Manouba 2010, Tunisia., Sami Ouali, Naoufel Kraiem
2018 Journal of Software  
In addition, we present a quantitative evaluation of our experimentation which leads to a validation of the latter to show the reliability of VariaLBD.  ...  Therefore, we worked on this research field to ensure a continuous evolution of database schemas through the modelling and the implementation of variability in these schemas.  ...  We explain how to use Model-driven engineering (MDE) to transform models in order to model variability in target models.  ... 
doi:10.17706/jsw.13.11.600-612 fatcat:6lgsnsg3x5cn5ptqt6esbxw354

Computational Intelligence Methods For Rule-Based Data Understanding

J. Esch
2004 Proceedings of the IEEE  
with first-order or higher order logic.  ...  Many only work for symbolic inputs, so continuous features have to be discretized first.  ... 
doi:10.1109/jproc.2004.826608 fatcat:6p2ga6lkcvgtxnhumy7oth7v4y

Anti-Exceptionalism about Logic and the Burden of Explanation

Ben Martin
2022 Canadian Journal of Philosophy  
Considerable attention recently has been paid to anti-exceptionalism about logic (AEL), the thesis that logic is more similar to the sciences in important respects than traditionally thought.  ...  However, insufficient attention has been given to what this proposal amounts to, and the challenges that arise in providing an account of explanations in logic.  ...  I would also like to thank two anonymous referees for their detailed comments on a previous version of this paper. Funding statement.  ... 
doi:10.1017/can.2022.14 fatcat:3zp75m5kuvbvrigb7n6k5zy2rq
« Previous Showing results 1 — 15 out of 541,399 results