Characterizing and Extending Answer Set Semantics using Possibility Theory

Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, where this weight is interpreted as the certainty with which the conclusion can be established when the body is known to hold. As such, it allows us to model and reason about uncertain information in an intuitive way. In this paper we present new semantics for PASP, in which rules are interpreted as constraints on possibility distributions. Special models of these constraints are then identified as possibilistic answer sets. In addition, since ASP is a special case of PASP in which all the rules are entirely certain, we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction, called weak disjunction, that has not been previously considered in the literature. In addition to introducing and motivating the semantics of weak disjunction, we also pinpoint its computational complexity. In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.Comment: 39 pages and 16 pages appendix with proofs. This article has been accepted for publication in Theory and Practice of Logic Programming, Copyright Cambridge University Pres

Communicating answer set programs

Answer set programming i s a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules

Towards possibilistic fuzzy answer set programming

Fuzzy answer set programming (FASP) is a generalization of answer set programming to continuous domains. As it can not readily take uncertainty into account, however, FASP is not suitable as a basis for approximate reasoning and cannot easily be used to derive conclusions from imprecise information. To cope with this, we propose an extension of FASP based on possibility theory. The resulting framework allows us to reason about uncertain information in continuous domains, and thus also about information that is imprecise or vague. We propose a syntactic procedure, based on an immediate consequence operator, and provide a characterization in terms of minimal models, which allows us to straightforwardly implement our framework using existing FASP solvers

Time for a plant structural economics spectrum

We argue that tree and crown structural diversity can and should be integrated in the whole-plant economics spectrum. Ecologists have found that certain functional trait combinations have been more viable than others during evolution, generating a trait trade-off continuum which can be summarized along a few axes of variation, such as the "worldwide leaf economics spectrum" and the "wood economics spectrum." However, for woody plants the crown structural diversity should be included as well in the recently introduced "global spectrum of plant form and function," which now merely focusses on plant height as structural factor. The recent revolution in terrestrial laser scanning (TLS) unlocks the possibility to describe the three dimensional structure of trees quantitatively with unprecedented detail. We demonstrate that based on TLS data, a multidimensional structural trait space can be constructed, which can be decomposed into a few descriptive axes or spectra. We conclude that the time has come to develop a "structural economics spectrum" for woody plants based on structural trait data across the globe. We make suggestions as to what structural features might lie on this spectrum and how these might help improve our understanding of tree form-function relationships

Epistemic extensions of answer set programming

but due to the non-monotonic nature of ASP; the weight can reflect the certainty that the rule itself is correct. ASP programs with incorrect rules may have erroneous conclusions; omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program; the weight can reflect the certainty with which we can conclude the head of a rule when its body is satisfied. This corresponds with how the weight is understood when defining semantics for PASP in terms of constraints on possibility distributions. On the other hand; we highlight how the weight attached to a rule in PASP can be interpreted in different ways. On the one hand; some decision problems are easier. Thirdly; while the complexity of most reasoning tasks coincides with disjunction in ordinary ASP; called weak disjunction; that has not been previously considered in the ASP literature. When examining the complexity of weak disjunction we unearth that; we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction; since ASP is a special case of PASP in which all the rules are entirely certain; we show how semantics for PASP can be defined in terms of constraints on possibility distributions. These new semantics adhere to a different intuition for negation-as-failure than current work on PASP to avoid unintuitive conclusions in specific settings. In addition; where the first leader has the first say and may remove models that he or she finds unsatisfactory. Using this particular communication mechanism allows us to capture the entire polynomial hierarchy. Secondly; where each program in the sequence may successively remove some of the remaining models. This mimics a sequence of leaders; we modify the communication mechanism to also allow us to focus on a sequence of communicating programs; it is shown that the addition of this easy form of communication allows us to move one step up in the polynomial hierarchy. Furthermore; i.e. they can communicate. For the least complex variant of ASP; simple programs; one ASP program can conceptually query another program as to whether it believes some literal to be true or not; which is a framework that allows us to study the formal properties of communication and the complexity of the resulting system in ASP. It is based on an extension of ASP in which we consider a network of ordinary ASP programs. These communicating programs are extended with a new kind of literal based on the notion of asking questions. As such; we introduce Communicating Answer Set Programming (CASP); namely Possibilistic Answer Set Programming (PASP); there are contexts in which the current semantics for PASP lead to unintuitive results. In this thesis we address these issues in the followings ways. Firstly; ASP lacks the means to easily model and reason about uncertain information. While extensions of ASP have been proposed to deal with uncertainty; where each context encodes a different aspect of the real world. Extensions of ASP have been proposed to model such multi-context systems; but the exact effect of communication on the overall expressiveness remains unclear. In addition; it is not an ideal framework to model common-sense reasoning. For example; in ASP we cannot model multi-context systems; while ASP similarly allows us to revise knowledge; we conclude that the bird can fly. When new knowledge becomes available (e.g. the bird is a penguin) we may need to retract conclusions. However; in common-sense reasoning; Answer Set Programming (ASP) is a declarative programming language based on the stable model semantics and geared towards solving complex combinatorial problems. The strength of ASP stems from the use of a non-monotonic operator. This operator allows us to retract previously made conclusions as new information becomes available. Similarly; we may arrive at conclusions based on the absence of information. When an animal is for example a bird; and we do not know that this bird is a penguin; we thus need to consider all situations in which some; none; or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. Semantics for PASP are introduced based on this idea and it is shown that some interesting problems in Artificial Intelligence can be expressed in terms of optional rules. For both CASP and the new semantics for PASP we show that most of the concepts that we introduced can be simulated using classical ASP. This provides us with implementations of these concepts and furthermore allows us to benefit from the performance of state-of-the-art ASP solvers

Intention Interleaving Via Classical Replanning

The BDI architecture, where agents are modelled based on their belief, desires, and intentions, provides a practical approach to developing intelligent agents. One of the key features of BDI agents is that they are able to pursue multiple intentions in parallel, i.e. in an interleaved manner. Most of the previous works have enabled BDI agents to avoid negative interactions between intentions to ensure the correct execution. However, to avoid execution inefficiencies, BDI agents should also capitalise on positive interactions between intentions. In this paper, we provide a theoretical framework where first-principles planning (FPP) is employed to manage the intention interleaving in an automated fashion. Our FPP approach not only guarantees the achievability of intentions, but also discovers and exploits potential common sub-intentions to reduce the overall cost of intention execution. Our results show that our approach is both theoretically sound and practically feasible. The effectiveness evaluation in a manufacturing scenario shows that our approach can significantly reduce the total number of actions by merging common sub-intentions, while still accomplishing all intentions