نتایج جستجو برای: soft deductive system
تعداد نتایج: 2340539 فیلتر نتایج به سال:
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a deductive system, rather than a particular algorithm, captures the formal reasoning used by the agents to compute what they explicitly know. We introduce a logic for reasoning about both implicit and explicit knowledge with the latter defined with res...
This chapter discusses an extended deductive database prototype system Q Data developed by Bellcore to improve data quality through data validation and cleanup The key technology component of Q Data is the extended deductive database sys tem LDL developed at MCC We discuss the issues of data quality improvement the relevance of the deductive database technology such as the LDL system to data qu...
DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...
This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language ...
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new con...
A generic planning system is introduced which allows for custom building of planners able to generate plans for diierent plan consumers in the context of intelligent assistance systems. All planners are adapted to the peculari-ties of diierent plan consumers, to their domain knowledge, their typical behavior, their preferences, and their utilization of plans. The necessary knowledge sources of ...
In this paper we study the brokering and matchmaking problem in the tourism domain, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a broker. The proposed solution uses the Semantic Web standard of RDF to represent the offerings, and a deductive logical language for expressing the requirements and preferences. We motivate and explai...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید