The nonmonotonic logics definable by definability-preserving choice functions that satisfy Coherence have been studied in [7]. Larger families correspond to weakenings of this property. The cumulative and loop-cumulative relations of [6] are characterized by such models and, as a consequence, one may study the natural connectives for those logics. The representation results obtained are surpris...

We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an urgent need to revise the view that inconsi...

In this paper we investigate the role of collective commitments in groups of agents involved in Cooperative Problem Solving (CPS). Collective intentions and collective commitmens are formalized in the logical framework designed by Rao and Georgee in 22]. The novelty of our approach is to base a collective commitment on a social plan, and deening it in terms of collective intentions and pairwise...

We argue that Solomonoff induction is universal and complete in the physical sense via several strong physical arguments. We argue that Solomonoff induction is fully applicable to quantum mechanics. We show how to choose an objective reference machine for universal induction by defining a physical message complexity for the presently considered ultimate intelligence research program. We introdu...

Gardner [Gardner, H. (2006-this issue). On failing to grasp the core of MI theory: A response to Visser et al. Intelligence] criticized some aspects of our empirical examination [Visser, B. A., Ashton, M. C., & Vernon, P. A. (2006-this issue). Beyond g: Putting multiple intelligences theory to the test. Intelligence] of his “Theory of Multiple Intelligences”. Specifically, Gardner questioned th...

In this paper we aim to formally model individual, social and collective motivational attitudes in teams of agents involved in Cooperative Problem Solving. Particular attention is given to the strongest motivational attitude, collective commitment, which leads to team action. First, building on our previous work, a logical framework is sketched in which social commitments and collective intenti...

So far and trying to reach human capabilities, research in automatic summarization has been based on hypothesis that are both enabling and limiting. Some of these limitations are: how to take into account and reflect (in the generated summary) the implicit information conveyed in the text, the author intention, the reader intention, the context influence, the general world knowledge.... Thus, i...

Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been considered. Several argumentation frameworks have then been proposed for generating and evaluating such arguments. However, recent works on argumentation-based negotiation have emphasized different other types of arguments ...

It has been shown in the literature that tense, aspect and world knowledge (also called common or shared knowledge) all play a role in determining the global temporal structure of a text as well as its discourse structure (Caenepeel and Moens, 1994; Kamp and Rohrer, 1983; Lascarides and Asher, 1993). In this paper we focus on the role of the French connective puis (then, afterwards) and its int...