Verfügbarkeit: Formal ontology of action

Formal ontology of action: a unifying approach

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Trypuz, Robert (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Lublin Wydawnictwo KUL 2008
Schlagworte:	Modallogik Ontologie Logik
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	218 S. 21 cm
ISBN:	9788373637344

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV036116335
003	DE-604
005	20100609
007	t
008	100412s2008 \|\|\|\| 00\|\|\| eng d
020			\|a 9788373637344 \|9 978-83-7363-734-4
035			\|a (OCoLC)297620496
035			\|a (DE-599)BVBBV036116335
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-29
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a CC 6000 \|0 (DE-625)17650: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Trypuz, Robert \|e Verfasser \|0 (DE-588)1044242892 \|4 aut
245	1	0	\|a Formal ontology of action \|b a unifying approach \|c Robert Trypuz
264		1	\|a Lublin \|b Wydawnictwo KUL \|c 2008
300			\|a 218 S. \|c 21 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
505	0		\|a Bibliogr. s. 185-195
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ontologie \|0 (DE-588)4075660-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Ontologie \|0 (DE-588)4075660-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	1		\|5 DE-604
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019006438&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-019006438

Datensatz im Suchindex

_version_	1804141219744317440
adam_text	CONTENTS PREFACE ABSTRACT 1 INTRODUCTION 1.1 WHY A FORMAL ONTOLOGY OF ACTION IS NEEDED . . . . . . 1.2 SOURCES OF KNOWLEDGE - INTERDISCIPLINARY APPROACH 1.3 METHODOLOGY AND MAIN ASSUMPTIONS 1.4 STRUCTURE OF THE VOLUME . 2 ONTOLOGIES 2.1 ONTOLOGY AND ONTOLOGIES . . . . . . . 2.2 WHAT IS AN ONTOLOGY? . 2.3 WHAT IS A FORMAL ONTOLOGY OF ACTION 2.4 OVERVIEW OF SOME ONTOLOGIES 2.5 FINAL CONSIDERATIONS 3 WHAT IS AN ACTION? 3.1 AGENT-AN ESSENTIAL COMPONENT OF ACTION. 3.1.1 AGENT IN PHILOSOPHY 3.1.2 ARTIFICIAL AGENT .. 3.2 PHILOSOPHY OF ACTION ..... 3.2.1 INTENTIONAL ACTION. . . 3.2.2 RELATIONAL VIEW: NO ACTION 3.2.3 TRYING IN PHILOSOPHY OF ACTION 3.2.4 CONTROL . 3.3 ACTION RELATED WORKS . 3.3.1 DYNAMIC LOGIC AND PLANNING 3.3.2 MODALLOGIC OF AGENCY 3.4 FINAL CONSIDERATIONS . . . . . .... 11 13 15 15 16 18 20 23 23 24 26 29 33 35 37 37 40 41 41 50 51 53 56 56 57 57 4 AN ONTOLOGY OF AGENTS AND CHOICES IN BRANCHING TIME 59 4.1 LNTRODUCTION TO STIT LOGIC AND ITS MODELS 60 4.1.1 CHELLAS S SM. . . . . . . . . . . . . . . . . . . . 61 4.1.2 THE BT +AC STRUCTURE-A BASIS FOR STIT MODELS 62 4.1.3 WHY CHELLAS S STIT?. . . . . . . . . . . . . . . . 65 4.2 TOWARDS AN ONTOLOGY OF AGENCY . . . . . . . . . . . . . 67 4.3 ONTOLOGY OF AGENTS AND CHOICES IN BRANCHING TIME-ONTOSTIT 69 4.4 THE RELATION BETWEEN CHELLAS S SM AND ONTOSTIT. 73 4.5 HOW TO EXPRESS AGENCY IN ONTOSTIT. 78 4.6 MODELS OF ONTOSTIT . . . . . . . . 79 4.6.1 COMPLETENESS . . . . . . . 79 4.6.2 BUNDLED TREES AND TREES . 84 4.6.3 SOUNDNESS. . 87 4.7 FINAL CONSIDERATIONS . . 89 5 A BASIC ONTOLOGY OF ACTION 91 5.1 AGENTIVEANDCAUSALGAPS.............. 91 5.2 ONTOSTIT+ . . . . . . . . . . . . . . . . . . . . . . . 95 5.2.1 LANGUAGE AND AXIOMATIZATION OF ONTOSTIT+ 96 5.2.2 UNDERSTANDING THE AGENT S CHOICES . 102 5.2.3 AGENCY IN ONTOSTIT+ 103 5.2.4 FILLING AGENTIVE AND CAUSAL GAPS . . 104 5.3 FINAL CONSIDERATIONS. . . . . . . . . . . . . 105 6 AN ONTOLOGY OF ACTION EXTENDED WITH MENTAL ATTITUDES 107 6.1 MENTAL ATTITUDES IN COMPUTER SCIENCE: THE BOI MODEL 110 6.1. 1 PROPERTIES OF MENTAL ATTITUDES IN THE BOI MODEL 110 6.1.2 INTENTION DEFINED . . . . . . . . . . . . . 114 6.1.3 A LOGIC OF INTENTION AND ATTEMPT EGAL . 117 6.1.4 SUMMARY . . . . . . . . . . . . . . . 120 6.2 ONTOSTIT+EXTENDED WITH MENTAL ATTITUDES . . 120 6.2.1 THREE KINDS OF INTENTION . . . . . . . . . 120 6.2.2 PROPERTIES OFMENTAL ATTITUDES IN ONTOSTIT+ 122 6.2.3 FROM THE BEGINNING TO END OFTHE ACTION. 125 6.2.4 ONTOSTIT+IN ACTION. . . . . . . 126 6.3 CASE STUDY-THE VIDEO GAME PUZZLE. 129 6.3.1 THE VIDEO GAME SCENARIO . . . 129 6.3.2 ONTOSTIT+MEETS THE VG PUZZLE 130 6.3.3 F:-IA MEETS THE VG PUZZLE 132 6.3.4 DISCUSSION. . . 133 6.4 FINAL CONSIDERATIONS . . . . . . . 135 7 AN ONTOLOGY OF THE ASPECTUAL CLASSES OF ACTIONS 7.1 SEMANTIC PROPERTIES OF THE ASPECTUAL CLASSES 7.2 ASPECTUAL CLASSES IN ONTOSTIT+ 7.2.1 THE FRAMEWORK . 7.2.2 ACTIVITY . 7.2.3 CULMINATED PROCESS .. 7.2.4 ACTIVITY ASSOCIATED WITH A CULMINATED PROCESS 7.2.5 CULMINATION . 7.2.6 STATE . 7.3 DEALING WITH THE IMPERFECTIVE PARADOX . 7.4 MENTAL ATTITUDES AND ASPECTUAL CLASSES . 7.5 FINAL CONSIDERATIONS . . . . . . . . . . . . 8 TOWARDS EXTENDING DOLCEWITH AN ACTION 8.1 ACTION IN EXISTING TOP-ONTOLOGIES AND WORDNET . 8.1.1 WORDNET 3.0 . 8.1.2 OPENCYC . . . . . . . . . . 8.1.3 SUMO . . . . 8.2 A SHORT INTRODUCTION TO DOLCE 8.2.1 DOLCE-LITE+ .... 8.3 FROM ONTOSTIT+TO DOLCE ... 8.3.1 TIME . . . . . . . . . . . . 8.3.2 AGENTS, PATIENTS AND ACTIONS 8.3.3 ASPECTUAL CLASSES . 8.3.4 MENTAL ATTITUDES . 8.3.5 ACTION AND BODILY MOVEMENT IN DOLCE. 8.3.6 TOWARDS FURTHER EXTENSIONS . 9 CONCLUSION 9.1 SUMMARY 9.2 FUTW E WORK . BIBLIOGRAPHY A GLOSSARY OF CATEGORIES AND RELATIONS OF ONTOSTIT+ B DOLCE B.L NOTATION AND INTRODUCTORY NOTES . B.2 DEFINITIONS . B.2.1 MEREOLOGICAL DEFINITIONS . . B.2.2 QUALITY . . . . . . . . . . .. B.2.3 TEMPORAL AND SPATIAL QUALE 137 139 140 140 143 144 145 148 148 149 152 153 155 155 155 157 157 159 160 161 162 163 166 169 169 171 179 179 182 185 197 199 199 201 201 202 202 8.2.4 BEING PRESENT . . . . .... B.2.5 INCLUSION AND COINCIDENCE 8.2.6 PERDURANT . . . . . . . B.2.7 PARTICIPATION. . . . . . B.2.8 DEPENDENCE AND SPATIAL DEPENDENCE B.2.9 CONSTITUTION . B.3 CHARACTERIZATION OF PRIMITIVE RELATIONS B.3.1 PARTHOOD . B.3.2 TEMPORARY PARTHOOD B.3.3 CONSTITUTION . B.3.4 PARTICIPATION . B.3.5 QUALITY . B.3.6 QUAIE . B.3.7 DEPENDENCE AND SPATIAL DEPENDENCE B.3.8 BEING PRESENT . B.4 CHARACTERIZATION OF CATEGORIES B.4.1 REGION .. B.4.2 QUALITY .. 8.4.3 PERDURANT B.4.4 ENDURANT B.5 GLOSSARY OF DOLCE S BASIC CATEGORIES (1) B.6 GLOSSARY OF DOLCE S BASIC CATEGORIES (2) 202 203 203 204 204 207 208 208 208 209 210 211 211 212 213 213 213 213 214 214 217 218
any_adam_object	1
author	Trypuz, Robert
author_GND	(DE-588)1044242892
author_facet	Trypuz, Robert
author_role	aut
author_sort	Trypuz, Robert
author_variant	r t rt
building	Verbundindex
bvnumber	BV036116335
classification_rvk	CC 2500 CC 6000
contents	Bibliogr. s. 185-195
ctrlnum	(OCoLC)297620496 (DE-599)BVBBV036116335
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01499nam a2200409 c 4500</leader><controlfield tag="001">BV036116335</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100412s2008 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788373637344</subfield><subfield code="9">978-83-7363-734-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)297620496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036116335</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 6000</subfield><subfield code="0">(DE-625)17650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Trypuz, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044242892</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal ontology of action</subfield><subfield code="b">a unifying approach</subfield><subfield code="c">Robert Trypuz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Lublin</subfield><subfield code="b">Wydawnictwo KUL</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">218 S.</subfield><subfield code="c">21 cm</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="505" ind1="0" ind2=" "><subfield code="a">Bibliogr. s. 185-195</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ontologie</subfield><subfield code="0">(DE-588)4075660-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Ontologie</subfield><subfield code="0">(DE-588)4075660-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=019006438&sequence=000001&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-019006438</subfield></datafield></record></collection>
id	DE-604.BV036116335
illustrated	Not Illustrated
indexdate	2024-07-09T22:12:24Z
institution	BVB
isbn	9788373637344
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-019006438
oclc_num	297620496
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	218 S. 21 cm
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Wydawnictwo KUL
record_format	marc
spelling	Trypuz, Robert Verfasser (DE-588)1044242892 aut Formal ontology of action a unifying approach Robert Trypuz Lublin Wydawnictwo KUL 2008 218 S. 21 cm txt rdacontent n rdamedia nc rdacarrier Bibliogr. s. 185-195 Modallogik (DE-588)4074914-9 gnd rswk-swf Ontologie (DE-588)4075660-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s Ontologie (DE-588)4075660-9 s DE-604 Modallogik (DE-588)4074914-9 s Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019006438&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Trypuz, Robert Formal ontology of action a unifying approach Bibliogr. s. 185-195 Modallogik (DE-588)4074914-9 gnd Ontologie (DE-588)4075660-9 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4074914-9 (DE-588)4075660-9 (DE-588)4036202-4
title	Formal ontology of action a unifying approach
title_auth	Formal ontology of action a unifying approach
title_exact_search	Formal ontology of action a unifying approach
title_full	Formal ontology of action a unifying approach Robert Trypuz
title_fullStr	Formal ontology of action a unifying approach Robert Trypuz
title_full_unstemmed	Formal ontology of action a unifying approach Robert Trypuz
title_short	Formal ontology of action
title_sort	formal ontology of action a unifying approach
title_sub	a unifying approach
topic	Modallogik (DE-588)4074914-9 gnd Ontologie (DE-588)4075660-9 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Modallogik Ontologie Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019006438&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT trypuzrobert formalontologyofactionaunifyingapproach

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge