This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham’s work on AGENT0 (Shoham 1993), we replace Shoham’s modal logic semantics with a new framework based on category theory. In particular, we use a consistently complete ωalgebraic complete partial order as our semantic structure, and briefly explore the consequences of this choice. Most importantly, we ca...

In the framewerk of a modal-algebraic approach to database semantics, the specification of abstract object types on the basis of abstract data types is studied. As a semantic framewerk for determining admissible states and state sequences, a standard universe of "possible objects'' and their interrelationships has to be associated with a schema specification. This paper gives a construction of ...

In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languages and models. In this article, we continue this work by employing theories from Formal Ontology, Cognitive Psychology and Philosophical Logic to systematically investigate some important modal aspects of the ontologi...

SAIKIRAN RAPAKA, SHIYI CHEN, RAJESH J. PAWAR, PHILIP H. STAUFFER AND DONGXIAO ZHANG Department of Mechanical Engineering, Johns Hopkins University, Baltimore, MD 21218, USA [email protected] COE & CCSE, Peking University, Beijing, China EES-6, Los Alamos National Laboratory, Los Alamos, NM 87544, USA Department of Civil and Environmental Engineering, University of Southern California, Los Angele...

The article considers the modal-semantic shades expressed by interrogative statements in Kazakh language, which are used to obtain not only certain information, but also express approval (consent), clarification, advice, indication, suggestion, comparison, attention (to cause a reaction), conclusion, justification, warning, permission, prohibition, refusal, objection, protest, coercion (concess...

Service-oriented architecture is an architectural approach that can be applied for building autonomous service systems dynamically to satisfy on-demand business requests. During the execution of service compositions, architectural constraint violations relating to functional and non-fucntional system properties need to be handled intelligently and autonomously, possibly requiring architectural ...

Abstract We present a number of puzzles arising for the interpretation modified numerals. Following Büring and others we assume that main difference between comparative superlative modifiers is only latter convey disjunctive meanings. further argue inference patterns triggered by disjunction are hard to capture in existing semantic pragmatic analyses these phenomena (neo-Gricean or grammatical ...

There has recently been considerable progress in the area of using computers as a tool for theorem proving. In this paper we focus on one facet of human-computer interaction in such systems: generating natural language explanations from proofs. We first discuss the X proof system a tactic style theorem proving system for firstorder logic with a collection of inference rules corresponding to hum...

This paper explores tramway-oriented development within two different cultures, France and the Czech Republic, which nevertheless have significant factors in common with regard to the goal of promoting the modal share of mass transit from a sustainable development perspective. Besides the basic urban variables, such as density and mixity, our work attempts to explore characteristics of pedestri...