Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols

In artificial intelligence problems, connected with the study of complex structured objects which are described in the terms of properties of their elements and relationships between these elements, it is convenient to use predicate calculus formulas, more precisely elementary conjunctions of atomic...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Programming and computer software Ročník 50; číslo Suppl 1; s. S1 - S9
Hlavní autoři:	Kosovskaya, T. M., Zhou, J.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.10.2024 Springer Nature B.V
Témata:	Algorithms Artificial Intelligence Complex variables Complexity Computer Science Isomorphism Object recognition Operating Systems Predicate calculus Software Engineering Software Engineering/Programming and Operating Systems Symbols Variables maximal common subformula isomorphism of elementary conjunctions of predicate formulas unifier of predicate formulas
ISSN:	0361-7688, 1608-3261
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!