Topological Foundations of Cognitive Science

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Ki

The Wooster Voice (Wooster, OH), 2010-04-23

This edition of the Wooster Voice, published on April 23 of 2010, is eight pages long. The new recreation/athletics facility should be completed in 2010, the plans are discussed within the article on the first page. Five students in the current senior class will spend next year teaching English in France. The Alumni Board returned to campus this past week to work with students, especially seniors, to figure out their post-grad plans. An article regarding the unfairness of the room selection process is on the third page. Grace Hansen reflects on a queer teenager\u27s prom experience, or lack thereof, in Mississippi. Charles Horenstein interviewed author Nin Andrews when she was on campus on the 21st, the interview is on page six. The athletics updates for the week are on pages seven and eight.https://openworks.wooster.edu/voice2001-2011/1516/thumbnail.jp

Disjunctive argumentation semantics (DAS) for reasoning over distributed uncertain knowledge.

by Benson, Ng Hin Kwong.Thesis (M.Phil.)--Chinese University of Hong Kong, 1998.Includes bibliographical references (leaves 111-117).Abstract also in Chinese.Chapter 1 --- Introduction --- p.9Chapter 1.1 --- Our approach --- p.11Chapter 1.2 --- Organization of the thesis --- p.12Chapter 2 --- Logic Programming --- p.13Chapter 2.1 --- Logic programming in Horn clauses --- p.14Chapter 2.1.1 --- Problem with incomplete information --- p.15Chapter 2.1.2 --- Problem with inconsistent information --- p.15Chapter 2.1.3 --- Problem with indefinite information --- p.16Chapter 2.2 --- Logic programming in non-Horn clauses --- p.16Chapter 2.2.1 --- Reasoning under incomplete information --- p.17Chapter 2.2.2 --- Reasoning under inconsistent information --- p.17Chapter 2.2.3 --- Reasoning under indefinite information --- p.20Chapter 2.3 --- "Coexistence of incomplete, inconsistent and indefinite information" --- p.21Chapter 2.4 --- Stable semantics --- p.22Chapter 2.5 --- Well-founded semantics --- p.23Chapter 2.6 --- Chapter summary --- p.25Chapter 3 --- Argumentation --- p.26Chapter 3.1 --- Toulmin's informal argumentation model --- p.27Chapter 3.2 --- Rescher's formal argumentation model --- p.28Chapter 3.3 --- Argumentation in AI research --- p.30Chapter 3.3.1 --- Poole's Logical Framework for Default Reasoning --- p.30Chapter 3.3.2 --- Inheritance Reasoning Framework of Touretzky et. al --- p.31Chapter 3.3.3 --- Pollock's Theory of Defeasible Reasoning --- p.32Chapter 3.3.4 --- Dung's Abstract Argumentation Framework --- p.33Chapter 3.3.5 --- Lin and Shoham's Argument System --- p.35Chapter 3.3.6 --- Vreeswijk's Abstract Argumentation --- p.35Chapter 3.3.7 --- Kowalski and Toni's Uniform Argumentation --- p.36Chapter 3.3.8 --- John Fox's Qualitative Argumentation --- p.37Chapter 3.3.9 --- Thomas Gordon's Pleading Games --- p.38Chapter 3.3.10 --- Chris Reed's Persuasive Dialogue --- p.39Chapter 3.3.11 --- Ronald Loui's Argument Game --- p.39Chapter 3.3.12 --- "Verheij's Reason-Based, Logics and CumulA" --- p.40Chapter 3.3.13 --- Prakken's Defeasible Argumentation --- p.40Chapter 3.3.14 --- Summary of existing frameworks --- p.41Chapter 3.4 --- Chapter summary --- p.42Chapter 4 --- Disjunctive Argumentation Semantics I --- p.46Chapter 4.1 --- Background --- p.47Chapter 4.2 --- Definition --- p.48Chapter 4.3 --- Conflicts within a KBS --- p.52Chapter 4.4 --- Conflicts between KBSs --- p.54Chapter 4.4.1 --- Credulous View --- p.56Chapter 4.4.2 --- Skeptical View --- p.57Chapter 4.4.3 --- Generalized Skeptical View --- p.58Chapter 4.5 --- Semantics --- p.60Chapter 4.6 --- Dialectical proof theory --- p.61Chapter 4.7 --- Relation to existing framework --- p.61Chapter 4.8 --- Issue on paraconsistency --- p.63Chapter 4.9 --- An illustrative example --- p.63Chapter 4.10 --- Chapter summary --- p.65Chapter 5 --- Disjunctive Argumentation Semantics II --- p.67Chapter 5.1 --- Background --- p.68Chapter 5.2 --- Definition --- p.70Chapter 5.2.1 --- Rules --- p.70Chapter 5.2.2 --- Splits --- p.71Chapter 5.3 --- Conflicts --- p.74Chapter 5.3.1 --- Undercut conflicts --- p.75Chapter 5.3.2 --- Rebuttal conflicts --- p.76Chapter 5.3.3 --- Thinning conflicts --- p.78Chapter 5.4 --- Semantics --- p.80Chapter 5.5 --- Relation to existing frameworks --- p.81Chapter 5.6 --- Issue on paraconsistency --- p.82Chapter 5.7 --- An illustrative example --- p.83Chapter 5.8 --- Chapter summary --- p.85Chapter 6 --- Evaluation --- p.86Chapter 6.1 --- Introduction --- p.86Chapter 6.2 --- Methodology --- p.87Chapter 6.3 --- DAS I --- p.88Chapter 6.3.1 --- Inoue's Benchmark problems --- p.88Chapter 6.3.2 --- Sherlock Holmes' problems --- p.96Chapter 6.4 --- DAS II --- p.100Chapter 6.4.1 --- Inoue's benchmark problems --- p.100Chapter 6.4.2 --- Sherlock Holmes' problem --- p.103Chapter 6.5 --- Analysis --- p.103Chapter 6.5.1 --- Possible extension --- p.104Chapter 6.6 --- Chapter summary --- p.106Chapter 7 --- Conclusion --- p.108Chapter 7.0.1 --- Possible extension of the present work --- p.109Bibliography --- p.117Chapter A --- First Oreder Logic (FOL) --- p.118Chapter B --- DAS-I Proof --- p.121Chapter B.1 --- Monotone proof --- p.121Chapter B.2 --- Soundness proof --- p.122Chapter B.3 --- Completeness proof --- p.123Chapter C --- Sherlock Holmes' Silver Blaze Excerpts --- p.125Chapter C.1 --- Double life --- p.125Chapter C.2 --- Poison stable boy --- p.12

Bowdoin College Catalogue (2008-2009)

https://digitalcommons.bowdoin.edu/course-catalogues/1289/thumbnail.jp

Coalition based approach for shop floor agility – a multiagent approach

Dissertation submitted for a PhD degree in Electrical Engineering, speciality of Robotics and Integrated Manufacturing from the Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaThis thesis addresses the problem of shop floor agility. In order to cope with the disturbances and uncertainties that characterise the current business scenarios faced by manufacturing companies, the capability of their shop floors needs to be improved quickly, such that these shop floors may be adapted, changed or become easily modifiable (shop floor reengineering). One of the critical elements in any shop floor reengineering process is the way the control/supervision architecture is changed or modified to accommodate for the new processes and equipment. This thesis, therefore, proposes an architecture to support the fast adaptation or changes in the control/supervision architecture. This architecture postulates that manufacturing systems are no more than compositions of modularised manufacturing components whose interactions when aggregated are governed by contractual mechanisms that favour configuration over reprogramming. A multiagent based reference architecture called Coalition Based Approach for Shop floor Agility – CoBASA, was created to support fast adaptation and changes of shop floor control architectures with minimal effort. The coalitions are composed of agentified manufacturing components (modules), whose relationships within the coalitions are governed by contracts that are configured whenever a coalition is established. Creating and changing a coalition do not involve programming effort because it only requires changes to the contract that regulates it

Bowdoin College Catalogue (2011-2012)

https://digitalcommons.bowdoin.edu/course-catalogues/1292/thumbnail.jp

The theory of inconsistency: inconsistant mathematics and paraconsistent logic

Each volume includes author's previously published papers.Bibliography: leaves 147-151 (v. 1).3 v. :Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 200

Cognitive rationality and indeterminism in the contemporary detective novel, with special reference to the work of Umberto Eco, Carlo Emilio Gadda and Stanislaw Lem

The study examines cognitive rationality as to()l for problemsolving within the context of a movement from determinism and monolithic universal Reason towards indeterminism and plurality. It is contended that theories of literature do not provide an adequate conceptual framework, and therefore, extensive use is made of pluralist fallibilism (Popper, Helmut Spinner) and chaos theory. The philosophy of Friedrich Nietzsche is viewed as a decisive influence in the shift towards plurality and scepticism. In chapter 2, Conan Doyle's Sherlock Holmes stories, a novel by Agatha Christie and Gaston Leroux's Le mystere de Ia chambre jaune are discussed as examples of optimistic rationalism. Chapter 3 indicates that Eco's II nome della rosa emphasizes the conjectural nature of truth and objective knowledge, underpinned by a 'soft' rationalism which amounts to monopolistic pluralism. Chapter 4 analyses the defeat of cognitive rationality by the complex interaction of a multiplicity of independent causal series. The detectives' relationship with the feminine exemplifies the interpenetration of rationality and the instinctual, while the mystery of the feminine is a metaphor for impenetrable complexity. Chapter 5 shows that hypotheses concerning random complex systems remain inconclusive. However, as the trajectory of a complex system can be regulated, so reason can be viewed as the underlying regulative pattern (strange attractorl for an infinite proliferation of hypotheses. Thus, despite .shifting conceptions of rationality and order, all the detectives in the study accept objective truth as regulative principle and are involved in a search for objective knowledgeAfrikaans and Theory of LiteratureD.Litt. et Phil. (Theory of literature

Compatibility of a Western systemic approach for handling complex, pluralist and coercive problems in developing countries: A case study of micro satellite development in Indonesia

In this era of globalization, there has been much western investment in the eastern world, increasing the number of large projects financed by internal and foreign investments. It was thought a challenging proposition to investigate whether systemic approaches could be used in eastern developing countries that are in transition between Toffler’s first (agricultural focused) and second (industrial centered) waves of economic development