An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system:
Abstract: "The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. A major open question in this field is the...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1995
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
732 |
| Subjects: | |
| Summary: | Abstract: "The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. A major open question in this field is the extent to which a connectionist architecture can accommodate basic concepts of symbolic inference, such as a dynamic variable binding mechanism and a rule and fact encoding mechanism involving n-ary predicates. One of the current leaders in this area is the connectionist rule-based system proposed by Shastri and Ajjanagadde. We demonstrate that the mechanism for variable binding which they advocate is fundamentally limited and show how a reinterpretation of the primitive components and corresponding modifications of their system can extend the range of inference which can be supported. Our extension hinges on the basic structural modification of the network components and further modifications of the rule and fact encoding mechanism. These modifications allow the extended model to have more expressive power in dealing with symbolic knowledge such as unification of terms across many groups of unifying arguments." |
| Physical Description: | 26 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011043470 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961107s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)34847586 | ||
| 035 | |a (DE-599)BVBBV011043470 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Park, Nam Seog |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |c Park, N. S. ; Robertson, D. ; Stenning, K. |
| 264 | 1 | |a Edinburgh |c 1995 | |
| 300 | |a 26 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 732 | |
| 520 | 3 | |a Abstract: "The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. A major open question in this field is the extent to which a connectionist architecture can accommodate basic concepts of symbolic inference, such as a dynamic variable binding mechanism and a rule and fact encoding mechanism involving n-ary predicates. One of the current leaders in this area is the connectionist rule-based system proposed by Shastri and Ajjanagadde. We demonstrate that the mechanism for variable binding which they advocate is fundamentally limited and show how a reinterpretation of the primitive components and corresponding modifications of their system can extend the range of inference which can be supported. Our extension hinges on the basic structural modification of the network components and further modifications of the rule and fact encoding mechanism. These modifications allow the extended model to have more expressive power in dealing with symbolic knowledge such as unification of terms across many groups of unifying arguments." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Connectionism | |
| 650 | 4 | |a Inference | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Robertson, Dave |e Verfasser |4 aut | |
| 700 | 1 | |a Stenning, Keith |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 732 |w (DE-604)BV010450646 |9 732 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007394780 | ||
Record in the Search Index
| _version_ | 1804125532743270400 |
|---|---|
| any_adam_object | |
| author | Park, Nam Seog Robertson, Dave Stenning, Keith |
| author_facet | Park, Nam Seog Robertson, Dave Stenning, Keith |
| author_role | aut aut aut |
| author_sort | Park, Nam Seog |
| author_variant | n s p ns nsp d r dr k s ks |
| building | Verbundindex |
| bvnumber | BV011043470 |
| ctrlnum | (OCoLC)34847586 (DE-599)BVBBV011043470 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02564nam a2200385 cb4500</leader><controlfield tag="001">BV011043470</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961107s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34847586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011043470</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">Park, Nam Seog</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system</subfield><subfield code="c">Park, N. S. ; Robertson, D. ; Stenning, K.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">26 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">732</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. A major open question in this field is the extent to which a connectionist architecture can accommodate basic concepts of symbolic inference, such as a dynamic variable binding mechanism and a rule and fact encoding mechanism involving n-ary predicates. One of the current leaders in this area is the connectionist rule-based system proposed by Shastri and Ajjanagadde. We demonstrate that the mechanism for variable binding which they advocate is fundamentally limited and show how a reinterpretation of the primitive components and corresponding modifications of their system can extend the range of inference which can be supported. Our extension hinges on the basic structural modification of the network components and further modifications of the rule and fact encoding mechanism. These modifications allow the extended model to have more expressive power in dealing with symbolic knowledge such as unification of terms across many groups of unifying arguments."</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">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Connectionism</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inference</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robertson, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stenning, Keith</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">732</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">732</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007394780</subfield></datafield></record></collection> |
| id | DE-604.BV011043470 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:04Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007394780 |
| oclc_num | 34847586 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 26 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Park, Nam Seog Verfasser aut An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system Park, N. S. ; Robertson, D. ; Stenning, K. Edinburgh 1995 26 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 732 Abstract: "The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. A major open question in this field is the extent to which a connectionist architecture can accommodate basic concepts of symbolic inference, such as a dynamic variable binding mechanism and a rule and fact encoding mechanism involving n-ary predicates. One of the current leaders in this area is the connectionist rule-based system proposed by Shastri and Ajjanagadde. We demonstrate that the mechanism for variable binding which they advocate is fundamentally limited and show how a reinterpretation of the primitive components and corresponding modifications of their system can extend the range of inference which can be supported. Our extension hinges on the basic structural modification of the network components and further modifications of the rule and fact encoding mechanism. These modifications allow the extended model to have more expressive power in dealing with symbolic knowledge such as unification of terms across many groups of unifying arguments." Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Connectionism Inference Reasoning Robertson, Dave Verfasser aut Stenning, Keith Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 732 (DE-604)BV010450646 732 |
| spellingShingle | Park, Nam Seog Robertson, Dave Stenning, Keith An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Connectionism Inference Reasoning |
| title | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |
| title_auth | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |
| title_exact_search | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |
| title_full | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system Park, N. S. ; Robertson, D. ; Stenning, K. |
| title_fullStr | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system Park, N. S. ; Robertson, D. ; Stenning, K. |
| title_full_unstemmed | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system Park, N. S. ; Robertson, D. ; Stenning, K. |
| title_short | An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |
| title_sort | an extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system |
| topic | Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Connectionism Inference Reasoning |
| topic_facet | Bionics and artificial intelligence Computer software Künstliche Intelligenz Artificial intelligence Connectionism Inference Reasoning |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT parknamseog anextensionofthetemporalsynchronyapproachtodynamicvariablebindinginaconnectionistinferencesystem AT robertsondave anextensionofthetemporalsynchronyapproachtodynamicvariablebindinginaconnectionistinferencesystem AT stenningkeith anextensionofthetemporalsynchronyapproachtodynamicvariablebindinginaconnectionistinferencesystem |