We present an attempt to engage social media networks, bringing the crowdsourcing model into mobile environments. We introduce logic Crowd, a declarative programming paradigm for mobile crowdsourcing applications, dev...
详细信息
ISBN:
(纸本)9780769550220
We present an attempt to engage social media networks, bringing the crowdsourcing model into mobile environments. We introduce logic Crowd, a declarative programming paradigm for mobile crowdsourcing applications, developed as an extension of Prolog. logic Crowd aims at filling the gap between traditional machine computation, which operates upon its database, and social media, which is capable of interacting with real people. In this paper, we illustrate the potential of our approach via programming idioms, a prototype implementation and scenarios.
Deontic logicprogramming (DLP) is a framework combining deontic logic and non-monotonic logicprogramming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation ...
详细信息
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. the obtained patterns require an interpretation that is usually achieved using some background kno...
详细信息
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. the obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several domains. On the other hand, the rise of Linked Data has increased the number of connected cross-disciplinary knowledge, in the form of RDF datasets, classes and relationships. Here we show how Linked Data can be used in an inductivelogicprogramming process, where they provide background knowledge for finding hypotheses regarding the unrevealed connections between items of a cluster. By using an example with clusters of books, we show how different Linked Data sources can be used to automatically generate rules giving an underlying explanation to such clusters.
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head o...
详细信息
ISBN:
(纸本)9783642405648
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we study the decidability of these rich programs and propose an implementation that combines, in a modular way, a reasoner for the parameter logic with an answer set solver.
In recent work, we provided a formulation of ASP programs in terms of linear logictheories. Based on this work, in this paper we propose and discuss a modified Answer Set Semantics, "Resource-based Answer Set Se...
详细信息
ISBN:
(纸本)9783642405648
In recent work, we provided a formulation of ASP programs in terms of linear logictheories. Based on this work, in this paper we propose and discuss a modified Answer Set Semantics, "Resource-based Answer Set Semantics".
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by...
详细信息
ISBN:
(纸本)9783642405648
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments.
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a...
详细信息
ISBN:
(纸本)9783642405648
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a business intelligence suite for the analysis of distributed archives of tumor-based diseases.
logicprogramming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge in artificial intelligence. In those days, declarative representations were associated mainly w...
详细信息
ISBN:
(纸本)9783642405648
logicprogramming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge in artificial intelligence. In those days, declarative representations were associated mainly with bottom-up proof procedures, such as hyper-resolution. the development of logicprogramming showed that procedural representations could be obtained by applying top-down proof procedures, such as linear resolution, to declarative representations in logical form. In recent years, logicprogramming has become more purely declarative, withthe development of answer set programming, tabling and the revival of data-log. these recent developments invite comparison with earlier attempts to reconcile procedural and declarative representations of knowledge, and raise the question whether anything has been lost.
暂无评论