25,674 research outputs found
Properties of ABA+ for Non-Monotonic Reasoning
We investigate properties of ABA+, a formalism that extends the well studied
structured argumentation formalism Assumption-Based Argumentation (ABA) with a
preference handling mechanism. In particular, we establish desirable properties
that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some
(arguably) desirable principles of preference handling in argumentation and
nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+
under various semantics.Comment: This is a revised version of the paper presented at the worksho
Reasoning about Action: An Argumentation - Theoretic Approach
We present a uniform non-monotonic solution to the problems of reasoning
about action on the basis of an argumentation-theoretic approach. Our theory is
provably correct relative to a sensible minimisation policy introduced on top
of a temporal propositional logic. Sophisticated problem domains can be
formalised in our framework. As much attention of researchers in the field has
been paid to the traditional and basic problems in reasoning about actions such
as the frame, the qualification and the ramification problems, approaches to
these problems within our formalisation lie at heart of the expositions
presented in this paper
Reason Maintenance - State of the Art
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques
Hybrid Rules with Well-Founded Semantics
A general framework is proposed for integration of rules and external first
order theories. It is based on the well-founded semantics of normal logic
programs and inspired by ideas of Constraint Logic Programming (CLP) and
constructive negation for logic programs. Hybrid rules are normal clauses
extended with constraints in the bodies; constraints are certain formulae in
the language of the external theory. A hybrid program is a pair of a set of
hybrid rules and an external theory. Instances of the framework are obtained by
specifying the class of external theories, and the class of constraints. An
example instance is integration of (non-disjunctive) Datalog with ontologies
formalized as description logics.
The paper defines a declarative semantics of hybrid programs and a
goal-driven formal operational semantics. The latter can be seen as a
generalization of SLS-resolution. It provides a basis for hybrid
implementations combining Prolog with constraint solvers. Soundness of the
operational semantics is proven. Sufficient conditions for decidability of the
declarative semantics, and for completeness of the operational semantics are
given
Adaptive logic characterizations of input/output logic
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions
Heterogeneous Proxytypes Extended: Integrating Theory-like Representations and Mechanisms with Prototypes and Exemplars
The paper introduces an extension of the proposal according to which
conceptual representations in cognitive agents should be intended as heterogeneous
proxytypes. The main contribution of this paper is in that it details how
to reconcile, under a heterogeneous representational perspective, different theories
of typicality about conceptual representation and reasoning. In particular, it
provides a novel theoretical hypothesis - as well as a novel categorization algorithm
called DELTA - showing how to integrate the representational and reasoning
assumptions of the theory-theory of concepts with the those ascribed to the
prototype and exemplars-based theories
Planning with Incomplete Information
Planning is a natural domain of application for frameworks of reasoning about
actions and change. In this paper we study how one such framework, the Language
E, can form the basis for planning under (possibly) incomplete information. We
define two types of plans: weak and safe plans, and propose a planner, called
the E-Planner, which is often able to extend an initial weak plan into a safe
plan even though the (explicit) information available is incomplete, e.g. for
cases where the initial state is not completely known. The E-Planner is based
upon a reformulation of the Language E in argumentation terms and a natural
proof theory resulting from the reformulation. It uses an extension of this
proof theory by means of abduction for the generation of plans and adopts
argumentation-based techniques for extending weak plans into safe plans. We
provide representative examples illustrating the behaviour of the E-Planner, in
particular for cases where the status of fluents is incompletely known.Comment: Proceedings of the 8th International Workshop on Non-Monotonic
Reasoning, April 9-11, 2000, Breckenridge, Colorad
Influence of Context on Decision Making during Requirements Elicitation
Requirements engineers should strive to get a better insight into decision
making processes. During elicitation of requirements, decision making
influences how stakeholders communicate with engineers, thereby affecting the
engineers' understanding of requirements for the future information system.
Empirical studies issued from Artificial Intelligence offer an adequate
groundwork to understand how decision making is influenced by some particular
contextual factors. However, no research has gone into the validation of such
empirical studies in the process of collecting needs of the future system's
users. As an answer, the paper empirically studies factors, initially
identified by AI literature, that influence decision making and communication
during requirements elicitation. We argue that the context's structure of the
decision should be considered as a cornerstone to adequately study how
stakeholders decide to communicate or not a requirement. The paper proposes a
context framework to categorize former factors into specific families, and
support the engineers during the elicitation process.Comment: appears in Proceedings of the 4th International Workshop on
Acquisition, Representation and Reasoning with Contextualized Knowledge
(ARCOE), 2012, Montpellier, France, held at the European Conference on
Artificial Intelligence (ECAI-12
- ā¦