References of "Artificial Intelligence"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn Rational Entailment for Propositional Typicality Logic
Booth, Richard; Casini, Giovanni UL; Meyer, Thomas et al

in Artificial Intelligence (in press)

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or ... [more ▼]

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferen- tial reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibil- ity theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we in- vestigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality. [less ▲]

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailNatural Strategic Ability
Jamroga, Wojciech UL; Malvone, Vadim; Murano, Aniello

in Artificial Intelligence (2019), 277

Detailed reference viewed: 13 (1 UL)
Full Text
Peer Reviewed
See detailApproximate Verification of Strategic Abilities under Imperfect Information
Jamroga, Wojciech UL; Knapik, Micha L; Kurpiewski, Damian et al

in Artificial Intelligence (2019), 277

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailOn the Input/Output behavior of argumentation frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico et al

in Artificial Intelligence (2014)

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical ... [more ▼]

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided. [less ▲]

Detailed reference viewed: 138 (7 UL)