This is a presentation made for a phd course based on the work presented by Pimentel, C.F. and Cravo, M.R. on their paper, "Goal based denial and wishful thinking" .
More about this work can be found here,
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6496211
Creative Prezi Presentation Template with a gift box formed from various small icons representing gifts.
Talk about birthdays, weddings, graduations and what would be the best gifts of these occasions.
Zoom anywhere and insert your own content. Replace the symbols or add more from the prezi menu.
Present about creative present and gift ideas
Creative Prezi Presentation Template with a gift box formed from various small icons representing gifts.
Talk about birthdays, weddings, graduations and what would be the best gifts of these occasions.
Zoom anywhere and insert your own content. Replace the symbols or add more from the prezi menu.
Present about creative present and gift ideas
During the past years, the data deluge that prevails in the World
Wide Web has been accompanied by a number of APIs that
expose business logic. In this paper, we discuss a novel approach
to enrich existing API standards definitions with business rules.
Taking advantage of the REST principles, we aim at enabling the
creation of generic clients that can dynamically navigate through
semantically enriched web affordances with the help of Hydrabased
Hypermedia API descriptions, which encapsulate the finite
state machine of possible actions into SWRL rules.
Nowadays, the proliferation of cloud-based services has revolutionised the way people communicate, connect, share and eventually conduct business. Thus, businesses conducted both by huge or small and medium enterprises are forced into providing their core competence(value) through an API. The OPENi approach(http://www.openi-ict.eu/) aims at analysing and classifying into categories the landscape of existing cloud-based services today and their publicly available APIs. Through multiple iterative steps, a map of cloud-based services along with multiple dimensions has been designed and an in-depth analysis of the selected set of APIs has been conducted. A set of Generic APIs (together with their associated objects, functionalities and relations to existing cloud-based services) are proposed, abstracting functionality for several popular categories of existing cloud-based services which bind to multiple service providers. In order to make those mappings interoperable and extensive a graph modelling was proposed by mapping the Generic APIs to the schema.org vocabulary. Furthermore, one additional tool is presented, he API Builder (http://api-builder.tools.epu.ntua.gr/web/) which is a community-based platform that aims to facilitate enterprises in adopting a Graph API that unifies the experience of multiple cloud-based services APIs and personal cloudlets, building and maintaining their software applications easily, despite any changes made in the CBS APIs. Following the aforementioned discussion, we briefly describe a novel approach to enrich existing API standards with business rules. This aims into taking advantage of the REST principles to enable the creation of generic clients that can operate as Finite State Machines and autonomously navigate through the vast semantically enriched web.
Question Answering over Linked Data - Reasoning IssuesMichael Petychakis
Question answering system plays a vital role in search engine optimization model. Natural language processing methods are typically applied in QA system for inquiring user’s question and numerous steps are also followed for alteration of questions to query form for receiving a precise answer. This presentation analyzes diverse question answering systems that are based on semantic web technologies and ontologies with different formats of queries.It ends by addressing various reasoning alternatives.
A Community-based, Graph API Framework to Integrate and Orchestrate Cloud-Bas...Michael Petychakis
The ever-accelerating growth of cloud-based services (CBS) and the prevalence of multi-sided business models have distributed users’ data across different data silos that hinder mobile applications development and sustainability. The present paper aims at describing an open framework that abstracts functionality from CBSs through a common Graph, RESTful API, which manages calls among various CBS APIs and syndicates responses under a common standardized format. Combining this conceptual framework with semantically enriched modeling, the implemented platform allows a community of developers to govern, extend and main-tain the Graph API and consequently, applications to access a plethora of CBSs through a single point of access. Building on the experience of third-party solutions that mash-up data from different services in their API, the proposed approach goes beyond the state-of-the art through its community-orientation, the API extensibility-by-design and the advanced context awareness and sophistication it provides to developers.
Infusing Social Data Analytics into Future Internet applications for Manufact...Michael Petychakis
Today, a new age of engagement and collaboration has emerged with the proliferation of user-generated content in social networks and generally the Web 2.0, rendering it particularly difficult for enterprises to monitor and act upon all content following conventional data mining methodologies. In this paper, we present our approach for a Future Internet enabler (FITMAN Anlzer) that provides automated, social data analytics and aims at assisting enterprises in becoming more tuned to their customer needs and gaining insights into current and future trends to early embed them into product design. The FITMAN Anlzer implementation is domain-independent and allows any manufacturer to effectively train it based on his needs and create personalized reports to timely capture the right information. Our methodology includes trend analytics, polarity detection through machine learning, data querying through flexible reports and finally informative charts to visualize the results in order to help companies in their decision making procedures.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Connector Corner: Automate dynamic content and events by pushing a buttonDianaGray10
Here is something new! In our next Connector Corner webinar, we will demonstrate how you can use a single workflow to:
Create a campaign using Mailchimp with merge tags/fields
Send an interactive Slack channel message (using buttons)
Have the message received by managers and peers along with a test email for review
But there’s more:
In a second workflow supporting the same use case, you’ll see:
Your campaign sent to target colleagues for approval
If the “Approve” button is clicked, a Jira/Zendesk ticket is created for the marketing design team
But—if the “Reject” button is pushed, colleagues will be alerted via Slack message
Join us to learn more about this new, human-in-the-loop capability, brought to you by Integration Service connectors.
And...
Speakers:
Akshay Agnihotri, Product Manager
Charlie Greenberg, Host
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
During the past years, the data deluge that prevails in the World
Wide Web has been accompanied by a number of APIs that
expose business logic. In this paper, we discuss a novel approach
to enrich existing API standards definitions with business rules.
Taking advantage of the REST principles, we aim at enabling the
creation of generic clients that can dynamically navigate through
semantically enriched web affordances with the help of Hydrabased
Hypermedia API descriptions, which encapsulate the finite
state machine of possible actions into SWRL rules.
Nowadays, the proliferation of cloud-based services has revolutionised the way people communicate, connect, share and eventually conduct business. Thus, businesses conducted both by huge or small and medium enterprises are forced into providing their core competence(value) through an API. The OPENi approach(http://www.openi-ict.eu/) aims at analysing and classifying into categories the landscape of existing cloud-based services today and their publicly available APIs. Through multiple iterative steps, a map of cloud-based services along with multiple dimensions has been designed and an in-depth analysis of the selected set of APIs has been conducted. A set of Generic APIs (together with their associated objects, functionalities and relations to existing cloud-based services) are proposed, abstracting functionality for several popular categories of existing cloud-based services which bind to multiple service providers. In order to make those mappings interoperable and extensive a graph modelling was proposed by mapping the Generic APIs to the schema.org vocabulary. Furthermore, one additional tool is presented, he API Builder (http://api-builder.tools.epu.ntua.gr/web/) which is a community-based platform that aims to facilitate enterprises in adopting a Graph API that unifies the experience of multiple cloud-based services APIs and personal cloudlets, building and maintaining their software applications easily, despite any changes made in the CBS APIs. Following the aforementioned discussion, we briefly describe a novel approach to enrich existing API standards with business rules. This aims into taking advantage of the REST principles to enable the creation of generic clients that can operate as Finite State Machines and autonomously navigate through the vast semantically enriched web.
Question Answering over Linked Data - Reasoning IssuesMichael Petychakis
Question answering system plays a vital role in search engine optimization model. Natural language processing methods are typically applied in QA system for inquiring user’s question and numerous steps are also followed for alteration of questions to query form for receiving a precise answer. This presentation analyzes diverse question answering systems that are based on semantic web technologies and ontologies with different formats of queries.It ends by addressing various reasoning alternatives.
A Community-based, Graph API Framework to Integrate and Orchestrate Cloud-Bas...Michael Petychakis
The ever-accelerating growth of cloud-based services (CBS) and the prevalence of multi-sided business models have distributed users’ data across different data silos that hinder mobile applications development and sustainability. The present paper aims at describing an open framework that abstracts functionality from CBSs through a common Graph, RESTful API, which manages calls among various CBS APIs and syndicates responses under a common standardized format. Combining this conceptual framework with semantically enriched modeling, the implemented platform allows a community of developers to govern, extend and main-tain the Graph API and consequently, applications to access a plethora of CBSs through a single point of access. Building on the experience of third-party solutions that mash-up data from different services in their API, the proposed approach goes beyond the state-of-the art through its community-orientation, the API extensibility-by-design and the advanced context awareness and sophistication it provides to developers.
Infusing Social Data Analytics into Future Internet applications for Manufact...Michael Petychakis
Today, a new age of engagement and collaboration has emerged with the proliferation of user-generated content in social networks and generally the Web 2.0, rendering it particularly difficult for enterprises to monitor and act upon all content following conventional data mining methodologies. In this paper, we present our approach for a Future Internet enabler (FITMAN Anlzer) that provides automated, social data analytics and aims at assisting enterprises in becoming more tuned to their customer needs and gaining insights into current and future trends to early embed them into product design. The FITMAN Anlzer implementation is domain-independent and allows any manufacturer to effectively train it based on his needs and create personalized reports to timely capture the right information. Our methodology includes trend analytics, polarity detection through machine learning, data querying through flexible reports and finally informative charts to visualize the results in order to help companies in their decision making procedures.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Connector Corner: Automate dynamic content and events by pushing a buttonDianaGray10
Here is something new! In our next Connector Corner webinar, we will demonstrate how you can use a single workflow to:
Create a campaign using Mailchimp with merge tags/fields
Send an interactive Slack channel message (using buttons)
Have the message received by managers and peers along with a test email for review
But there’s more:
In a second workflow supporting the same use case, you’ll see:
Your campaign sent to target colleagues for approval
If the “Approve” button is clicked, a Jira/Zendesk ticket is created for the marketing design team
But—if the “Reject” button is pushed, colleagues will be alerted via Slack message
Join us to learn more about this new, human-in-the-loop capability, brought to you by Integration Service connectors.
And...
Speakers:
Akshay Agnihotri, Product Manager
Charlie Greenberg, Host
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...UiPathCommunity
💥 Speed, accuracy, and scaling – discover the superpowers of GenAI in action with UiPath Document Understanding and Communications Mining™:
See how to accelerate model training and optimize model performance with active learning
Learn about the latest enhancements to out-of-the-box document processing – with little to no training required
Get an exclusive demo of the new family of UiPath LLMs – GenAI models specialized for processing different types of documents and messages
This is a hands-on session specifically designed for automation developers and AI enthusiasts seeking to enhance their knowledge in leveraging the latest intelligent document processing capabilities offered by UiPath.
Speakers:
👨🏫 Andras Palfi, Senior Product Manager, UiPath
👩🏫 Lenka Dulovicova, Product Program Manager, UiPath
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
2. The Problem
People make plans
People deny a reality they do not like
People like to think the best about their
future
People share their beliefs with fellows
People get motivated and influenced by their
friends and family
3. The Problem
People make plans
People deny a reality they do not like
People like to think the best about their
future
People share their beliefs with fellows
People get motivated and influenced by their
friends and family
Are agents able to behave in a similar
way?
Multiple Benefits
5. 5
The Coordinated Attack Problem
(aka, Two Generals’ or Warring Generals
Problem)
❏ Two generals standing on opposite hilltops, trying to
coordinate an attack on a third general in a valley
between them.
❏ Communication is via messengers who must travel
across enemy lines (possibly get caught).
❏ If a general attacks on his own, he loses.
❏ If both attack simultaneously, they win.
❏ What protocol can ensure simultaneous attack?
7. 7
The Coordinated Attack Problem
(A Naive Protocol)
❏ Let us call the generals:
❏ S (sender)
❏ R (receiver)
❏ Protocol for general S:
❏ Send an “attack” message to R
❏ Keeps sending until acknowledgement is received
❏ Protocol for general R:
❏ Do nothing until he receives a message “attack”
from S
8. 8
The Coordinated Attack Problem
(States)
❏ State of general S:
❏ A pair (msgS, ackS) where msg ∈ {0,1}, ack ∈ {0,1}
❏ msgS = 1 means a message “attack” was sent
❏ ackS = 1 means an acknowledgement was received
❏ State of general R:
❏ A pair (msgR, ackR) where msg ∈ {0,1}, ack ∈ {0,1}
❏ msgR = 1 means a message “attack” was received
❏ ackR = 1 means an acknowledgement was sent
❏ Global state: <(msgS, ackS),(msgR, ackR)>
9. 9
The Coordinated Attack Problem
(Possible Worlds)
❏ Initial global state: <(0,0),(0,0)>
❏ State changes as a result of:
❏ Protocol events
❏ Nondeterministic effects of nature
❏ Change in states captured in a history
❏ Example:
❏ S sends a message to R, R receives it and sends an
acknowledges, which is then received by S
❏ <(0,0),(0,0)>, <(1,0),(1,0)>, <(1,1),(1,1)>
❏ In our model: possible world = possible history
10. 10
The Coordinated Attack Problem
(Indistinguishable Worlds)
❏ Defining the accessibility relation Ri:
❏ Two histories are indistinguishable to agent i if their final
global states have identical local states for agent i
❏ Example: world
❏ <(0,0),(0,0)>, <(1,0),(1,0)>, <(1,0),(1,1)> is indistinguishable to
general S from this world:
<(0,0),(0,0)>, <(1,0),(0,0)>, <(1,0),(0,0)>
❏ In words: S sends a message to R, but does not get an
acknowledgement. This could be because R never received the
message, or because he did but his acknowledgement did not
11. 11
The Coordinated Attack Problem
(What do generals know?)
❏ Suppose the actual world is:
❏ <(0,0),(0,0)>, <(1,0),(1,0)>, <(1,1),(1,1)>
❏ In this world, the following hold:
❏ KSattack
❏ KRattack
❏ KSKRattack
❏ Unfortunately, this also holds:
❏ ¬KRKSKRattack
❏ R does not known that S knows that R knows that S intends to
attack. Why? Because, from R’s perspective, the message could
12. 12
The Coordinated Attack Problem
(What do generals know?)
❏ Possible solution:
❏ S acknowledges R’s acknowledgement
❏ Then we have:
❏ KRKSKRattack
❏ Unfortunately, we also have:
❏ ¬KSKRKSKRattack
❏Is there a way out of this?
13. Motivation
Belief revision is the process of changing beliefs to take into account a new piece of information. The logical
formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design
of rational agents.
❏ Why should an agent always prefer new information
over its previous beliefs?
❏ How can an agent autonomously generate its own
order(s)among beliefs?
❏ Can human-like preferences, in belief revision, be
adequately expressed using an order (or orders) among
beliefs?
15. Changes in the World: The idea
❏ Interpretation of a belief set B
❏ the set of possible worlds where B is true
❏ Notification of some change in the actual world
❏ The agent’s description of the possible states of affairs
must be modified accordingly:
❏ Our description of the actual world is typically incomplete, which
means that there are several states of affairs (possible worlds) that
are consistent with what we believe. Hence, an update must ensure
that the changes are made true in the “candidate worlds” that
survive the update.
16. Changes in the World: The idea
❏ Interpretation of a belief set B
❏ the set of possible worlds where B is true
❏ Notification of some change in the actual world
❏ The agent’s description of the possible states of affairs
must be modified accordingly:
❏ Our description of the actual world is typically incomplete, which
means that there are several states of affairs (possible worlds) that
are consistent with what we believe. Hence, an update must ensure
that the changes are made true in the “candidate worlds” that
survive the update.
Wishful
Thinking
Denial
Passive
Active
17. WTR Agent Definition
If ag is the agent using WTR, our model assumes that its
internal state contains, among other items, the following
information:
❏ The agent’s knowledge base, represented by KB(ag)
❏ The agent’s goals, represented by Goals(ag)
❏ For each other agent agi, the subjective credibility
that our agent associates with agi, represented by
Cred(ag, agi)
❏ The agent’s wishful thinking coefficient, represented
18. Reasoning
❏ Monotonic Reasoning
❏ KB |= f, then "g, KB Ù g |= f
❏ Inference engine only performs ask and tell to the KB, never retract
❏ Non-monotonic reasoning
❏ Allows KB |= f, and then KB Ù g |¹ f
❏ Previously derived facts can be retracted upon arrival (for example
from sensors) of new, conflicting evidence
19. KB(ag) = { <A,Obs,{A}>,
<A → B, Peter, {A → B}>,
< B → C, Susan, { B → C}> }
KB(ag) = { <A,Obs,{A}>,
<A → B, Peter, {A → B}>,
< B → C, Susan, { B → C}>,
< B, Der, {A, A → B}>,
< C, Der, {A, A→ B, B → C}> }
Agent Trusts
Peter to a certain
degree of Belief
and Susan to
another
20. Collected Data(β0) Wishful Thoughts(γ0)
Context(βγ) Wishful
Beliefs(γ)
Base Beliefs(β)
Derived Beliefs
World Goals
Observatory
Communication
Supports
WT
Supports
Valid
Supports
24. Related Approaches
❏ Epistemic Modal Logic with Belief Operator
❏ Belief Revision (family of) Logics
❏ Multi-Agent Systems
❏ Cognitive Agents
❏ Description Logics Reasoning
25. Future
Conscious Agents
Synesthesia
Query Optimisations
Automated Web Agents
Tim Berners-Lee originally expressed the vision of the Semantic Web as follows:
I have a dream for the Web [in which computers] become capable of analyzing all the data on the Web – the content, links, and
transactions between people and computers. A "Semantic Web", which makes this possible, has yet to emerge, but when it does, the day-
to-day mechanisms of trade, bureaucracy and our daily lives will be handled by machines talking to machines. The "intelligent agents"
people have touted for ages will finally materialize.