This paper presents a unified approach to building intelligent architectures. Our approach relies on making some semantic, ontological, os well os architectural commitments. Semantically, we commit ourselves to princi...
详细信息
This paper presents a unified approach to building intelligent architectures. Our approach relies on making some semantic, ontological, os well os architectural commitments. Semantically, we commit ourselves to principles governing the nature of the entities represented by the knowledge representation formalism, and the relationships between the faculties of reasoning, acting, and natural language understanding. More specifically, we concentrate on the nature and representation of entities, beliefs, actions, plans, and reasoning and acting rules. Based on these principles we present the design of an integrated AI architecture that has a unified knowledge representational formalism os well as a unified reasoning and acting component. The design of the architecture is based on object-oriented principles. We also show that such a design is amenable to implementation in a concurrent object-oriented programming paradigm. We demonstrate the advantages of our approach using several examples from our work.< >
The Image Understanding Environment (IUE) project is a five year program, sponsored by ARPA, to develop a common object-oriented software environment for the development of algorithms and application systems. This pap...
详细信息
The Image Understanding Environment (IUE) project is a five year program, sponsored by ARPA, to develop a common object-oriented software environment for the development of algorithms and application systems. This paper reviews the design of this system and provides an overview of the distributed implementation effort currently underway at Amerinex AI, Advanced Decision Systems, Carnegie Mellon University, and Colorado State University. The ultimate goal of the project is to provide a software infrastructure of class hierarchies, user interface tools, and IU algorithms that are required to carry out state of the art research in image understanding.< >
An invariant in the class is a predicate, which is true in every state that is proclaimed as valid, independently of what is considered to be a state. In addition, invariants themselves may be based on the behavior of...
详细信息
ISBN:
(纸本)9781457714993
An invariant in the class is a predicate, which is true in every state that is proclaimed as valid, independently of what is considered to be a state. In addition, invariants themselves may be based on the behavior of a particular object or a class as a whole. Analysis of invariants takes the most important place in object-oriented program verification and can be directed in two ways - as prescribed and as described. This paper considers as prescribed analysis which is based on strongest postconditions of methods with the guard as the precondition, thus, determining all reachable states and only them.
We present the Program by Design introductory CS curriculum through the lenses of graphics, animations, algebra, and data structures. Animations programming is popular for CS1, but many such curricula lack clean paths...
详细信息
ISBN:
(纸本)9781450310987
We present the Program by Design introductory CS curriculum through the lenses of graphics, animations, algebra, and data structures. Animations programming is popular for CS1, but many such curricula lack clean paths into CS2. Program by Design is different. Using and reinforcing concepts from algebra, students learn to write animations (including standard topics such as model/view separation and event-handling), then move seamlessly into working with structured data, lists, trees, and objects. The curriculum emphasizes design, testing, and writing maintainable programs, without losing the engagement of animations. The workshop uses lectures and hands-on exercises to provide high- school and college teachers an overview of the approach. See ***. Laptop Optional.
This paper proposes an approach to object-oriented framework description. Frameworks are described using concern-specific design patterns and their composition. The frameworks understandability is achieved by the sepa...
详细信息
Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of constraint satisfaction into the hands of...
详细信息
Parents have told you not to play with your food, but what's appropriate at the dinner table isn't necessarily applicable elsewhere. Modern culture thrives on mixing things together to create new flavours. It ...
详细信息
Parents have told you not to play with your food, but what's appropriate at the dinner table isn't necessarily applicable elsewhere. Modern culture thrives on mixing things together to create new flavours. It happened with music, and then with video, and now we're seeing it with online services. 'Mash-ups' are the latest buzzword in software development, and they are predicated on on mixing together Internet experiences that would previously have been consumed separately. Mash-ups are based on one of the fundamental tenets of Web 2.0 technology: that data contributed by a Web site's users should be easy for those users to consume in different forms. This philosophy drove sites such as Google, Flickr and Amazon to provide open application programming interfaces (APIs). "Mash-ups are about letting the user do the integration and filter their data all on their own. "Asynchronous Java and XML (AJAX) is one popular technology, enabling Web 2.0 users to manipulate online information without having to make multiple time-consuming queries to the server, as traditional HTML-based forms do. (3 pages).
The widespread use of smart contracts results in high repeatability of their source code. The solution seems to lay in reusing the verification rules that check the feasibility of logically related transactions. The s...
详细信息
The widespread use of smart contracts results in high repeatability of their source code. The solution seems to lay in reusing the verification rules that check the feasibility of logically related transactions. The software allows for developing a smart contract that may process various transaction types. Besides, employing the package in implementing a smart contract eliminates the redundancy of verification rules. The package structure ensures the ability to handle actual smart contracts and transactions at the abstract level. Moreover, the article presents a proposal to standardize the way of designing the transaction verification function in a smart contract.
Pangenome analysis is fundamental to explore molecular evolution occurring in bacterial populations. Here, we introduce Pagoo, an R framework that enables straightforward handling of pangenome data. The encapsulated n...
详细信息
Pangenome analysis is fundamental to explore molecular evolution occurring in bacterial populations. Here, we introduce Pagoo, an R framework that enables straightforward handling of pangenome data. The encapsulated nature of Pagoo allows the storage of complex molecular and phenotypic information using an object-oriented approach. This facilitates to go back and forward to the data using a single programming environment and saving any stage of analysis (including the raw data) in a single file, making it sharable and reproducible. Pagoo provides tools to query, subset, compare, visualize, and perform statistical analyses, in concert with other microbial genomics packages available in the R ecosystem. As working examples, we used 1,000 Escherichia coli genomes to show that Pagoo is scalable, and a global dataset of Campylobacter fetus genomes to identify evolutionary patterns and genomic markers of host-adaptation in this pathogen.
暂无评论