Representation of fragmentary and multilayered knowledge: a semiformal metatheory as an interactive metalogic program
Abstract: "Metalogic programming is an important technique for the three interrelated topics 'knowledge representation', 'knowledge processing', and 'knowledge assimilation'. Its expressiveness enables a logically pure structure preserving representation of multila...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Uppsala, Sweden
1991
|
| Schriftenreihe: | Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report
68 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Metalogic programming is an important technique for the three interrelated topics 'knowledge representation', 'knowledge processing', and 'knowledge assimilation'. Its expressiveness enables a logically pure structure preserving representation of multilayered, fragmentary knowledge which, since not fully formalisable, requires the assimilation of externally supplied knowledge. We have gained new methodological insight contrasting multilayered and imprecise theories to exact theories, by splitting the formalisation problem into three distinct theories: the informal theory to be formalised, the formal theory, and the informal or, as in our case, semiformal metatheory discussing the two former Our example is hierarchical legal knowledge where rules proposed for inclusion in a theory of legally acceptable rules at a level i must be accepted by (meta)rules of legal interpretation in a theory of legally acceptable metarules at level i+1 which in their turn must be accepted by metametarules at level i+2, ets. Moreover, legal knowledge is fragmentary in the sense that it contains only schematic descriptions of the rules at the respective levels and from these schemata case specific rules must be dynamically generated for each particular adjudication. Legal reasoning between two adjacent levels exhibits a clear informal counterpart to upward reflection while, on the contrary, downward reflection is disallowed. Our study is the first illustrating the use of reflection in a representation of realistic knowledge Furthermore, metalogic programming with reflection allows us to easily cope with changes in the dynamic domain knowledge since it enables a modular representation which is structure preserving both horizontally and vertically. We present a semiformal metatheory expressing legal knowledge as a Horn clause metaprogram, implemented in Prolog, which interactively constructs and presents metaproofs (proof terms) allowing the user to assess and accept or reject the conclusions arrived at. |
| Beschreibung: | 45 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011000541 | ||
| 003 | DE-604 | ||
| 005 | 19980216 | ||
| 007 | t | ||
| 008 | 961015s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)36009263 | ||
| 035 | |a (DE-599)BVBBV011000541 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Hamfelt, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Representation of fragmentary and multilayered knowledge |b a semiformal metatheory as an interactive metalogic program |c Andreas Hamfelt ; Åke Hansson |
| 264 | 1 | |a Uppsala, Sweden |c 1991 | |
| 300 | |a 45 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report |v 68 | |
| 520 | 3 | |a Abstract: "Metalogic programming is an important technique for the three interrelated topics 'knowledge representation', 'knowledge processing', and 'knowledge assimilation'. Its expressiveness enables a logically pure structure preserving representation of multilayered, fragmentary knowledge which, since not fully formalisable, requires the assimilation of externally supplied knowledge. We have gained new methodological insight contrasting multilayered and imprecise theories to exact theories, by splitting the formalisation problem into three distinct theories: the informal theory to be formalised, the formal theory, and the informal or, as in our case, semiformal metatheory discussing the two former | |
| 520 | 3 | |a Our example is hierarchical legal knowledge where rules proposed for inclusion in a theory of legally acceptable rules at a level i must be accepted by (meta)rules of legal interpretation in a theory of legally acceptable metarules at level i+1 which in their turn must be accepted by metametarules at level i+2, ets. Moreover, legal knowledge is fragmentary in the sense that it contains only schematic descriptions of the rules at the respective levels and from these schemata case specific rules must be dynamically generated for each particular adjudication. Legal reasoning between two adjacent levels exhibits a clear informal counterpart to upward reflection while, on the contrary, downward reflection is disallowed. Our study is the first illustrating the use of reflection in a representation of realistic knowledge | |
| 520 | 3 | |a Furthermore, metalogic programming with reflection allows us to easily cope with changes in the dynamic domain knowledge since it enables a modular representation which is structure preserving both horizontally and vertically. We present a semiformal metatheory expressing legal knowledge as a Horn clause metaprogram, implemented in Prolog, which interactively constructs and presents metaproofs (proof terms) allowing the user to assess and accept or reject the conclusions arrived at. | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Horn clauses | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Hansson, Åke |e Verfasser |0 (DE-588)128128771 |4 aut | |
| 830 | 0 | |a Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report |v 68 |w (DE-604)BV011000452 |9 68 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007364554 | ||
Datensatz im Suchindex
| _version_ | 1804125491376947200 |
|---|---|
| any_adam_object | |
| author | Hamfelt, Andreas Hansson, Åke |
| author_GND | (DE-588)128128771 |
| author_facet | Hamfelt, Andreas Hansson, Åke |
| author_role | aut aut |
| author_sort | Hamfelt, Andreas |
| author_variant | a h ah å h åh |
| building | Verbundindex |
| bvnumber | BV011000541 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)36009263 (DE-599)BVBBV011000541 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03352nam a2200373 cb4500</leader><controlfield tag="001">BV011000541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961015s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36009263</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011000541</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hamfelt, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Representation of fragmentary and multilayered knowledge</subfield><subfield code="b">a semiformal metatheory as an interactive metalogic program</subfield><subfield code="c">Andreas Hamfelt ; Åke Hansson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Uppsala, Sweden</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">45 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report</subfield><subfield code="v">68</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Metalogic programming is an important technique for the three interrelated topics 'knowledge representation', 'knowledge processing', and 'knowledge assimilation'. Its expressiveness enables a logically pure structure preserving representation of multilayered, fragmentary knowledge which, since not fully formalisable, requires the assimilation of externally supplied knowledge. We have gained new methodological insight contrasting multilayered and imprecise theories to exact theories, by splitting the formalisation problem into three distinct theories: the informal theory to be formalised, the formal theory, and the informal or, as in our case, semiformal metatheory discussing the two former</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Our example is hierarchical legal knowledge where rules proposed for inclusion in a theory of legally acceptable rules at a level i must be accepted by (meta)rules of legal interpretation in a theory of legally acceptable metarules at level i+1 which in their turn must be accepted by metametarules at level i+2, ets. Moreover, legal knowledge is fragmentary in the sense that it contains only schematic descriptions of the rules at the respective levels and from these schemata case specific rules must be dynamically generated for each particular adjudication. Legal reasoning between two adjacent levels exhibits a clear informal counterpart to upward reflection while, on the contrary, downward reflection is disallowed. Our study is the first illustrating the use of reflection in a representation of realistic knowledge</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Furthermore, metalogic programming with reflection allows us to easily cope with changes in the dynamic domain knowledge since it enables a modular representation which is structure preserving both horizontally and vertically. We present a semiformal metatheory expressing legal knowledge as a Horn clause metaprogram, implemented in Prolog, which interactively constructs and presents metaproofs (proof terms) allowing the user to assess and accept or reject the conclusions arrived at.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Horn clauses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hansson, Åke</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128128771</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report</subfield><subfield code="v">68</subfield><subfield code="w">(DE-604)BV011000452</subfield><subfield code="9">68</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007364554</subfield></datafield></record></collection> |
| id | DE-604.BV011000541 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:02:24Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007364554 |
| oclc_num | 36009263 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 45 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report |
| series2 | Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report |
| spelling | Hamfelt, Andreas Verfasser aut Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program Andreas Hamfelt ; Åke Hansson Uppsala, Sweden 1991 45 S. txt rdacontent n rdamedia nc rdacarrier Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report 68 Abstract: "Metalogic programming is an important technique for the three interrelated topics 'knowledge representation', 'knowledge processing', and 'knowledge assimilation'. Its expressiveness enables a logically pure structure preserving representation of multilayered, fragmentary knowledge which, since not fully formalisable, requires the assimilation of externally supplied knowledge. We have gained new methodological insight contrasting multilayered and imprecise theories to exact theories, by splitting the formalisation problem into three distinct theories: the informal theory to be formalised, the formal theory, and the informal or, as in our case, semiformal metatheory discussing the two former Our example is hierarchical legal knowledge where rules proposed for inclusion in a theory of legally acceptable rules at a level i must be accepted by (meta)rules of legal interpretation in a theory of legally acceptable metarules at level i+1 which in their turn must be accepted by metametarules at level i+2, ets. Moreover, legal knowledge is fragmentary in the sense that it contains only schematic descriptions of the rules at the respective levels and from these schemata case specific rules must be dynamically generated for each particular adjudication. Legal reasoning between two adjacent levels exhibits a clear informal counterpart to upward reflection while, on the contrary, downward reflection is disallowed. Our study is the first illustrating the use of reflection in a representation of realistic knowledge Furthermore, metalogic programming with reflection allows us to easily cope with changes in the dynamic domain knowledge since it enables a modular representation which is structure preserving both horizontally and vertically. We present a semiformal metatheory expressing legal knowledge as a Horn clause metaprogram, implemented in Prolog, which interactively constructs and presents metaproofs (proof terms) allowing the user to assess and accept or reject the conclusions arrived at. Expert systems (Computer science) Horn clauses Knowledge representation (Information theory) Prolog (Computer program language) Hansson, Åke Verfasser (DE-588)128128771 aut Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report 68 (DE-604)BV011000452 68 |
| spellingShingle | Hamfelt, Andreas Hansson, Åke Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program Uppsala Programming Methodology and Artificial Intelligence Laboratory: UPMAIL technical report Expert systems (Computer science) Horn clauses Knowledge representation (Information theory) Prolog (Computer program language) |
| title | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program |
| title_auth | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program |
| title_exact_search | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program |
| title_full | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program Andreas Hamfelt ; Åke Hansson |
| title_fullStr | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program Andreas Hamfelt ; Åke Hansson |
| title_full_unstemmed | Representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program Andreas Hamfelt ; Åke Hansson |
| title_short | Representation of fragmentary and multilayered knowledge |
| title_sort | representation of fragmentary and multilayered knowledge a semiformal metatheory as an interactive metalogic program |
| title_sub | a semiformal metatheory as an interactive metalogic program |
| topic | Expert systems (Computer science) Horn clauses Knowledge representation (Information theory) Prolog (Computer program language) |
| topic_facet | Expert systems (Computer science) Horn clauses Knowledge representation (Information theory) Prolog (Computer program language) |
| volume_link | (DE-604)BV011000452 |
| work_keys_str_mv | AT hamfeltandreas representationoffragmentaryandmultilayeredknowledgeasemiformalmetatheoryasaninteractivemetalogicprogram AT hanssonake representationoffragmentaryandmultilayeredknowledgeasemiformalmetatheoryasaninteractivemetalogicprogram |