Source author record

Dragan Doder

Dragan Doder appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Artificial Intelligence Logic in Computer Science math.LO

Catalog footprint

What is connected

3works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Intention as Commitment toward Time

In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions. Intentions and beliefs are coherent as long as these assumptions are not violated, i.e. as long as intended actions can be performed such that their preconditions hold as well. The second contribution is the formalization of what-if scenarios: what happens with intentions and beliefs if a new (possibly conflicting) intention is adopted, or a new fact is learned? An agent is committed to its intended actions as long as its belief-intention database is coherent. We conceptualize intention as commitment toward time and we develop AGM-based postulates for the iterated revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style representation theorem.

preprint2016arXiv

AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)

We introduce a logic for temporal beliefs and intentions based on Shoham's database perspective. We separate strong beliefs from weak beliefs. Strong beliefs are independent from intentions, while weak beliefs are obtained by adding intentions to strong beliefs and everything that follows from that. We formalize coherence conditions on strong beliefs and intentions. We provide AGM-style postulates for the revision of strong beliefs and intentions. We show in a representation theorem that a revision operator satisfying our postulates can be represented by a pre-order on interpretations of the beliefs, together with a selection function for the intentions.

preprint2013arXiv

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2

Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to ordinal $ω^2$ (concatenation of $ω$ copies of $ω$). If we think of $ω^2$ as lexicographically ordered $ω\times ω$, then any particular zero-time transition can be represented by states whose indices are all elements of some $\{n\}\timesω$. In order to express non-infinitesimal transitions, we have introduced a new unary temporal operator $[ω] $ ($ω$-jump), whose effect on the time flow is the same as the effect of $α\mapsto α+ω$ in $ω^2$. In terms of lexicographically ordered $ω\times ω$, $[ω] ϕ$ is satisfied in $\ < i,j\ >$-th time instant iff $ϕ$ is satisfied in $\ < i+1,0\ >$-th time instant. Moreover, in order to formally capture the natural semantics of the until operator $\mathtt U$, we have introduced a local variant $\mathtt u$ of the until operator. More precisely, $ϕ\,\mathtt u ψ$ is satisfied in $\ < i,j\ >$-th time instant iff $ψ$ is satisfied in $\ < i,j+k\ >$-th time instant for some nonnegative integer $k$, and $ϕ$ is satisfied in $\ < i,j+l\ >$-th time instant for all $0\leqslant l<k$. As in many of our previous publications, the leitmotif is the usage of infinitary inference rules in order to achieve the strong completeness.