Filters








82,626 Hits in 9.1 sec

ReAct! An Interactive Tool for Hybrid Planning in Robotics [article]

Zeynep Dogmus and Esra Erdem and Volkan Patoglu
2013 arXiv   pre-print
We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct!  ...  In particular, ReAct! can be used to represent sophisticated dynamic domains that feature concurrency, indirect effects of actions, and state/transition constraints.  ...  is an interactive tool that helps the users represent a dynamic domain in a logic-based formalism, and solve a planning problem in this domain using an automated For instance, the preconditions and direct  ... 
arXiv:1307.7494v1 fatcat:joigkqfqqvakxb5omigt22u76e

A Method for Smart Graphics in the Web [chapter]

Thorsten D. Mahler, Stefan A. Fiedler, Michael Weber
2004 Lecture Notes in Computer Science  
Based on the Model-View-Controller (MVC) paradigm we developed a generic architecture that allows for user interaction, component separation, adaptivity to environment and user needs and dynamic presentations  ...  In order to demonstrate our proposed conceptual approach, we implemented a prototype system by using the techniques available in a Web context.  ...  After that we shortly introduce two referenced models and present our approach for a distributed smart graphics system followed by a short description of our prove of concept implementation.  ... 
doi:10.1007/978-3-540-24678-7_16 fatcat:oh4mixpuwjbqva5zrfy3bkdz7u

Computing Environment-Aware Agent Behaviours with Logic Program Updates [chapter]

José J. Alferes, Antonio Brogi, João A. Leite, Luís M. Pereira
2002 Lecture Notes in Computer Science  
The ability of reacting to changes in the external environment is of crucial importance within the context of software agents.  ...  We show how such language can be used to model the more reactive behaviours, while keeping the more deliberative features provided by its underlying Dynamic Logic Programming paradigm.  ...  LUPS: A Language for Dynamic Updates In this section we briefly present Dynamic Logic Programming (DLP) [1] , and the update command language LUPS [3] .  ... 
doi:10.1007/3-540-45607-4_12 fatcat:z3hrk22me5gvrm3dudi4lxuhbe

An Architecture Description Language Based on Dynamic Description Logics [chapter]

Zhuxiao Wang, Hui Peng, Jing Guo, Ying Zhang, Kehe Wu, Huan Xu, Xiaofeng Wang
2012 IFIP Advances in Information and Communication Technology  
for the ADML languages can be reduced to knowledge base satisfiability in DDL(SHON (D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML  ...  ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture.  ...  This work is supported by the Fundamental Research Funds for the Central Universities (No.11QG13) and the National Science Foundation of China (No.71101048).  ... 
doi:10.1007/978-3-642-32891-6_21 fatcat:iwjunprouvfcjmy4ea7g23krby

Autonomic pervasive applications driven by abstract specifications

Ozan Günalp, Levent Gürgen, Vincent Lestideau, Philippe Lalanda
2012 Proceedings of the 2012 international workshop on Self-aware internet of things - Self-IoT '12  
In this paper we describe Rondo, a tool suite for designing pervasive applications.  ...  , resulting in a more flexible approach than traditional application definitions.  ...  A policy implements installation, activation and adaptation logic for the associated block. Policies use runtime models to make changes on the execution environment and get notified of the changes.  ... 
doi:10.1145/2378023.2378028 fatcat:j7p7so2d7vh3xdqbrcru3ixucy

Page 80 of Library & Information Science Abstracts Vol. , Issue 8 [page]

1995 Library & Information Science Abstracts  
This takes as input a procedural model of the agent's environment and as output a set of action descriptions that capture how the agent can exploit the dynamics in the environment.  ...  Demonstrates how to analyze an RS environment model so as to automatically generate a set of potentially useful dynamics and convert these to action descriptions.  ... 

Change Management In Business Process Modeling Based On Object Oriented Petri Net

Bassam Atieh Rajabi, Sai Peck Lee
2009 Zenodo  
The proposed framework is applied in a higher education environment to achieve flexible, updatable and dynamic BP.  ...  techniques for BPM and increase the representation capability for Object Oriented modeling for the dynamic changes in the runtime instances.  ...  The rigidity in graph based models incur problems of lack of flexibility, dynamic and adaptability, which compromise the ability of the graph based processes to react to dynamic changes in BP and exceptional  ... 
doi:10.5281/zenodo.1072259 fatcat:dyqmfmrthbf4bohgtvog4iyheu

Formal Modeling and Analysis of Organizations [chapter]

Egon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, pInar Yolum
2006 Lecture Notes in Computer Science  
It exploits static and dynamic properties of the organizational model and includes the (frequently ignored) environment.  ...  A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced.  ...  SenterNovem is gratefully acknowledged for funding the projects Cybernetic Incident Management (CIM) and Distributed Engine for Advanced Logistics (DEAL) that also funded this research partially.  ... 
doi:10.1007/11775331_2 fatcat:s4cferm4ifgunkmm55suurq5uy

Toward a new landscape of systems management in an autonomic computing environment

G. Lanfranchi, P. Della Peruta, A. Perrone, D. Calvanese
2003 IBM Systems Journal  
Then we introduce basic concepts in ontology and description logics and discuss representing Common Information Model constructs using description logics.  ...  In this paper we present IBM Tivoli Monitoring, a systems management application that displays autonomic behavior at run time, and we focus on extending it in order to encompass the design and the deployment  ...  Acknowledgments The authors wish to thank Giuseppe De Giacomo, Richard Szulewski, Scot MacLellan, Daniela Berardi, Andrea Cali, and Maurizio Lenzerini for sharing  ... 
doi:10.1147/sj.421.0119 fatcat:qrpith3bcvh47d757v7wbhrusa

Policy Based Self-Adaptive Scheme in Pervasive Computing

Jian Quan OUYANG, Dian Xi SHI, Bo DING, Jin FENG, Huai Min WANG
2009 Wireless Sensor Network  
Nowadays, application systems in pervasive computing have to be self-adaptive, which means adapting themselves to dynamic environments.  ...  The paper first introduces a novel policy based framework for self-adaptive scheme in pervasive computing.  ...  Figure 3 . 3 Model of context-driven policy. environments. For this reason we propose a Policy Descriptive Language for Pervasive Computing (PDLPC) based on the proposed policy ontology.  ... 
doi:10.4236/wsn.2009.11008 fatcat:c7uo6mw5ojezdlbbz7bingincq

Modeling of Multi Agent System: From Analysis to Design

Rajib Kumar Chatterjee, Mangilal Sharma, Anirban Sarkar
2016 International Journal of Software Engineering and Its Applications  
A systematic and sequential methodology is used for analysis of MAS. As a result of analysis several constructs in form of templates is obtained to represent the different facets of MAS.  ...  By providing the designated service the MAS achieves a specific goal. A logic based formal analysis of MAS is necessary to understand the system, its structure and dynamics.  ...  In this context the Agent Description Language or ADL provides specification of the corresponding agent model for the purpose of logical level design of the MAS.  ... 
doi:10.14257/ijseia.2016.10.12.13 fatcat:nxwarrukyfgappapq3crcucaiq

A Framework for Engineering Interactions in Java-based Component Systems

Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
2006 Electronical Notes in Theoretical Computer Science  
On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among  ...  The framework adopts first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the coordination laws  ...  of the nodes, logically immersed in a shared environment, but actually wired in order to have direct, non-mediated interaction.  ... 
doi:10.1016/j.entcs.2005.12.032 fatcat:sbqsipxeibb5pmvr27b3kovxta

From Simulation Data to Test Cases for Fully Automated Driving and ADAS [chapter]

Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German
2016 Lecture Notes in Computer Science  
To overcome this limitation, we present a concept including filtering and rating of potentially relevant situations. Identified situations are described in a formal, abstract and human readable way.  ...  Finally, a situation catalogue is built up and linked to system requirements to derive test cases using a Domain Specific Language (DSL).  ...  A belonging scenario description consists of a logical database for the environment description (e.g. roads with their type and lanes, lane marking, traffic signs, etc.), dynamic elements (e.g. pedestrians  ... 
doi:10.1007/978-3-319-47443-4_12 fatcat:vj2u343scbhz7bskdiclxvfkhi

Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents [chapter]

Bruno Dillenseger, Anne-Marie Tagant, Laurent Hazard
2002 Lecture Notes in Computer Science  
Thanks go to Italtel team, for their design of the ECS and their interest in agent technology, and to Serge Lacourte and Laurent Chauvirey for their help on the AAA-Moorea Gateway.  ...  Acknowledgement Moorea is developed in the context of the ATHOS project of the ITEA European research program.  ...  This requirement implies that it should be possible to dynamically reconfigure the execution environment for maintenance issues (e.g. add, reboot or shutdown a node) and to dynamically update software.  ... 
doi:10.1007/3-540-36086-7_5 fatcat:gubmozfy5nggtnt2oidjg6ygj4

A framework and patterns for the specification of reactive systems

Leonor Barroca, Pedro Henriques
1998 Information and Software Technology  
one, and a temporal logic to express formally, and reason about, this behaviour.  ...  We defend the need of a dual approach for specifying reactive systems and reasoning about their timing properties; this dual approach uses a notation for the specification of behaviour, preferably a graphical  ...  We acknowledge the valuable contribution of the participants in the Writers Workshop 1: Pattern Languages at EuroPLoP'96.  ... 
doi:10.1016/s0950-5849(98)00036-6 fatcat:xcensqm5bbdzfjjkydcgomresa
« Previous Showing results 1 — 15 out of 82,626 results