propositionally

Greek translation: προτασιακά

Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:propositionally
Greek translation:προτασιακά
Entered by: Spiros Konstantogiannis
Options:
- Contribute to this entry
- Include in personal glossary

17:52 Nov 27, 2006
English to Greek translations [PRO]
Tech/Engineering - Computers: Systems, Networks / Description Logics
English term or phrase: propositionally
Since subsumption and satisfiability can be reduced to consistency in propositionally closed DLs, a consistency algorithm can solve all inference problems mentioned above
srma
προτασιακά
Explanation:
προτασιακά "κλειστές" περιγραφικές λογικές...

"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" εδώ έχει την έννοια του "ανάγω", όχι του "μειώνω"...
Selected response from:

Spiros Konstantogiannis
Greece
Local time: 01:36
Grading comment
4 KudoZ points were awarded for this answer



Summary of answers provided
4 +4προτασιακά
Spiros Konstantogiannis


  

Answers


1 hr   confidence: Answerer confidence 4/5Answerer confidence 4/5 peer agreement (net): +4
προτασιακά


Explanation:
προτασιακά "κλειστές" περιγραφικές λογικές...

"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" εδώ έχει την έννοια του "ανάγω", όχι του "μειώνω"...


    Reference: http://216.239.59.104/search?q=cache:YClgs_d99PIJ:www.csd.uo...
Spiros Konstantogiannis
Greece
Local time: 01:36
Works in field
Native speaker of: Greek
PRO pts in category: 8

Peer comments on this answer (and responses from the answerer)
agree  Vicky Papaprodromou: Καλή βδομάδα, Σπύρο.:-)
4 mins
  -> Γεια σου Βίκυ. Ευχαριστώ Πολύ! Επίσης!

agree  zGreek: Δεν ξέρω αν μπορώ να δώσω τον πόντο ενώ έχω δώσει απάντηση, αλλά θα το ρισκάρω...
40 mins
  -> Ευχαριστώ! Καλή εβδομάδα!

agree  Nadia-Anastasia Fahmi
11 hrs
  -> Ευχαριστώ Νadia!

agree  AmNeS|A
1 day 12 hrs
  -> Καλημέρα! Ευχαριστώ!
Login to enter a peer comment (or grade)



KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:

Your current localization setting

English

Select a language

Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search