19,793 Hits in 4.8 sec

Hypothetical reasoning in logic programs

Katsumi Inoue
1994 The Journal of Logic Programming  
HYPOTHETICAL REASONING IN LOGIC PROGRAMS 193 reasoning mentioned above can be characterized simply as follows: 1. Default reasoning. Find a maximal subset E of H such that T U E is consistent. 2.  ...  The syntactical difference of our knowledge system-from Poole's framework is that, whereas the latter uses first-order logic, ours uses extended logic programs as a "host" language.  ...  As a result, we can conclude that hypothetical reasoning is not only essential for many reasoning aspects of AI, but very helpful for a uniform approach to solving many important problems for logic programming  ... 
doi:10.1016/0743-1066(94)90043-4 fatcat:epm6iwmfurgpnmwuuhecfrz4am

A Proof Theoretic Approach to Operational Semantics

Dale Miller
2006 Electronical Notes in Theoretical Computer Science  
We overview some recent research in which λ-tree syntax is used to encode expressions containing bindings and sequent calculus is used to reason about operational semantics.  ...  There are various benefits of this proof theoretic approach for the π-calculus: the treatment of bindings can be captured with no side conditions; bisimulation has a simple and natural specification in  ...  In this note, we overview recent results in making use of proof theory to encode and reason about such operational semantics.  ... 
doi:10.1016/j.entcs.2005.12.089 fatcat:3jvklkojdjgobbll4cuuqnvwoa

Hypothetical reasoning and definitional reflection in logic programming [chapter]

Peter Schroeder-Heister
Extensions of Logic Programming  
This paper describes the logical and philosophical background of an extension of logic programming which uses a general schema for introducing assumptions and thus presents a new view of hypothetical reasoning  ...  It shows that from a certain perspective, logical reasoning is nothing but a special case of reasoning in our system.  ...  Definitional reflection is a principle that is neither specific to logic nor to logic programming but applies to the whole area of a computational approach to inference and hypothetical reasoning -logical  ... 
doi:10.1007/bfb0038701 dblp:conf/elp/Schroeder-Heister89 fatcat:y7mapypbyvdlxf7pdwpe6dli6a

A hybrid approach to semantic web services matchmaking

Giuseppe Fenza, Vincenzo Loia, Sabrina Senatore
2008 International Journal of Approximate Reasoning  
In the most of approaches, this activity is often entrusted to software agents, able to drive reasoning/planning activities, to discover the required service which can be single or composed of more atomic  ...  Deploying the semantics embedded in web services is a mandatory step in the automation of discovery, invocation and composition activities.  ...  The authors in [17] define a hybrid approach which exploits both logic-based reasoning and content-based information retrieval techniques: when the logic-based filters do not return the expected semantic  ... 
doi:10.1016/j.ijar.2008.01.005 fatcat:xdntbr5rejahhkoummlsoqhee4

Semantic querying of relational data for clinical intelligence: a semantic web services-based approach

Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, Gregory W Rose, Alan J Forster, David L Buckeridge, Christopher JO Baker
2013 Journal of Biomedical Semantics  
Conclusions: Our results suggest that SADI can support ad-hoc, self-service, semantic queries of relational data in a Clinical Intelligence context.  ...  In this article, we are exploring the possibility of using SADI Semantic Web services for semantic querying of clinical data.  ...  However, there are approaches that support much more expressive semantic mapping and query languages: e.g., [11, 39] can deal with any first-order logic axioms.  ... 
doi:10.1186/2041-1480-4-9 pmid:23497556 pmcid:PMC3698140 fatcat:hzppqjhpxvf6zeqrdx52v7akaa

Intelligence distribution for data processing in smart grids: A semantic approach

Juan Carlos Nieves, Angelina Espinoza, Yoseba K. Penya, Mariano Ortega de Mues, Aitor Peña
2013 Engineering applications of artificial intelligence  
Each intelligent node only has a profile of the global ontology. Moreover, adding reasoning abili-  ...  Still, persisting such a huge general ontology in each and every one of the members of a distributed system is neither practical nor feasible.  ...  The views expressed in this paper are not necessarily those of the ENERGOS consortium.  ... 
doi:10.1016/j.engappai.2013.03.016 fatcat:q2qj7dwrgvedtpcjquvc6xkbqi

A Fuzzy Ontology-Driven Approach to Semantic Interoperability in e-Government Big Data

Andreiwid Sh. Corrêa, Cleverton Borba, Daniel Lins da Silva, Pedro Corrêa
2015 International Journal of Social Science and Humanity  
All this information should be easily accessible and made available in a meaningful and effective way in order to achieve semantic interoperability in electronic government services, which is a challenge  ...  Our aim is to discuss the context of e-Government Big Data and to present a framework to promote semantic interoperability through automatic generation of ontologies from unstructured information found  ...  Taking fuzzy reasoning approach as a mechanism to address the uncertainty in ontologies generation, we found papers [20] - [24] as examples of research.  ... 
doi:10.7763/ijssh.2015.v5.448 fatcat:omqa5fpho5e4hluvi2pooglnc4

A Multi-layer Semantic Approach for Digital Forensics Automation for Online Social Networks

Humaira Arshad, Saima Abdullah, Moatsum Alawida, Abdulatif Alabdulatif, Oludare Isaac Abiodun, Omer Riaz
2022 Sensors  
Here, we introduce a multi-layer automation approach that addresses the automation issues from collection to evidence analysis in online social network forensics.  ...  These operators are implemented using Twitter ontology and tested through a case study. This study describes a proof-of-concept approach for forensic automation on online social networks.  ...  It explains the logical sequence and reasoning used to extract a fragment of OSN content as evidence.  ... 
doi:10.3390/s22031115 pmid:35161859 pmcid:PMC8839830 fatcat:rsyb5dulxjcx3cu4rjcv474b6a

An Approach for Secure Semantic Data Integration at Data as a Service (DaaS) Layer

Shoohira Aftab, Hammad Afzal, Amna Khalid
2015 International Journal of Information and Education Technology  
The issue of providing an integrated view of data can be handled using Semantic data; the data stored in a way that is understandable by machines and integratable without human intervention.  ...  In current era, Service Oriented Architecture and Cloud computing together has enabled users to access services over the Internet at a low cost.  ...  A. Example Scenario In order to understand the problem fully let's take a hypothetical example.  ... 
doi:10.7763/ijiet.2015.v5.488 fatcat:7qba6ne5urd4vlmjxmtav45yma

Abductive Logic Programming

1992 Journal of Logic and Computation  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational  ...  This approach is based on a translation of Abductive logic programs into pure logic programs with stable model semantics [107] .  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

Probabilistic Disjunctive Logic Programming [article]

Liem Ngo
2013 arXiv   pre-print
In this paper we propose a framework for combining Disjunctive Logic Programming and Poole's Probabilistic Horn Abduction. We use the concept of hypothesis to specify the probability structure.  ...  Because minimal models are used as characteristic models in disjunctive logic programming, we apply the principle of indifference on the set of minimal models to derive default probability values.  ...  Peter Haddawy, for his various help in the presentation of the paper and in other things . The comments of the anonymous reviewers are appreciated.  ... 
arXiv:1302.3592v1 fatcat:fcac7fb45fhwtomcrq5jxkksau

Non-monotonic reasoning with logic programming

Luís Moniz Pereira, Joaquim N. Aparício, JoséJ. Alferes
1993 The Journal of Logic Programming  
We show how to cast in the language of logic programs extended with explicit negation such forms of non-monotonic reasoning as defeasible reasoning, abductive reasoning, and hypothetical reasoning and  ...  We then abstract a modular systematic method of representing non-monotonic problems in a logic programming semantics comprising two forms of negation avoiding some drawbacks of other proposals, with which  ...  survey of abductive reasoning in logic programming.  ... 
doi:10.1016/0743-1066(93)90032-c fatcat:kg45ocyyfbhpliakswz6rrefzq

A model-driven approach for representing clinical archetypes for Semantic Web environments

Catalina Martínez-Costa, Marcos Menárguez-Tortosa, Jesualdo Tomás Fernández-Breis, José Alberto Maldonado
2009 Journal of Biomedical Informatics  
In advanced EHR approaches, clinical information is represented by means of archetypes. Most of these approaches use the Archetype Definition Language (ADL) to specify archetypes.  ...  However, ADL has some drawbacks when attempting to perform semantic activities in Semantic Web environments.  ...  Description Logics language.  ... 
doi:10.1016/j.jbi.2008.05.005 pmid:18590985 fatcat:vpkn63udjvepjlros3gmsxxwse

Programming Resource-Bounded Deliberative Agents

Michael Fisher, Chiara Ghidini
1999 International Joint Conference on Artificial Intelligence  
On the other hand, many of the agent-based programming languages used for implementing 'real* agents lack firm logical semantics.  ...  Our approach is to define a logical framework in which agents can be specified, and then show how such specifications can be directly executed in order to implement the agent's behaviour.  ...  This approach provides a high-level programming notation, while maintaining a close link between the program and its specification. * Visiting Research Fellow from University of Trento, Italy, supported  ... 
dblp:conf/ijcai/FisherG99 fatcat:efm4rwajfncsjiieh5qqpucsse

Abduction in Logic Programming [chapter]

Marc Denecker, Antonis Kakas
2002 Lecture Notes in Computer Science  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational  ...  This approach is based on a translation of Abductive logic programs into pure logic programs with stable model semantics [107] .  ... 
doi:10.1007/3-540-45628-7_16 fatcat:purq4epxdvbpdcno5r7duilxxa
« Previous Showing results 1 — 15 out of 19,793 results