Exploring adaptation & self-adaptation in autonomic computing systems

This panel paper sets out to discuss what self-adaptation means, and to explore the extent to which current autonomic systems exhibit truly self-adaptive behaviour. Many of the currently cited examples are clearly adaptive, but debate remains as to what extent they are simply following prescribed adaptation rules within preset bounds, and to what extent they have the ability to truly learn new behaviour. Is there a standard test that can be applied to differentiate? Is adaptive behaviour sufficient anyway? Other autonomic computing issues are also discussed

Cognitive context and arguments from ontologies for learning

The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that learning resources are underpinned by ontologies. Different formalizations of domains may result from different contexts, different use of terminology, incomplete knowledge or conflicting knowledge. We define the notion of cognitive learning context which describes the cognitive context of an agent who refers to multiple and possibly inconsistent ontologies to determine the truth of a proposition. In particular we describe the cognitive states of ambiguity and inconsistency resulting from incomplete and conflicting ontologies respectively. Conflicts between ontologies can be identified through the derivation of conflicting arguments about a particular point of view. Arguments can be used to detect inconsistencies between ontologies. They can also be used in a dialogue between a human learner and a software tutor in order to enable the learner to justify her views and detect inconsistencies between her beliefs and the tutor’s own. Two types of arguments are discussed, namely: arguments inferred directly from taxonomic relations between concepts, and arguments about the necessary an

cc-Golog: Towards More Realistic Logic-Based Robot Controllers

High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is event-driven as in ``charge the batteries as soon as the voltage level is low''. While non-logic-based robot control languages are well suited to express such scenarios, they fare poorly when it comes to projecting, in a conspicuous way, how the world evolves when actions are executed. On the other hand, a logic-based control language like \congolog, based on the situation calculus, is well-suited for the latter. However, it has problems expressing event-driven behavior. In this paper, we show how these problems can be overcome by first extending the situation calculus to support continuous change and event-driven behavior and then presenting \ccgolog, a variant of \congolog which is based on the extended situation calculus. One benefit of \ccgolog is that it narrows the gap in expressiveness compared to non-logic-based control languages while preserving a semantically well-founded projection mechanism

The golog programming language and agency

In this paper, we present our initial experiences modeling agency in the situation calculus and the Golog programming language. We describe the problems we have faced and discuss some research issues that remain to be addressed in the future. As an application of this research line, we propose an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

The golog programming language and agency

In this paper, we present our initial experiences modeling agency in the situation calculus and the Golog programming language. We describe the problems we have faced and discuss some research issues that remain to be addressed in the future. As an application of this research line, we propose an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Temporal Answer Set Programming

Answer Set Programming (ASP) has become a popular way for representing different kinds of scenarios from knowledge representation in Artificial Intelligence. Frequently, these scenarios involve a temporal component which must be considered. In ASP, time is usually represented as a variable whose values are defined by an extensional predicate with a finite domain. Dealing with a finite temporal interval has some disadvantages. First, checking the existence of a plan is not possible and second, it also makes difficult to decide whether two programs are strongly equivalent. If we extend the syntax of Answer Set Programming by using temporal operators from temporal modal logics, then infinite time can be considered, so the aforementioned disadvantages can be overcome. This extension constitutes, in fact, a formalism called Temporal Equilibrium Logic, which is based on Equilibrium Logic (a logical characterisation of ASP). Although recent contributions have shown promising results, Temporal Equilibrium Logic is still a novel paradigm and there are many gaps to fill. Our goal is to keep developing this paradigm, filling those gaps and turning it into a suitable framework for temporal reasoning

Temporal Data Modeling and Reasoning for Information Systems

Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to model and process time and calendar data is essential for many applications like appointment scheduling, planning, Web services, temporal and active database systems, adaptive Web applications, and mobile computing applications. This article aims at three complementary goals. First, to provide with a general background in temporal data modeling and reasoning approaches. Second, to serve as an orientation guide for further specific reading. Third, to point to new application fields and research perspectives on temporal knowledge representation and reasoning in the Web and Semantic Web

Роль семантики в интеграции приложений на основе Веб-сервисов

В работе исследуются подходы к определению и использованию семантики для автоматической интеграции приложений на основе Веб-сервисов. Средства динамического поиска, выбора и автоматической интеграции программных компонентов для Веб-сервисов находятся в состоянии исследований и в полной мере не реализованы. Это частично объясняется отсутствием или недостаточным уровнем использования семантики в текущих стандартах сервисов. Для решения этой проблемы Семантическим сообществом разрабатываются направления «Семантический Веб» и «Семантические Веб-сервисы». Посредством кодирования требований и возможностей Веб-сервисов в машино-читаемой форме для однозначной интерпретации, семантика позволит осуществить автоматический поиск, композицию и интеграцию программных компонентов. Семантические Веб-сервисы будут использоваться в качестве средства для создания новой методологии программирования и интеграции приложений в распределенном динамическом окружении.Approaches to definition and use of semantics for automatic integration of applications on the basis of Web services are investigated In articles . Means of dynamic service discovery, matchmaking and automatic composition of program components for Web services are in a status of researches and to the full are not realized. Level of use of semantics in current standards of services or are insufficient. For the decision of this problem the Semantic community develops directions «the Semantic Web» and «Semantic Web services». By means of coding of requirements and possibilities of Web services in the computer-readable form for unequivocal interpretation, semantics will allow to carry out automatic discovery, a composition and integration of program components. Semantic Web services will be used as means for creation of new methodology of programming and integration of applications in the distributed dynamic environmen