Filters








59 Hits in 5.0 sec

An Expert System for Semantic and Relational Database Design

Mokrane Bouzeghoub
1989 International Conference on Advanced Information Systems Engineering  
The expert system approach, described in this paper, is more adapted to the difficult problem of database modeling.  ...  It integrates algorithms, heuristics and practical know-how, and proposes an interactive methodology which is based on abstraction levels, user friendly interfaces and a modular knowledge base.  ...  For example. some logic based models allow to express most constraints as any first ~rder formu~as.  ... 
dblp:conf/caise/Bouzeghoub89 fatcat:zwgkf432m5hvxmogojzwh7qb2q

LINCX: A Linear Logical Framework with First-Class Contexts [chapter]

Aina Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka
2017 Lecture Notes in Computer Science  
Linear logic provides an elegant framework for modelling stateful, imperative and concurrent systems by viewing a context of assumptions as a set of resources.  ...  Lincx allows us to model (linear) abstract syntax trees as syntactic structures that may depend on intuitionistic and linear assumptions.  ...  Having also additive operators would allow us to for example model the meta-theory of session type systems [5] and reason about concurrent computation.  ... 
doi:10.1007/978-3-662-54434-1_20 fatcat:ecrq5g3ejza77dycjdgir7ewr4

Query systems in similarity-based databases

Radim Belohlavek, Vilem Vychodil
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
A major implication of the paper is that similarity-based data querying can be made an integral part of an extended, similarity-based, relational model of data which is based on first-order predicate logics  ...  using residuated structures of truth values in much the same way as the querying in the Codd's model is based on the classic first-order predicate logic.  ...  In the classic model, 1 and 0 are manipulated according to the rules of classic first-order logic (in this sense, Codd's model is based on classic logic).  ... 
doi:10.1145/1774088.1774444 dblp:conf/sac/BelohlavekV10a fatcat:oojn6l5uizdcbmfsdgwikc25my

Declarative Reflection and its Application as a Pattern Language

A. Herranz, J.J. Moreno, N. Maya
2002 Electronical Notes in Theoretical Computer Science  
The range of interesting applications is very wide: formal specification of interfaces and abstract classes, specification of component based software, formalization of design pattern, using Slam-sl as  ...  The paper presents the reflection facilities of the specification language Slam-sl. Slam-sl is an object oriented specification language where class methods are specified by pre and postconditions.  ...  The work in [1] is focused on the formalization of architectural design patterns based on an object oriented model integrated with a process oriented method to describe the patterns.  ... 
doi:10.1016/s1571-0661(04)80794-1 fatcat:m6xw2pgmkbexddgnzxdmnbvbcq

Axiomatic Methods in Science [chapter]

Patrick Suppes
1992 Nature, Cognition and System II  
The first section gives a brief overview of the formalization of theories within frrst-order logic.  ...  To begin with, we use one standard notation for elementary logic. The sentential connectives  ...  , or at least a binary weak ordering relation in terms of which we may define both equilibrium and the relation of "inclination"; and finally a binary operation for combining objects, needed for the formulation  ... 
doi:10.1007/978-94-011-2779-0_12 fatcat:kmufrzjv4nfzvgoyyxppqdhohu

Semantic Enrichment in Ontologies for Matching

Nwe Ni Tun, Satoshi Tojo
2006 International Journal on Semantic Web and Information Systems (IJSWIS)  
Therefore, I proposed a semantically-enriched model of ontologies (called EnOnto-Model) in which every domain concept is treated as a sort-an entity type that carries a criteria for determining the individuation  ...  I set up a logic-based formal system i to classify domain concepts into these sort categories, using three philosophical notions: identity, existential rigidity, and external dependency.  ...  For example, one model might use temporal representations based on interval logic, while another might use a representation based on point logic [66] . * Concept description: This type of difference is  ... 
doi:10.4018/jswis.2006100102 fatcat:bk6b5c724jaanmps5wfj4dvfh4

Ontology-based standards development: Application of OntoStanD to ebXML business process specification schema

Bahareh Rahmanzadeh Heravi, Mark Lycett, Sergio de Cesare
2014 International Journal of Accounting Information Systems  
The paper utilises the Ontology-based Standards Development methodology (OntoStanD) as a methodological approach for designing ontological models of standards.  ...  Business process standards are developed to provide a common understanding of the information shared between trading partners.  ...  We would like to thank Stephen Green, a voting member and one of the main contributors to ebBP standard, for his help and support during the development of this work.  ... 
doi:10.1016/j.accinf.2014.01.005 fatcat:hq55kddnefeu3g7zbupmwg47du

Telos: representing knowledge about information systems

John Mylopoulos, Alex Borgida, Matthias Jarke, Manolis Koubarakis
1990 ACM Transactions on Information Systems  
The design principles for the language are based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to  ...  Indeed, the language is appropriate for representing knowledge about a variety of worlds related to an information system, such as the subject world (application domain), the usage world (user models,  ...  Suppose that one wishes to base requirements modeling on the notion of role rather than that of activity, as Pernici notes t431. For RML such a change of perspective amounts to a total discard.  ... 
doi:10.1145/102675.102676 fatcat:xbe3dveqfvfmvhmyzcgi4lyrxm

Selected Papers from the 1st Workshop "Logic, Language, and Information"

Guido Sciavicco, Alfredo Burrieza
2015 Bulletin of the European Association for Theoretical Computer Science  
This issue's Logic Column in Computer Science features five selected papers from the 1 st Workshop "Logic, Language, and Information", held in Málaga (Spain) from the November 3 rd to November 5 th , 2014  ...  Acknowledgment This work has been partially supported by grants TIN11-28084 and TIN2014-59471-P of the Science and Innovation Ministry of Spain.  ...  This paper was partially supported by the Spanish Research Project TIN2012-39353-C04-01.  ... 
dblp:journals/eatcs/Sciavicco15 fatcat:qminz5rllrcwtl4j3fjmdoi2ti

Computational functions in biochemical reaction networks

A. Arkin, J. Ross
1994 Biophysical Journal  
The qualitative behavior of the mechanism does not change when sitated within a large model of glycolysis/gluconeogenesis and the TCA cycle.  ...  When the simple model is supplanted with one in which the enzyme rate laws are derived from experimental data, the steady state of the mechanism furnions as an asymmetric fuzzy aggregation operator with  ...  Consider a network based on the logical equation: I1, OIZ= (1 AI2)A(I,AI2)) (12) where "$" stands for the XOR operation.  ... 
doi:10.1016/s0006-3495(94)80516-8 pmid:7948674 pmcid:PMC1225399 fatcat:ich7esd7fjbydjsi6g7as7r6oi

The Logic of Brouwer and Heyting [chapter]

Joan Rand Moschovakis
2009 Handbook of the History of Logic  
This insight together with "the intuition of the bare two-oneness" guided the creation of intuitionistic logic and arithmetic, with full induction and a theory of the rational numbers.  ...  Brouwer objected to the general law of excluded middle as claiming a priori that every mathematical problem has a solution, and to the general law ¬¬AA of double negation as asserting that every consistent  ...  Acknowledgements I am grateful to the students of the Graduate Program in Logic and Algorithms (MΠΛA) in Athens, especially to Garyfallia Vafeiadou and Nikos Vaporis, for reviving and expanding my enthusiasm  ... 
doi:10.1016/s1874-5857(09)70007-x fatcat:q7ha5fv2w5hd3elbjvstdtbmcy

Ethical Artificial Intelligence [article]

Bill Hibbard
2015 arXiv   pre-print
that evaluate outcomes at one point in time from the perspective of humans at a different point in time.  ...  This article defines a self-modeling agent framework and shows how it can avoid problems of resource limits, being predicted by other agents, and inconsistency between the agent's utility function and  ...  And if π'(h') is based on logical proof then its logical goals are defined in terms of the simulated environment. The real world plays no role in its utility function or logical goals.  ... 
arXiv:1411.1373v9 fatcat:3rl7nqozr5gapncjsufatv7b2m

Explainable Voting

Dominik Peters, Ariel D. Procaccia, Alexandros Psomas, Zixin Zhou
2020 Neural Information Processing Systems  
However, no bounds on the size of these explanations is given; for all we know, they may be unbearably tedious.  ...  Our main technical result is a general lower bound that, in particular, implies that the foregoing bound is asymptotically tight.  ...  Acknowledgement We have benefited from detailed and careful comments of the anonymous reviewers.  ... 
dblp:conf/nips/PetersPPZ20 fatcat:cd42dfdoi5fexosus6h6dfj5ke

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems [article]

Timothy Wang and Romain Jobredeaux and Heber Herencia and Pierre-Loic Garoche and Arnaud Dieumegard and Eric Feron and Marc Pantel
2013 arXiv   pre-print
It relies on domain specific knowledge and fomal methods of analysis to address a context of heightened safety requirements for critical embedded systems and ever-increasing costs of verification and validation  ...  First, a graphical dataflow language is extended with annotation symbols enabling the control engineer to express high level properties of its control law within the framework of a familiar language.  ...  The authors would like mention and give thanks to the following related works. We would first like to mention Jerome Ferret and his work on the static analysis of digital filters in [4] .  ... 
arXiv:1307.2641v2 fatcat:xnwryfrf5nfo3f6n7627ipxynq

Algebraic logic and topoi; a philosophical holistic approach

Tarek Sayed Ahmed
2020 International Journal of Algebra  
the number of subvarieties of RCA ω which is reminiscent of Shelah's stability theory and the interaction of algebraic logic and descriptive set theory as means to approach Vaught's conjecture in model  ...  In algebraic logic we start from classical results on neat embeddings due to Andreḱa, Henkin, Németi, Monk and Tarski, all the way to recent results in algebraic logic using so-called rainbow constructions  ...  A topos is a category that has the following two properties: All limits taken over finite index categories exist. Every object has a power object. This plays the role of the powerset in set theory.  ... 
doi:10.12988/ija.2020.91249 fatcat:razdk5433fba5hrg6p6wb65a4y
« Previous Showing results 1 — 15 out of 59 results