Attribute-grammar interpreter for inexact reasoning

 
This item is provided by the institution :

Repository :
Digital Library of National Technical University of Athens | Dspace@NTUA
see the original item page
in the repository's web site and access all digital files if the item*
share



Semantic enrichment by EKT
Journal part (EN)
Scientific article (EN)
1990 (EN)
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)
National Technical University of Athens
Digital Library of National Technical University of Athens | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Δημοσιεύσεις μελών Δ.Ε.Π. σε περιοδικά
Information and Software Technology (EN)
English
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)



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)