Attribute-grammar interpreter for inexact reasoning

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Σημασιολογικός εμπλουτισμός από το EKT
Τμήμα περιοδικού (EL)
Επιστημονικό άρθρο (EL)
1990 (EL)
Attribute-grammar interpreter for inexact reasoning (EN)
Sgouros, N (EN)
Papakonstantinou, G (EN)
Panayiotopoulos, T (EN)
An extended attribute-grammar (AG) interpreter is presented, which exhibits both inexact reasoning and full theorem-proving capabilities. Software engineering applications may be faced with the extra benefit of an inexact processing mechanism. The proposed tool allows the properties of AGs, full theorem-proving, and inexact representation and processing to be combined. The procedural and declarative characteristics may be expressed in the AGs' language, with additional calls to user-defined semantic functions, written in the host language. The inexact reasoning method proposed is wide enough to easily incorporate many inexact reasoning schemes. © 1990. (EN)
journalArticle (EN)
Computer Science, Information Systems (EN)
Inexact Reasoning (EN)
Computer Operating Systems - Program Interpreters (EN)
inexact reasoning (EN)
software engineering (EN)
theorem proving (EN)
Attribute-Grammars (EN)
uncertainty (EN)
Computer Science, Software Engineering (EN)
Theorem Proving (EN)
Automata Theory (EN)
attribute grammars (EN)
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Δημοσιεύσεις μελών Δ.Ε.Π. σε περιοδικά
Information and Software Technology (EN)
Αγγλική γλώσσα
1990 (EN)
http://hdl.handle.net/123456789/10185
356 (EN)
5 (EN)
347 (EN)
ISI:A1990DH33900004 (EN)
0950-5849 (EN)
32 (EN)
BUTTERWORTH-HEINEMANN LTD (EN)



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