Representations for reasoning about change:
This paper explores representations used to reason about objects which change over time, and the processes which cause changes. Specifically, we are interested in solving a problem known as geologic interpretation. To help solve this problem, we have developed a simulation technique, which we call i...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass.
1983
|
| Series: | Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo
702. |
| Subjects: | |
| Summary: | This paper explores representations used to reason about objects which change over time, and the processes which cause changes. Specifically, we are interested in solving a problem known as geologic interpretation. To help solve this problem, we have developed a simulation technique, which we call imaging. Imaging takes a sequence of events and simulates them by drawing diagrams. In order to do this imaging, we have developed two representations of objects, one involving histories and the other involving diagrams, and two corresponding representations of physical processes, each suited to reasoning about one of the object representations. These representations facilitate both spatial and temporal reasoning. (Author). |
| Physical Description: | 54 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV007614407 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930421s1983 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)227590928 | ||
| 035 | |a (DE-599)BVBBV007614407 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 | ||
| 100 | 1 | |a Simmons, Reid G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Representations for reasoning about change |c Reid G. Simmons ; Randall Davis* |
| 264 | 1 | |a Cambridge, Mass. |c 1983 | |
| 300 | |a 54 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo |v 702. | |
| 520 | 3 | |a This paper explores representations used to reason about objects which change over time, and the processes which cause changes. Specifically, we are interested in solving a problem known as geologic interpretation. To help solve this problem, we have developed a simulation technique, which we call imaging. Imaging takes a sequence of events and simulates them by drawing diagrams. In order to do this imaging, we have developed two representations of objects, one involving histories and the other involving diagrams, and two corresponding representations of physical processes, each suited to reasoning about one of the object representations. These representations facilitate both spatial and temporal reasoning. (Author). | |
| 650 | 4 | |a Expert systems | |
| 650 | 4 | |a Imaging | |
| 650 | 4 | |a Knowledge representation | |
| 650 | 4 | |a Qualitative reasoning | |
| 650 | 7 | |a Artificial intelligence |2 dtict | |
| 650 | 7 | |a Bionics |2 scgdst | |
| 650 | 7 | |a Change detection |2 dtict | |
| 650 | 7 | |a Cognition |2 dtict | |
| 650 | 7 | |a Computer applications |2 dtict | |
| 650 | 7 | |a Decision making |2 dtict | |
| 650 | 7 | |a Diagrams |2 dtict | |
| 650 | 7 | |a Geology |2 dtict | |
| 650 | 7 | |a Geology, Geochemistry and Mineralogy |2 scgdst | |
| 650 | 7 | |a Human Factors Engineering & Man Machine System |2 scgdst | |
| 650 | 7 | |a Information processing |2 dtict | |
| 650 | 7 | |a Natural language |2 dtict | |
| 650 | 7 | |a Patterns |2 dtict | |
| 650 | 7 | |a Physical properties |2 dtict | |
| 650 | 7 | |a Problem solving |2 dtict | |
| 650 | 7 | |a Reasoning |2 dtict | |
| 650 | 7 | |a Scenarios |2 dtict | |
| 650 | 7 | |a Simulation |2 dtict | |
| 650 | 7 | |a Structural geology |2 dtict | |
| 650 | 4 | |a Geologie | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 700 | 1 | |a Davis, Randall |e Verfasser |4 aut | |
| 830 | 0 | |a Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo |v 702. |w (DE-604)BV006654788 |9 702 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004980642 | ||
Record in the Search Index
| _version_ | 1804121931103862784 |
|---|---|
| any_adam_object | |
| author | Simmons, Reid G. Davis, Randall |
| author_facet | Simmons, Reid G. Davis, Randall |
| author_role | aut aut |
| author_sort | Simmons, Reid G. |
| author_variant | r g s rg rgs r d rd |
| building | Verbundindex |
| bvnumber | BV007614407 |
| ctrlnum | (OCoLC)227590928 (DE-599)BVBBV007614407 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02642nam a2200589 cb4500</leader><controlfield tag="001">BV007614407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1983 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227590928</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007614407</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-355</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Simmons, Reid G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Representations for reasoning about change</subfield><subfield code="c">Reid G. Simmons ; Randall Davis*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">54 S.</subfield><subfield code="b">graph. Darst.</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">Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo</subfield><subfield code="v">702.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This paper explores representations used to reason about objects which change over time, and the processes which cause changes. Specifically, we are interested in solving a problem known as geologic interpretation. To help solve this problem, we have developed a simulation technique, which we call imaging. Imaging takes a sequence of events and simulates them by drawing diagrams. In order to do this imaging, we have developed two representations of objects, one involving histories and the other involving diagrams, and two corresponding representations of physical processes, each suited to reasoning about one of the object representations. These representations facilitate both spatial and temporal reasoning. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Imaging</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Qualitative reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Change detection</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Cognition</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer applications</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Decision making</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Diagrams</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Geology</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Geology, Geochemistry and Mineralogy</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Human Factors Engineering & Man Machine System</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Information processing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Natural language</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Patterns</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Physical properties</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Problem solving</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reasoning</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Scenarios</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Simulation</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structural geology</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geologie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Davis, Randall</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo</subfield><subfield code="v">702.</subfield><subfield code="w">(DE-604)BV006654788</subfield><subfield code="9">702</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004980642</subfield></datafield></record></collection> |
| id | DE-604.BV007614407 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:05:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004980642 |
| oclc_num | 227590928 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | 54 S. graph. Darst. |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| record_format | marc |
| series | Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo |
| series2 | Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo |
| spelling | Simmons, Reid G. Verfasser aut Representations for reasoning about change Reid G. Simmons ; Randall Davis* Cambridge, Mass. 1983 54 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo 702. This paper explores representations used to reason about objects which change over time, and the processes which cause changes. Specifically, we are interested in solving a problem known as geologic interpretation. To help solve this problem, we have developed a simulation technique, which we call imaging. Imaging takes a sequence of events and simulates them by drawing diagrams. In order to do this imaging, we have developed two representations of objects, one involving histories and the other involving diagrams, and two corresponding representations of physical processes, each suited to reasoning about one of the object representations. These representations facilitate both spatial and temporal reasoning. (Author). Expert systems Imaging Knowledge representation Qualitative reasoning Artificial intelligence dtict Bionics scgdst Change detection dtict Cognition dtict Computer applications dtict Decision making dtict Diagrams dtict Geology dtict Geology, Geochemistry and Mineralogy scgdst Human Factors Engineering & Man Machine System scgdst Information processing dtict Natural language dtict Patterns dtict Physical properties dtict Problem solving dtict Reasoning dtict Scenarios dtict Simulation dtict Structural geology dtict Geologie Künstliche Intelligenz Davis, Randall Verfasser aut Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo 702. (DE-604)BV006654788 702 |
| spellingShingle | Simmons, Reid G. Davis, Randall Representations for reasoning about change Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. Memo Expert systems Imaging Knowledge representation Qualitative reasoning Artificial intelligence dtict Bionics scgdst Change detection dtict Cognition dtict Computer applications dtict Decision making dtict Diagrams dtict Geology dtict Geology, Geochemistry and Mineralogy scgdst Human Factors Engineering & Man Machine System scgdst Information processing dtict Natural language dtict Patterns dtict Physical properties dtict Problem solving dtict Reasoning dtict Scenarios dtict Simulation dtict Structural geology dtict Geologie Künstliche Intelligenz |
| title | Representations for reasoning about change |
| title_auth | Representations for reasoning about change |
| title_exact_search | Representations for reasoning about change |
| title_full | Representations for reasoning about change Reid G. Simmons ; Randall Davis* |
| title_fullStr | Representations for reasoning about change Reid G. Simmons ; Randall Davis* |
| title_full_unstemmed | Representations for reasoning about change Reid G. Simmons ; Randall Davis* |
| title_short | Representations for reasoning about change |
| title_sort | representations for reasoning about change |
| topic | Expert systems Imaging Knowledge representation Qualitative reasoning Artificial intelligence dtict Bionics scgdst Change detection dtict Cognition dtict Computer applications dtict Decision making dtict Diagrams dtict Geology dtict Geology, Geochemistry and Mineralogy scgdst Human Factors Engineering & Man Machine System scgdst Information processing dtict Natural language dtict Patterns dtict Physical properties dtict Problem solving dtict Reasoning dtict Scenarios dtict Simulation dtict Structural geology dtict Geologie Künstliche Intelligenz |
| topic_facet | Expert systems Imaging Knowledge representation Qualitative reasoning Artificial intelligence Bionics Change detection Cognition Computer applications Decision making Diagrams Geology Geology, Geochemistry and Mineralogy Human Factors Engineering & Man Machine System Information processing Natural language Patterns Physical properties Problem solving Reasoning Scenarios Simulation Structural geology Geologie Künstliche Intelligenz |
| volume_link | (DE-604)BV006654788 |
| work_keys_str_mv | AT simmonsreidg representationsforreasoningaboutchange AT davisrandall representationsforreasoningaboutchange |