Partial logics with two kinds of negation as a foundation for knowledge based reasoning:
Abstract: "We show how to use model classes of partial logic to define semantics of general knowledge-based reasoning. Its essential benefit is that partial logics allows us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsification...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1995
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
95,74 |
| Subjects: | |
| Summary: | Abstract: "We show how to use model classes of partial logic to define semantics of general knowledge-based reasoning. Its essential benefit is that partial logics allows us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsification of information. Another general advantage of partial logic, which we discuss in the first part, is that its meta-theory is very close to the meta-theory of classical logic. In the second part notions of minimal, paraminimal and stable models are presented in terms of partial logic and we show how the resulting definitions can be used to define the semantics of knowledge bases such as relational and deductive databases, and extended logic programs." |
| Physical Description: | 35 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011064428 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961118s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)35190126 | ||
| 035 | |a (DE-599)BVBBV011064428 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Herre, Heinrich |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Partial logics with two kinds of negation as a foundation for knowledge based reasoning |c H. Herre ; J. O. M. Jaspars ; G. Wagner |
| 264 | 1 | |a Amsterdam |c 1995 | |
| 300 | |a 35 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 95,74 | |
| 520 | 3 | |a Abstract: "We show how to use model classes of partial logic to define semantics of general knowledge-based reasoning. Its essential benefit is that partial logics allows us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsification of information. Another general advantage of partial logic, which we discuss in the first part, is that its meta-theory is very close to the meta-theory of classical logic. In the second part notions of minimal, paraminimal and stable models are presented in terms of partial logic and we show how the resulting definitions can be used to define the semantics of knowledge bases such as relational and deductive databases, and extended logic programs." | |
| 650 | 4 | |a Formal languages |x Semantics | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Jaspars, Jan O. M. |e Verfasser |4 aut | |
| 700 | 1 | |a Wagner, Gerd |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 95,74 |w (DE-604)BV008928356 |9 95,74 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007410380 | ||
Record in the Search Index
| _version_ | 1804125553416994816 |
|---|---|
| any_adam_object | |
| author | Herre, Heinrich Jaspars, Jan O. M. Wagner, Gerd |
| author_facet | Herre, Heinrich Jaspars, Jan O. M. Wagner, Gerd |
| author_role | aut aut aut |
| author_sort | Herre, Heinrich |
| author_variant | h h hh j o m j jom jomj g w gw |
| building | Verbundindex |
| bvnumber | BV011064428 |
| ctrlnum | (OCoLC)35190126 (DE-599)BVBBV011064428 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01939nam a2200337 cb4500</leader><controlfield tag="001">BV011064428</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961118s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35190126</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011064428</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="100" ind1="1" ind2=" "><subfield code="a">Herre, Heinrich</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Partial logics with two kinds of negation as a foundation for knowledge based reasoning</subfield><subfield code="c">H. Herre ; J. O. M. Jaspars ; G. Wagner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">35 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">95,74</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We show how to use model classes of partial logic to define semantics of general knowledge-based reasoning. Its essential benefit is that partial logics allows us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsification of information. Another general advantage of partial logic, which we discuss in the first part, is that its meta-theory is very close to the meta-theory of classical logic. In the second part notions of minimal, paraminimal and stable models are presented in terms of partial logic and we show how the resulting definitions can be used to define the semantics of knowledge bases such as relational and deductive databases, and extended logic programs."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jaspars, Jan O. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wagner, Gerd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">95,74</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">95,74</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007410380</subfield></datafield></record></collection> |
| id | DE-604.BV011064428 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:23Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007410380 |
| oclc_num | 35190126 |
| open_access_boolean | |
| physical | 35 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Herre, Heinrich Verfasser aut Partial logics with two kinds of negation as a foundation for knowledge based reasoning H. Herre ; J. O. M. Jaspars ; G. Wagner Amsterdam 1995 35 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,74 Abstract: "We show how to use model classes of partial logic to define semantics of general knowledge-based reasoning. Its essential benefit is that partial logics allows us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsification of information. Another general advantage of partial logic, which we discuss in the first part, is that its meta-theory is very close to the meta-theory of classical logic. In the second part notions of minimal, paraminimal and stable models are presented in terms of partial logic and we show how the resulting definitions can be used to define the semantics of knowledge bases such as relational and deductive databases, and extended logic programs." Formal languages Semantics Logic programming Modality (Logic) Reasoning Jaspars, Jan O. M. Verfasser aut Wagner, Gerd Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 95,74 (DE-604)BV008928356 95,74 |
| spellingShingle | Herre, Heinrich Jaspars, Jan O. M. Wagner, Gerd Partial logics with two kinds of negation as a foundation for knowledge based reasoning Formal languages Semantics Logic programming Modality (Logic) Reasoning |
| title | Partial logics with two kinds of negation as a foundation for knowledge based reasoning |
| title_auth | Partial logics with two kinds of negation as a foundation for knowledge based reasoning |
| title_exact_search | Partial logics with two kinds of negation as a foundation for knowledge based reasoning |
| title_full | Partial logics with two kinds of negation as a foundation for knowledge based reasoning H. Herre ; J. O. M. Jaspars ; G. Wagner |
| title_fullStr | Partial logics with two kinds of negation as a foundation for knowledge based reasoning H. Herre ; J. O. M. Jaspars ; G. Wagner |
| title_full_unstemmed | Partial logics with two kinds of negation as a foundation for knowledge based reasoning H. Herre ; J. O. M. Jaspars ; G. Wagner |
| title_short | Partial logics with two kinds of negation as a foundation for knowledge based reasoning |
| title_sort | partial logics with two kinds of negation as a foundation for knowledge based reasoning |
| topic | Formal languages Semantics Logic programming Modality (Logic) Reasoning |
| topic_facet | Formal languages Semantics Logic programming Modality (Logic) Reasoning |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT herreheinrich partiallogicswithtwokindsofnegationasafoundationforknowledgebasedreasoning AT jasparsjanom partiallogicswithtwokindsofnegationasafoundationforknowledgebasedreasoning AT wagnergerd partiallogicswithtwokindsofnegationasafoundationforknowledgebasedreasoning |