Neklauzulární rezoluční dokazování ve fuzzy deskripční logice

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000009" target="_blank" >RIV/61988987:17610/06:00000009 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61988987:17310/06:00000012 RIV/61988987:17610/06:A1000DDO

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Non-clausal Resolution Theorem Proving for Fuzzy Description Logic

Popis výsledku v původním jazyce

The article presents refutational resolution theorem proving system for the Fuzzy Description Logic based on the general (non-clausal) resolution rule. There is also presented a unification algorithm handling existentiality without the need of skolemization. This formalism integrates previously created provers for classical description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Presented formalism overcomes the key unsolvable obstacle - clausal normal form generation (in fuzzy logic) - by introduction of generally applicable inference rule (working with general formulas not only clauses).

Název v anglickém jazyce

Non-clausal Resolution Theorem Proving for Fuzzy Description Logic

Popis výsledku anglicky

The article presents refutational resolution theorem proving system for the Fuzzy Description Logic based on the general (non-clausal) resolution rule. There is also presented a unification algorithm handling existentiality without the need of skolemization. This formalism integrates previously created provers for classical description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Presented formalism overcomes the key unsolvable obstacle - clausal normal form generation (in fuzzy logic) - by introduction of generally applicable inference rule (working with general formulas not only clauses).

Druh

D - Stať ve sborníku

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

SOFSEM 2006 : Theory and practice of computer science ? 32nd conference on current trends in theory and practice of computer science

ISBN

80-903298-4-5

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

1-12

Název nakladatele

Institute of Computer Science, Czech Academy of Sciences

Místo vydání

Praha

Místo konání akce

Měřín

Datum konání akce

1. 1. 2006

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—