Eco-logic: logic-based approaches to ecological modelling
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Series: | Logic programming
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 243 S. |
| ISBN: | 0262181436 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004528951 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 910926s1991 |||| 00||| engod | ||
| 020 | |a 0262181436 |9 0-262-18143-6 | ||
| 035 | |a (OCoLC)22661694 | ||
| 035 | |a (DE-599)BVBBV004528951 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-20 |a DE-11 | ||
| 050 | 0 | |a QH541.15.S5 | |
| 082 | 0 | |a 574.5/01/13 |2 20 | |
| 084 | |a WC 5300 |0 (DE-625)148110: |2 rvk | ||
| 084 | |a UMW 009f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Eco-logic |b logic-based approaches to ecological modelling |c David Robertson ... |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a 243 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 650 | 4 | |a Ecologie | |
| 650 | 4 | |a Modélisation | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 4 | |a Écologie - Simulation, Méthodes de | |
| 650 | 7 | |a Écologie - Simulation, Méthodes de |2 ram | |
| 650 | 4 | |a Ökologie | |
| 650 | 4 | |a Ecology |x Simulation methods | |
| 650 | 0 | 7 | |a Ökologie |0 (DE-588)4043207-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Simulation |0 (DE-588)4055072-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ökologie |0 (DE-588)4043207-5 |D s |
| 689 | 0 | 1 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Robertson, David |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002788699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002788699 | ||
Record in the Search Index
| _version_ | 1804118664753971200 |
|---|---|
| adam_text | Titel: Eco-logic
Autor: Robertson, David
Jahr: 1991
Contents
List of Figures
Series Foreword
Preface
1 Introduction 1
2 Ecology and Ecological Modelling 9
2.1 Ecology 9
2.2 Models in Ecology 10
2.2.1 Major Model Types 12
2.2.2 Modelling Paradigms 13
2.2.3 General simulation models 15
2.3 Development of a General Simulation Model 16
2.4 Conclusion 19
3 Representing Simulation Models in Prolog 21
3.1 Some Prolog Examples 22
3.1.1 A Simple System Dynamics Example 22
3.1.2 A Structural Growth Example 29
3.1.3 A State Transition Example 30
3.2 Converting Imperative Simulation Models into Prolog 38
3.3 Conclusion 44
4 Using an Order Sorted Logic for Simulation 47
4.1 Representing Objects and Sets of Objects 49
4.1.1 Simple Set Membership 50
4.1.2 Labelling Sets of Objects with Sort Names 51
4.1.3 Arranging Sort Names into Hierarchies 52
4.1.4 Complex Objects 55
4.1.5 Adding Relations Between Sorts 56
4.1.6 Infinite Sets 58
4.1.7 Intersection and Union of Sorts 59
Contents
4.1.8 Membership of Inverses of Sorts 61
4.2 Declaring Functions and Predicates 62
4.2.1 User Denned Functions and Predicates 62
4.2.2 System Functions and Predicates 64
4.2.3 Meta-Logical Functions and Predicates 65
4.3 Defining Sorted Logic Axioms 66
4.4 An Interpreter for the Sorted Logic 68
4.5 An Example Model in the Sorted Logic 73
4.6 Translation from the Sorted Logic to Prolog 78
4.7 Conclusion 80
5 Running Logic-Based Simulations 83
5.1 Meta-Interpreters for Prolog 86
5.1.1 Design of the Interpreters 86
5.1.2 Analysis of the Efficiency of the Interpreters 93
5.2 Meta-Interpreters for the Sorted Logic 97
5.3 Translation to an Imperative Language 98
5.4 Conclusion 103
6 High Level Problem Descriptions 105
6.1 Partitioning of Information 106
6.2 Preserving the Validity of Rules 108
6.3 The Importance of Abduction 110
6.4 Unifying Sorted Logic Formulae 111
6.5 The Deduction Mechanism 113
6.6 The Abduction Mechanism 115
6.7 Consistency Checking 116
6.8 The Problem of Completeness of High Level Descriptions 116
6.9 Conclusion 117
Contents
7 Model Construction Using Prolog Schemata 119
7.1 Overview 121
7.2 Prolog Program Schemata 123
7.2.1 Constants 124
7.2.2 Simple Equations 125
7.2.3 More Complex Procedures 127
7.2.4 Relational Structures 129
7.3 The Core EL System 130
7.3.1 Phase 1 - Describing the Ecological System 131
7.3.2 Phase 2 - Checking the Sort Hierarchy 139
7.3.3 Phase 3 - Filling in Characteristics of the Solution 140
7.3.4 Phase 4 — Defining the Simulation Program 141
7.4 Example of EL at Work 144
7.4.1 Phase 1 - Describing the Ecological System 144
7.4.2 Phase 2 - Checking the Sort Hierarchy 147
7.4.3 Phase 3 - Filling in Characteristics of the Solution 148
7.4.4 Phase 4 - Defining the Simulation Program 150
7.5 Describing a Pre-built Simulation Model 160
7.5.1 Reconstructing an EL session 161
7.5.2 Interface 163
7.6 Altering a Pre-built Simulation Model 166
7.7 Extensions of EL: the NIPPIE System 167
7.7.1 HIPPIE 169
7.7.2 NIPPIE 173
7.8 Conclusion 175
8 Model Construction in the Sorted Logic 177
8.1 Program Construction Algorithms 178
8.1.1 Developing the Sort Hierarchy 178
8.1.2 Specifying Modelling Goals 181
8.1.3 Constructing a Working Model 185
8.2 Example of SL at work 191
Contents
8.2.1 Developing the Sort Hierarchy 191
8.2.2 Specifying Modelling Goals 196
8.2.3 Constructing a Working Model 198
8.3 Conclusion 206
9 Conclusions 207
9.1 Contributions of the Eco-Logic Project 207
9.1.1 Model Description 207
9.1.2 Problem Description 208
9.1.3 Multi-Level Cooperative Dialogue 209
9.1.4 Providing Explanations 210
9.1.5 Idealisation 211
9.2 Future Directions of Research 213
9.3 Concluding Remarks 215
Bibliography 217
A Glossary of Terms 221
B Summary of Models 225
C Ancillary Definitions 227
Index 244
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004528951 |
| callnumber-first | Q - Science |
| callnumber-label | QH541 |
| callnumber-raw | QH541.15.S5 |
| callnumber-search | QH541.15.S5 |
| callnumber-sort | QH 3541.15 S5 |
| callnumber-subject | QH - Natural History and Biology |
| classification_rvk | WC 5300 |
| classification_tum | UMW 009f DAT 706f |
| ctrlnum | (OCoLC)22661694 (DE-599)BVBBV004528951 |
| dewey-full | 574.5/01/13 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 574 - [Unassigned] |
| dewey-raw | 574.5/01/13 |
| dewey-search | 574.5/01/13 |
| dewey-sort | 3574.5 11 213 |
| dewey-tens | 570 - Biology |
| discipline | Biologie Informatik Umwelt |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01710nam a2200481 c 4500</leader><controlfield tag="001">BV004528951</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910926s1991 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262181436</subfield><subfield code="9">0-262-18143-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22661694</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004528951</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QH541.15.S5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">574.5/01/13</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WC 5300</subfield><subfield code="0">(DE-625)148110:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">UMW 009f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eco-logic</subfield><subfield code="b">logic-based approaches to ecological modelling</subfield><subfield code="c">David Robertson ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">243 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="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ecologie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modélisation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Écologie - Simulation, Méthodes de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Écologie - Simulation, Méthodes de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ökologie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ecology</subfield><subfield code="x">Simulation methods</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ökologie</subfield><subfield code="0">(DE-588)4043207-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ökologie</subfield><subfield code="0">(DE-588)4043207-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robertson, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002788699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002788699</subfield></datafield></record></collection> |
| id | DE-604.BV004528951 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:13:54Z |
| institution | BVB |
| isbn | 0262181436 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002788699 |
| oclc_num | 22661694 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-20 DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-20 DE-11 |
| physical | 243 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Eco-logic logic-based approaches to ecological modelling David Robertson ... Cambridge, Mass. u.a. MIT Press 1991 243 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Ecologie Modélisation Programmation logique ram Écologie - Simulation, Méthodes de Écologie - Simulation, Méthodes de ram Ökologie Ecology Simulation methods Ökologie (DE-588)4043207-5 gnd rswk-swf Simulation (DE-588)4055072-2 gnd rswk-swf Ökologie (DE-588)4043207-5 s Simulation (DE-588)4055072-2 s DE-604 Robertson, David Sonstige oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002788699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Eco-logic logic-based approaches to ecological modelling Ecologie Modélisation Programmation logique ram Écologie - Simulation, Méthodes de Écologie - Simulation, Méthodes de ram Ökologie Ecology Simulation methods Ökologie (DE-588)4043207-5 gnd Simulation (DE-588)4055072-2 gnd |
| subject_GND | (DE-588)4043207-5 (DE-588)4055072-2 |
| title | Eco-logic logic-based approaches to ecological modelling |
| title_auth | Eco-logic logic-based approaches to ecological modelling |
| title_exact_search | Eco-logic logic-based approaches to ecological modelling |
| title_full | Eco-logic logic-based approaches to ecological modelling David Robertson ... |
| title_fullStr | Eco-logic logic-based approaches to ecological modelling David Robertson ... |
| title_full_unstemmed | Eco-logic logic-based approaches to ecological modelling David Robertson ... |
| title_short | Eco-logic |
| title_sort | eco logic logic based approaches to ecological modelling |
| title_sub | logic-based approaches to ecological modelling |
| topic | Ecologie Modélisation Programmation logique ram Écologie - Simulation, Méthodes de Écologie - Simulation, Méthodes de ram Ökologie Ecology Simulation methods Ökologie (DE-588)4043207-5 gnd Simulation (DE-588)4055072-2 gnd |
| topic_facet | Ecologie Modélisation Programmation logique Écologie - Simulation, Méthodes de Ökologie Ecology Simulation methods Simulation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002788699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT robertsondavid ecologiclogicbasedapproachestoecologicalmodelling |