Extensions to a generalization critic for inductive proof:
Abstract: "In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heurisic known as rippling. Through empirical testing a natural generalization and extension of...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1996
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
786 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heurisic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising experimental results." |
| Beschreibung: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011049479 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961111s1996 |||| 00||| engod | ||
| 035 | |a (OCoLC)35590604 | ||
| 035 | |a (DE-599)BVBBV011049479 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Ireland, Andrew |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Extensions to a generalization critic for inductive proof |c Ireland, A. ; Bundy, A. |
| 264 | 1 | |a Edinburgh |c 1996 | |
| 300 | |a 15 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 786 | |
| 520 | 3 | |a Abstract: "In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heurisic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising experimental results." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Induction (Logic) | |
| 650 | 4 | |a Proof theory | |
| 700 | 1 | |a Bundy, Alan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 786 |w (DE-604)BV010450646 |9 786 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007399942 | ||
Datensatz im Suchindex
| _version_ | 1804125539117563904 |
|---|---|
| any_adam_object | |
| author | Ireland, Andrew Bundy, Alan |
| author_facet | Ireland, Andrew Bundy, Alan |
| author_role | aut aut |
| author_sort | Ireland, Andrew |
| author_variant | a i ai a b ab |
| building | Verbundindex |
| bvnumber | BV011049479 |
| ctrlnum | (OCoLC)35590604 (DE-599)BVBBV011049479 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01584nam a2200349 cb4500</leader><controlfield tag="001">BV011049479</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961111s1996 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35590604</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011049479</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="100" ind1="1" ind2=" "><subfield code="a">Ireland, Andrew</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Extensions to a generalization critic for inductive proof</subfield><subfield code="c">Ireland, A. ; Bundy, A.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">786</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heurisic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising experimental results."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</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="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bundy, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">786</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">786</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007399942</subfield></datafield></record></collection> |
| id | DE-604.BV011049479 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:10Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007399942 |
| oclc_num | 35590604 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 15 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Ireland, Andrew Verfasser aut Extensions to a generalization critic for inductive proof Ireland, A. ; Bundy, A. Edinburgh 1996 15 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 786 Abstract: "In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heurisic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising experimental results." Bionics and artificial intelligence sigle Computer software sigle Automatic theorem proving Induction (Logic) Proof theory Bundy, Alan Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 786 (DE-604)BV010450646 786 |
| spellingShingle | Ireland, Andrew Bundy, Alan Extensions to a generalization critic for inductive proof Bionics and artificial intelligence sigle Computer software sigle Automatic theorem proving Induction (Logic) Proof theory |
| title | Extensions to a generalization critic for inductive proof |
| title_auth | Extensions to a generalization critic for inductive proof |
| title_exact_search | Extensions to a generalization critic for inductive proof |
| title_full | Extensions to a generalization critic for inductive proof Ireland, A. ; Bundy, A. |
| title_fullStr | Extensions to a generalization critic for inductive proof Ireland, A. ; Bundy, A. |
| title_full_unstemmed | Extensions to a generalization critic for inductive proof Ireland, A. ; Bundy, A. |
| title_short | Extensions to a generalization critic for inductive proof |
| title_sort | extensions to a generalization critic for inductive proof |
| topic | Bionics and artificial intelligence sigle Computer software sigle Automatic theorem proving Induction (Logic) Proof theory |
| topic_facet | Bionics and artificial intelligence Computer software Automatic theorem proving Induction (Logic) Proof theory |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT irelandandrew extensionstoageneralizationcriticforinductiveproof AT bundyalan extensionstoageneralizationcriticforinductiveproof |