14,470 Hits in 4.0 sec


Cyrus F. Nourani
2013 International Electronic Journal of Pure and Applied Mathematics  
By a virtual tree we mean a term made up of constant symbols and named but not always prespecified Skolem function terms.  ...  In virtual planning with generic diagrams that part of the plan that involves free Skolemized trees is carried along with the proof tree for a plan goal.  ...  Acknowledgments Acknowledgement of support (Frau Ina Lauth, Lauth transmedia GmbH, Munich, colleague Prof. Oliver Schulte, SFU, Burnaby).  ... 
doi:10.12732/iejpam.v6i3.1 fatcat:3itekjm6qjdstfrlgrpj5zzstq

Approximate databases: a support tool for approximate reasoning

Patrick Doherty, Martin Magnusson, Andrzej Szalas
2006 Journal of Applied Non-Classical Logics  
local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably.  ...  The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and  ...  Acknowledgements This work is partially funded by the Wallenberg Foundation under the WITAS UAV Project, the NFFP03-539 COMPAS Project and the grant 3 T11C 023 29 of the Polish Ministry of Science and  ... 
doi:10.3166/jancl.16.87-117 fatcat:r3khefzkbzgyhjjxqcwnmuddtm

Page 6075 of Mathematical Reviews Vol. , Issue 2002H [page]

2002 Mathematical Reviews  
Elementary CCSs are generated by reasoning modules that implement various simplifica- tion techniques defined for a large class of deduction mechanisms such as rewriting, conditional rewriting and resolution-based  ...  Based on Applicative Common Lisp, ACL2 supports recursion and induction but has minimal support for quantifiers and does not support infinite objects or irrational numbers.  ... 

Declarative Rules for Annotated Expert Knowledge in Change Management

Dietmar Seipel, Rüdiger Von Der Weth, Salvador Abreu, Falco Nogatz, Alexander Werner, Marc Herbstritt
2016 Symposium on Languages, Applications and Technologies  
Deductive databases allow for declaratively defining the semantics of the expert knowledge with rules; the evaluation of the rules can be optimised and the inference mechanisms could be changed, since  ...  As the logical syntax of rules had been a problem in previous applications of deductive databases, we use specially designed domainspecific languages to make the rule syntax easier for non-programmers.  ...  Section 3 is about declarative rule bases; it introduces rules for change management and defines syntax, semantics, and evaluation using deductive databases and logic programming.  ... 
doi:10.4230/oasics.slate.2016.7 dblp:conf/slate/SeipelWANW16 fatcat:kkvkzquzlvdqfl2gsztezy3z5a

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

Konstantinos Pouliasis, Giuseppe Primiero
2014 Electronical Notes in Theoretical Computer Science  
We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory T based on deductions from a stronger theory T and  ...  In this paper we offer a system J-Calc that can be regarded as a typed λ-calculus for the {→, ⊥} fragment of Intuitionistic Justification Logic.  ...  ) the constructions of the intuitionistic natural deduction.  ... 
doi:10.1016/j.entcs.2013.12.012 fatcat:ujewefgfvneehgejalunq3zsqe

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies

Dietmar Seipel, Falco Nogatz, Salvador Abreu
2018 Computer languages, systems & structures  
Declarative if-then rules have proven very useful in many applications of expert systems. They can be managed in deductive databases and evaluated using the well-known forward-chaining approach.  ...  by domain-experts, and evaluated, resulting in an extensible system for expert knowledge.  ...  For the interested reader, we will give a summary of some relevant concepts for the semantics and the evaluation of deductive databases and logic programming in the appendix.  ... 
doi:10.1016/ fatcat:htmoymfmfjex3jpwzolfdraira

Study protocol of a mixed-methods evaluation of a cluster randomized trial to improve the safety of NSAID and antiplatelet prescribing: data-driven quality improvement in primary care

Aileen Grant, Tobias Dreischulte, Shaun Treweek, Bruce Guthrie
2012 Trials  
design, implementation and interpretation of the other.  ...  We believe it is good practice to pre-specify and publish process evaluation protocols to set standards and minimize bias.  ...  For example, the data on the nature of review carried out is collected routinely in the DQIP informatics tool but lacks contextual information or much detail.  ... 
doi:10.1186/1745-6215-13-154 pmid:22929598 pmcid:PMC3502604 fatcat:kjxcejep5jfz7e33xqz57fvpru

A Framework for Hierarchical Perception–Action Learning Utilizing Fuzzy Reasoning

David Windridge, Michael Felsberg, Affan Shaukat
2013 IEEE Transactions on Cybernetics  
Thus, the separation of the Jacobian as a multiplying factor between levels within the objective function naturally enables the integration of abstract symbolic manipulation in the form of fuzzy deductive  ...  We here set out a very general learning framework for cognitive systems in which online learning of the P-A mapping may be conducted within a symbolic processing context, so that complex contextual reasoning  ...  We also acknowledge support from the Swedish Foundation for Strategic Research for the project CUAS (Collaborative Unmanned Aerial Systems), and from UK EPSRC grant EP/F069626/1 (ACASVA).  ... 
doi:10.1109/tsmcb.2012.2202109 pmid:22773046 fatcat:rbj4765rrvd5vj73lt43z5pmgy

Applying automated deduction to natural language understanding

Johan Bos
2009 Journal of Applied Logic  
The model builder is used to check for satisfiability of the input; in addition, the produced finite and minimal models are used to determine the actions that the robot or automated house has to execute  ...  Very few natural language understanding applications employ methods from automated deduction.  ...  Introduction Since the mid 1990s I've been using tools from automated deduction, mainly general-purpose theorem provers and model builders for first-order logic, to solve problems in natural language understanding  ... 
doi:10.1016/j.jal.2007.07.008 fatcat:ex764s3wu5aspcwddr53o424pu

Book reports

1991 Computers and Mathematics with Applications  
Failure and success made symmetric. 2. Algebraic properties of a class of logic programs. 3. Stationary semantics for disjunctive logic programs and deductive databases. Part II. Implementation I. 4.  ...  Prolog and natural-language analysis: Into the third decade. Part XVI. Abstracts of advanced tutorials. 4(;. Parallel implementations of prolog. 47. Types for logic programs. 48.  ... 
doi:10.1016/0898-1221(91)90056-a fatcat:orugqwgfgvdd5km6epzzee6urq

Enhancing context knowledge repositories with justifiable exceptions

Loris Bozzato, Thomas Eiter, Luciano Serafini
2018 Artificial Intelligence  
Finally, we compare our approach with major non-monotonic formalisms for description logics and contextual knowledge representation.  ...  In response to this need, in previous works, we presented the description logic-based Contextualized Knowledge Repository (CKR) framework.  ...  an experimental evaluation to assess the translation and the query performance of the prototype over synthetic and real datasets, and to compare to with the current implementation of CKR based on SPARQL  ... 
doi:10.1016/j.artint.2017.12.005 fatcat:uhvwvnvgazendpjd3jyozi3dhe

The Bayesian Ontology Reasoner is BORN!

Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza
2015 International Workshop on OWL Reasoner Evaluation  
We present the system BORN that implements the probabilistic subsumption problem for BEL.  ...  The Bayesian ontology language BEL is an extension of the lightweight Description Logic (DL) EL within the above-mentioned framework.  ...  Our approach takes advantage of the simple logical structure of EL and implements the completion rules in ProbLog.  ... 
dblp:conf/ore/CeylanMP15 fatcat:eiwyf6lprzet3b5n5pag3wx6y4

Using a Realist Framework to Overcome Evaluation Challenges in the Uncertain Landscape of Carbon Finance [chapter]

Callum Murdoch, Lisa Keppler, Tillem Burlace, Christine Wörlen
2022 Sustainable Development Goals Series  
and recommending a revised approach for future evaluations.  ...  This chapter presents a practical approach to using realist evaluation to overcome the contextual uncertainties of the carbon market landscape, providing strengths and weaknesses of the approach applied  ...  This qualitative coding would also support the capture of other contextual factors not previously identified by the evaluators, thus allowing for both a deductive and inductive approach to coding and developing  ... 
doi:10.1007/978-3-030-78853-7_9 fatcat:egoebz6i3jg3biuiig2x3rlt3y

The Holmesian logician: Sherlock Holmes' "Science of Deduction and Analysis" and the logic of discovery

Emmanuel J. Genot
2020 Synthese  
This paper examines whether Sherlock Holmes' "Science of Deduction and Analysis," as reconstructed by Hintikka and Hintikka (in: Eco U, Sebeok TA (eds) The sign of three: Peirce, Dupin, Holmes, Indiana  ...  University Press, Bloomington, 1983), exemplifies a logic of discovery.  ...  to the discussion of erotetic frameworks for discovery.  ... 
doi:10.1007/s11229-020-02709-w fatcat:bdkrjehxsnaprfkffo3sif33ui

Semantics-Driven Remote Sensing Scene Understanding Framework for Grounded Spatio-Contextual Scene Descriptions

Abhishek V. Potnis, Surya S. Durbha, Rajat C. Shinde
2021 ISPRS International Journal of Geo-Information  
The RSS-KGs are enriched both spatially and contextually, using a deductive reasoner, by mining for implicit spatio-contextual relationships between land-cover classes in the scenes.  ...  The Sem-RSSU, at its core, constitutes novel Ontology-driven Spatio-Contextual Triple Aggregation and realization algorithms to transform KGs to render grounded natural language scene descriptions.  ...  Acknowledgments: The authors are grateful to the Google Cloud Research Credits Program for providing the credits that enabled the use of GCP for training and validating the deep-learning models.  ... 
doi:10.3390/ijgi10010032 fatcat:warifoopejaqfglljmkbatjrke
« Previous Showing results 1 — 15 out of 14,470 results