A characterization of stable models using a non-monotonic operator:
Abstract: "Stable models seem to be a natural way to describe the beliefs of a rational agent. However, the definition of stable models itself is not constructive. It is therefore interesting to find a constructive characterization of stable models, using a fixpoint construction. The operator w...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1993
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,15 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Stable models seem to be a natural way to describe the beliefs of a rational agent. However, the definition of stable models itself is not constructive. It is therefore interesting to find a constructive characterization of stable models, using a fixpoint construction. The operator we define, is based on the work of -- among others -- F. Fages. For this operator, every total stable model of a general logic program will coincide with the limit of some (infinite) sequence of interpretations generated by it. Moreover, the set of all stable models will coincide with certain interpretations in these sequences. Furthermore, we will characterize the least fixpoint of the Fitting operator and the well-founded model, using our operator." |
| Beschreibung: | 21 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009034495 | ||
| 003 | DE-604 | ||
| 005 | 19950510 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31237717 | ||
| 035 | |a (DE-599)BVBBV009034495 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Teusink, Frank |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A characterization of stable models using a non-monotonic operator |c F. Teusink |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 21 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 93,15 | |
| 520 | 3 | |a Abstract: "Stable models seem to be a natural way to describe the beliefs of a rational agent. However, the definition of stable models itself is not constructive. It is therefore interesting to find a constructive characterization of stable models, using a fixpoint construction. The operator we define, is based on the work of -- among others -- F. Fages. For this operator, every total stable model of a general logic program will coincide with the limit of some (infinite) sequence of interpretations generated by it. Moreover, the set of all stable models will coincide with certain interpretations in these sequences. Furthermore, we will characterize the least fixpoint of the Fitting operator and the well-founded model, using our operator." | |
| 650 | 4 | |a Logic programming | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,15 |w (DE-604)BV008928356 |9 93,15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005977085 | ||
Datensatz im Suchindex
| _version_ | 1804123387892596736 |
|---|---|
| any_adam_object | |
| author | Teusink, Frank |
| author_facet | Teusink, Frank |
| author_role | aut |
| author_sort | Teusink, Frank |
| author_variant | f t ft |
| building | Verbundindex |
| bvnumber | BV009034495 |
| ctrlnum | (OCoLC)31237717 (DE-599)BVBBV009034495 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01718nam a2200289 cb4500</leader><controlfield tag="001">BV009034495</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950510 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31237717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009034495</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">Teusink, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A characterization of stable models using a non-monotonic operator</subfield><subfield code="c">F. Teusink</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 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">93,15</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Stable models seem to be a natural way to describe the beliefs of a rational agent. However, the definition of stable models itself is not constructive. It is therefore interesting to find a constructive characterization of stable models, using a fixpoint construction. The operator we define, is based on the work of -- among others -- F. Fages. For this operator, every total stable model of a general logic program will coincide with the limit of some (infinite) sequence of interpretations generated by it. Moreover, the set of all stable models will coincide with certain interpretations in these sequences. Furthermore, we will characterize the least fixpoint of the Fitting operator and the well-founded model, using our operator."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">93,15</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005977085</subfield></datafield></record></collection> |
| id | DE-604.BV009034495 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005977085 |
| oclc_num | 31237717 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 21 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Teusink, Frank Verfasser aut A characterization of stable models using a non-monotonic operator F. Teusink Amsterdam 1993 21 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,15 Abstract: "Stable models seem to be a natural way to describe the beliefs of a rational agent. However, the definition of stable models itself is not constructive. It is therefore interesting to find a constructive characterization of stable models, using a fixpoint construction. The operator we define, is based on the work of -- among others -- F. Fages. For this operator, every total stable model of a general logic program will coincide with the limit of some (infinite) sequence of interpretations generated by it. Moreover, the set of all stable models will coincide with certain interpretations in these sequences. Furthermore, we will characterize the least fixpoint of the Fitting operator and the well-founded model, using our operator." Logic programming Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,15 (DE-604)BV008928356 93,15 |
| spellingShingle | Teusink, Frank A characterization of stable models using a non-monotonic operator Logic programming |
| title | A characterization of stable models using a non-monotonic operator |
| title_auth | A characterization of stable models using a non-monotonic operator |
| title_exact_search | A characterization of stable models using a non-monotonic operator |
| title_full | A characterization of stable models using a non-monotonic operator F. Teusink |
| title_fullStr | A characterization of stable models using a non-monotonic operator F. Teusink |
| title_full_unstemmed | A characterization of stable models using a non-monotonic operator F. Teusink |
| title_short | A characterization of stable models using a non-monotonic operator |
| title_sort | a characterization of stable models using a non monotonic operator |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT teusinkfrank acharacterizationofstablemodelsusinganonmonotonicoperator |