Independent innovation is the core of the national development strategy. After twenty years, Extenics made great progress in innovation theory, formal method and real application. Developing and manufacturing innovation software to help people develop intelligence, inspire creation is key for Extenics further developing. Now software model cannot meet the requirements of flexible alternate in i...

1. This document is FA146, one of a series, Candidate Species for Florida Aquaculture, http://edis.ifas.ufl.edu/TOPIC_SERIES_Candidate_Species of the Fisheries and Aquatic Sciences Department, Florida Cooperative Extension Service, Institute of Food and Agricultural Sciences, University of Florida. Original publication date June 15, 2007. Visit the EDIS Web Site at http://edis.ifas.ufl.edu. 2. ...

Consider the problem of estimating the expected number of distinct eligible voters among the authors of a set of electronic signatures gathered for a petition (or citizen initiative) that has to pass legally required thresholds. We formalize this problem and propose an extension to the Pretty Good Privacy Web Of Trust, a mechanism for reciprocally certifying identities between peers. The extens...

This paper provides a logical analysis of conflicts between informational, motivational and deliberative attitudes such as beliefs, obligations, intentions, and desires. The contributions are twofold. First, conflict resolutions are classified based on agent types, and formalized in an extension of Reiter’s normal default logic. Second, several desiderata for conflict resolutions are introduced...

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after arbitrary announcements. Intuitively, [!]φ expresses that φ is true after an arbitrary announcem...

1. This document is HS405, one of a series of the Horticultural Sciences Department, Florida Cooperative Extension Service, Institute of Food and Agricultural Sciences, University of Florida. Original publication date, January 2010. Visit the EDIS Web site at http://edis.ifas.ufl.edu. 2. Richard Tyson, director, Orange County Extension Office, Orlando, FL; Robert Hochmuth, multicounty extension...

With the increasing importance of complex software systems in the software industry, the need for using agent technologies to develop large-scale commercial and industrial software systems is growing rapidly. Such systems are complex and there is a pressing need for system modeling techniques to support reliable, maintainable and extensible design. G-Nets are a type of Petri net defined to supp...

Intelligent multi-agent systems offer a new architectural style for distributed and knowledge-intensive applications. Now that agent systems are applied on a wider industrial scale, there is a practical need for structured conceptual modelling methods, similar to what is in use for conventional large-scale information and knowledge systems. Such knowledge-level methods are still inadequate for ...

We propose to provide a prototype of an agent-based network management system in which, unreliable agents can be detected by the other agents. The detection method is based on having the agents testing each other by comparing their respective beliefs. The agents are speciied using an abstract agent functional model. This model is based on a BDI (Belief Desire Intention)-like mental cycle and us...