Autonomous software components, more commonly referred to as software agents, are often cited as a key enabling technology for the next-generation of online services. However, in these services, consisting of large-scale open multi-agent systems, classical forms of reasoning (such as provided by traditional monotonic logics) will be unsuitable. In this work we discuss our vision for a non-monot...

We define a sound and complete logic, called FO⊃, which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of intuitionistic implication, the semantics of FO⊃ is based on structures over a partially ordered set of worlds. In these structures, classical quantifiers and connectives (in particular, implication) are interpreted wi...

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization ...

Nobody would ever try to realize a movie without using a script. What is quite natural for movie productions seems to be the exception for VR productions. In VR we still observe a lack of approaches and tools that allow the description of an analogue to the movie script. The authoring approach proposed in this paper is based on directed parallel graphs, where the nodes represent story-relevant ...