Thesis (Ph. D.)--University of California, San Diego, 2006. / Vita. Includes bibliographical references (leaves 243-251).

Thesis (Ph. D.)--University of Missouri-Columbia, 2005. / The entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file. Title from title screen of research.pdf file viewed on (November 14, 2006) Vita. Includes bibliographical references.

Thesis (Ph. D.)--Ohio State University, 2007. / Title from first page of PDF file. Includes bibliographical references (p. 193-194).

Thesis (Ph. D.)--University of Chicago, Graduate School of Business, March 2001. / Includes bibliographical references. Also available on the Internet.

Thesis (Ph. D.)--University of Pennsylvania, 1898. / Includes bibliographical references (p. 105-114).

Cognitive Science attempts to study entities which in some sense possess beliefs, intentions, desires etc. The preferred term in this thesis for such entities is agents. An attempt at a scientific analysis of agents however throws up a number of questions. What are the right concepts to describe agents? What kinds of formal notations permit perspicuous reasoning about agents? What can be said about the architecture and construction of agents? The introductory section of this thesis discusses these questions in some detail, using Dennett's ideas about intentional systems [Den87] as a point of departure. I then examine a number of studies from Artificial Intelligence, Logic, Natural Language semantics and Philosophy which give shape to the current state of the art in agent theory. This leads to the development of a mathematical model of multi-object/agent interaction, which I call the SRS-model (SRS - Synchronous Reactive Systems). I demonstrate the adequacy of the model by using it to formalise learning and games scenarios. Next, various logics are introduced which capture input-output and then belief-desire level descriptions of agents. These logics are given an SRS-model semantics, and adequacy is shown by modelling a psychological experiment (an agent in a Skinner Box). It is shown how the example can be formally analysed in terms of mechanisms and architecture at the SRS-level (including a computer simulation); at the level of behaviourism (using a temporal logic - APTL); and at an intentional level (using an epistemic-conative temporal logic ECTL). Some remarks are made about extending the analysis to multi-agent situations involving co-operation, competition and dialogue. Finally, a detailed survey is made of the main mathematical and logical resources available to the style of formal cognitive science advocated in this thesis. I include modal logic, including its epistemic and doxastic variants; the extension of modal logic to dynamic logic; and the various approaches recently developed in the logic of time.

No description available.

No description available.

No description available.

Introduction of diploma work obtains comprehensive inventory of informations from sententional calculus theory, which correspond to problems that are mentioned in examples in diploma work. These teoretical knowledge regarding to needs of work are mainly analysed on secondary mathematics grade, marginally intervene in problems of college logic. Practical part is a task collection for children in infant school and evaluation of their succes in solving examples. I gave chosen examples to children twice. First time at first lesson, where children expresss their opinions to possibilities of problem solution. These opinions weren´t revised. Next time children made the same examples at last lesson after all preparatory exercises. There were seen progress in childrens argumentation close to information about results. Not until this lessons were children acquainted with correct results. In last part of diploma work I mention my experiences and knowlegde about logic for children and some advices for teachers and parents how to work and evolve children´s logic.