PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Meissner A.
International Journal of Applied Mathematics and Computer Science
|
2011
|
Vol. 21, no 1
83-95
EN
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.
2
Content available remote A method involving constraint programming for generating integral graphs without ± 1 in the spectrum : a case study
Zwierzyński K., Meissner A., Niwińska M.
Studia z Automatyki i Informatyki
|
2010
|
T. 35
105-114
EN
We consider a method where the constraint programming over finite domains is used for describing relationships among some properties of graphs. The process of constraint solving results in the set of values, which act as input parameters for the graph generation algorithm. In this way, the space of possibly generated graphs is reduced. We present a case study of the application of this approach to the problem of finding all connected, integral, non-regular and bipartite graphs, with a maximum vertex degree four not containing ± 1 in the spectrum (i.e., SL4-graphs).
PL
W artykule rozważa się wariant metody konstruowania grafów poprzez generowanie a następnie przeszukiwanie klas grafów, do których należą rozpatrywane grafy. Proponuje się przy tym zastosowanie metodyki programowania z więzami (ang. constraint programming over finite domains) do opisywania zależności, jakie zachodzą między niektórymi właściwościami grafów. W ten sposób ogranicza się a zarazem precyzuje zbiór parametrów algorytmu generującego grafy. W konsekwencji, zostaje zredukowana przestrzeń, którą należy przeszukiwać. Praca zawiera analizę przykładu zastosowania tego ujęcia do skonstruowania wszystkich spójnych, nieregularnych, dwudzielnych grafów całkowitych o maksymalnym stopniu wierzchołków równym 4 niezawierających ± 1 w spektrum.
3
Content available remote Zrównoleglanie obliczeń w prostym systemie wnioskującym
Meissner A.
Studia z Automatyki i Informatyki
|
2006
|
T. 31
63-78
PL
W artykule przedstawiono prosty system wnioskujący dla logiki pierwszego rzędu, którego pierwowzorem jest prologowy program lean TAP autorstwa Beckerta i Possegi. System zaiplmementowano w języku Oz w paradygmacie relacyjnym, będącym częścią metodyki programowania wieloparadygmatowego. Podejście to pozwala na zadawanie strategii obliczeniowej jako parametru wykonania programu. W konsekwencji, obliczenia mogą być prowadzone na różne sposoby, w tym także równolegle w środowisku rozproszonym. Zmiana strategii obliczeniowej, podobnie jak zmiana konfiguracji środowiska praktycznie nie wymaga modyfikowania kodu programu. W pracy przedstawiono także wstępne wyniki eksperymentów mających na celu zbadanie efektywności opisywanego rozwiązania.
EN
We present a simple inference system for the first order logic based on a Prolog program called lean TAP (by Beckert and Possega). The system is implemented in the Oz language using the relational programming paradigm, which is a part of the multiparadigm programming methodology. In this approach a computational strategy is given to a program as an execution parameter. Therefore, computations in the system may be performed according to various strategies, also in parallel on distributed machines. Moreover, the exchange of strategies as well as modifications of the computational environment nearly do not affect the code. We also describe some initial results of experiments intended for estimating the efficiency of the presented solution.
4
Content available remote System automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN
Meissner A.
Studia z Automatyki i Informatyki
|
2004
|
T. 28/29
91--110
PL
W artykule przedstawia się prosty system automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN. Podstawową funkcją systemu jest badanie spełnialności pojęć oraz testowanie hipotez dotyczących relacji między pojęciami, tj. subsumpcji, równoważności i rozłączności. Do dedukcji wykorzystuje się metodę tabel analitycznych, a językiem implementacji systemu jest Prolog.
EN
In this paper a simple automated deduction system for Description Logic with ALCN language is presented. It enables verification of four types of hypotheses concerning concepts, i.e. satisfiability, subsumption, equivalence and disjointness. The system uses an algorithm originating from semantic tableau calculus. The implementation has a form of relatively small program in Prolog language containing only elementary procedures, essential for soundness and completeness of inference process.
5
Content available remote Control aspects of the blackboard agent architecture for a mobile robot
Brzykcy G., Martinek J., Meissner A., Skrzypczyński P.
Control and Cybernetics
|
2003
|
Vol. 32, no 4
851-866
EN
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
Content available remote Dedukcja częściowa jako uogólnienie wnioskowania rezolucyjnego
Meissner A.
Studia z Automatyki i Informatyki
|
2000
|
T. 25
147-158
PL
W artykule przedstawia się wybrane zagadnienia dotyczące reguły rezolucji, jej wykorzystania w programowaniu w logice oraz metody dedukcji częściowej jako uogólnienia strategii wnioskowania rezolucyjnego. Prezentuje się także niektóre obszary zastosowań dedukcji częściowej, jak konstruowanie odpowiedzi intensjonalnych w dedukcyjnych bazach danych. Podaje się przykład tego rodzaju bazy danych, którym jest system przeznaczony do gromadzenia i przetwarzania wiedzy prawnej.
EN
In this paper we present some selected problems concerning resolution principle, it's application to logic programming and partial deduction method as a generalization of resolution inference strategy. We also point out some fields of application of this method. One of them is a construction of intensional answers in deductive databases. We briefly describe an example of such a system dedicated to legal knowledge processing.
first rewind previous Strona / 1 next fast forward last
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ć.