Electronic Resource
Boston, USA and Oxford, UK
:
Blackwell Publishers Inc
Computational intelligence
14 (1998), S. 0
ISSN:
1467-8640
Source:
Blackwell Publishing Journal Backfiles 1879-2005
Topics:
Computer Science
Notes:
We study the expressiveness of Nested Graphs, an extension of conceptual graphs. Nesting is introduced as a formal version of the intuitive “zooming in” on descriptions of individuals. Projections are defined inductively as the formal tool for “reasoning with nested graphs.” Nested graphs are translated to “colored” formulas. Coloring represents anaphoras in a way similar to conceptual graphs. A system of Gentzen sequents is shown to be adequate and complete with respect to projections of nested graphs.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1111/0824-7935.00066
Permalink
|
Location |
Call Number |
Expected |
Availability |