Semantics and consistency of rule-based expert systems:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
1988
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
88,24 |
| Schlagwörter: | |
| Abstract: | Abstract: "Consistency of a knowledge-based system has become a topic of growing concern. Every notion of consistency presupposes a notion of semantics. We present a theoretical framework in which both the semantics and the consistency of a knowledge base can be studied. This framework is based on first order flat many-sorted predicate logic and is sufficiently rich to capture an interesting class of rule-based expert systems and deductive databases. We analyse the feasibility of the consistency test and prove that this test is feasible for knowledge bases in Horn format without quantification. This report is a revised and extended version of report CS-R8736. The extension concerns the use of expressions in rules." |
| Umfang: | 14 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009245953 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 940313s1988 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)20959317 | ||
| 035 | |a (DE-599)BVBBV009245953 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bezem, Marc |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantics and consistency of rule-based expert systems |c M. Bezem |
| 264 | 1 | |a Amsterdam |c 1988 | |
| 300 | |a 14 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 88,24 | |
| 520 | 3 | |a Abstract: "Consistency of a knowledge-based system has become a topic of growing concern. Every notion of consistency presupposes a notion of semantics. We present a theoretical framework in which both the semantics and the consistency of a knowledge base can be studied. This framework is based on first order flat many-sorted predicate logic and is sufficiently rich to capture an interesting class of rule-based expert systems and deductive databases. We analyse the feasibility of the consistency test and prove that this test is feasible for knowledge bases in Horn format without quantification. This report is a revised and extended version of report CS-R8736. The extension concerns the use of expressions in rules." | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Semantics | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 88,24 |w (DE-604)BV008928356 |9 88,24 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006152292 | |
Datensatz im Suchindex
| _version_ | 1818951470203011072 |
|---|---|
| any_adam_object | |
| author | Bezem, Marc |
| author_facet | Bezem, Marc |
| author_role | aut |
| author_sort | Bezem, Marc |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV009245953 |
| ctrlnum | (OCoLC)20959317 (DE-599)BVBBV009245953 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01715nam a2200301 cb4500</leader><controlfield tag="001">BV009245953</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940313s1988 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20959317</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009245953</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bezem, Marc</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics and consistency of rule-based expert systems</subfield><subfield code="c">M. Bezem</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">88,24</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Consistency of a knowledge-based system has become a topic of growing concern. Every notion of consistency presupposes a notion of semantics. We present a theoretical framework in which both the semantics and the consistency of a knowledge base can be studied. This framework is based on first order flat many-sorted predicate logic and is sufficiently rich to capture an interesting class of rule-based expert systems and deductive databases. We analyse the feasibility of the consistency test and prove that this test is feasible for knowledge bases in Horn format without quantification. This report is a revised and extended version of report CS-R8736. The extension concerns the use of expressions in rules."</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">Semantics</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">88,24</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">88,24</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006152292</subfield></datafield></record></collection> |
| id | DE-604.BV009245953 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:34:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006152292 |
| oclc_num | 20959317 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 14 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bezem, Marc Verfasser aut Semantics and consistency of rule-based expert systems M. Bezem Amsterdam 1988 14 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 88,24 Abstract: "Consistency of a knowledge-based system has become a topic of growing concern. Every notion of consistency presupposes a notion of semantics. We present a theoretical framework in which both the semantics and the consistency of a knowledge base can be studied. This framework is based on first order flat many-sorted predicate logic and is sufficiently rich to capture an interesting class of rule-based expert systems and deductive databases. We analyse the feasibility of the consistency test and prove that this test is feasible for knowledge bases in Horn format without quantification. This report is a revised and extended version of report CS-R8736. The extension concerns the use of expressions in rules." Expert systems (Computer science) Semantics Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 88,24 (DE-604)BV008928356 88,24 |
| spellingShingle | Bezem, Marc Semantics and consistency of rule-based expert systems Expert systems (Computer science) Semantics |
| title | Semantics and consistency of rule-based expert systems |
| title_auth | Semantics and consistency of rule-based expert systems |
| title_exact_search | Semantics and consistency of rule-based expert systems |
| title_full | Semantics and consistency of rule-based expert systems M. Bezem |
| title_fullStr | Semantics and consistency of rule-based expert systems M. Bezem |
| title_full_unstemmed | Semantics and consistency of rule-based expert systems M. Bezem |
| title_short | Semantics and consistency of rule-based expert systems |
| title_sort | semantics and consistency of rule based expert systems |
| topic | Expert systems (Computer science) Semantics |
| topic_facet | Expert systems (Computer science) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bezemmarc semanticsandconsistencyofrulebasedexpertsystems |