A formal model through homogeneity theory of adaptive reasoning:
Abstract: "We address the problem of how to deal with inaccurate, incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory,...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
1989
|
| Schriftenreihe: | Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG
71 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We address the problem of how to deal with inaccurate, incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory, which we call homogeneity theory. The equivalence of the transformation rule of identity, for each reasoning system, to some expressions of homogeneity theory is proved. An order is then induced among the systems analysed using the expressions of homogeneity theory. Some natural criteria are formally defined in order to evaluate the respective power of the systems, which lead to a second order of the systems, embedded in the first An intermediate model and finally the model, called adaptive reasoning system, are specified. They are proved to be stronger than the systems previously examined, according to the criteria defined. The central idea in the adaptive reasoning system is the attempt to recognize patterns of behaviour in sources of information, or areas of interest, and regulate the reliability of the sources and the stability of the areas accordingly. The adaptive reasoning system is equipped with yardsticks against which to judge and regulate its own performance. |
| Beschreibung: | 195 S. |
| ISBN: | 0902928538 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006571920 | ||
| 003 | DE-604 | ||
| 005 | 20010702 | ||
| 007 | t| | ||
| 008 | 930210s1989 xx |||| 00||| eng d | ||
| 020 | |a 0902928538 |9 0-902928-53-8 | ||
| 035 | |a (OCoLC)21991874 | ||
| 035 | |a (DE-599)BVBBV006571920 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Garigliano, Roberto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A formal model through homogeneity theory of adaptive reasoning |c by Roberto Garigliano and Derek Long |
| 264 | 1 | |a Oxford |c 1989 | |
| 300 | |a 195 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG |v 71 | |
| 520 | 3 | |a Abstract: "We address the problem of how to deal with inaccurate, incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory, which we call homogeneity theory. The equivalence of the transformation rule of identity, for each reasoning system, to some expressions of homogeneity theory is proved. An order is then induced among the systems analysed using the expressions of homogeneity theory. Some natural criteria are formally defined in order to evaluate the respective power of the systems, which lead to a second order of the systems, embedded in the first | |
| 520 | 3 | |a An intermediate model and finally the model, called adaptive reasoning system, are specified. They are proved to be stronger than the systems previously examined, according to the criteria defined. The central idea in the adaptive reasoning system is the attempt to recognize patterns of behaviour in sources of information, or areas of interest, and regulate the reliability of the sources and the stability of the areas accordingly. The adaptive reasoning system is equipped with yardsticks against which to judge and regulate its own performance. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Information theory |2 sigle | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Long, Derek |e Verfasser |4 aut | |
| 810 | 2 | |a Programming Research Group: Technical monograph PRG |t Computing Laboratory <Oxford> |v 71 |w (DE-604)BV007221199 |9 71 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004192705 | |
Datensatz im Suchindex
| _version_ | 1820882341700042752 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Garigliano, Roberto Long, Derek |
| author_facet | Garigliano, Roberto Long, Derek |
| author_role | aut aut |
| author_sort | Garigliano, Roberto |
| author_variant | r g rg d l dl |
| building | Verbundindex |
| bvnumber | BV006571920 |
| classification_rvk | SS 4530 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)21991874 (DE-599)BVBBV006571920 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV006571920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010702</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1989 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0902928538</subfield><subfield code="9">0-902928-53-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21991874</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006571920</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garigliano, Roberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A formal model through homogeneity theory of adaptive reasoning</subfield><subfield code="c">by Roberto Garigliano and Derek Long</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">195 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">Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG</subfield><subfield code="v">71</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We address the problem of how to deal with inaccurate, incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory, which we call homogeneity theory. The equivalence of the transformation rule of identity, for each reasoning system, to some expressions of homogeneity theory is proved. An order is then induced among the systems analysed using the expressions of homogeneity theory. Some natural criteria are formally defined in order to evaluate the respective power of the systems, which lead to a second order of the systems, embedded in the first</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">An intermediate model and finally the model, called adaptive reasoning system, are specified. They are proved to be stronger than the systems previously examined, according to the criteria defined. The central idea in the adaptive reasoning system is the attempt to recognize patterns of behaviour in sources of information, or areas of interest, and regulate the reliability of the sources and the stability of the areas accordingly. The adaptive reasoning system is equipped with yardsticks against which to judge and regulate its own performance.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Information theory</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Long, Derek</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Programming Research Group: Technical monograph PRG</subfield><subfield code="t">Computing Laboratory <Oxford></subfield><subfield code="v">71</subfield><subfield code="w">(DE-604)BV007221199</subfield><subfield code="9">71</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004192705</subfield></datafield></record></collection> |
| id | DE-604.BV006571920 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:05:22Z |
| institution | BVB |
| isbn | 0902928538 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004192705 |
| oclc_num | 21991874 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 195 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG |
| spelling | Garigliano, Roberto Verfasser aut A formal model through homogeneity theory of adaptive reasoning by Roberto Garigliano and Derek Long Oxford 1989 195 S. txt rdacontent n rdamedia nc rdacarrier Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG 71 Abstract: "We address the problem of how to deal with inaccurate, incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory, which we call homogeneity theory. The equivalence of the transformation rule of identity, for each reasoning system, to some expressions of homogeneity theory is proved. An order is then induced among the systems analysed using the expressions of homogeneity theory. Some natural criteria are formally defined in order to evaluate the respective power of the systems, which lead to a second order of the systems, embedded in the first An intermediate model and finally the model, called adaptive reasoning system, are specified. They are proved to be stronger than the systems previously examined, according to the criteria defined. The central idea in the adaptive reasoning system is the attempt to recognize patterns of behaviour in sources of information, or areas of interest, and regulate the reliability of the sources and the stability of the areas accordingly. The adaptive reasoning system is equipped with yardsticks against which to judge and regulate its own performance. Computer software sigle Information theory sigle Reasoning Long, Derek Verfasser aut Programming Research Group: Technical monograph PRG Computing Laboratory <Oxford> 71 (DE-604)BV007221199 71 |
| spellingShingle | Garigliano, Roberto Long, Derek A formal model through homogeneity theory of adaptive reasoning Computer software sigle Information theory sigle Reasoning |
| title | A formal model through homogeneity theory of adaptive reasoning |
| title_auth | A formal model through homogeneity theory of adaptive reasoning |
| title_exact_search | A formal model through homogeneity theory of adaptive reasoning |
| title_full | A formal model through homogeneity theory of adaptive reasoning by Roberto Garigliano and Derek Long |
| title_fullStr | A formal model through homogeneity theory of adaptive reasoning by Roberto Garigliano and Derek Long |
| title_full_unstemmed | A formal model through homogeneity theory of adaptive reasoning by Roberto Garigliano and Derek Long |
| title_short | A formal model through homogeneity theory of adaptive reasoning |
| title_sort | a formal model through homogeneity theory of adaptive reasoning |
| topic | Computer software sigle Information theory sigle Reasoning |
| topic_facet | Computer software Information theory Reasoning |
| volume_link | (DE-604)BV007221199 |
| work_keys_str_mv | AT gariglianoroberto aformalmodelthroughhomogeneitytheoryofadaptivereasoning AT longderek aformalmodelthroughhomogeneitytheoryofadaptivereasoning |