Mixed-World Reasoning with Existential Rules under Active-Domain Semantics

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence ◽

10.24963/ijcai.2019/216 ◽

2019 ◽

Author(s):

Meghyn Bienvenu ◽

Pierre Bourhis

Keyword(s):

Data Complexity ◽

Non Linear ◽

Linear Fragment ◽

Domain Semantics ◽

Reasoning Tasks ◽

Boolean Queries

In this paper, we study reasoning with existential rules in a setting where some of the predicates may be closed (i.e., their content is fully specified by the data instance) and the remaining open predicates are interpreted under active-domain semantics. We show, unsurprisingly, that the main reasoning tasks (satisfiability and certainty / possibility of Boolean queries) are all intractable in data complexity in the general case. However, several positive (PTIME data) results are obtained for the linear fragment, and interestingly, these tractability results hold also for various extensions, e.g., with negated closed atoms and disjunctive rule heads. This motivates us to take a closer look at the linear fragment, exploring its expressivity and defining a fixpoint extension to approximate non-linear rules.

Download Full-text

B. The Non-Linear Calculations for Pulsating Stars

Symposium - International Astronomical Union ◽

10.1017/s0074180900019008 ◽

1967 ◽

Vol 28 ◽

pp. 105-176

Author(s):

Robert F. Christy

Keyword(s):

Major Part ◽

Afternoon Session ◽

Discussion Session ◽

Pulsating Stars ◽

Fourth Symposium ◽

Non Linear ◽

Considerable Discussion ◽

Informal Approach ◽

Preceding Session

(Ed. note: The custom in these Symposia has been to have a summary-introductory presentation which lasts about 1 to 1.5 hours, during which discussion from the floor is minor and usually directed at technical clarification. The remainder of the session is then devoted to discussion of the whole subject, oriented around the summary-introduction. The preceding session, I-A, at Nice, followed this pattern. Christy suggested that we might experiment in his presentation with a much more informal approach, allowing considerable discussion of the points raised in the summary-introduction during its presentation, with perhaps the entire morning spent in this way, reserving the afternoon session for discussion only. At Varenna, in the Fourth Symposium, several of the summaryintroductory papers presented from the astronomical viewpoint had been so full of concepts unfamiliar to a number of the aerodynamicists-physicists present, that a major part of the following discussion session had been devoted to simply clarifying concepts and then repeating a considerable amount of what had been summarized. So, always looking for alternatives which help to increase the understanding between the different disciplines by introducing clarification of concept as expeditiously as possible, we tried Christy's suggestion. Thus you will find the pattern of the following different from that in session I-A. I am much indebted to Christy for extensive collaboration in editing the resulting combined presentation and discussion. As always, however, I have taken upon myself the responsibility for the final editing, and so all shortcomings are on my head.)

Download Full-text