scholarly journals Reports on the 2015 AAAI Spring Symposium Series

AI Magazine ◽  
2015 ◽  
Vol 36 (3) ◽  
pp. 113-119
Author(s):  
Nitin Agarwal ◽  
Sean Andrist ◽  
Dan Bohus ◽  
Fei Fang ◽  
Laurie Fenstermacher ◽  
...  
Keyword(s):  
Ambient Intelligence ◽  
Cognitive Enhancement ◽  
Structured Data ◽  
Knowledge Representation And Reasoning ◽  
Commonsense Reasoning ◽  
Palo Alto ◽  
Cyber Threats ◽  
Behavior Mining ◽  
Symposium Series ◽  
Computational Game Theory

The AAAI 2015 Spring Symposium Series was held Monday through Wednesday, March 23-25, at Stanford University near Palo Alto, California. The titles of the seven symposia were Ambient Intelligence for Health and Cognitive Enhancement, Applied Computational Game Theory, Foundations of Autonomy and Its (Cyber) Threats: From Individuals to Interdependence, Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches, Logical Formalizations of Commonsense Reasoning, Socio-Technical Behavior Mining: From Data to Decisions, Structured Data for Humanitarian Technologies: Perfect Fit or Overkill? and Turn-Taking and Coordination in Human-Machine Interaction.The highlights of each symposium are presented in this report.

scholarly journals Reports of the 2014 AAAI Spring Symposium Series

AI Magazine ◽  
2014 ◽  
Vol 35 (3) ◽  
pp. 70-76
Author(s):  
Manish Jain ◽  
Albert Xin Jiang ◽  
Takashi Kiddo ◽  
Keiki Takadama ◽  
Eric G. Mercer ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
New Media ◽  
Autonomous Systems ◽  
Personal Knowledge ◽  
Knowledge Representation And Reasoning ◽  
The Internet ◽  
Motivational Systems ◽  
Symposium Series ◽  
Computational Game Theory ◽  
Machine Systems

The Association for the Advancement of Artificial Intelligence was pleased to present the AAAI 2014 Spring Symposium Series, held Monday through Wednesday, March 24–26, 2014. The titles of the eight symposia were Applied Computational Game Theory, Big Data Becomes Personal: Knowledge into Meaning, Formal Verification and Modeling in Human-Machine Systems, Implementing Selves with Safe Motivational Systems and Self-Improvement, The Intersection of Robust Intelligence and Trust in Autonomous Systems, Knowledge Representation and Reasoning in Robotics, Qualitative Representations for Robots, and Social Hacking and Cognitive Security on the Internet and New Media). This report contains summaries of the symposia, written, in most cases, by the cochairs of the symposium.

How Intelligent Are Ambient Intelligence Systems?

2010 ◽  
Vol 2 (1) ◽  
pp. 66-72 ◽  
Author(s):  
María J. Santofimia ◽  
Francisco Moya ◽  
Félix J. Villanueva ◽  
David Villa ◽  
Juan C. López
Keyword(s):  
Ubiquitous Computing ◽  
Pattern Matching ◽  
Ambient Intelligence ◽  
Behaviour Pattern ◽  
Behavioral Patterns ◽  
Commonsense Reasoning ◽  
Complex Tasks ◽  
User Behaviour ◽  
User Actions ◽  
Rational Decisions

Since the appearance of the Ambient Intelligence paradigm, as an evolution of the Ubiquitous Computing, a great deal of the research efforts in this ?eld have been mainly aimed at anticipating user actions and needs, out of a pre?xed set. However, Ambient Intelligence is not just constrained to user behaviour pattern matching, but to wisely supervise the whole environment, satisfying those unforeseen requirements or needs, by means of rational decisions. This work points at the lack of commonsense reasoning, as the main reason underlying the existance of these idiots savant systems, capable of accomplishing very speci?c and complex tasks, but incapable of making decisions out of the pre?xed behavioral patterns. This work advocates for the integration of the commonsense reasoning and understanding capabilities as the key elements in bridging the gap between idiot savant systems and real Ambient Intelligence systems.

Resolving conflicts in knowledge for ambient intelligence

2015 ◽  
Vol 30 (5) ◽  
pp. 455-513 ◽  
Author(s):  
Martin Homola ◽  
Theodore Patkos ◽  
Giorgos Flouris ◽  
Ján Šefránek ◽  
Alexander Šimko ◽  
...  
Keyword(s):  
Ambient Intelligence ◽  
Autonomous Agents ◽  
State Of The Art ◽  
Critical Issue ◽  
Knowledge Representation And Reasoning ◽  
Paraconsistent Reasoning ◽  
Context Modelling ◽  
Long Time ◽  
Theoretical Issues ◽  
Similar Complex

AbstractAmbient intelligence (AmI) proposes pervasive information systems composed of autonomous agents embedded within the environment who, in orchestration, complement human activity in an intelligent manner. As such, it is an interesting and challenging application area for many computer science fields and approaches. A critical issue in such application scenarios is that the agents must be able to acquire, exchange, and evaluate knowledge about the environment, its users, and their activities. Knowledge populated between the agents in such systems may be contextually dependent, ambiguous, and incomplete. Conflicts may thus naturally arise, that need to be dealt with by the agents in an autonomous way. In this survey, we relate AmI to the area of knowledge representation and reasoning (KR), where conflict resolution has been studied for a long time. We take a look at a number of KR approaches that may be applied: context modelling, multi-context systems, belief revision, ontology evolution and debugging, argumentation, preferences, and paraconsistent reasoning. Our main goal is to describe the state of the art in these fields, and to draw attention of researchers to important theoretical issues and practical challenges that still need to be resolved, in order to reuse the results from KR in AmI systems or similar complex and demanding applications.

scholarly journals Declarative Programming with Temporal Constraints, in the LanguageCG

2015 ◽  
Vol 2015 ◽  
pp. 1-10
Author(s):  
Lorina Negreanu
Keyword(s):  
Computational Complexity ◽  
Ambient Intelligence ◽  
Temporal Databases ◽  
Time Dependent ◽  
Knowledge Representation And Reasoning ◽  
Declarative Programming ◽  
Program Execution ◽  
Temporal Constraints ◽  
Straightforward Manner ◽  
Agent Programming

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the languageCG, which tackles this issue. InCG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment’s evolution.CGrelies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts ofCGand introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness ofCGprogram execution, using the Event-B modeling approach.

How Intelligent are Ambient Intelligence Systems?

2011 ◽  
pp. 65-70
Author(s):  
María J. Santofimia ◽  
Francisco Moya ◽  
Félix J. Villanueva ◽  
David Villa ◽  
Juan C. López
Keyword(s):  
Ubiquitous Computing ◽  
Pattern Matching ◽  
Ambient Intelligence ◽  
Behaviour Pattern ◽  
Behavioral Patterns ◽  
Commonsense Reasoning ◽  
Complex Tasks ◽  
User Behaviour ◽  
User Actions ◽  
Rational Decisions

Since the appearance of the Ambient Intelligence paradigm, as an evolution of the Ubiquitous Computing, a great deal of the research efforts in this field have been mainly aimed at anticipating user actions and needs, out of a prefixed set. However, Ambient Intelligence is not just constrained to user behaviour pattern matching, but to wisely supervise the whole environment, satisfying those unforeseen requirements or needs, by means of rational decisions. This work points at the lack of commonsense reasoning, as the main reason underlying the existance of these idiots savant systems, capable of accomplishing very specific and complex tasks, but incapable of making decisions out of the prefixed behavioral patterns. This work advocates for the integration of the commonsense reasoning and understanding capabilities as the key elements in bridging the gap between idiot savant systems and real Ambient Intelligence systems.

scholarly journals Reports of the AAAI 2011 Spring Symposia

AI Magazine ◽  
2011 ◽  
Vol 32 (3) ◽  
pp. 119-127
Author(s):  
Mark Buller ◽  
Paul Cuddihy ◽  
Ernest Davis ◽  
Patrick Doherty ◽  
Finale Doshi-Velez ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Complex Adaptive Systems ◽  
Adaptive Systems ◽  
Multirobot Systems ◽  
Commonsense Reasoning ◽  
Human Agent ◽  
Business Agility ◽  
Symposium Series ◽  
Agent Collaboration ◽  
Complex Adaptive

The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University’s Department of Computer Science, presented the 2011 Spring Symposium Series Monday through Wednesday, March 21–23, 2011 at Stanford University. The titles of the eight symposia were AI and Health Communication, Artificial Intelligence and Sustainable Design, AI for Business Agility, Computational Physiology, Help Me Help You: Bridging the Gaps in Human-Agent Collaboration, Logical Formalizations of Commonsense Reasoning, Multirobot Systems and Physical Data Structures, and Modeling Complex Adaptive Systems As If They Were Voting Processes. This report summarizes the eight symposia.

Sign in / Sign up

Export Citation Format

Share Document