This paper aims to explore the role of questions in communication in a group of cooperative rational agents. Using epistemic representation of questions proposed in [6] we employ the framework of public announcement logic to explore the flow of information in the process of asking and replying questions in a group. We show that some of the erotetic notions we introduce nicely correspond to the ...

We show through a number of examples how it is possible to express beliefs of agents and communication among agents by employing a rst-order logic language with metalogical facilities. We argue that (i) such a language is suitable to characterise rational agents in diierent application areas, and (ii) the interplay between metalogical reasoning and diierent modalities of communications allows u...

creativity or uncreativity of the rational soul is one of the oldest problem of philosophy. ibn sina by giving some proofs has proven the creativity of the rational soul. fakhr ad-din ar razi has propsed several critics to each of the avecina’s argument. in this article, we are going to prove that, the origin of razi’s critics is his misunderstanding in ibn sina’s philosophical views in potenti...

Modelling real world problems using rational agents has been heavily investigated over the past two decades. BDI (Beliefs, Desires, and Intentions) Logic has been widely used to represent and reason about rational agency. However, in the real world, we often have to deal with different levels of confidence in the beliefs we hold, desires we have, and intentions that we commit to. This paper pro...

We define parallelograms of base a and b in a group. They appear as minimal relators in a presentation of a subgroup with generators a and b. In a Lie group they are realized as closed polygonal lines, with sides being orbits of left-invariant vector fields. We estimate the number of sides of parallelograms in a free nilpotent group and point out a relation to the rank of rational series. 1 Int...

Computer-based aids for writing assistance have been around since at least the early 1980s, focussing primarily on aspects such as spelling, grammar and style. The potential audience for such tools is very large indeed, and this is a clear case where we might expect to see language processing applications having a significant real-world impact. However, existing comparative evaluations of appli...

Direct arguments are presented showing that for rational series in several com muting variables the rational series problem is non computable and closure under Hadamard product fails

We study the connections between rational series with coeecients in a semiring and their languages.