NDLI: Formal modelling of agents acting under artificial emotions

Please wait, while we are loading the content...

A novel algorithm for an image processing system in entomology

OECEP: enriching complex event processing with domain knowledge from ontologies

International educational cooperation: one possible model

Privacy aware eLearning environments based on hippocratic database principles

Comparison of information retrieval models for question answering

Parameterized verification of open procedural programs

A Hoare-style verification calculus for control state ASMs

Optimising Flash non-volatile memory using machine learning: a project overview

Extracting drug adverse and beneficial reactions in pediatric population from healthcare social network

S-Suite: a multipart service oriented architecture for the car rental sector

A BIBO ontology extension for evaluation of scientific research results

Communication in machine-to-machine environments

Virtualized environments in cloud can have superlinear speedup

Predictive complex event processing: a conceptual framework for combining complex event processing and predictive analytics

Risks affecting the development of the information society in the Republic of Moldova: insights from a Delphi survey

Correlation between soft organizational features and development of ICT infrastructure

Efficient dataset size reduction by finding homogeneous clusters

Performance study of matrix computations using multi-core programming tools

Information system monitoring and notifications using complex event processing

A set-based approach to negotiation with concessions

Framework for open data mining in e-government

Storing XML documents in databases using existing object-relational features

Collective information extraction using first-order probabilistic models

SSQSA architecture

Comparative performance evaluation of the AVL and red-black trees

Neuroevolution based multi-agent system for micromanagement in real-time strategy games

Social networking software use in social media marketing vs. traditional marketing: case study in Macedonia

Challenging issues of UCON in modern computing environments

Discovery and evaluation of student's profiles with machine learning

A parallel processing of spatial data interpolation on computing cloud

Statically typed matrix: in C++ library

The modification of genetic algorithms for solving the balanced location problem

A software tool that helps teachers in handling, processing and understanding the results of massive exams

Insider threats in corporate environments: a case study for data leakage prevention

Rule-based assignment of comments to AST nodes in C++ programs

Formal modelling of agents acting under artificial emotions

Integrating Serbian public data into the LOD cloud

Recent advances delivered by HTML 5 in mobile cloud computing applications: a survey

Formal modelling of a bio-inspired paradigm capable of exhibiting emergence

Reservoir sampling techniques in modern data analysis

Evaluation of tools for automated unit testing for applications in OSGi

A distributed asynchronous and privacy preserving neural network ensemble selection approach for peer-to-peer data mining

A software tool for building a statistical prefix processor

Community detection and analysis of community evolution in Apache Ant class collaboration networks

Adoption of object-oriented software metrics for ontology evaluation

Recognition and normalization of some classes of named entities in Serbian

Growth rate analysis of e-Government development

Time-series mining in a psychological domain

Modeling the characteristics of a learning object for use within e-learning applications

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

Management, communications and security policy in mobile database systems

A knowledge based approach for handling supply chain risk management

An approach to the specification of user interface templates for business applications

Analyzing the selection and dynamic composition of web services in e-commerce transactions

Programming techniques and environments in a technology management department

Formal modelling of agents acting under artificial emotions

Content Provider	ACM Digital Library
Author	Stamatopoulou, Ioanna Kefalas, Petros Basakos, Dionysios
Abstract	Artificial Agents infused with emotions have attracted considerable attention in recent years. Many domain areas require agents to be able to demonstrate an emotional reaction to stimuli, beliefs, goals, communication etc., thus exhibiting a believable behaviour. On the other hand, little has been said on how formal methods could integrate emotions in a form of rigorous mathematical notation. This paper is an initial attempt to infuse a formal modelling method for reactive agents, namely X-machines, with appropriate attributes that model artificial emotions. X-machines are finite state-based models extended with memory as well as functions that are applied on input and memory values. X-machines have been shown to be particularly useful to model reactive agents. The computation, that is the overall behaviour of an agents, is a sequence of states reached through the application of transition functions (actions that an agent performs). This computation is amended when artificial emotions are involved, thus leading to a different overall behaviour when an agent acts under artificial emotions. After discussing basic theories on emotions and their role to creating believable agents, we present the definition of the $^{e}X-machine$ $(^{e}χ)$ and its computation. A simple multi-agent system with emotional reactive agents is used to show the formal modelling process. Additionally, the same example is used to demonstrate how a visual simulation, based on $^{e}χ$ formal modelling, has different behaviour of the overall system, when artificial emotions are applied.
Starting Page	40
Ending Page	45
Page Count	6
File Format	PDF
ISBN	9781450312400
DOI	10.1145/2371316.2371325
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-09-16
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Artificial emotions X-machines Reactive agents
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in