Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Bruce Spencer
  • Fredericton, New Brunswick, Canada
Working together, sharing, coordinating, collaborating, cooperating, communing, contracting: how do we distinguish? How do we know which serves best in any given circumstance? What are the nature of the relationships between these... more
Working together, sharing, coordinating, collaborating, cooperating, communing, contracting: how do we distinguish? How do we know which serves best in any given circumstance? What are the nature of the relationships between these obviously interconnected concepts? Collaboration is the central focus of this work. An exploration into the nature of true meaningful collaborative working in order to discover concepts that might be useful for the establishment, maintenance and evaluation of collaboration with and amongst software agents is our goal. We propose a framework for predicting potential and risk of collaboration among agents in a MAS, based on similarities and differences of capabilities.
Publisher’s version / la version de l'éditeur: Implantation de la référence OO jDREW de RuleML, 2005 Web page / page Web
Research Interests:
Abstract. j-DREW is an easily congured, powerful deductive reason-ing engine for rst order, clausal logic written in Java and well integrated with the Web. A programmer with the ability to manipulate recursive data structures, such as... more
Abstract. j-DREW is an easily congured, powerful deductive reason-ing engine for rst order, clausal logic written in Java and well integrated with the Web. A programmer with the ability to manipulate recursive data structures, such as commonly taught in university computer science programs, will be able to recongure the reasoning engine of j-DREW using its application programmers interface (API). j-DREW uses power-ful and ecient techniques developed for competitive automated theorem provers, such as discrimination trees, sound unication, subsumption and atterms. It can be deployed as part of a larger Java system, on a server or, with its small memory footprint, on a client. Three prototypes for de nite clauses are considered: several variants of Prolog, a backward chaining RuleML engine and a proposed forward chaining deduction en-gine that interfaces to the Java 1.1 event model. 1
j -DREW is an easily configured, powerful deductive reasoning engine for first order, clausal logic written in Java and well integrated with the Web. A programmer with the ability to manipulate recursive data structures, such as commonly... more
j -DREW is an easily configured, powerful deductive reasoning engine for first order, clausal logic written in Java and well integrated with the Web. A programmer with the ability to manipulate recursive data structures, such as commonly taught in university computer science programs, will be able to reconfigure the reasoning engine of j -DREW using its application programmers interface (API). j -DREW uses powerful and efficient techniques developed for competitive automated theorem provers, such as discrimination trees, sound unification, subsumption and flatterms. It can be deployed as part of a larger Java system, on a server or, with its small memory footprint, on a client. Three prototypes for definite clauses are considered: several variants of Prolog, a backward chaining RuleML engine and a proposed forward chaining deduction engine that interfaces to the Java 1.1 event model.
Bruce Spencer and Sandy Liu are the leader and a researcher in the Internet Logic group, which specializes in reasoning systems for Internet applications. The group’s activities on the Semantic Web include (i) a Semantic Web Lab with... more
Bruce Spencer and Sandy Liu are the leader and a researcher in the Internet Logic group, which specializes in reasoning systems for Internet applications. The group’s activities on the Semantic Web include (i) a Semantic Web Lab with close ties to RuleML.org, (ii) a graduate course at the University of New Brunswick on the Semantic Web Techniques, (iii) BASeWEB (Business Agents and the Semantic Web) workshop held annually in conjunction with the Canadian AI Conference since 2002, (iv) an open source reasoning engine jDREW [2] on SourceForge, (v) a queuing inference engine [3], (vi) DeFleX, an XML Router for agile knowledge workflows [1], and (vii) WSIRD, a rule-based data integration engine between Web Services [4].
Resolution 3] is used by most automated reasoning systems based on clausal logic. A clause tree is a graphical representation of a resolution proof. > is a clause tree on a set S of input clauses if: (a) < N; E > is a(n unrooted)... more
Resolution 3] is used by most automated reasoning systems based on clausal logic. A clause tree is a graphical representation of a resolution proof. > is a clause tree on a set S of input clauses if: (a) < N; E > is a(n unrooted) tree. (b) L is a labeling of the nodes and edges of the tree. where A is the set of instances of atoms in S. A node is labeled by a clause in S and called a clause node, or labeled by an atom in A and called a atom node. Edges are labeled + or ?. (c) No atom node is incident with two edges labeled the same. (d) Each edge e = fa; cg joins an atom node a and a clause node c; it is associated with the literal L(e)L(a). (e) For each clause node c; L(c) = fL(fa; cg)L(a)jfa; cg 2 Eg. (f) M is the set of merge paths called chosen merge paths such that: (i) the tail of each is a leaf (called a closed leaf), (ii) the tails are all distinct and diierent from the heads, and (iii) the relation on M can be extended to a partial order. A clause tree with a singl...
A weak workflow within an organization’s information system allows processes to be defined as they are being performed. It requires general knowledge about the organization to be dynamically combined with specific information about a... more
A weak workflow within an organization’s information system allows processes to be defined as they are being performed. It requires general knowledge about the organization to be dynamically combined with specific information about a current workflow. This information, as well as the roles of agents involved, is declared in RuleML so that inferences can drive the workflow. We describe a use case of bug tracking system where agents need help to decide where to sent a document next. DeFleX is a prototype implementation of this architecture using standard Web Services technology and an open source inference engine, jDREW. DeFleX uses an often-ignored feature of SOAP, allowing intermediate locations to be dynamically determined, to realize weak
The Opinions Sandbox is a running prototype that accesses comments collected from customers of a particular product or service, and calculates the overall sentiment toward that product or service. It performs topic extraction, displays... more
The Opinions Sandbox is a running prototype that accesses comments collected from customers of a particular product or service, and calculates the overall sentiment toward that product or service. It performs topic extraction, displays the comments partitioned into topics, and presents a sentiment for each topic. This helps to quickly digest customers’ opinions, particularly negative ones, and sort them by the concerns expressed by the customers. These topics are now considered issues to be addressed. The Opinions Sandbox does two things with this list of issues. First, it simulates the social network of the future, after rectifying each issue. Comments with positive sentiment regarding this rectified issues are synthesized, they are injected into the comment corpus, and the effect on overall sentiment is produced. Second, it helps the user create a plan for addressing the issues identified in the comments. It uses the quantitative improvement of sentiment, calculated by the simulat...
Service-oriented architectures can be used to provide multiple simultaneous sessions to users that wish to com-municate over a variety of media. This gives rise to rich, highly effective communication sessions that can greatly en-hance... more
Service-oriented architectures can be used to provide multiple simultaneous sessions to users that wish to com-municate over a variety of media. This gives rise to rich, highly effective communication sessions that can greatly en-hance users' interaction. For example, a health services ...
Informational needs of agricultural consultants are increasingly complex. Advising farmers on the appropriate measures for optimizing cropping yields demands access to custom data archives and analytics tools. In line with the increasing... more
Informational needs of agricultural consultants are increasingly complex. Advising farmers on the appropriate measures for optimizing cropping yields demands access to custom data archives and analytics tools. In line with the increasing number of archives, the expertise required of consultants goes beyond the capabilities of these non-technical agri-specialists. These end users have diverse ad-hoc query needs and require tools that provide simple access to distributed data silos and easy ways to integrate relevant information. In this article, the authors report on a pilot deployment of Semantic Automated Discovery and Integration (SADI) Web services for the federation and computation of agricultural data. A registry of 9 SADI Web services was deployed to expose data from a variety of different data resources in support of a defined set of query needs. The authors demonstrate that the deployment of these services facilitates the ad-hoc creation and execution of mission critical wor...
Purpose IEEE Ontologies for Robotics and Automation Working Group were divided into subgroups that were in charge of studying industrial robotics, service robotics and autonomous robotics. This paper aims to present the work in-progress... more
Purpose IEEE Ontologies for Robotics and Automation Working Group were divided into subgroups that were in charge of studying industrial robotics, service robotics and autonomous robotics. This paper aims to present the work in-progress developed by the autonomous robotics (AuR) subgroup. This group aims to extend the core ontology for robotics and automation to represent more specific concepts and axioms that are commonly used in autonomous robots. Design/methodology/approach For autonomous robots, various concepts for aerial robots, underwater robots and ground robots are described. Components of an autonomous system are defined, such as robotic platforms, actuators, sensors, control, state estimation, path planning, perception and decision-making. Findings AuR has identified the core concepts and domains needed to create an ontology for autonomous robots. Practical implications AuR targets to create a standard ontology to represent the knowledge and reasoning needed to create aut...
ABSTRACT
Research Interests:
ABSTRACT Archives des publications du CNRC (NPArC)
CONCLUSION The dose repository and RMS are a timely first step towards the establishment of a national dose registry. They provide a quantified view of the radiation exposed to patients in existing radiology practices. These measurements... more
CONCLUSION The dose repository and RMS are a timely first step towards the establishment of a national dose registry. They provide a quantified view of the radiation exposed to patients in existing radiology practices. These measurements aim at achieving optimal protocols that minimizes radiation doses wherever possible. BACKGROUND As the utilization of diagnostic imaging grows, so do concerns regarding the impact of such radiation on human health. A means of measuring the current radiology practices and impact from repeated low-dose radiation exposure on patients is urgently needed. Dose Structured Report Object is the recommended DICOM standard for dose reporting, yet often dose information are captured as screen shot images and stored in various places. This makes dose reporting and benchmarking a laborious process with a significant latency. EVALUATION We developed a radiation dose repository and exposure monitoring system. Dose information from six CT scanners in a large medica...
infrastructure agile pour la fourniture de dispositifs, applications et réseaux
ABSTRACT Currently social networks are used by buyers to become more aware of sellers and their goods. Increasingly, they are used with three other market mechanisms: Buyers use social networks to form buyer groups that leverage... more
ABSTRACT Currently social networks are used by buyers to become more aware of sellers and their goods. Increasingly, they are used with three other market mechanisms: Buyers use social networks to form buyer groups that leverage purchasing power. Sellers incentivize buyers to post recommendations on social media. Sellers or buyers compose compatible items into bundles with increased value and reduced price. In this paper we study the potential effects of social networks on these mechanisms. For comprehensive and consistent coverage, we simulate combinations of these mechanisms, using published metrics for authenticity. Our results show seller profitability increases with the use of social networks applied to all possible combinations.
Traditionally, plan recognition is defined as the process of matching a set of observations from a user to a library of possible plans in a domain, indicating the possible candidate plans of the user. We have developed a system which... more
Traditionally, plan recognition is defined as the process of matching a set of observations from a user to a library of possible plans in a domain, indicating the possible candidate plans of the user. We have developed a system which allows updates to the plan library during plan recognition and which amends the list of candidate plans, without having to

And 101 more