Attribute-grammar interpreter for inexact reasoning

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



Attribute-grammar interpreter for inexact reasoning (EN)

Sgouros, N (EN)
Papakonstantinou, G (EN)
Panayiotopoulos, T (EN)

N/A (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

Inexact Reasoning (EN)
Computer Operating Systems - Program Interpreters (EN)
inexact reasoning (EN)
software engineering (EN)
theorem proving (EN)
Attribute-Grammars (EN)
uncertainty (EN)
Theorem Proving (EN)
Automata Theory (EN)
attribute grammars (EN)

Εθνικό Μετσόβιο Πολυτεχνείο (EL)
National Technical University of Athens (EN)

Information and Software Technology (EN)

1990


BUTTERWORTH-HEINEMANN LTD (EN)



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