248 research outputs found
Nonmonotonic Desires: A Possibility Theory Viewpoint
International audienceIf an agent desires that ϕ and desires that ψ, this agent often also desires that ϕ and ψ hold at the same time (ϕ ∧ ψ). However, there are cases where ϕ ∧ ψ may be found less satisfactory for the agent than each of ϕ or ψ alone.This paper is a first attempt at modeling such nonmonotonic desires. The approach is developed in the setting of possibility theory, since it has been recently pointed out that guaranteed (or strong) possibility measures are a good candidate for modeling graded desires. Although nonmonotonic reasoning has been studied extensively for knowledge, and that preferential nonmonotonic consequence relations can be faithfully represented in the possibilistic setting, nonmonotonic desires appear to require a different approach
Weighted logics for artificial intelligence : an introductory discussion
International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas
Online Handbook of Argumentation for AI: Volume 1
This volume contains revised versions of the papers selected for the first
volume of the Online Handbook of Argumentation for AI (OHAAI). Previously,
formal theories of argument and argument interaction have been proposed and
studied, and this has led to the more recent study of computational models of
argument. Argumentation, as a field within artificial intelligence (AI), is
highly relevant for researchers interested in symbolic representations of
knowledge and defeasible reasoning. The purpose of this handbook is to provide
an open access and curated anthology for the argumentation research community.
OHAAI is designed to serve as a research hub to keep track of the latest and
upcoming PhD-driven research on the theory and application of argumentation in
all areas related to AI.Comment: editor: Federico Castagna and Francesca Mosca and Jack Mumford and
Stefan Sarkadi and Andreas Xydi
Argumentation-based Reasoning about Plans, Maintenance Goals and Norms
Peer reviewedPostprin
Modeling mantle convection using an internal state variable model framework
In the current study we developed an internal state variable (ISV) model based on the Bammann inelasticity internal state variable model (BIISV) to include damage, recrystallization, and texture development, which we then implemented into a mantle convection code, TERRA2D, to incorporate higher fidelity material behavior into mantle convection simulations. With experimental stress strain data found in the literature model constants for the BIISV model were determined for a number of geologic materials. The BIISV model was shown to be far superior to the steady state power law model currently used by the geologic community to capture the deformation of geologic materials. Once implemented and verified in TERRA2D the BIISV model revealed locations of hardened material that behaved like diverters in the cold thermal boundary layer that the power law model could never produce. These hardened regions could be a plausible reason for the current subduction zones present on the earth. We then altered the BIISV model equation to include the effects of damage, recrystallization, and texture development in order to model possible weakening mechanisms in the cold thermal boundary layer of the mantle. Inclusion of damage and recrystallization allowed the cold thermal boundary layer to mobilize and plunge downward into the hotter region below. Texture development increased the intensity of rotational flow within the hotter zone as cold boundary material plunged downward which aided in destabilizing the cold upper thermal boundary layer. The inclusion of an internal state variable model with damage, recrystallization, and texture development represents a significant advancement in handling deformational physics for mantle phenomena in a comprehensive, unified, and automatic manner
- …