W pracy omawia się dwa sposoby reprezentowania informacji niepełnej. Pierwszy z nich, za pomocą υ-termów, dotyczy reprezentowania obiektów w systemach agentowych. Różne reprezentacje tych samych rzeczywistych obiektów mogą być porównywane i scalane. Podano przykład zastosowania operacji unifikowania termów do integrowania danych XML. Drugi sposób umożliwia reprezentowanie złożonych kontekstów, w których działają agenty programowe. Konteksty te mają wpływ na interpretację danych o obiektach. Są one także uwzględniane przy wyborze akcji podejmowanych przez agenty. Zastosowanie przedstawionych modeli danych w systemach agentowych zwiększa siłę wyrazu języka reprezentowania danych, przy równoczesnym zapewnieniu efektywności niezbędnych procesów obliczeniowych.
EN
Two approaches to representation of partial information are presented. The first one, in which υ-terms are used, concerns objects in agent systems. Various representations of the same real object may be compared and merged. An example in which term unification is used in the integration process of XML data is presented. The second approach is oriented on representation of complex contexts of actions executed by software agents. These contexts predetermine an interpretation of any data. They also relate to agents' actions in the system. Described approaches when applied in agent systems increase the expressiveness of the data representation language but also guarantee the effectiveness of necessary computational processes.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Przestrzenie sytuacji to rozproszone środowisko bazujące na teorii sytuacji i modelu obliczeniowym współdzielonych przestrzeni danych. Ze względu na możliwość jednorodnego wyrażania w nich różnych aspektów wiedzy, przestrzenie sytuacji są odpowiednim narzędziem do definiowania kontekstowo zorientowanych działań agentów. W pracy zilustrowano te możliwości na przykładach inteligentnego domu, systemu sterowania ruchem ulicznym i punktu obsługi klienta sieci telefonicznej.
EN
Situation Spaces is a distributed environment founded on situation theory and tuple space computation model. With its orientation on meaning and information content, situation theory accurately matches the basic principles of the Semantic Web. In this paper we demonstrate examples of Situation Spaces used to solve problems of semantic interoperability such as usercentric reasoning in smart home scenario or in a contact center. We also present metabased reasoning in a traffic control system.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W pracy nawiązano do różnych koncepcji definiowania i wyrażania kontekstu wykorzystywanych w systemach informatycznych. Szczególną uwagę zwrócono na te systemy, w których wymiana danych i koordynacja działań agentów są realizowane za pomocą przestrzeni współdzielonych dokumentów XML. Opisano podstawowe pojęcia i mechanizmy związane z takimi przestrzeniami. W pracy zawarto także wstępną propozycję uwzględnienia kontekstu w takich przestrzeniach. W proponowanej koncepcji wykorzystano mechanizmy programowania deklaratywnego.
EN
Various concepts of the context in information systems are presented. A special attention is paid to systems in which data can be exchanged and agent actions can be coordinated via XML document spaces. Main concepts of these document spaces are described. This paper presents a preliminary concept of using context in these spaces. This solution adopts declarative programming mechanisms.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W pracy przedstawia się ewolucję modeli i metodologii wypracowywanych przez inżynierię oprogramowania. Omawiane są różne architektury robota mobilnego, który we współpracy z innymi robotami mobilnymi oraz elementami stacjonarnymi wykonuje zadanie kolektywnej percepcji i modelowania środowiska działania robotów. Prezentowane są także współczesne trendy w rozwoju systemów sensorycznych i inżynierii oprogramowania.
EN
In this paper an evolution of models and methodologies used in software engineering is shown. The different architectures of a mobile robot cooperating with other robots and some stationary devices in a task of collective perception and world modeling are considered. Some trends in computer science and software engineering are also sketched.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In the paper, the architecture of a mobile robot cooperating with other robots and some stationary devices in a task of collective perception and world modeling is considered. We present data-driven processing of information performed by an individual robot treated as an agent and we propose to organize it as a set of experts (also treated as agents) exchanging data by means of a blackboard. The roles of particular agents and the structure of the blackboard are described. We analyze the control aspects of the system and the form of control knowledge.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W pracy omawiane są dwa sposoby asymilowania wiedzy niezbędnej do kontynuowania obliczeń w systemie Prologu. Rozważa się wiedzę pochodzącą od użytkownika albo wywodzoną w drodze wnioskowania przez analogię. Proponuje się rozszerzony interpretator Prologu, w którym uwzględniane są specyfikowane oddzielnie niezbędne aspekty wiedzy: o interakcji z użytkownikiem i o zależnościach (analogiach). Interpretator definiuje się formalnie za pomocą algebry ewoluującej.
EN
A problem of knowledge incorporation into Prolog programs computation is analysed in this paper. Knowledge submitted by a user or derived by analogy is discussed. A new form of Prolog program with separately specified computational aspects is proposed. Extended interpreter for such programs is formally defined by means of evolving algebra.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W pracy analizujemy postać wiedzy o sterowaniu procesem wykonywania programów prologowych. Nawiązujemy do propozycji interakcyjnego systemu wykonywania programów, w którym oddzielono różne aspekty wiedzy uczestniczącej w obliczeniu i zaproponowano ich specyfikowanie w odrębnych programach. Przedstawiamy podstawowe decyzje sterujące i przytaczamy przykłady różnych startegii prowadzenia obliczeń. Proponujemy język do opisu sterowania oraz narzucenie hierarchicznej struktury na wiedzę o sterowaniu.
EN
In the paper an analysis of control knowledge for Prolog programs is presented. We extract two main control decisions and propose a language for control knowledge specification. Some special computation rules are defined. We also suggest a hierarchical structure of control knowledge to support a process of knowledge specification.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.