1. Αρχική σελίδα
  2. Αναζήτηση

COMPLEXITY RESULTS AND HEURISTIC METHODS FOR PROBABILISTIC LOGIC

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)   

Αποθετήριο :
Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΚΑΙ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΠΙΘΑΝΟΤΙΚΗ ΛΟΓΙΚΗ
COMPLEXITY RESULTS AND HEURISTIC METHODS FOR PROBABILISTIC LOGIC
Καββαδίας, Δημήτρης
Kavvadias, Dimitris
PhD Thesis
1988
Η ΣΧΕΔΙΑΣΗ ΣΥΣΤΗΜΑΤΩΝ ΕΜΠΕΙΡΟΓΝΩΜΟΝΩΝ ΘΕΤΕΙ ΕΝΑ ΠΡΟΒΛΗΜΑ ΓΝΩΣΤΟ ΣΑΝ "ΠΡΟΣΕΓΓΙΣΤΙΚΗ ΕΞΑΓΩΓΗ ΣΥΜΠΕΡΑΣΜΑΤΩΝ". ΣΤΟ ΠΡΟΒΛΗΜΑ ΑΥΤΟ ΤΑ ΔΕΔΟΜΕΝΑ ΕΙΝΑΙ ΠΡΟΤΑΣΕΙΣ ΕΛΛΙΠΕΙΣ ΚΑΙ ΑΛΛΗΛΟΣΥΓΚΡΟΥΟΜΕΝΕΣ ΚΑΙ Ο ΣΚΟΠΟΣ ΕΙΝΑΙ ΝΑ ΒΡΕΘΕΙ Η ΕΜΠΙΣΤΟΣΥΝΗ ΣΕ ΜΙΑ ΑΛΛΗ ΠΡΟΤΑΣΗ. ΜΕ ΒΑΣΗ ΤΗΝ ΘΕΩΡΙΑ ΤΗΣ ΠΙΘΑΝΟΤΙΚΗΣ ΛΟΓΙΚΗΣ, ΜΟΝΤΕΛΟΠΟΙΟΥΜΕ ΤΗΝ ΑΒΕΒΑΙΟΤΗΤΑ ΣΑΝ ΠΙΘΑΝΟΤΗΤΑ. ΕΝΑ ΣΥΝΟΛΟ ΠΡΟΤΑΣΕΩΝ ΜΟΝΤΕΛΟΠΟΙΕΙΤΑΙ ΣΑΝ ΕΝΑ ΓΡΑΜΜΙΚΟ ΠΡΟΓΡΑΜΜΑ ΤΟ ΔΕ ΒΑΣΙΚΟ ΠΡΟΒΛΗΜΑ ΑΠΟΔΕΙΚΝΥΕΤΑΙ ΠΟΛΥΩΝΥΜΙΚΟ ΙΣΟΔΥΝΑΜΟ ΜΕ ΤΗΝ "ΠΙΘΑΝΟΤΙΚΗ ΙΚΑΝΟΠΟΙΗΣΙΜΟΤΗΤΑ". ΣΤΗΝ ΣΥΝΕΧΕΙΑ ΔΕΙΧΝΟΥΜΕ ΟΤΙ ΚΑΙ ΟΙ ΑΠΛΟΥΣΤΕΡΕΣ ΜΟΡΦΕΣ ΤΗΣ ΠΙΘΑΝΟΤΙΚΗΣ ΙΚΑΝΟΠΟΙΗΣΙΜΟΤΗΤΑΣ ΕΙΝΑΙ ΥΠΟΛΟΓΙΣΤΙΚΑ ΔΥΣΚΟΛΕΣ. (ΝΡ-ΠΛΗΡΕΙΣ)ΚΑΙ ΠΡΟΤΕΙΝΟΥΜΕ ΔΙΑΦΟΡΕΣ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΥΣ ΠΟΥ ΒΑΣΙΖΟΝΤΑΙ ΣΤΗΝ ΜΕΘΟΔΟ SIMPLEXΓΙΑ ΤΗΝ ΠΡΑΚΤΙΚΗ ΛΥΣΗ ΤΟΥ ΠΡΟΒΛΗΜΑΤΟΣ.
THE DESIGN OF EXPERT SYSTEMS POSES A PROBLEM KNOWN AS "APPROXIMATE REASONING". IN THIS PROBLEM WE ARE ASKED TO DETERMINE THE BELIEF TO ANOTHER STATEMENT. BASED ON THE THEORY OF "PROBABILISTIC LOGIC", WE MODEL UNCERTAINTY AS PROBABILITY OF STATEMENTS. A SET OF STATEMENTS CAN BE MODELLED AS A LINEAR PROGRAM, WHILE THE BASIC PROBLEM IS PROVED POLYNOMIALLY EQUIVALENT TO "PROBABILISTIC SATISFIABILITY". WE NEXT SHOW THAT EVEN THE SIMPLEST FORMS OF "PROBABILISTIC LOGIC" ARE COMPUTATIONALLY INTRACTABLE (NP-COMPLETE) AND WE PROPOSE VARIOUS HEURISTICS BASEDON THE SIMPLEX METHOD FOR THE PRACTICAL SOLUTION OF THE PROBLEM.
Επιστήμες Μηχανικού και Τεχνολογία
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική
Φυσικές Επιστήμες
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Electrical Engineering, Electronic Engineering, Information Engineering
Heuristics
Linear programming
ΠΙΘΑΝΟΤΙΚΗ ΛΟΓΙΚΗ
Computer and Information Sciences
Πολυπλοκότητα
Φυσικές Επιστήμες
Complexity
Επιστήμες Μηχανικού και Τεχνολογία
Engineering and Technology
Algorithms
NP - completeness
ΣΥΣΤΗΜΑΤΑ ΕΜΠΕΙΡΟΓΝΩΜΟΝΕΣ
Τεχνητή νοημοσύνη
PROBABILISTIC LOGIC
Αλγόριθμοι
ΝΡ-πληρότητα
Γραμμικός προγραμματισμός
Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική
Natural Sciences
Ευρετικές μέθοδοι
Artificial intelligence
Expert systems
Ελληνική γλώσσα
Πανεπιστήμιο Πατρών
University of Patras
Πανεπιστήμιο Πατρών. Σχολή Πολυτεχνική. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Εθνικό Αρχείο Διδακτορικών Διατριβών
Συλλογή ΕΑΔΔ



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.