Supporting multimedia user interface design using mental models and representational expressiveness

This thesis addresses the problem of output media allocation in the design of multimedia user interfaces. The literature survey identifies a formal definition of the representational capabilities of different media.as important in this task. Equally important, though less prominent in the literature, is that the correct mental model of a domain is paramount for the successful completion of tasks. The thesis proposes an original linguistic and cognitive based descriptive framework, in two parts. The first part defines expressiveness, the amount of representational abstraction a medium provides over any domain. The second part describes how this expressiveness is linked to the mental models that media induce, and how this in turn affects task performance. It is postulated that the mental models induced by different media, will reflect the abstractive representation those media offer over the task domain. This must then be matched to the abstraction required by tasks to allow them to be effectively accomplished. A 34 subject experiment compares five media, of two levels of expressiveness, over a range of tasks, in a complex and dynamic domain. The results indicate that expressiveness may allow media to be matched more closely to tasks, if the mental models they are known to induce are considered. Finally, the thesis proposes a tentative framework for media allocation, and two example interfaces are designed using this framework. This framework is based on the matching of expressiveness to the abstraction of a domain required by tasks. The need for the methodology to take account of the user's cognitive capabilities is stressed, and the experimental results are seen as the beginning of this procedure

Belief systems for persuasive discourse planning

This thesis is concerned with the problem of construction of the logical structure of a persuasive discourse. A persuasive discourse can be defined as a monodirectional form of communication, generated by a speaker in order to convince a hearer about the validity (or fallacy) of a specific belief The construction of the structure of a persuasive discourse is realized, in this work, through the adoption of two basic elements: a belief system and a planning system. The planning system is used as a tool for the automatic generation of the discourse structure (or plan), obtained through the decomposition of the assigned (communicative) goals of persuasion, aimed at producing specific effects on the hearer’s beliefs. The belief system is adopted in order to endow the planning process with a formal language of beliefs for the representation of such goals, and with the mechanisms which govern the propagation of their (expected) effects on the rest of the hearer's belief state. The main results presented consist of the formalization of a paradigm for specification of belief systems, and of a method — whose correctness is formally proved — for their integration with planning systems. The formalization of a belief system for discourse structure representation (defined in accordance with the theoretical paradigm) is also given, together with the description of its implementation and integration with a specific planner, which resulted in the actual completion of a system for the automatic generation of persuasive discourse plans

The complexity of existential quantification in concept languages

Much of the research on concept languages, also called terminological languages, has focused on the computational complexity of subsumption. The intractability results can be divided into two groups. First, it has been shown that extending the basic language FL- with constructs containing some form of logical disjunction leads to co-NP-hard subsumption problems. Second, adding negation to FL- makes subsumption PSPACE-complete. The main result of this paper is that extending FL- with unrestricted existential quantification makes subsumption NP-complete. This is the first proof of intractability for a concept language containing no construct expressing disjunction--whether explicitly or implicitly. Unrestricted existential quantification is therefore, alongside disjunction, a source of computational complexity in concept languages

On the epistemic foundations of agent theories

We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implicit and explicit knowledge and argue that this is the notion we need to formalize agents in Distributed Artificial Intelligence. A logic of the new concept is developed which is formally and practically adequate in the following sense: first, it does not suffer from any kind of logical omniscience. Second, it can account for the intuition that agents are rational, though not hyper-rational. Third, it is expressive enough. The advantages of the new logic over other formalisms is demonstrated by showing that none of the existing systems can fulfill all these requirements simultaneously

Central Florida Future, Vol. 04 No. 27, May 12, 1972

Rights\u27 amendment passes SG [Student Government] senate; Service, festivities highlight Greek Week; Infinite potential of women discussed during symposium; FuTUre Editorials: Spring graduation big step backward; Education grading practices questioned for validity; Twain\u27s humor lives again in presentation by Chappell (with photo); FuTUre Entertainment: Ogg performance captivates audience (with photo); New placement service offered to transfers; Future Sports News: Bombers romp over TKE 19-4, for intramural softball title; \u27Vociferous vulture\u27 awards given.https://stars.library.ucf.edu/centralfloridafuture/1127/thumbnail.jp

Semantic networks

AbstractA semantic network is a graph of the structure of meaning. This article introduces semantic network systems and their importance in Artificial Intelligence, followed by I. the early background; II. a summary of the basic ideas and issues including link types, frame systems, case relations, link valence, abstraction, inheritance hierarchies and logic extensions; and III. a survey of ‘world-structuring’ systems including ontologies, causal link models, continuous models, relevance, formal dictionaries, semantic primitives and intersecting inference hierarchies. Speed and practical implementation are briefly discussed. The conclusion argues for a synthesis of relational graph theory, graph-grammar theory and order theory based on semantic primitives and multiple intersecting inference hierarchies

Medievalism and the Ideologies of the Enlightenment

Originally published in 1968. The contribution of eighteenth-century Englishmen to the study of medieval life and literature is fairly well known, but it is commonly assumed that in France, the center of Enlightenment, no one—with the exception of a few obscure antiquarians—was seriously interested in the Middle Ages. Gossman argues that the Enlightenment gave great impetus to medieval studies in France and altered their orientation, removing them from the realm of legal and ecclesiastical dispute and bringing them into a new framework of general history. Concentrating his investigation of Enlightenment medievalists on the most influential of them, La Curne de Sainte-Palaye, Gossman describes Sainte-Palaye's social and intellectual milieu and follows him in his relations with scholars and philosophes in France and abroad. Voltaire, Montesquieu, Gibbon, Walpole, Muratori, and Herder are some of the figures whose paths crossed that of Sainte-Palaye. Far from being opposed to philosophie, the medievalists were, Gossman argues, nourished at the same intellectual sources and shared many of the values of the philosophes. The existence of a close connection between medievalism and the Enlightenment is substantiated by the author's detailed analyses of Sainte-Palaye's work in the history, literature, and language of the French Middle Ages.Although Sainte-Palaye had a surprising influence on the literature and historiography of both the eighteenth and nineteenth centuries—in France, England, and Germany—eighteenth-century medievalism, Gossman argues, is best understood not as anticipation of things to come but as part of a complex of ideas and feelings peculiar to the Enlightenment itself

Monitoring Multi-Party Contracts for E-Business.

"Monitoring Multi-party Contracts for E-business" investigates the issues involved in the performance of econtract monitoring of business automations in business to business e-commerce environment. A pro-active monitoring contract model and monitoring mechanism have been designed and developed. A new architecture and framework is proposed for pro-active monitorable contracts. This pro-active monitoring contract model is supported by a prototype