Glossary entry (derived from question below)
English term or phrase:
propositionally
Greek translation:
προτασιακά
Added to glossary by
Spiros Konstantogiannis
Nov 27, 2006 17:52
17 yrs ago
English term
propositionally
English to Greek
Tech/Engineering
Computers: Systems, Networks
Description Logics
Since subsumption and satisfiability can be reduced to consistency in propositionally closed DLs, a consistency algorithm can solve all inference problems mentioned above
Proposed translations
(Greek)
4 +4 | προτασιακά | Spiros Konstantogiannis |
Proposed translations
+4
1 hr
Selected
προτασιακά
προτασιακά "κλειστές" περιγραφικές λογικές...
"Proposition" στα μαθηματικά και στη θεωρία των αλγορίθμων είναι η "πρόταση", η μαθηματική πρόταση, δηλαδή μία δήλωση που μπορεί να χαρακτηριστεί ως αληθής ή ψευδής σύμφωνα με κάποιον δυαδικό τελεστή (Boolean Operator).
They work on propositionally closed DLs (i.e., DLs with all the Boolean operators) and are complete also for expressive DLs.
Οι περιγραφικές λογικές (DLs) που είναι "προτασιακά κλειστές" έχουν όλους του δυαδικούς (Boolean) τελεστές.
--------------------------------------------------
Note added at 1 hr (2006-11-27 19:35:26 GMT)
--------------------------------------------------
Το "reduce" εδώ έχει την έννοια του "ανάγω", όχι του "μειώνω"...
"Proposition" στα μαθηματικά και στη θεωρία των αλγορίθμων είναι η "πρόταση", η μαθηματική πρόταση, δηλαδή μία δήλωση που μπορεί να χαρακτηριστεί ως αληθής ή ψευδής σύμφωνα με κάποιον δυαδικό τελεστή (Boolean Operator).
They work on propositionally closed DLs (i.e., DLs with all the Boolean operators) and are complete also for expressive DLs.
Οι περιγραφικές λογικές (DLs) που είναι "προτασιακά κλειστές" έχουν όλους του δυαδικούς (Boolean) τελεστές.
--------------------------------------------------
Note added at 1 hr (2006-11-27 19:35:26 GMT)
--------------------------------------------------
Το "reduce" εδώ έχει την έννοια του "ανάγω", όχι του "μειώνω"...
4 KudoZ points awarded for this answer.
Something went wrong...