Higher-order constrained Horn clauses (HoCHC) are a semantically-invariant system of higher-order logic modulo theories. With semi-decidable unsolvability over a semi-decidable background theory, HoCHC is suitable for...
详细信息
This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying...
详细信息
The paper introduces an extension of the original Answer Set Prolog (ASP) by several set constructs including aggregates, defined as functions on sets. The new language, called Alog allows creating sets based on the V...
详细信息
The paper introduces an extension of the original Answer Set Prolog (ASP) by several set constructs including aggregates, defined as functions on sets. The new language, called Alog allows creating sets based on the Vicious Circle Principle by Poincare and Russell which eliminates a number of problems found in existing extensions of ASP by aggregates. We argue that, despite the fact that Alog is not as expressive as other extensions of ASP by aggregates, clarity of its syntax and semantics, addition of several new set-based constructs, and simplicity and the ease of use make it a viable competitor to these languages. We also study a number of important properties of the language and show how ideas used in its design can be utilized to generalize and simplify the definition of another important extension of ASP by aggregates. (C) 2019 Elsevier B.V. All rights reserved.
Given an observation or a goal, abduction infers candidate hypotheses to explain the observation or to achieve the goal. In this paper, we consider disjunctive abduction, in which disjunctions play important roles in ...
详细信息
Given an observation or a goal, abduction infers candidate hypotheses to explain the observation or to achieve the goal. In this paper, we consider disjunctive abduction, in which disjunctions play important roles in abduction. Machine-oriented intelligent systems can utilize disjunctive abduction in many ways. For example, consider the case in which multiple explanations exist for an observation. We may need to select the best explanation among them, but often it is difficult to choose only one given insufficient information. In that case, we can leave the decision indefinite by considering a disjunctive explanation, which is a disjunction of possible alternative explanations. Disjunctive explanations can offer a consistent way to theory changes when they are incorporated or assimilated into the current knowledge base. The assimilated knowledge base preserves the intended semantics from the collection of all possible updated knowledge bases. A merit of disjunctive explanations is that we only need one current knowledge base at a time, still keeping every possible change in a single state. This method is extended to accomplish an update when there are multiple ways to remove old unnecessary hypotheses from the knowledge base. The proposed framework is well applicable to view updates in disjunctive databases. We also show that disjunctive abduction can be considered in inductive logic programming.
We prove that the occur-check is not needed for a certain definite clause logic program, independently from the selection rule. First we prove that the program is occur-check free. Then we consider a more general clas...
详细信息
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I2-DLV system. The architecture allows to take...
详细信息
The expressiveness of propositional non-clausal (NC) formulas is exponentially richer than that of clausal formulas. Yet, clausal efficiency outperforms non-clausal efficiency. Indeed, a major weakness of the latter i...
详细信息
Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. logic-based approaches are of special interest in CER, since, via Statistical Relationa...
详细信息
We take up an idea from the folklore of Answer Set programming, namely that choices, integrity constraints along with a restricted rule format is sufficient for Answer Set programming. We elaborate upon the foundation...
详细信息
Smart environments powered by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters (e.g. temperature, interior light) and by achieving energy savings through self-managing...
详细信息
暂无评论