Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: logika deskrypcyjna

Sortuj według:

Ogranicz wyniki do:

Modelowanie wiedzy z zakresu wytwarzania elementów maszyn z zastosowaniem logiki deskrypcyjnej

Mrzygłód B., Regulski K.

Hutnik, Wiadomości Hutnicze

2012

Vol. 79, nr 3

148--151

Celem autorów jest zaprezentować możliwość wykorzystania logiki deskrypcyjnej (opisowej) w tworzeniu „map wiedzy” będących odpowiednio sformalizowanym pod względem semantycznym i syntaktycznym sposobem modelowania wybranych fragmentów wiedzy. Takie mapy wiedzy umożliwiają semantyczny opis zasobów zrozumiały maszynowo. Przykładowym zastosowaniem logiki opisowej będzie w tym wypadku proces tworzenia baz wiedzy dotyczącej wytwarzania elementów maszyn.

Authors present the possibility of using description logic in creating "maps of knowledge” which are formalized models of selected fragments of knowledge in terms of semantics and syntactic. Such maps provide a semantic machine-understandable description of knowledge resources. An example application of description logic is the process of knowledge bases development for the production of machine parts.

System automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN

Meissner A.

Studia z Automatyki i Informatyki

2004

T. 28/29

91--110

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.

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.